summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/spec/gc/br_on_cast.wast.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/gc/br_on_cast.wast.js')
-rw-r--r--js/src/jit-test/tests/wasm/spec/gc/br_on_cast.wast.js337
1 files changed, 337 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/gc/br_on_cast.wast.js b/js/src/jit-test/tests/wasm/spec/gc/br_on_cast.wast.js
new file mode 100644
index 0000000000..23ea05818a
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/spec/gc/br_on_cast.wast.js
@@ -0,0 +1,337 @@
+/* Copyright 2021 Mozilla Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+// ./test/core/gc/br_on_cast.wast
+
+// ./test/core/gc/br_on_cast.wast:3
+let $0 = instantiate(`(module
+ (type $$ft (func (result i32)))
+ (type $$st (struct (field i16)))
+ (type $$at (array i8))
+
+ (table 10 anyref)
+
+ (elem declare func $$f)
+ (func $$f (result i32) (i32.const 9))
+
+ (func (export "init") (param $$x externref)
+ (table.set (i32.const 0) (ref.null any))
+ (table.set (i32.const 1) (ref.i31 (i32.const 7)))
+ (table.set (i32.const 2) (struct.new $$st (i32.const 6)))
+ (table.set (i32.const 3) (array.new $$at (i32.const 5) (i32.const 3)))
+ (table.set (i32.const 4) (any.convert_extern (local.get $$x)))
+ )
+
+ (func (export "br_on_null") (param $$i i32) (result i32)
+ (block $$l
+ (br_on_null $$l (table.get (local.get $$i)))
+ (return (i32.const -1))
+ )
+ (i32.const 0)
+ )
+ (func (export "br_on_i31") (param $$i i32) (result i32)
+ (block $$l (result (ref i31))
+ (br_on_cast $$l anyref (ref i31) (table.get (local.get $$i)))
+ (return (i32.const -1))
+ )
+ (i31.get_u)
+ )
+ (func (export "br_on_struct") (param $$i i32) (result i32)
+ (block $$l (result (ref struct))
+ (br_on_cast $$l anyref (ref struct) (table.get (local.get $$i)))
+ (return (i32.const -1))
+ )
+ (block $$l2 (param structref) (result (ref $$st))
+ (block $$l3 (param structref) (result (ref $$at))
+ (br_on_cast $$l2 structref (ref $$st))
+ (br_on_cast $$l3 anyref (ref $$at))
+ (return (i32.const -2))
+ )
+ (return (array.get_u $$at (i32.const 0)))
+ )
+ (struct.get_s $$st 0)
+ )
+ (func (export "br_on_array") (param $$i i32) (result i32)
+ (block $$l (result (ref array))
+ (br_on_cast $$l anyref (ref array) (table.get (local.get $$i)))
+ (return (i32.const -1))
+ )
+ (array.len)
+ )
+
+ (func (export "null-diff") (param $$i i32) (result i32)
+ (block $$l (result (ref null struct))
+ (block (result (ref any))
+ (br_on_cast $$l (ref null any) (ref null struct) (table.get (local.get $$i)))
+ )
+ (return (i32.const 0))
+ )
+ (return (i32.const 1))
+ )
+)`);
+
+// ./test/core/gc/br_on_cast.wast:69
+invoke($0, `init`, [externref(0)]);
+
+// ./test/core/gc/br_on_cast.wast:71
+assert_return(() => invoke($0, `br_on_null`, [0]), [value("i32", 0)]);
+
+// ./test/core/gc/br_on_cast.wast:72
+assert_return(() => invoke($0, `br_on_null`, [1]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:73
+assert_return(() => invoke($0, `br_on_null`, [2]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:74
+assert_return(() => invoke($0, `br_on_null`, [3]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:75
+assert_return(() => invoke($0, `br_on_null`, [4]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:77
+assert_return(() => invoke($0, `br_on_i31`, [0]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:78
+assert_return(() => invoke($0, `br_on_i31`, [1]), [value("i32", 7)]);
+
+// ./test/core/gc/br_on_cast.wast:79
+assert_return(() => invoke($0, `br_on_i31`, [2]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:80
+assert_return(() => invoke($0, `br_on_i31`, [3]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:81
+assert_return(() => invoke($0, `br_on_i31`, [4]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:83
+assert_return(() => invoke($0, `br_on_struct`, [0]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:84
+assert_return(() => invoke($0, `br_on_struct`, [1]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:85
+assert_return(() => invoke($0, `br_on_struct`, [2]), [value("i32", 6)]);
+
+// ./test/core/gc/br_on_cast.wast:86
+assert_return(() => invoke($0, `br_on_struct`, [3]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:87
+assert_return(() => invoke($0, `br_on_struct`, [4]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:89
+assert_return(() => invoke($0, `br_on_array`, [0]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:90
+assert_return(() => invoke($0, `br_on_array`, [1]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:91
+assert_return(() => invoke($0, `br_on_array`, [2]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:92
+assert_return(() => invoke($0, `br_on_array`, [3]), [value("i32", 3)]);
+
+// ./test/core/gc/br_on_cast.wast:93
+assert_return(() => invoke($0, `br_on_array`, [4]), [value("i32", -1)]);
+
+// ./test/core/gc/br_on_cast.wast:95
+assert_return(() => invoke($0, `null-diff`, [0]), [value("i32", 1)]);
+
+// ./test/core/gc/br_on_cast.wast:96
+assert_return(() => invoke($0, `null-diff`, [1]), [value("i32", 0)]);
+
+// ./test/core/gc/br_on_cast.wast:97
+assert_return(() => invoke($0, `null-diff`, [2]), [value("i32", 1)]);
+
+// ./test/core/gc/br_on_cast.wast:98
+assert_return(() => invoke($0, `null-diff`, [3]), [value("i32", 0)]);
+
+// ./test/core/gc/br_on_cast.wast:99
+assert_return(() => invoke($0, `null-diff`, [4]), [value("i32", 0)]);
+
+// ./test/core/gc/br_on_cast.wast:104
+let $1 = instantiate(`(module
+ (type $$t0 (sub (struct)))
+ (type $$t1 (sub $$t0 (struct (field i32))))
+ (type $$t1' (sub $$t0 (struct (field i32))))
+ (type $$t2 (sub $$t1 (struct (field i32 i32))))
+ (type $$t2' (sub $$t1' (struct (field i32 i32))))
+ (type $$t3 (sub $$t0 (struct (field i32 i32))))
+ (type $$t0' (sub $$t0 (struct)))
+ (type $$t4 (sub $$t0' (struct (field i32 i32))))
+
+ (table 20 structref)
+
+ (func $$init
+ (table.set (i32.const 0) (struct.new_default $$t0))
+ (table.set (i32.const 10) (struct.new_default $$t0'))
+ (table.set (i32.const 1) (struct.new_default $$t1))
+ (table.set (i32.const 11) (struct.new_default $$t1'))
+ (table.set (i32.const 2) (struct.new_default $$t2))
+ (table.set (i32.const 12) (struct.new_default $$t2'))
+ (table.set (i32.const 3) (struct.new_default $$t3))
+ (table.set (i32.const 4) (struct.new_default $$t4))
+ )
+
+ (func (export "test-sub")
+ (call $$init)
+ (block $$l (result structref)
+ ;; must succeed
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (ref.null struct))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 0)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 1)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 2)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 3)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 4)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1) (ref.null struct))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1) (table.get (i32.const 1)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1) (table.get (i32.const 2)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t2) (ref.null struct))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t2) (table.get (i32.const 2)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t3) (ref.null struct))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t3) (table.get (i32.const 3)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t4) (ref.null struct))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t4) (table.get (i32.const 4)))))
+
+ ;; must not succeed
+ (br_on_cast $$l anyref (ref $$t1) (table.get (i32.const 0)))
+ (br_on_cast $$l anyref (ref $$t1) (table.get (i32.const 3)))
+ (br_on_cast $$l anyref (ref $$t1) (table.get (i32.const 4)))
+
+ (br_on_cast $$l anyref (ref $$t2) (table.get (i32.const 0)))
+ (br_on_cast $$l anyref (ref $$t2) (table.get (i32.const 1)))
+ (br_on_cast $$l anyref (ref $$t2) (table.get (i32.const 3)))
+ (br_on_cast $$l anyref (ref $$t2) (table.get (i32.const 4)))
+
+ (br_on_cast $$l anyref (ref $$t3) (table.get (i32.const 0)))
+ (br_on_cast $$l anyref (ref $$t3) (table.get (i32.const 1)))
+ (br_on_cast $$l anyref (ref $$t3) (table.get (i32.const 2)))
+ (br_on_cast $$l anyref (ref $$t3) (table.get (i32.const 4)))
+
+ (br_on_cast $$l anyref (ref $$t4) (table.get (i32.const 0)))
+ (br_on_cast $$l anyref (ref $$t4) (table.get (i32.const 1)))
+ (br_on_cast $$l anyref (ref $$t4) (table.get (i32.const 2)))
+ (br_on_cast $$l anyref (ref $$t4) (table.get (i32.const 3)))
+
+ (return)
+ )
+ (unreachable)
+ )
+
+ (func (export "test-canon")
+ (call $$init)
+ (block $$l
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0') (table.get (i32.const 0)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0') (table.get (i32.const 1)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0') (table.get (i32.const 2)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0') (table.get (i32.const 3)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0') (table.get (i32.const 4)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 10)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 11)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t0) (table.get (i32.const 12)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1') (table.get (i32.const 1)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1') (table.get (i32.const 2)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1) (table.get (i32.const 11)))))
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t1) (table.get (i32.const 12)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t2') (table.get (i32.const 2)))))
+
+ (drop (block (result structref) (br_on_cast 0 structref (ref $$t2) (table.get (i32.const 12)))))
+
+ (return)
+ )
+ (unreachable)
+ )
+)`);
+
+// ./test/core/gc/br_on_cast.wast:205
+invoke($1, `test-sub`, []);
+
+// ./test/core/gc/br_on_cast.wast:206
+invoke($1, `test-canon`, []);
+
+// ./test/core/gc/br_on_cast.wast:211
+let $2 = instantiate(`(module
+ (type $$t (struct))
+
+ (func (param (ref any)) (result (ref $$t))
+ (block (result (ref any)) (br_on_cast 1 (ref any) (ref $$t) (local.get 0))) (unreachable)
+ )
+ (func (param (ref null any)) (result (ref $$t))
+ (block (result (ref null any)) (br_on_cast 1 (ref null any) (ref $$t) (local.get 0))) (unreachable)
+ )
+ (func (param (ref null any)) (result (ref null $$t))
+ (block (result (ref null any)) (br_on_cast 1 (ref null any) (ref null $$t) (local.get 0))) (unreachable)
+ )
+)`);
+
+// ./test/core/gc/br_on_cast.wast:225
+assert_invalid(
+ () => instantiate(`(module
+ (type $$t (struct))
+ (func (param (ref any)) (result (ref $$t))
+ (block (result (ref any)) (br_on_cast 1 (ref null any) (ref null $$t) (local.get 0))) (unreachable)
+ )
+ )`),
+ `type mismatch`,
+);
+
+// ./test/core/gc/br_on_cast.wast:234
+assert_invalid(
+ () => instantiate(`(module
+ (type $$t (struct))
+ (func (param (ref any)) (result (ref null $$t))
+ (block (result (ref any)) (br_on_cast 1 (ref any) (ref null $$t) (local.get 0))) (unreachable)
+ )
+ )`),
+ `type mismatch`,
+);
+
+// ./test/core/gc/br_on_cast.wast:243
+assert_invalid(
+ () => instantiate(`(module
+ (type $$t (struct))
+ (func (param (ref null any)) (result (ref $$t))
+ (block (result (ref any)) (br_on_cast 1 (ref null any) (ref $$t) (local.get 0))) (unreachable)
+ )
+ )`),
+ `type mismatch`,
+);
+
+// ./test/core/gc/br_on_cast.wast:252
+assert_invalid(
+ () => instantiate(`(module
+ (func (result anyref)
+ (br_on_cast 0 eqref anyref (unreachable))
+ )
+ )`),
+ `type mismatch`,
+);
+
+// ./test/core/gc/br_on_cast.wast:260
+assert_invalid(
+ () => instantiate(`(module
+ (func (result anyref)
+ (br_on_cast 0 structref arrayref (unreachable))
+ )
+ )`),
+ `type mismatch`,
+);
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-14 05:21:06 +0000