Update spec test suite (#1695)

Looks like a normal update, no changes necessary.
bytecodealliance · Jul 22, 2024 · 9c7a49a · 9c7a49a
1 parent 4ec13be
commit 9c7a49a
Show file tree

Hide file tree

Showing 46 changed files with 647 additions and 60 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule "tests/wabt"]
-	path = tests/wabt
-	url = https://github.com/WebAssembly/wabt
 [submodule "tests/testsuite"]
 	path = tests/testsuite
 	url = https://github.com/WebAssembly/testsuite
diff --git a/tests/snapshots/testsuite/proposals/annotations/token.wast.json b/tests/snapshots/testsuite/proposals/annotations/token.wast.json
@@ -0,0 +1,362 @@
+{
+  "source_filename": "tests/testsuite/proposals/annotations/token.wast",
+  "commands": [
+    {
+      "type": "assert_malformed",
+      "line": 4,
+      "filename": "token.0.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 8,
+      "filename": "token.1.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 15,
+      "filename": "token.2.wasm"
+    },
+    {
+      "type": "module",
+      "line": 18,
+      "filename": "token.3.wasm"
+    },
+    {
+      "type": "module",
+      "line": 21,
+      "filename": "token.4.wasm"
+    },
+    {
+      "type": "module",
+      "line": 24,
+      "filename": "token.5.wasm"
+    },
+    {
+      "type": "module",
+      "line": 27,
+      "filename": "token.6.wasm"
+    },
+    {
+      "type": "module",
+      "line": 30,
+      "filename": "token.7.wasm"
+    },
+    {
+      "type": "module",
+      "line": 33,
+      "filename": "token.8.wasm"
+    },
+    {
+      "type": "module",
+      "line": 38,
+      "filename": "token.9.wasm"
+    },
+    {
+      "type": "module",
+      "line": 43,
+      "filename": "token.10.wasm"
+    },
+    {
+      "type": "module",
+      "line": 47,
+      "filename": "token.11.wasm"
+    },
+    {
+      "type": "module",
+      "line": 54,
+      "filename": "token.12.wasm"
+    },
+    {
+      "type": "module",
+      "line": 58,
+      "filename": "token.13.wasm"
+    },
+    {
+      "type": "module",
+      "line": 62,
+      "filename": "token.14.wasm"
+    },
+    {
+      "type": "module",
+      "line": 66,
+      "filename": "token.15.wasm"
+    },
+    {
+      "type": "module",
+      "line": 70,
+      "filename": "token.16.wasm"
+    },
+    {
+      "type": "module",
+      "line": 74,
+      "filename": "token.17.wasm"
+    },
+    {
+      "type": "module",
+      "line": 82,
+      "filename": "token.18.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 86,
+      "filename": "token.19.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 92,
+      "filename": "token.20.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 98,
+      "filename": "token.21.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 102,
+      "filename": "token.22.wat",
+      "text": "unknown label",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 108,
+      "filename": "token.23.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 114,
+      "filename": "token.24.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 118,
+      "filename": "token.25.wat",
+      "text": "unknown label",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 124,
+      "filename": "token.26.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 130,
+      "filename": "token.27.wasm"
+    },
+    {
+      "type": "module",
+      "line": 133,
+      "filename": "token.28.wasm"
+    },
+    {
+      "type": "module",
+      "line": 140,
+      "filename": "token.29.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 144,
+      "filename": "token.30.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 150,
+      "filename": "token.31.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 154,
+      "filename": "token.32.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 160,
+      "filename": "token.33.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 164,
+      "filename": "token.34.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 170,
+      "filename": "token.35.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 174,
+      "filename": "token.36.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 180,
+      "filename": "token.37.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 184,
+      "filename": "token.38.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 190,
+      "filename": "token.39.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 194,
+      "filename": "token.40.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 200,
+      "filename": "token.41.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 204,
+      "filename": "token.42.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 210,
+      "filename": "token.43.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 214,
+      "filename": "token.44.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 220,
+      "filename": "token.45.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 224,
+      "filename": "token.46.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 230,
+      "filename": "token.47.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 234,
+      "filename": "token.48.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 240,
+      "filename": "token.49.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 244,
+      "filename": "token.50.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 250,
+      "filename": "token.51.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 254,
+      "filename": "token.52.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 260,
+      "filename": "token.53.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 264,
+      "filename": "token.54.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 270,
+      "filename": "token.55.wasm"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 274,
+      "filename": "token.56.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 282,
+      "filename": "token.57.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 288,
+      "filename": "token.58.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 294,
+      "filename": "token.59.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 300,
+      "filename": "token.60.wat",
+      "text": "unknown operator",
+      "module_type": "text"
+    }
+  ]
+}
diff --git a/tests/snapshots/testsuite/proposals/annotations/token.wast/10.print b/tests/snapshots/testsuite/proposals/annotations/token.wast/10.print
@@ -0,0 +1,4 @@
+(module
+  (memory (;0;) 1)
+  (data (;0;) (i32.const 0) "a")
+)
diff --git a/tests/snapshots/testsuite/proposals/annotations/token.wast/11.print b/tests/snapshots/testsuite/proposals/annotations/token.wast/11.print
@@ -0,0 +1,4 @@
+(module
+  (type (;0;) (func))
+  (import "spectest" "print" (func (;0;) (type 0)))
+)
diff --git a/tests/snapshots/testsuite/proposals/annotations/token.wast/12.print b/tests/snapshots/testsuite/proposals/annotations/token.wast/12.print
@@ -0,0 +1,4 @@
+(module
+  (type (;0;) (func))
+  (func (;0;) (type 0))
+)
diff --git a/tests/snapshots/testsuite/proposals/annotations/token.wast/13.print b/tests/snapshots/testsuite/proposals/annotations/token.wast/13.print
@@ -0,0 +1,6 @@
+(module
+  (type (;0;) (func))
+  (func (;0;) (type 0)
+    nop
+  )
+)
diff --git a/tests/snapshots/testsuite/proposals/annotations/token.wast/14.print b/tests/snapshots/testsuite/proposals/annotations/token.wast/14.print
@@ -0,0 +1,6 @@
+(module
+  (type (;0;) (func))
+  (func (;0;) (type 0)
+    nop
+  )
+)