summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/spec/br_if.wast
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/br_if.wast')
-rw-r--r--js/src/jit-test/tests/wasm/spec/br_if.wast291
1 files changed, 291 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/br_if.wast b/js/src/jit-test/tests/wasm/spec/br_if.wast
new file mode 100644
index 000000000..e6a2c79de
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/spec/br_if.wast
@@ -0,0 +1,291 @@
+;; Test `br_if` operator
+
+(module
+ (func $dummy)
+
+ (func (export "as-block-first") (param i32) (result i32)
+ (block (br_if 0 (get_local 0)) (return (i32.const 2))) (i32.const 3)
+ )
+ (func (export "as-block-mid") (param i32) (result i32)
+ (block (call $dummy) (br_if 0 (get_local 0)) (return (i32.const 2)))
+ (i32.const 3)
+ )
+ (func (export "as-block-last") (param i32)
+ (block (call $dummy) (call $dummy) (br_if 0 (get_local 0)))
+ )
+ (func (export "as-block-first-value") (param i32) (result i32)
+ (block i32 (drop (br_if 0 (i32.const 10) (get_local 0))) (return (i32.const 11)))
+ )
+ (func (export "as-block-mid-value") (param i32) (result i32)
+ (block i32 (call $dummy) (drop (br_if 0 (i32.const 20) (get_local 0))) (return (i32.const 21)))
+ )
+ (func (export "as-block-last-value") (param i32) (result i32)
+ (block i32
+ (call $dummy) (call $dummy) (br_if 0 (i32.const 11) (get_local 0))
+ )
+ )
+
+ (func (export "as-loop-first") (param i32) (result i32)
+ (block (loop (br_if 1 (get_local 0)) (return (i32.const 2)))) (i32.const 3)
+ )
+ (func (export "as-loop-mid") (param i32) (result i32)
+ (block (loop (call $dummy) (br_if 1 (get_local 0)) (return (i32.const 2))))
+ (i32.const 4)
+ )
+ (func (export "as-loop-last") (param i32)
+ (loop (call $dummy) (br_if 1 (get_local 0)))
+ )
+
+ (func (export "as-if-then") (param i32 i32)
+ (block (if (get_local 0) (br_if 1 (get_local 1)) (call $dummy)))
+ )
+ (func (export "as-if-else") (param i32 i32)
+ (block (if (get_local 0) (call $dummy) (br_if 1 (get_local 1))))
+ )
+
+ (func (export "nested-block-value") (param i32) (result i32)
+ (i32.add
+ (i32.const 1)
+ (block i32
+ (drop (i32.const 2))
+ (i32.add
+ (i32.const 4)
+ (block i32
+ (drop (br_if 1 (i32.const 8) (get_local 0)))
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ )
+
+ (func (export "nested-br-value") (param i32) (result i32)
+ (i32.add
+ (i32.const 1)
+ (block i32
+ (drop (i32.const 2))
+ (br 0
+ (block i32 (drop (br_if 1 (i32.const 8) (get_local 0))) (i32.const 4))
+ )
+ (i32.const 16)
+ )
+ )
+ )
+
+ (func (export "nested-br_if-value") (param i32) (result i32)
+ (i32.add
+ (i32.const 1)
+ (block i32
+ (drop (i32.const 2))
+ (drop (br_if 0
+ (block i32 (drop (br_if 1 (i32.const 8) (get_local 0))) (i32.const 4))
+ (i32.const 1)
+ ))
+ (i32.const 16)
+ )
+ )
+ )
+
+ (func (export "nested-br_if-value-cond") (param i32) (result i32)
+ (i32.add
+ (i32.const 1)
+ (block i32
+ (drop (i32.const 2))
+ (drop (br_if 0
+ (i32.const 4)
+ (block i32 (drop (br_if 1 (i32.const 8) (get_local 0))) (i32.const 1))
+ ))
+ (i32.const 16)
+ )
+ )
+ )
+
+ (func (export "nested-br_table-value") (param i32) (result i32)
+ (i32.add
+ (i32.const 1)
+ (block i32
+ (drop (i32.const 2))
+ (br_table 0
+ (block i32 (drop (br_if 1 (i32.const 8) (get_local 0))) (i32.const 4))
+ (i32.const 1)
+ )
+ (i32.const 16)
+ )
+ )
+ )
+
+ (func (export "nested-br_table-value-index") (param i32) (result i32)
+ (i32.add
+ (i32.const 1)
+ (block i32
+ (drop (i32.const 2))
+ (br_table 0
+ (i32.const 4)
+ (block i32 (drop (br_if 1 (i32.const 8) (get_local 0))) (i32.const 1))
+ )
+ (i32.const 16)
+ )
+ )
+ )
+)
+
+(assert_return (invoke "as-block-first" (i32.const 0)) (i32.const 2))
+(assert_return (invoke "as-block-first" (i32.const 1)) (i32.const 3))
+(assert_return (invoke "as-block-mid" (i32.const 0)) (i32.const 2))
+(assert_return (invoke "as-block-mid" (i32.const 1)) (i32.const 3))
+(assert_return (invoke "as-block-last" (i32.const 0)))
+(assert_return (invoke "as-block-last" (i32.const 1)))
+(assert_return (invoke "as-block-last-value" (i32.const 0)) (i32.const 11))
+(assert_return (invoke "as-block-last-value" (i32.const 1)) (i32.const 11))
+
+(assert_return (invoke "as-loop-first" (i32.const 0)) (i32.const 2))
+(assert_return (invoke "as-loop-first" (i32.const 1)) (i32.const 3))
+(assert_return (invoke "as-loop-mid" (i32.const 0)) (i32.const 2))
+(assert_return (invoke "as-loop-mid" (i32.const 1)) (i32.const 4))
+(assert_return (invoke "as-loop-last" (i32.const 0)))
+(assert_return (invoke "as-loop-last" (i32.const 1)))
+
+(assert_return (invoke "as-if-then" (i32.const 0) (i32.const 0)))
+(assert_return (invoke "as-if-then" (i32.const 4) (i32.const 0)))
+(assert_return (invoke "as-if-then" (i32.const 0) (i32.const 1)))
+(assert_return (invoke "as-if-then" (i32.const 4) (i32.const 1)))
+(assert_return (invoke "as-if-else" (i32.const 0) (i32.const 0)))
+(assert_return (invoke "as-if-else" (i32.const 3) (i32.const 0)))
+(assert_return (invoke "as-if-else" (i32.const 0) (i32.const 1)))
+(assert_return (invoke "as-if-else" (i32.const 3) (i32.const 1)))
+
+(assert_return (invoke "nested-block-value" (i32.const 0)) (i32.const 21))
+(assert_return (invoke "nested-block-value" (i32.const 1)) (i32.const 9))
+(assert_return (invoke "nested-br-value" (i32.const 0)) (i32.const 5))
+(assert_return (invoke "nested-br-value" (i32.const 1)) (i32.const 9))
+(assert_return (invoke "nested-br_if-value" (i32.const 0)) (i32.const 5))
+(assert_return (invoke "nested-br_if-value" (i32.const 1)) (i32.const 9))
+(assert_return (invoke "nested-br_if-value-cond" (i32.const 0)) (i32.const 5))
+(assert_return (invoke "nested-br_if-value-cond" (i32.const 1)) (i32.const 9))
+(assert_return (invoke "nested-br_table-value" (i32.const 0)) (i32.const 5))
+(assert_return (invoke "nested-br_table-value" (i32.const 1)) (i32.const 9))
+(assert_return (invoke "nested-br_table-value-index" (i32.const 0)) (i32.const 5))
+(assert_return (invoke "nested-br_table-value-index" (i32.const 1)) (i32.const 9))
+
+(assert_invalid
+ (module (func $type-false-i32 (block (i32.ctz (br_if 0 (i32.const 0))))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-false-i64 (block (i64.ctz (br_if 0 (i32.const 0))))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-false-f32 (block (f32.neg (br_if 0 (i32.const 0))))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-false-f64 (block (f64.neg (br_if 0 (i32.const 0))))))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $type-true-i32 (block (i32.ctz (br_if 0 (i32.const 1))))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-i64 (block (i64.ctz (br_if 0 (i64.const 1))))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-f32 (block (f32.neg (br_if 0 (f32.const 1))))))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-f64 (block (f64.neg (br_if 0 (i64.const 1))))))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $type-false-arg-void-vs-num (result i32)
+ (block i32 (br_if 0 (i32.const 0)) (i32.const 1))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-arg-void-vs-num (result i32)
+ (block i32 (br_if 0 (i32.const 1)) (i32.const 1))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-false-arg-num-vs-void
+ (block (br_if 0 (i32.const 0) (i32.const 0)))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-arg-num-vs-void
+ (block (br_if 0 (i32.const 0) (i32.const 1)))
+ ))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $type-false-arg-void-vs-num (result i32)
+ (block i32 (br_if 0 (nop) (i32.const 0)) (i32.const 1))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-arg-void-vs-num (result i32)
+ (block i32 (br_if 0 (nop) (i32.const 1)) (i32.const 1))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-false-arg-num-vs-num (result i32)
+ (block i32 (drop (br_if 0 (i64.const 1) (i32.const 0))) (i32.const 1))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-true-arg-num-vs-num (result i32)
+ (block i32 (drop (br_if 0 (i64.const 1) (i32.const 0))) (i32.const 1))
+ ))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $type-cond-void-vs-i32
+ (block (br_if 0 (nop)))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-cond-num-vs-i32
+ (block (br_if 0 (i64.const 0)))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-arg-cond-void-vs-i32 (result i32)
+ (block i32 (br_if 0 (i32.const 0) (nop)) (i32.const 1))
+ ))
+ "type mismatch"
+)
+(assert_invalid
+ (module (func $type-arg-cond-num-vs-i32 (result i32)
+ (block i32 (br_if 0 (i32.const 0) (i64.const 0)) (i32.const 1))
+ ))
+ "type mismatch"
+)
+
+(assert_invalid
+ (module (func $unbound-label (br_if 1 (i32.const 1))))
+ "unknown label"
+)
+(assert_invalid
+ (module (func $unbound-nested-label (block (block (br_if 5 (i32.const 1))))))
+ "unknown label"
+)
+(assert_invalid
+ (module (func $large-label (br_if 0x10000001 (i32.const 1))))
+ "unknown label"
+)
+
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-14 10:13:04 +0000