Fix encoding of heap type definitions (#6856)

The leading bytes that indicate what kind of heap type is being defined
are bytes, but we were previously treating them as SLEB128-encoded
values. Since we emit the smallest LEB encodings possible, we were
writing the correct bytes in output files, but we were also improperly
accepting binaries that used more than one byte to encode these values.
This was caught by an upstream spec test.

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"
-)