Update spectest

mohanson · Oct 27, 2024 · 9acc0af · 9acc0af
1 parent 6be835b
commit 9acc0af
Show file tree

Hide file tree

Showing 930 changed files with 3,080 additions and 2,121 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,9 +1,2 @@
-__pycache__/
-*.py[cod]
-
-build/
-dist/
-*.egg-info/
-*.egg
-
-.pytest_cache/
+dist
+res/spec
diff --git a/res/spectest/address.json b/res/spectest/address.json
diff --git a/res/spectest/address.wast b/res/spectest/address.wast
@@ -191,6 +191,13 @@
 (assert_return (invoke "32_good4" (i32.const 65508)) (i32.const 0))
 (assert_trap (invoke "32_good5" (i32.const 65508)) "out of bounds memory access")
 
+(assert_trap (invoke "8u_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "8s_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "16u_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "16s_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "32_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "32_good3" (i32.const -1)) "out of bounds memory access")
+
 (assert_trap (invoke "8u_bad" (i32.const 0)) "out of bounds memory access")
 (assert_trap (invoke "8s_bad" (i32.const 0)) "out of bounds memory access")
 (assert_trap (invoke "16u_bad" (i32.const 0)) "out of bounds memory access")
@@ -478,6 +485,14 @@
 (assert_return (invoke "64_good4" (i32.const 65504)) (i64.const 0))
 (assert_trap (invoke "64_good5" (i32.const 65504)) "out of bounds memory access")
 
+(assert_trap (invoke "8u_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "8s_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "16u_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "16s_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "32u_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "32s_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "64_good3" (i32.const -1)) "out of bounds memory access")
+
 (assert_trap (invoke "8u_bad" (i32.const 0)) "out of bounds memory access")
 (assert_trap (invoke "8s_bad" (i32.const 0)) "out of bounds memory access")
 (assert_trap (invoke "16u_bad" (i32.const 0)) "out of bounds memory access")
@@ -538,6 +553,9 @@
 (assert_return (invoke "32_good4" (i32.const 65525)) (f32.const 0.0))
 (assert_trap (invoke "32_good5" (i32.const 65525)) "out of bounds memory access")
 
+(assert_trap (invoke "32_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "32_good3" (i32.const -1)) "out of bounds memory access")
+
 (assert_trap (invoke "32_bad" (i32.const 0)) "out of bounds memory access")
 (assert_trap (invoke "32_bad" (i32.const 1)) "out of bounds memory access")
 
@@ -585,5 +603,8 @@
 (assert_return (invoke "64_good4" (i32.const 65511)) (f64.const 0.0))
 (assert_trap (invoke "64_good5" (i32.const 65511)) "out of bounds memory access")
 
+(assert_trap (invoke "64_good3" (i32.const -1)) "out of bounds memory access")
+(assert_trap (invoke "64_good3" (i32.const -1)) "out of bounds memory access")
+
 (assert_trap (invoke "64_bad" (i32.const 0)) "out of bounds memory access")
 (assert_trap (invoke "64_bad" (i32.const 1)) "out of bounds memory access")
diff --git a/res/spectest/binary-leb128.71.wasm b/res/spectest/binary-leb128.71.wasm
diff --git a/res/spectest/binary-leb128.81.wasm b/res/spectest/binary-leb128.81.wasm
diff --git a/res/spectest/binary-leb128.82.wasm b/res/spectest/binary-leb128.82.wasm
diff --git a/res/spectest/binary-leb128.json b/res/spectest/binary-leb128.json
@@ -80,4 +80,6 @@
   {"type": "assert_malformed", "line": 925, "filename": "binary-leb128.77.wasm", "text": "integer too large", "module_type": "binary"}, 
   {"type": "assert_malformed", "line": 935, "filename": "binary-leb128.78.wasm", "text": "integer too large", "module_type": "binary"}, 
   {"type": "assert_malformed", "line": 945, "filename": "binary-leb128.79.wasm", "text": "integer too large", "module_type": "binary"}, 
-  {"type": "assert_malformed", "line": 955, "filename": "binary-leb128.80.wasm", "text": "integer too large", "module_type": "binary"}]}
+  {"type": "assert_malformed", "line": 955, "filename": "binary-leb128.80.wasm", "text": "integer too large", "module_type": "binary"}, 
+  {"type": "module", "line": 966, "filename": "binary-leb128.81.wasm"}, 
+  {"type": "assert_malformed", "line": 987, "filename": "binary-leb128.82.wasm", "text": "integer representation too long", "module_type": "binary"}]}
diff --git a/res/spectest/binary-leb128.wast b/res/spectest/binary-leb128.wast
@@ -852,7 +852,7 @@
     "\41\00"                   ;; i32.const 0
     "\41\03"                   ;; i32.const 3
     "\36"                      ;; i32.store
-    "\03"                      ;; alignment 2
+    "\02"                      ;; alignment 2
     "\82\80\80\80\10"          ;; offset 2 with unused bits set
     "\0b"                      ;; end
   )
@@ -961,3 +961,41 @@
   )
   "integer too large"
 )
+
+
+(module binary
+  "\00asm" "\01\00\00\00"
+  "\01\04\01"                          ;; type section
+  "\60\00\00"                          ;; empty function type
+  "\03\02\01"                          ;; function section
+  "\00"                                ;; function 0, type 0
+  "\0a\1b\01\19"                       ;; code section
+  "\00"                                ;; no locals
+  "\00"                                ;; unreachable
+  "\fc\80\00"                          ;; i32_trunc_sat_f32_s with 2 bytes
+  "\00"                                ;; unreachable
+  "\fc\81\80\00"                       ;; i32_trunc_sat_f32_u with 3 bytes
+  "\00"                                ;; unreachable
+  "\fc\86\80\80\00"                    ;; i64_trunc_sat_f64_s with 4 bytes
+  "\00"                                ;; unreachable
+  "\fc\87\80\80\80\00"                 ;; i64_trunc_sat_f64_u with 5 bytes
+  "\00"                                ;; unreachable
+  "\0b"                                ;; end
+)
+
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01\04\01"                          ;; type section
+    "\60\00\00"                          ;; empty function type
+    "\03\02\01"                          ;; function section
+    "\00"                                ;; function 0, type 0
+    "\0a\0d\01\0b"                       ;; code section
+    "\00"                                ;; no locals
+    "\00"                                ;; unreachable
+    "\fc\87\80\80\80\80\00"              ;; i64_trunc_sat_f64_u with 6 bytes
+    "\00"                                ;; unreachable
+    "\0b"                                ;; end
+  )
+  "integer representation too long"
+)
diff --git a/res/spectest/binary.100.wasm b/res/spectest/binary.100.wasm
diff --git a/res/spectest/binary.101.wasm b/res/spectest/binary.101.wasm
diff --git a/res/spectest/binary.102.wasm b/res/spectest/binary.102.wasm
diff --git a/res/spectest/binary.103.wasm b/res/spectest/binary.103.wasm
diff --git a/res/spectest/binary.104.wasm b/res/spectest/binary.104.wasm
diff --git a/res/spectest/binary.32.wasm b/res/spectest/binary.32.wasm
diff --git a/res/spectest/binary.33.wasm b/res/spectest/binary.33.wasm
diff --git a/res/spectest/binary.34.wasm b/res/spectest/binary.34.wasm
diff --git a/res/spectest/binary.35.wasm b/res/spectest/binary.35.wasm
diff --git a/res/spectest/binary.36.wasm b/res/spectest/binary.36.wasm
diff --git a/res/spectest/binary.37.wasm b/res/spectest/binary.37.wasm
diff --git a/res/spectest/binary.38.wasm b/res/spectest/binary.38.wasm
diff --git a/res/spectest/binary.39.wasm b/res/spectest/binary.39.wasm
diff --git a/res/spectest/binary.40.wasm b/res/spectest/binary.40.wasm
diff --git a/res/spectest/binary.41.wasm b/res/spectest/binary.41.wasm
diff --git a/res/spectest/binary.42.wasm b/res/spectest/binary.42.wasm
diff --git a/res/spectest/binary.43.wasm b/res/spectest/binary.43.wasm
diff --git a/res/spectest/binary.44.wasm b/res/spectest/binary.44.wasm
diff --git a/res/spectest/binary.45.wasm b/res/spectest/binary.45.wasm
diff --git a/res/spectest/binary.46.wasm b/res/spectest/binary.46.wasm
diff --git a/res/spectest/binary.47.wasm b/res/spectest/binary.47.wasm
diff --git a/res/spectest/binary.48.wasm b/res/spectest/binary.48.wasm
diff --git a/res/spectest/binary.49.wasm b/res/spectest/binary.49.wasm
diff --git a/res/spectest/binary.50.wasm b/res/spectest/binary.50.wasm
diff --git a/res/spectest/binary.51.wasm b/res/spectest/binary.51.wasm
diff --git a/res/spectest/binary.52.wasm b/res/spectest/binary.52.wasm
diff --git a/res/spectest/binary.53.wasm b/res/spectest/binary.53.wasm
diff --git a/res/spectest/binary.54.wasm b/res/spectest/binary.54.wasm
diff --git a/res/spectest/binary.55.wasm b/res/spectest/binary.55.wasm
diff --git a/res/spectest/binary.56.wasm b/res/spectest/binary.56.wasm
diff --git a/res/spectest/binary.57.wasm b/res/spectest/binary.57.wasm
diff --git a/res/spectest/binary.58.wasm b/res/spectest/binary.58.wasm
diff --git a/res/spectest/binary.59.wasm b/res/spectest/binary.59.wasm
diff --git a/res/spectest/binary.60.wasm b/res/spectest/binary.60.wasm
diff --git a/res/spectest/binary.61.wasm b/res/spectest/binary.61.wasm
diff --git a/res/spectest/binary.62.wasm b/res/spectest/binary.62.wasm
diff --git a/res/spectest/binary.63.wasm b/res/spectest/binary.63.wasm
diff --git a/res/spectest/binary.64.wasm b/res/spectest/binary.64.wasm
diff --git a/res/spectest/binary.65.wasm b/res/spectest/binary.65.wasm
diff --git a/res/spectest/binary.66.wasm b/res/spectest/binary.66.wasm
diff --git a/res/spectest/binary.67.wasm b/res/spectest/binary.67.wasm
diff --git a/res/spectest/binary.68.wasm b/res/spectest/binary.68.wasm
diff --git a/res/spectest/binary.69.wasm b/res/spectest/binary.69.wasm
diff --git a/res/spectest/binary.70.wasm b/res/spectest/binary.70.wasm
diff --git a/res/spectest/binary.71.wasm b/res/spectest/binary.71.wasm
diff --git a/res/spectest/binary.72.wasm b/res/spectest/binary.72.wasm
diff --git a/res/spectest/binary.73.wasm b/res/spectest/binary.73.wasm
diff --git a/res/spectest/binary.74.wasm b/res/spectest/binary.74.wasm
diff --git a/res/spectest/binary.75.wasm b/res/spectest/binary.75.wasm
diff --git a/res/spectest/binary.76.wasm b/res/spectest/binary.76.wasm
diff --git a/res/spectest/binary.77.wasm b/res/spectest/binary.77.wasm
diff --git a/res/spectest/binary.78.wasm b/res/spectest/binary.78.wasm
diff --git a/res/spectest/binary.79.wasm b/res/spectest/binary.79.wasm
diff --git a/res/spectest/binary.80.wasm b/res/spectest/binary.80.wasm
diff --git a/res/spectest/binary.81.wasm b/res/spectest/binary.81.wasm
diff --git a/res/spectest/binary.82.wasm b/res/spectest/binary.82.wasm
diff --git a/res/spectest/binary.83.wasm b/res/spectest/binary.83.wasm
diff --git a/res/spectest/binary.84.wasm b/res/spectest/binary.84.wasm
diff --git a/res/spectest/binary.85.wasm b/res/spectest/binary.85.wasm
diff --git a/res/spectest/binary.86.wasm b/res/spectest/binary.86.wasm
diff --git a/res/spectest/binary.87.wasm b/res/spectest/binary.87.wasm
diff --git a/res/spectest/binary.88.wasm b/res/spectest/binary.88.wasm
diff --git a/res/spectest/binary.89.wasm b/res/spectest/binary.89.wasm
diff --git a/res/spectest/binary.90.wasm b/res/spectest/binary.90.wasm
diff --git a/res/spectest/binary.91.wasm b/res/spectest/binary.91.wasm
diff --git a/res/spectest/binary.92.wasm b/res/spectest/binary.92.wasm
diff --git a/res/spectest/binary.93.wasm b/res/spectest/binary.93.wasm
diff --git a/res/spectest/binary.94.wasm b/res/spectest/binary.94.wasm
diff --git a/res/spectest/binary.95.wasm b/res/spectest/binary.95.wasm
diff --git a/res/spectest/binary.96.wasm b/res/spectest/binary.96.wasm
diff --git a/res/spectest/binary.97.wasm b/res/spectest/binary.97.wasm
diff --git a/res/spectest/binary.98.wasm b/res/spectest/binary.98.wasm
diff --git a/res/spectest/binary.99.wasm b/res/spectest/binary.99.wasm