codeOfRobin
diff --git a/‎JSTests/wasm/ipint-tests/ipint-error-check-call-null.js‎
Lines changed: 1 addition & 1 deletion b/‎JSTests/wasm/ipint-tests/ipint-error-check-call-null.js‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎JSTests/wasm/ipint-tests/ipint-error-check-call-sig.js‎
Lines changed: 1 addition & 1 deletion b/‎JSTests/wasm/ipint-tests/ipint-error-check-call-sig.js‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎JSTests/wasm/ipint-tests/ipint-error-check-div-0.js‎
Lines changed: 21 additions & 0 deletions b/‎JSTests/wasm/ipint-tests/ipint-error-check-div-0.js‎
Lines changed: 21 additions & 0 deletions
diff --git a/‎JSTests/wasm/ipint-tests/ipint-error-check-mem-outofbounds.js‎
Lines changed: 1 addition & 1 deletion b/‎JSTests/wasm/ipint-tests/ipint-error-check-mem-outofbounds.js‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎JSTests/wasm/ipint-tests/ipint-error-check-trunc-outofbounds.js‎
Lines changed: 1 addition & 1 deletion b/‎JSTests/wasm/ipint-tests/ipint-error-check-trunc-outofbounds.js‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎JSTests/wasm/ipint-tests/ipint-error-check-unreachable.js‎
Lines changed: 19 additions & 0 deletions b/‎JSTests/wasm/ipint-tests/ipint-error-check-unreachable.js‎
Lines changed: 19 additions & 0 deletions
diff --git a/‎JSTests/wasm/ipint-tests/ipint-test-block-nobr.js‎
Lines changed: 29 additions & 0 deletions b/‎JSTests/wasm/ipint-tests/ipint-test-block-nobr.js‎
Lines changed: 29 additions & 0 deletions
diff --git a/‎JSTests/wasm/ipint-tests/ipint-test-branch-table.js‎
Lines changed: 39 additions & 0 deletions b/‎JSTests/wasm/ipint-tests/ipint-test-branch-table.js‎
Lines changed: 39 additions & 0 deletions
diff --git a/‎JSTests/wasm/ipint-tests/ipint-test-call-add12.js‎
Lines changed: 58 additions & 0 deletions b/‎JSTests/wasm/ipint-tests/ipint-test-call-add12.js‎
Lines changed: 58 additions & 0 deletions
diff --git a/‎JSTests/wasm/ipint-tests/ipint-test-call-arg-order.js‎
Lines changed: 25 additions & 0 deletions b/‎JSTests/wasm/ipint-tests/ipint-test-call-arg-order.js‎
Lines changed: 25 additions & 0 deletions
@@ -21,7 +21,7 @@ let wat = `
 async function test() {
     const instance = await instantiate(wat, {});
     const { table, read, write_null, write_inc, call, inc } = instance.exports
-    assert.eq(call(5), 6);
+    assert.throws(() => {call(5)}, WebAssembly.RuntimeError, "call_indirect to a null table entry (evaluating 'call(5)')");
 }
 
 assert.asyncTest(test())
@@ -28,7 +28,7 @@ async function test() {
     const instance = await instantiate(wat, {});
     const { table, read, write_null, write_inc, call, inc } = instance.exports
     write_inc();
-    assert.eq(call(5), 6);
+    assert.throws(() => {call(5)}, WebAssembly.RuntimeError, "call_indirect to a signature that does not match (evaluating 'call(5)')");
 }
 
 assert.asyncTest(test())
@@ -0,0 +1,21 @@
+import { instantiate } from "../wabt-wrapper.js"
+import * as assert from "../assert.js"
+
+let wat = `
+(module
+    (func (export "test") (param i32 i32) (result i32)
+        (local.get 0)
+        (local.get 1)
+        (i32.div_u)
+        (return)
+    )
+)
+`
+
+async function test() {
+    const instance = await instantiate(wat, {});
+    const { test } = instance.exports
+    assert.throws(() => {test(1, 0)}, WebAssembly.RuntimeError, "Division by zero (evaluating 'test(1, 0)')");
+}
+
+assert.asyncTest(test())
@@ -16,7 +16,7 @@ let wat = `
 async function test() {
     const instance = await instantiate(wat, {});
     const { memory, test } = instance.exports
-    test(65536);
+    assert.throws(() => {test(65536)}, WebAssembly.RuntimeError, "Out of bounds memory access (evaluating 'test(65536)')")
 }
 
 assert.asyncTest(test())
@@ -13,7 +13,7 @@ let wat = `
 async function test() {
     const instance = await instantiate(wat, {});
     const { memory, test } = instance.exports
-    test(4294967296)
+    assert.throws(() => {test(4294967296)}, WebAssembly.RuntimeError, "Out of bounds Trunc operation (evaluating 'test(4294967296)')");
 }
 
 assert.asyncTest(test())
@@ -0,0 +1,19 @@
+import { instantiate } from "../wabt-wrapper.js"
+import * as assert from "../assert.js"
+
+let wat = `
+(module
+    (func (export "test")
+        (unreachable)
+        (return)
+    )
+)
+`
+
+async function test() {
+    const instance = await instantiate(wat, {});
+    const { test } = instance.exports
+    assert.throws(() => {test()}, WebAssembly.RuntimeError, "Unreachable code should not be executed (evaluating 'test()')");
+}
+
+assert.asyncTest(test())
@@ -0,0 +1,29 @@
+import { instantiate } from "../wabt-wrapper.js"
+import * as assert from "../assert.js"
+
+let wat = `
+(module
+    (func (export "test") (result i32)
+        (block (result i32 i32 i32 i32)
+            (block (result i32 i32)
+                (i32.const 1)
+                (i32.const 2)
+            )
+            (i32.const 2)
+            (i32.const 3)
+        )
+        (i32.add)
+        (i32.add)
+        (i32.add)
+        (return)
+    )
+)
+`
+
+async function test() {
+    const instance = await instantiate(wat, {});
+    const { test } = instance.exports
+    assert.eq(test(), 8)
+}
+
+assert.asyncTest(test())
@@ -0,0 +1,39 @@
+import { instantiate } from "../wabt-wrapper.js"
+import * as assert from "../assert.js"
+
+let wat = `
+(module
+    (func (export "test") (param i32) (result i32)
+        (block
+            (block
+                (block
+                    (block
+                        (local.get 0)
+                        (br_table 0 1 2 3)
+                    )
+                    (i32.const 2)
+                    (return)
+                )
+                (i32.const 3)
+                (return)
+            )
+            (i32.const 5)
+            (return)
+        )
+        (i32.const 7)
+        (return)
+    )
+)
+`
+
+async function test() {
+    const instance = await instantiate(wat, {});
+    const { test } = instance.exports
+    assert.eq(test(0), 2);
+    assert.eq(test(1), 3);
+    assert.eq(test(2), 5);
+    assert.eq(test(3), 7);
+    assert.eq(test(4), 7);
+}
+
+assert.asyncTest(test())
@@ -0,0 +1,58 @@
+import { instantiate } from "../wabt-wrapper.js"
+import * as assert from "../assert.js"
+
+let wat = `
+(module
+    (func $add (export "add") (param i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32) (result i32)
+        (local.get 0)
+        (local.get 1)
+        (i32.add)
+        (local.get 2)
+        (i32.add)
+        (local.get 3)
+        (i32.add)
+        (local.get 4)
+        (i32.add)
+        (local.get 5)
+        (i32.add)
+        (local.get 6)
+        (i32.add)
+        (local.get 7)
+        (i32.add)
+        (local.get 8)
+        (i32.add)
+        (local.get 9)
+        (i32.add)
+        (local.get 10)
+        (i32.add)
+        (local.get 11)
+        (i32.add)
+        (return)
+    )
+    (func (export "test") (param i32) (result i32)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)
+        (call $add)
+        (return)
+    )
+)
+`
+
+async function test() {
+    const instance = await instantiate(wat, {});
+    const { test, add } = instance.exports
+    // assert.eq(add(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1), 12);
+    assert.eq(test(1), 12)
+}
+
+assert.asyncTest(test())
@@ -0,0 +1,25 @@
+import { instantiate } from "../wabt-wrapper.js"
+import * as assert from "../assert.js"
+
+let wat = `
+(module
+    (func $r2 (param i32 i32) (result i32)
+        (local.get 0)
+        (return)
+    )
+    (func (export "test") (result i32)
+        (i32.const 1)
+        (i32.const 2)
+        (call $r2)
+        (return)
+    )
+)
+`
+
+async function test() {
+    const instance = await instantiate(wat, {});
+    const { test } = instance.exports
+    assert.eq(test(), 1)
+}
+
+assert.asyncTest(test())
Original file line number	Diff line number	Diff line change
@@ -21,7 +21,7 @@ let wat = `
`21`	`21`	`async function test() {`
`22`	`22`	`const instance = await instantiate(wat, {});`
`23`	`23`	`const { table, read, write_null, write_inc, call, inc } = instance.exports`
`24`		`- assert.eq(call(5), 6);`
	`24`	`+ assert.throws(() => {call(5)}, WebAssembly.RuntimeError, "call_indirect to a null table entry (evaluating 'call(5)')");`
`25`	`25`	`}`
`26`	`26`
`27`	`27`	`assert.asyncTest(test())`
Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ async function test() {`
`28`	`28`	`const instance = await instantiate(wat, {});`
`29`	`29`	`const { table, read, write_null, write_inc, call, inc } = instance.exports`
`30`	`30`	`write_inc();`
`31`		`- assert.eq(call(5), 6);`
	`31`	`+ assert.throws(() => {call(5)}, WebAssembly.RuntimeError, "call_indirect to a signature that does not match (evaluating 'call(5)')");`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`assert.asyncTest(test())`
Original file line number	Diff line number	Diff line change
@@ -16,7 +16,7 @@ let wat = `
`16`	`16`	`async function test() {`
`17`	`17`	`const instance = await instantiate(wat, {});`
`18`	`18`	`const { memory, test } = instance.exports`
`19`		`- test(65536);`
	`19`	`+ assert.throws(() => {test(65536)}, WebAssembly.RuntimeError, "Out of bounds memory access (evaluating 'test(65536)')")`
`20`	`20`	`}`
`21`	`21`
`22`	`22`	`assert.asyncTest(test())`
Original file line number	Diff line number	Diff line change
@@ -13,7 +13,7 @@ let wat = `
`13`	`13`	`async function test() {`
`14`	`14`	`const instance = await instantiate(wat, {});`
`15`	`15`	`const { memory, test } = instance.exports`
`16`		`- test(4294967296)`
	`16`	`+ assert.throws(() => {test(4294967296)}, WebAssembly.RuntimeError, "Out of bounds Trunc operation (evaluating 'test(4294967296)')");`
`17`	`17`	`}`
`18`	`18`
`19`	`19`	`assert.asyncTest(test())`