[core test] Tests long encoding of a segment index (#892)

The spec says that a data/element segment are required to have a `0` for the memory/table index, but they can be written using a long encoding, like `0x80 0x00`.
WebAssembly · Oct 19, 2018 · 7e3c46a · 7e3c46a
1 parent 64bf5c7
commit 7e3c46a
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/test/core/binary.wast b/test/core/binary.wast
@@ -114,6 +114,26 @@
   "\0b"                                ;; end
 )
 
+;; Data segment memory index can have non-minimal length
+(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 ""
+)
+
+;; Element segment table index can have non-minimal length
+(module binary
+  "\00asm" "\01\00\00\00"
+  "\04\04\01"                          ;; Table section with 1 entry
+  "\70\00\00"                          ;; no max, minimum 0, anyfunc
+  "\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
+)
+
 ;; Unsigned LEB128 must not be overlong
 (assert_malformed
   (module binary