| ;; Binary spec test for declarative element segments with GC reftypes. |
| ;; Before the fix, parsing this module failed with "invalid tag index". |
| ;; See https://github.com/WebAssembly/binaryen/issues/8540 |
| |
| (module binary |
| "\00asm" "\01\00\00\00" ;; magic + version |
| |
| "\01\1b" ;; Type section, 27 bytes |
| "\01" ;; 1 rec group |
| "\4e\06" ;; rec group of size 6 |
| "\5e\77\00" ;; type 0: (array i16) |
| "\50\00\5f\00" ;; type 1: (sub (struct)) |
| "\5e\72\01" ;; type 2: (array (mut nullexternref)) |
| "\50\00\60\01\7e\00" ;; type 3: (sub (func (param i64))) |
| "\5e\7d\01" ;; type 4: (array (mut f32)) |
| "\50\00\5e\7b\01" ;; type 5: (sub (array (mut v128))) |
| |
| "\03\03\02\03\03" ;; Function section: 2 funcs, both type 3 |
| |
| "\09\0f\03" ;; Element section, 15 bytes |
| "\07\63\02\00" ;; segment 0: declare (ref null 2), 0 exprs |
| "\07\63\03\01\d0\03\0b" ;; segment 1: declare (ref null 3) (ref.null 3) |
| "\07\71\00" ;; segment 2: declare nullref, 0 exprs |
| |
| "\0a\07\02" ;; Code section, 7 bytes |
| "\02\00\0b" ;; function 0: empty body |
| "\02\00\0b" ;; function 1: empty body |
| ) |
