Update spec testsuite submodule (#1618)

bytecodealliance · Jun 14, 2024 · 0ef50ac · 0ef50ac
1 parent 1bf990b
commit 0ef50ac
Show file tree

Hide file tree

Showing 10 changed files with 572 additions and 8 deletions.
diff --git a/tests/snapshots/testsuite/memory.wast.json b/tests/snapshots/testsuite/memory.wast.json
@@ -1093,6 +1093,171 @@
       "filename": "memory.33.wat",
       "text": "duplicate memory",
       "module_type": "text"
+    },
+    {
+      "type": "module",
+      "line": 246,
+      "filename": "memory.34.wasm"
+    },
+    {
+      "type": "assert_return",
+      "line": 260,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "0"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 261,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "10000"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 262,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "20000"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 263,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "30000"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 264,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "40000"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 265,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "50000"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 266,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "60000"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
+    },
+    {
+      "type": "assert_return",
+      "line": 267,
+      "action": {
+        "type": "invoke",
+        "field": "load",
+        "args": [
+          {
+            "type": "i32",
+            "value": "65535"
+          }
+        ]
+      },
+      "expected": [
+        {
+          "type": "i32",
+          "value": "0"
+        }
+      ]
     }
   ]
 }
diff --git a/tests/snapshots/testsuite/memory.wast/79.print b/tests/snapshots/testsuite/memory.wast/79.print
@@ -0,0 +1,16 @@
+(module
+  (type (;0;) (func (param i32) (result i32)))
+  (func (;0;) (type 0) (param i32) (result i32)
+    local.get 0
+    i32.load8_u
+  )
+  (memory (;0;) 1 1)
+  (global (;0;) i32 i32.const 10000)
+  (global (;1;) i32 i32.const 10000)
+  (global (;2;) i32 i32.const 10000)
+  (export "memory" (memory 0))
+  (export "__data_end" (global 0))
+  (export "__stack_top" (global 1))
+  (export "__heap_base" (global 2))
+  (export "load" (func 0))
+)
diff --git a/tests/snapshots/testsuite/proposals/function-references/return_call.wast.json b/tests/snapshots/testsuite/proposals/function-references/return_call.wast.json
@@ -650,17 +650,24 @@
     },
     {
       "type": "assert_invalid",
-      "line": 196,
+      "line": 192,
       "filename": "return_call.11.wasm",
-      "text": "unknown function",
+      "text": "type mismatch",
       "module_type": "binary"
     },
     {
       "type": "assert_invalid",
-      "line": 200,
+      "line": 204,
       "filename": "return_call.12.wasm",
       "text": "unknown function",
       "module_type": "binary"
+    },
+    {
+      "type": "assert_invalid",
+      "line": 208,
+      "filename": "return_call.13.wasm",
+      "text": "unknown function",
+      "module_type": "binary"
     }
   ]
 }
diff --git a/tests/snapshots/testsuite/proposals/function-references/return_call_indirect.wast.json b/tests/snapshots/testsuite/proposals/function-references/return_call_indirect.wast.json
@@ -1048,22 +1048,29 @@
     },
     {
       "type": "assert_invalid",
-      "line": 516,
+      "line": 512,
       "filename": "return_call_indirect.25.wasm",
-      "text": "unknown type",
+      "text": "type mismatch",
       "module_type": "binary"
     },
     {
       "type": "assert_invalid",
-      "line": 523,
+      "line": 526,
       "filename": "return_call_indirect.26.wasm",
       "text": "unknown type",
       "module_type": "binary"
     },
     {
       "type": "assert_invalid",
-      "line": 534,
+      "line": 533,
       "filename": "return_call_indirect.27.wasm",
+      "text": "unknown type",
+      "module_type": "binary"
+    },
+    {
+      "type": "assert_invalid",
+      "line": 544,
+      "filename": "return_call_indirect.28.wasm",
       "text": "unknown function 0",
       "module_type": "binary"
     }

diff --git a/tests/snapshots/testsuite/proposals/function-references/return_call_ref.wast.json b/tests/snapshots/testsuite/proposals/function-references/return_call_ref.wast.json
@@ -704,6 +704,13 @@
       "filename": "return_call_ref.13.wasm",
       "text": "type mismatch",
       "module_type": "binary"
+    },
+    {
+      "type": "assert_invalid",
+      "line": 379,
+      "filename": "return_call_ref.14.wasm",
+      "text": "type mismatch",
+      "module_type": "binary"
     }
   ]
 }