[Test] Update core testing data to wasm spec 2021/12/14.

Signed-off-by: YiYing He <yiying@secondstate.io>
second-state · Feb 15, 2022 · 81e37ce · 81e37ce
1 parent 98959cd
commit 81e37ce
Show file tree

Hide file tree

Showing 103 changed files with 153 additions and 94 deletions.
diff --git a/core/binary/binary.100.wasm b/core/binary/binary.100.wasm
diff --git a/core/binary/binary.101.wasm b/core/binary/binary.101.wasm
diff --git a/core/binary/binary.102.wasm b/core/binary/binary.102.wasm
diff --git a/core/binary/binary.103.wasm b/core/binary/binary.103.wasm
diff --git a/core/binary/binary.104.wasm b/core/binary/binary.104.wasm
diff --git a/core/binary/binary.105.wasm b/core/binary/binary.105.wasm
diff --git a/core/binary/binary.106.wasm b/core/binary/binary.106.wasm
diff --git a/core/binary/binary.107.wasm b/core/binary/binary.107.wasm
diff --git a/core/binary/binary.108.wasm b/core/binary/binary.108.wasm
diff --git a/core/binary/binary.109.wasm b/core/binary/binary.109.wasm
diff --git a/core/binary/binary.110.wasm b/core/binary/binary.110.wasm
diff --git a/core/binary/binary.111.wasm b/core/binary/binary.111.wasm
diff --git a/core/binary/binary.112.wasm b/core/binary/binary.112.wasm
diff --git a/core/binary/binary.113.wasm b/core/binary/binary.113.wasm
diff --git a/core/binary/binary.114.wasm b/core/binary/binary.114.wasm
diff --git a/core/binary/binary.115.wasm b/core/binary/binary.115.wasm
diff --git a/core/binary/binary.116.wasm b/core/binary/binary.116.wasm
diff --git a/core/binary/binary.117.wasm b/core/binary/binary.117.wasm
diff --git a/core/binary/binary.118.wasm b/core/binary/binary.118.wasm
diff --git a/core/binary/binary.119.wasm b/core/binary/binary.119.wasm
diff --git a/core/binary/binary.120.wasm b/core/binary/binary.120.wasm
diff --git a/core/binary/binary.121.wasm b/core/binary/binary.121.wasm
diff --git a/core/binary/binary.122.wasm b/core/binary/binary.122.wasm
diff --git a/core/binary/binary.123.wasm b/core/binary/binary.123.wasm
diff --git a/core/binary/binary.124.wasm b/core/binary/binary.124.wasm
diff --git a/core/binary/binary.125.wasm b/core/binary/binary.125.wasm
diff --git a/core/binary/binary.126.wasm b/core/binary/binary.126.wasm
diff --git a/core/binary/binary.127.wasm b/core/binary/binary.127.wasm
diff --git a/core/binary/binary.128.wasm b/core/binary/binary.128.wasm
diff --git a/core/binary/binary.129.wasm b/core/binary/binary.129.wasm
diff --git a/core/binary/binary.130.wasm b/core/binary/binary.130.wasm
diff --git a/core/binary/binary.131.wasm b/core/binary/binary.131.wasm
diff --git a/core/binary/binary.132.wasm b/core/binary/binary.132.wasm
diff --git a/core/binary/binary.133.wasm b/core/binary/binary.133.wasm
diff --git a/core/binary/binary.134.wasm b/core/binary/binary.134.wasm
diff --git a/core/binary/binary.135.wasm b/core/binary/binary.135.wasm
diff --git a/core/binary/binary.136.wasm b/core/binary/binary.136.wasm
diff --git a/core/binary/binary.137.wasm b/core/binary/binary.137.wasm
diff --git a/core/binary/binary.138.wasm b/core/binary/binary.138.wasm
diff --git a/core/binary/binary.139.wasm b/core/binary/binary.139.wasm
diff --git a/core/binary/binary.140.wasm b/core/binary/binary.140.wasm
diff --git a/core/binary/binary.141.wasm b/core/binary/binary.141.wasm
diff --git a/core/binary/binary.142.wasm b/core/binary/binary.142.wasm
diff --git a/core/binary/binary.143.wasm b/core/binary/binary.143.wasm
diff --git a/core/binary/binary.144.wasm b/core/binary/binary.144.wasm
diff --git a/core/binary/binary.145.wasm b/core/binary/binary.145.wasm
diff --git a/core/binary/binary.146.wasm b/core/binary/binary.146.wasm
diff --git a/core/binary/binary.147.wasm b/core/binary/binary.147.wasm
diff --git a/core/binary/binary.148.wasm b/core/binary/binary.148.wasm
diff --git a/core/binary/binary.149.wasm b/core/binary/binary.149.wasm
diff --git a/core/binary/binary.150.wasm b/core/binary/binary.150.wasm
diff --git a/core/binary/binary.151.wasm b/core/binary/binary.151.wasm
diff --git a/core/binary/binary.152.wasm b/core/binary/binary.152.wasm
diff --git a/core/binary/binary.153.wasm b/core/binary/binary.153.wasm
diff --git a/core/binary/binary.154.wasm b/core/binary/binary.154.wasm
diff --git a/core/binary/binary.155.wasm b/core/binary/binary.155.wasm
diff --git a/core/binary/binary.156.wasm b/core/binary/binary.156.wasm
diff --git a/core/binary/binary.157.wasm b/core/binary/binary.157.wasm
diff --git a/core/binary/binary.158.wasm b/core/binary/binary.158.wasm
diff --git a/core/binary/binary.159.wasm b/core/binary/binary.159.wasm
diff --git a/core/binary/binary.160.wasm b/core/binary/binary.160.wasm
diff --git a/core/binary/binary.161.wasm b/core/binary/binary.161.wasm
diff --git a/core/binary/binary.162.wasm b/core/binary/binary.162.wasm
diff --git a/core/binary/binary.163.wasm b/core/binary/binary.163.wasm
diff --git a/core/binary/binary.164.wasm b/core/binary/binary.164.wasm
diff --git a/core/binary/binary.165.wasm b/core/binary/binary.165.wasm
diff --git a/core/binary/binary.166.wasm b/core/binary/binary.166.wasm
diff --git a/core/binary/binary.167.wasm b/core/binary/binary.167.wasm
diff --git a/core/binary/binary.168.wasm b/core/binary/binary.168.wasm
diff --git a/core/binary/binary.169.wasm b/core/binary/binary.169.wasm
diff --git a/core/binary/binary.170.wasm b/core/binary/binary.170.wasm
diff --git a/core/binary/binary.171.wasm b/core/binary/binary.171.wasm
diff --git a/core/binary/binary.71.wasm b/core/binary/binary.71.wasm
diff --git a/core/binary/binary.72.wasm b/core/binary/binary.72.wasm
diff --git a/core/binary/binary.73.wasm b/core/binary/binary.73.wasm
diff --git a/core/binary/binary.74.wasm b/core/binary/binary.74.wasm
diff --git a/core/binary/binary.75.wasm b/core/binary/binary.75.wasm
diff --git a/core/binary/binary.76.wasm b/core/binary/binary.76.wasm
diff --git a/core/binary/binary.77.wasm b/core/binary/binary.77.wasm
diff --git a/core/binary/binary.78.wasm b/core/binary/binary.78.wasm
diff --git a/core/binary/binary.79.wasm b/core/binary/binary.79.wasm
diff --git a/core/binary/binary.80.wasm b/core/binary/binary.80.wasm
diff --git a/core/binary/binary.81.wasm b/core/binary/binary.81.wasm
diff --git a/core/binary/binary.82.wasm b/core/binary/binary.82.wasm
diff --git a/core/binary/binary.83.wasm b/core/binary/binary.83.wasm
diff --git a/core/binary/binary.84.wasm b/core/binary/binary.84.wasm
diff --git a/core/binary/binary.85.wasm b/core/binary/binary.85.wasm
diff --git a/core/binary/binary.86.wasm b/core/binary/binary.86.wasm
diff --git a/core/binary/binary.87.wasm b/core/binary/binary.87.wasm
diff --git a/core/binary/binary.88.wasm b/core/binary/binary.88.wasm
diff --git a/core/binary/binary.89.wasm b/core/binary/binary.89.wasm
diff --git a/core/binary/binary.90.wasm b/core/binary/binary.90.wasm
diff --git a/core/binary/binary.91.wasm b/core/binary/binary.91.wasm
diff --git a/core/binary/binary.92.wasm b/core/binary/binary.92.wasm
diff --git a/core/binary/binary.93.wasm b/core/binary/binary.93.wasm
diff --git a/core/binary/binary.94.wasm b/core/binary/binary.94.wasm
diff --git a/core/binary/binary.95.wasm b/core/binary/binary.95.wasm
diff --git a/core/binary/binary.96.wasm b/core/binary/binary.96.wasm
diff --git a/core/binary/binary.97.wasm b/core/binary/binary.97.wasm
diff --git a/core/binary/binary.98.wasm b/core/binary/binary.98.wasm
diff --git a/core/binary/binary.99.wasm b/core/binary/binary.99.wasm
diff --git a/core/binary/binary.json b/core/binary/binary.json
diff --git a/core/binary/binary.wast b/core/binary/binary.wast
@@ -368,6 +368,62 @@
   "integer too large"
 )
 
+;; Function with missing end marker (between two functions)
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01\04\01\60\00\00"       ;; Type section: 1 type
+    "\03\03\02\00\00"          ;; Function section: 2 functions
+    "\0a\0c\02"                ;; Code section: 2 functions
+    ;; function 0
+    "\04\00"                   ;; Function size and local type count
+    "\41\01"                   ;; i32.const 1
+    "\1a"                      ;; drop
+    ;; Missing end marker here
+    ;; function 1
+    "\05\00"                   ;; Function size and local type count
+    "\41\01"                   ;; i32.const 1
+    "\1a"                      ;; drop
+    "\0b"                      ;; end
+  )
+  "END opcode expected"
+)
+
+;; Function with missing end marker (at EOF)
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01\04\01\60\00\00"       ;; Type section: 1 type
+    "\03\02\01\00"             ;; Function section: 1 function
+    "\0a\06\01"                ;; Code section: 1 function
+    ;; function 0
+    "\04\00"                   ;; Function size and local type count
+    "\41\01"                   ;; i32.const 1
+    "\1a"                      ;; drop
+    ;; Missing end marker here
+  )
+  "unexpected end of section or function"
+)
+
+;; Function with missing end marker (at end of code sections)
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01\04\01\60\00\00"       ;; Type section: 1 type
+    "\03\02\01\00"             ;; Function section: 1 function
+    "\0a\06\01"                ;; Code section: 1 function
+    ;; function 0
+    "\04\00"                   ;; Function size and local type count
+    "\41\01"                   ;; i32.const 1
+    "\1a"                      ;; drop
+    ;; Missing end marker here
+    "\0b\03\01\01\00"          ;; Data section
+  )
+  ;; The spec interpreter consumes the `\0b` (data section start) as an
+  ;; END instruction (also happens to be `\0b`) and reports the code section as
+  ;; being larger than declared.
+  "section size mismatch"
+)
 
 ;; Unsigned LEB128 must not be overlong
 (assert_malformed