diff options
Diffstat (limited to 'test/spec/binary-leb128.wast')
| -rw-r--r-- | test/spec/binary-leb128.wast | 963 |
1 files changed, 0 insertions, 963 deletions
diff --git a/test/spec/binary-leb128.wast b/test/spec/binary-leb128.wast deleted file mode 100644 index 9afcb540c..000000000 --- a/test/spec/binary-leb128.wast +++ /dev/null @@ -1,963 +0,0 @@ -;; Unsigned LEB128 can have non-minimal length -(module binary - "\00asm" "\01\00\00\00" - "\05\04\01" ;; Memory section with 1 entry - "\00\82\00" ;; no max, minimum 2 -) -(module binary - "\00asm" "\01\00\00\00" - "\05\07\01" ;; Memory section with 1 entry - "\00\82\80\80\80\00" ;; no max, minimum 2 -) -(module binary - "\00asm" "\01\00\00\00" - "\05\06\01" ;; Memory section with 1 entry - "\01\82\00" ;; minimum 2 - "\82\00" ;; max 2 -) -(module binary - "\00asm" "\01\00\00\00" - "\05\09\01" ;; Memory section with 1 entry - "\01\82\00" ;; minimum 2 - "\82\80\80\80\00" ;; max 2 -) -(module binary - "\00asm" "\01\00\00\00" - "\05\03\01" ;; Memory section with 1 entry - "\00\00" ;; no max, minimum 0 - "\0b\07\01" ;; Data section with 1 entry - "\80\00" ;; Memory index 0, encoded with 2 bytes - "\41\00\0b\00" ;; (i32.const 0) with contents "" -) -(module binary - "\00asm" "\01\00\00\00" - "\04\04\01" ;; Table section with 1 entry - "\70\00\00" ;; no max, minimum 0, funcref - "\09\07\01" ;; Element section with 1 entry - "\80\00" ;; Table index 0, encoded with 2 bytes - "\41\00\0b\00" ;; (i32.const 0) with no elements -) -(module binary - "\00asm" "\01\00\00\00" - "\00" ;; custom section - "\8a\00" ;; section size 10, encoded with 2 bytes - "\01" ;; name byte count - "1" ;; name - "23456789" ;; sequence of bytes -) -(module binary - "\00asm" "\01\00\00\00" - "\00" ;; custom section - "\0b" ;; section size - "\88\00" ;; name byte count 8, encoded with 2 bytes - "12345678" ;; name - "9" ;; sequence of bytes -) -(module binary - "\00asm" "\01\00\00\00" - "\01\08\01" ;; type section - "\60" ;; func type - "\82\00" ;; num params 2, encoded with 2 bytes - "\7f\7e" ;; param type - "\01" ;; num results - "\7f" ;; result type -) -(module binary - "\00asm" "\01\00\00\00" - "\01\08\01" ;; type section - "\60" ;; func type - "\02" ;; num params - "\7f\7e" ;; param type - "\81\00" ;; num results 1, encoded with 2 bytes - "\7f" ;; result type -) -(module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\17\01" ;; import section - "\88\00" ;; module name length 8, encoded with 2 bytes - "\73\70\65\63\74\65\73\74" ;; module name - "\09" ;; entity name length - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\00" ;; import signature index -) -(module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\17\01" ;; import section - "\08" ;; module name length - "\73\70\65\63\74\65\73\74" ;; module name - "\89\00" ;; entity name length 9, encoded with 2 bytes - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\00" ;; import signature index -) -(module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\17\01" ;; import section - "\08" ;; module name length - "\73\70\65\63\74\65\73\74" ;; module name - "\09" ;; entity name length 9 - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\80\00" ;; import signature index, encoded with 2 bytes -) -(module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; function type - "\03\03\01" ;; function section - "\80\00" ;; function 0 signature index, encoded with 2 bytes - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body -) -(module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\07\07\01" ;; export section - "\82\00" ;; string length 2, encoded with 2 bytes - "\66\31" ;; export name f1 - "\00" ;; export kind - "\00" ;; export func index - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body -) -(module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\07\07\01" ;; export section - "\02" ;; string length 2 - "\66\31" ;; export name f1 - "\00" ;; export kind - "\80\00" ;; export func index, encoded with 2 bytes - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body -) -(module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\0a" ;; code section - "\05" ;; section size - "\81\00" ;; num functions, encoded with 2 bytes - "\02\00\0b" ;; function body -) - -;; Signed LEB128 can have non-minimal length -(module binary - "\00asm" "\01\00\00\00" - "\06\07\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\80\00" ;; i32.const 0 - "\0b" ;; end -) -(module binary - "\00asm" "\01\00\00\00" - "\06\07\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\ff\7f" ;; i32.const -1 - "\0b" ;; end -) -(module binary - "\00asm" "\01\00\00\00" - "\06\0a\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\80\80\80\80\00" ;; i32.const 0 - "\0b" ;; end -) -(module binary - "\00asm" "\01\00\00\00" - "\06\0a\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\ff\ff\ff\ff\7f" ;; i32.const -1 - "\0b" ;; end -) - -(module binary - "\00asm" "\01\00\00\00" - "\06\07\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\80\00" ;; i64.const 0 with unused bits set - "\0b" ;; end -) -(module binary - "\00asm" "\01\00\00\00" - "\06\07\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\ff\7f" ;; i64.const -1 with unused bits unset - "\0b" ;; end -) -(module binary - "\00asm" "\01\00\00\00" - "\06\0f\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\80\80\80\80\80\80\80\80\80\00" ;; i64.const 0 with unused bits set - "\0b" ;; end -) -(module binary - "\00asm" "\01\00\00\00" - "\06\0f\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\ff\ff\ff\ff\ff\ff\ff\ff\ff\7f" ;; i64.const -1 with unused bits unset - "\0b" ;; end -) - -;; Unsigned LEB128 must not be overlong -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\08\01" ;; Memory section with 1 entry - "\00\82\80\80\80\80\00" ;; no max, minimum 2 with one byte too many - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\0a\01" ;; Memory section with 1 entry - "\01\82\00" ;; minimum 2 - "\82\80\80\80\80\00" ;; max 2 with one byte too many - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\03\01" ;; Memory section with 1 entry - "\00\00" ;; no max, minimum 0 - "\0b\0b\01" ;; Data section with 1 entry - "\80\80\80\80\80\00" ;; Memory index 0 with one byte too many - "\41\00\0b\00" ;; (i32.const 0) with contents "" - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\04\04\01" ;; Table section with 1 entry - "\70\00\00" ;; no max, minimum 0, funcref - "\09\0b\01" ;; Element section with 1 entry - "\80\80\80\80\80\00" ;; Table index 0 with one byte too many - "\41\00\0b\00" ;; (i32.const 0) with no elements - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\00" ;; custom section - "\83\80\80\80\80\00" ;; section size 3 with one byte too many - "\01" ;; name byte count - "1" ;; name - "2" ;; sequence of bytes - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\00" ;; custom section - "\0A" ;; section size - "\83\80\80\80\80\00" ;; name byte count 3 with one byte too many - "123" ;; name - "4" ;; sequence of bytes - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\0c\01" ;; type section - "\60" ;; func type - "\82\80\80\80\80\00" ;; num params 2 with one byte too many - "\7f\7e" ;; param type - "\01" ;; num result - "\7f" ;; result type - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\08\01" ;; type section - "\60" ;; func type - "\02" ;; num params - "\7f\7e" ;; param type - "\81\80\80\80\80\00" ;; num result 1 with one byte too many - "\7f" ;; result type - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\1b\01" ;; import section - "\88\80\80\80\80\00" ;; module name length 8 with one byte too many - "\73\70\65\63\74\65\73\74" ;; module name - "\09" ;; entity name length - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\00" ;; import signature index - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\1b\01" ;; import section - "\08" ;; module name length - "\73\70\65\63\74\65\73\74" ;; module name - "\89\80\80\80\80\00" ;; entity name length 9 with one byte too many - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\00" ;; import signature index - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\1b\01" ;; import section - "\08" ;; module name length - "\73\70\65\63\74\65\73\74" ;; module name - "\09" ;; entity name length 9 - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\80\80\80\80\80\00" ;; import signature index 0 with one byte too many - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; function type - "\03\03\01" ;; function section - "\80\80\80\80\80\00" ;; function 0 signature index with one byte too many - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\07\0b\01" ;; export section - "\82\80\80\80\80\00" ;; string length 2 with one byte too many - "\66\31" ;; export name f1 - "\00" ;; export kind - "\00" ;; export func index - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\07\0b\01" ;; export section - "\02" ;; string length 2 - "\66\31" ;; export name f1 - "\00" ;; export kind - "\80\80\80\80\80\00" ;; export func index 0 with one byte too many - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\0a" ;; code section - "\05" ;; section size - "\81\80\80\80\80\00" ;; num functions 1 with one byte too many - "\02\00\0b" ;; function body - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\11\01" ;; Code section - ;; function 0 - "\0f\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\28" ;; i32.load - "\02" ;; alignment 2 - "\82\80\80\80\80\00" ;; offset 2 with one byte too many - "\1a" ;; drop - "\0b" ;; end - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\11\01" ;; Code section - ;; function 0 - "\0f\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\28" ;; i32.load - "\82\80\80\80\80\00" ;; alignment 2 with one byte too many - "\00" ;; offset 0 - "\1a" ;; drop - "\0b" ;; end - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\12\01" ;; Code section - ;; function 0 - "\10\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\41\03" ;; i32.const 3 - "\36" ;; i32.store - "\82\80\80\80\80\00" ;; alignment 2 with one byte too many - "\03" ;; offset 3 - "\0b" ;; end - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\12\01" ;; Code section - ;; function 0 - "\10\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\41\03" ;; i32.const 3 - "\36" ;; i32.store - "\02" ;; alignment 2 - "\82\80\80\80\80\00" ;; offset 2 with one byte too many - "\0b" ;; end - ) - "integer representation too long" -) - -;; Signed LEB128 must not be overlong -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0b\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\80\80\80\80\80\00" ;; i32.const 0 with one byte too many - "\0b" ;; end - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0b\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\ff\ff\ff\ff\ff\7f" ;; i32.const -1 with one byte too many - "\0b" ;; end - ) - "integer representation too long" -) - -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\10\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\80\80\80\80\80\80\80\80\80\80\00" ;; i64.const 0 with one byte too many - "\0b" ;; end - ) - "integer representation too long" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\10\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\7f" ;; i64.const -1 with one byte too many - "\0b" ;; end - ) - "integer representation too long" -) - -;; Unsigned LEB128s zero-extend -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\07\01" ;; Memory section with 1 entry - "\00\82\80\80\80\70" ;; no max, minimum 2 with unused bits set - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\07\01" ;; Memory section with 1 entry - "\00\82\80\80\80\40" ;; no max, minimum 2 with some unused bits set - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\09\01" ;; Memory section with 1 entry - "\01\82\00" ;; minimum 2 - "\82\80\80\80\10" ;; max 2 with unused bits set - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\09\01" ;; Memory section with 1 entry - "\01\82\00" ;; minimum 2 - "\82\80\80\80\40" ;; max 2 with some unused bits set - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\05\03\01" ;; Memory section with 1 entry - "\00\00" ;; no max, minimum 0 - "\0b\0a\01" ;; Data section with 1 entry - "\80\80\80\80\10" ;; Memory index 0 with unused bits set - "\41\00\0b\00" ;; (i32.const 0) with contents "" - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\04\04\01" ;; Table section with 1 entry - "\70\00\00" ;; no max, minimum 0, funcref - "\09\0a\01" ;; Element section with 1 entry - "\80\80\80\80\10" ;; Table index 0 with unused bits set - "\41\00\0b\00" ;; (i32.const 0) with no elements - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\00" ;; custom section - "\83\80\80\80\10" ;; section size 3 with unused bits set - "\01" ;; name byte count - "1" ;; name - "2" ;; sequence of bytes - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\00" ;; custom section - "\09" ;; section size - "\83\80\80\80\40" ;; name byte count 3 with unused bits set - "123" ;; name - "4" ;; sequence of bytes - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\0b\01" ;; type section - "\60" ;; func type - "\82\80\80\80\10" ;; num params 2 with unused bits set - "\7f\7e" ;; param type - "\01" ;; num result - "\7f" ;; result type - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\0b\01" ;; type section - "\60" ;; func type - "\02" ;; num params - "\7f\7e" ;; param type - "\81\80\80\80\40" ;; num result 1 with unused bits set - "\7f" ;; result type - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\1a\01" ;; import section - "\88\80\80\80\10" ;; module name length 8 with unused bits set - "\73\70\65\63\74\65\73\74" ;; module name - "\09" ;; entity name length - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\00" ;; import signature index - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\1a\01" ;; import section - "\08" ;; module name length - "\73\70\65\63\74\65\73\74" ;; module name - "\89\80\80\80\40" ;; entity name length 9 with unused bits set - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\00" ;; import signature index - ) - "integer too large" -) -(assert_malformed -(module binary - "\00asm" "\01\00\00\00" - "\01\05\01" ;; type section - "\60\01\7f\00" ;; function type - "\02\1a\01" ;; import section - "\08" ;; module name length - "\73\70\65\63\74\65\73\74" ;; module name - "\09" ;; entity name length 9 - "\70\72\69\6e\74\5f\69\33\32" ;; entity name - "\00" ;; import kind - "\80\80\80\80\10" ;; import signature index 0 with unused bits set -) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; function type - "\03\06\01" ;; function section - "\80\80\80\80\10" ;; function 0 signature index with unused bits set - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body - ) - "integer too large" -) - -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\07\0a\01" ;; export section - "\82\80\80\80\10" ;; string length 2 with unused bits set - "\66\31" ;; export name f1 - "\00" ;; export kind - "\00" ;; export func index - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\07\0a\01" ;; export section - "\02" ;; string length 2 - "\66\31" ;; export name f1 - "\00" ;; export kind - "\80\80\80\80\10" ;; export func index with unused bits set - "\0a\04\01" ;; code section - "\02\00\0b" ;; function body - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section - "\60\00\00" ;; fun type - "\03\02\01\00" ;; function section - "\0a" ;; code section - "\08" ;; section size - "\81\80\80\80\10" ;; num functions 1 with unused bits set - "\02\00\0b" ;; function body - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\10\01" ;; Code section - ;; function 0 - "\0e\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\28" ;; i32.load - "\02" ;; alignment 2 - "\82\80\80\80\10" ;; offset 2 with unused bits set - "\1a" ;; drop - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\10\01" ;; Code section - ;; function 0 - "\0e\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\28" ;; i32.load - "\02" ;; alignment 2 - "\82\80\80\80\40" ;; offset 2 with some unused bits set - "\1a" ;; drop - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\10\01" ;; Code section - "\0e\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\28" ;; i32.load - "\82\80\80\80\10" ;; alignment 2 with unused bits set - "\00" ;; offset 0 - "\1a" ;; drop - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\10\01" ;; Code section - ;; function 0 - "\0e\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\28" ;; i32.load - "\82\80\80\80\40" ;; alignment 2 with some unused bits set - "\00" ;; offset 0 - "\1a" ;; drop - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\11\01" ;; Code section - ;; function 0 - "\0f\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\41\03" ;; i32.const 3 - "\36" ;; i32.store - "\82\80\80\80\10" ;; alignment 2 with unused bits set - "\03" ;; offset 3 - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\11\01" ;; Code section - ;; function 0 - "\0f\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\41\03" ;; i32.const 3 - "\36" ;; i32.store - "\82\80\80\80\40" ;; alignment 2 with some unused bits set - "\03" ;; offset 3 - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\11\01" ;; Code section - ;; function 0 - "\0f\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\41\03" ;; i32.const 3 - "\36" ;; i32.store - "\03" ;; alignment 2 - "\82\80\80\80\10" ;; offset 2 with unused bits set - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\01\04\01\60\00\00" ;; Type section - "\03\02\01\00" ;; Function section - "\05\03\01\00\01" ;; Memory section - "\0a\11\01" ;; Code section - - ;; function 0 - "\0f\01\01" ;; local type count - "\7f" ;; i32 - "\41\00" ;; i32.const 0 - "\41\03" ;; i32.const 3 - "\36" ;; i32.store - "\02" ;; alignment 2 - "\82\80\80\80\40" ;; offset 2 with some unused bits set - "\0b" ;; end - ) - "integer too large" -) - -;; Signed LEB128s sign-extend -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0a\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\80\80\80\80\70" ;; i32.const 0 with unused bits set - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0a\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\ff\ff\ff\ff\0f" ;; i32.const -1 with unused bits unset - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0a\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\80\80\80\80\1f" ;; i32.const 0 with some unused bits set - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0a\01" ;; Global section with 1 entry - "\7f\00" ;; i32, immutable - "\41\ff\ff\ff\ff\4f" ;; i32.const -1 with some unused bits unset - "\0b" ;; end - ) - "integer too large" -) - -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0f\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\80\80\80\80\80\80\80\80\80\7e" ;; i64.const 0 with unused bits set - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0f\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\ff\ff\ff\ff\ff\ff\ff\ff\ff\01" ;; i64.const -1 with unused bits unset - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0f\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\80\80\80\80\80\80\80\80\80\02" ;; i64.const 0 with some unused bits set - "\0b" ;; end - ) - "integer too large" -) -(assert_malformed - (module binary - "\00asm" "\01\00\00\00" - "\06\0f\01" ;; Global section with 1 entry - "\7e\00" ;; i64, immutable - "\42\ff\ff\ff\ff\ff\ff\ff\ff\ff\41" ;; i64.const -1 with some unused bits unset - "\0b" ;; end - ) - "integer too large" -) |