Source code
Revision control
Copy as Markdown
Other Tools
/* 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
*
*
* 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/if.wast
// ./test/core/if.wast:3
let $0 = instantiate(`(module
;; Auxiliary definition
(memory 1)
(func $$dummy)
(func (export "empty") (param i32)
(if (local.get 0) (then))
(if (local.get 0) (then) (else))
(if $$l (local.get 0) (then))
(if $$l (local.get 0) (then) (else))
)
(func (export "singular") (param i32) (result i32)
(if (local.get 0) (then (nop)))
(if (local.get 0) (then (nop)) (else (nop)))
(if (result i32) (local.get 0) (then (i32.const 7)) (else (i32.const 8)))
)
(func (export "multi") (param i32) (result i32 i32)
(if (local.get 0) (then (call $$dummy) (call $$dummy) (call $$dummy)))
(if (local.get 0) (then) (else (call $$dummy) (call $$dummy) (call $$dummy)))
(if (result i32) (local.get 0)
(then (call $$dummy) (call $$dummy) (i32.const 8) (call $$dummy))
(else (call $$dummy) (call $$dummy) (i32.const 9) (call $$dummy))
)
(if (result i32 i64 i32) (local.get 0)
(then
(call $$dummy) (call $$dummy) (i32.const 1) (call $$dummy)
(call $$dummy) (call $$dummy) (i64.const 2) (call $$dummy)
(call $$dummy) (call $$dummy) (i32.const 3) (call $$dummy)
)
(else
(call $$dummy) (call $$dummy) (i32.const -1) (call $$dummy)
(call $$dummy) (call $$dummy) (i64.const -2) (call $$dummy)
(call $$dummy) (call $$dummy) (i32.const -3) (call $$dummy)
)
)
(drop) (drop)
)
(func (export "nested") (param i32 i32) (result i32)
(if (result i32) (local.get 0)
(then
(if (local.get 1) (then (call $$dummy) (block) (nop)))
(if (local.get 1) (then) (else (call $$dummy) (block) (nop)))
(if (result i32) (local.get 1)
(then (call $$dummy) (i32.const 9))
(else (call $$dummy) (i32.const 10))
)
)
(else
(if (local.get 1) (then (call $$dummy) (block) (nop)))
(if (local.get 1) (then) (else (call $$dummy) (block) (nop)))
(if (result i32) (local.get 1)
(then (call $$dummy) (i32.const 10))
(else (call $$dummy) (i32.const 11))
)
)
)
)
(func (export "as-select-first") (param i32) (result i32)
(select
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 2) (i32.const 3)
)
)
(func (export "as-select-mid") (param i32) (result i32)
(select
(i32.const 2)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 3)
)
)
(func (export "as-select-last") (param i32) (result i32)
(select
(i32.const 2) (i32.const 3)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
)
)
(func (export "as-loop-first") (param i32) (result i32)
(loop (result i32)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(call $$dummy) (call $$dummy)
)
)
(func (export "as-loop-mid") (param i32) (result i32)
(loop (result i32)
(call $$dummy)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(call $$dummy)
)
)
(func (export "as-loop-last") (param i32) (result i32)
(loop (result i32)
(call $$dummy) (call $$dummy)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
)
)
(func (export "as-if-condition") (param i32) (result i32)
(if (result i32)
(if (result i32) (local.get 0)
(then (i32.const 1)) (else (i32.const 0))
)
(then (call $$dummy) (i32.const 2))
(else (call $$dummy) (i32.const 3))
)
)
(func (export "as-br_if-first") (param i32) (result i32)
(block (result i32)
(br_if 0
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 2)
)
(return (i32.const 3))
)
)
(func (export "as-br_if-last") (param i32) (result i32)
(block (result i32)
(br_if 0
(i32.const 2)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
)
(return (i32.const 3))
)
)
(func (export "as-br_table-first") (param i32) (result i32)
(block (result i32)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 2)
(br_table 0 0)
)
)
(func (export "as-br_table-last") (param i32) (result i32)
(block (result i32)
(i32.const 2)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(br_table 0 0)
)
)
(func $$func (param i32 i32) (result i32) (local.get 0))
(type $$check (func (param i32 i32) (result i32)))
(table funcref (elem $$func))
(func (export "as-call_indirect-first") (param i32) (result i32)
(block (result i32)
(call_indirect (type $$check)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 2) (i32.const 0)
)
)
)
(func (export "as-call_indirect-mid") (param i32) (result i32)
(block (result i32)
(call_indirect (type $$check)
(i32.const 2)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 0)
)
)
)
(func (export "as-call_indirect-last") (param i32) (result i32)
(block (result i32)
(call_indirect (type $$check)
(i32.const 2) (i32.const 0)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
)
)
)
(func (export "as-store-first") (param i32)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.const 2)
(i32.store)
)
(func (export "as-store-last") (param i32)
(i32.const 2)
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 1))
(else (call $$dummy) (i32.const 0))
)
(i32.store)
)
(func (export "as-memory.grow-value") (param i32) (result i32)
(memory.grow
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
)
)
(func $$f (param i32) (result i32) (local.get 0))
(func (export "as-call-value") (param i32) (result i32)
(call $$f
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
)
)
(func (export "as-return-value") (param i32) (result i32)
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0)))
(return)
)
(func (export "as-drop-operand") (param i32)
(drop
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
)
)
(func (export "as-br-value") (param i32) (result i32)
(block (result i32)
(br 0
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
)
)
)
(func (export "as-local.set-value") (param i32) (result i32)
(local i32)
(local.set 0
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
)
(local.get 0)
)
(func (export "as-local.tee-value") (param i32) (result i32)
(local.tee 0
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
)
)
(global $$a (mut i32) (i32.const 10))
(func (export "as-global.set-value") (param i32) (result i32)
(global.set $$a
(if (result i32) (local.get 0)
(then (i32.const 1))
(else (i32.const 0))
)
) (global.get $$a)
)
(func (export "as-load-operand") (param i32) (result i32)
(i32.load
(if (result i32) (local.get 0)
(then (i32.const 11))
(else (i32.const 10))
)
)
)
(func (export "as-unary-operand") (param i32) (result i32)
(i32.ctz
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 13))
(else (call $$dummy) (i32.const -13))
)
)
)
(func (export "as-binary-operand") (param i32 i32) (result i32)
(i32.mul
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 3))
(else (call $$dummy) (i32.const -3))
)
(if (result i32) (local.get 1)
(then (call $$dummy) (i32.const 4))
(else (call $$dummy) (i32.const -5))
)
)
)
(func (export "as-test-operand") (param i32) (result i32)
(i32.eqz
(if (result i32) (local.get 0)
(then (call $$dummy) (i32.const 13))
(else (call $$dummy) (i32.const 0))
)
)
)
(func (export "as-compare-operand") (param i32 i32) (result i32)
(f32.gt
(if (result f32) (local.get 0)
(then (call $$dummy) (f32.const 3))
(else (call $$dummy) (f32.const -3))
)
(if (result f32) (local.get 1)
(then (call $$dummy) (f32.const 4))
(else (call $$dummy) (f32.const -4))
)
)
)
(func (export "as-binary-operands") (param i32) (result i32)
(i32.mul
(if (result i32 i32) (local.get 0)
(then (call $$dummy) (i32.const 3) (call $$dummy) (i32.const 4))
(else (call $$dummy) (i32.const 3) (call $$dummy) (i32.const -4))
)
)
)
(func (export "as-compare-operands") (param i32) (result i32)
(f32.gt
(if (result f32 f32) (local.get 0)
(then (call $$dummy) (f32.const 3) (call $$dummy) (f32.const 3))
(else (call $$dummy) (f32.const -2) (call $$dummy) (f32.const -3))
)
)
)
(func (export "as-mixed-operands") (param i32) (result i32)
(if (result i32 i32) (local.get 0)
(then (call $$dummy) (i32.const 3) (call $$dummy) (i32.const 4))
(else (call $$dummy) (i32.const -3) (call $$dummy) (i32.const -4))
)
(i32.const 5)
(i32.add)
(i32.mul)
)
(func (export "break-bare") (result i32)
(if (i32.const 1) (then (br 0) (unreachable)))
(if (i32.const 1) (then (br 0) (unreachable)) (else (unreachable)))
(if (i32.const 0) (then (unreachable)) (else (br 0) (unreachable)))
(if (i32.const 1) (then (br_if 0 (i32.const 1)) (unreachable)))
(if (i32.const 1) (then (br_if 0 (i32.const 1)) (unreachable)) (else (unreachable)))
(if (i32.const 0) (then (unreachable)) (else (br_if 0 (i32.const 1)) (unreachable)))
(if (i32.const 1) (then (br_table 0 (i32.const 0)) (unreachable)))
(if (i32.const 1) (then (br_table 0 (i32.const 0)) (unreachable)) (else (unreachable)))
(if (i32.const 0) (then (unreachable)) (else (br_table 0 (i32.const 0)) (unreachable)))
(i32.const 19)
)
(func (export "break-value") (param i32) (result i32)
(if (result i32) (local.get 0)
(then (br 0 (i32.const 18)) (i32.const 19))
(else (br 0 (i32.const 21)) (i32.const 20))
)
)
(func (export "break-multi-value") (param i32) (result i32 i32 i64)
(if (result i32 i32 i64) (local.get 0)
(then
(br 0 (i32.const 18) (i32.const -18) (i64.const 18))
(i32.const 19) (i32.const -19) (i64.const 19)
)
(else
(br 0 (i32.const -18) (i32.const 18) (i64.const -18))
(i32.const -19) (i32.const 19) (i64.const -19)
)
)
)
(func (export "param") (param i32) (result i32)
(i32.const 1)
(if (param i32) (result i32) (local.get 0)
(then (i32.const 2) (i32.add))
(else (i32.const -2) (i32.add))
)
)
(func (export "params") (param i32) (result i32)
(i32.const 1)
(i32.const 2)
(if (param i32 i32) (result i32) (local.get 0)
(then (i32.add))
(else (i32.sub))
)
)
(func (export "params-id") (param i32) (result i32)
(i32.const 1)
(i32.const 2)
(if (param i32 i32) (result i32 i32) (local.get 0) (then))
(i32.add)
)
(func (export "param-break") (param i32) (result i32)
(i32.const 1)
(if (param i32) (result i32) (local.get 0)
(then (i32.const 2) (i32.add) (br 0))
(else (i32.const -2) (i32.add) (br 0))
)
)
(func (export "params-break") (param i32) (result i32)
(i32.const 1)
(i32.const 2)
(if (param i32 i32) (result i32) (local.get 0)
(then (i32.add) (br 0))
(else (i32.sub) (br 0))
)
)
(func (export "params-id-break") (param i32) (result i32)
(i32.const 1)
(i32.const 2)
(if (param i32 i32) (result i32 i32) (local.get 0) (then (br 0)))
(i32.add)
)
(func (export "effects") (param i32) (result i32)
(local i32)
(if
(block (result i32) (local.set 1 (i32.const 1)) (local.get 0))
(then
(local.set 1 (i32.mul (local.get 1) (i32.const 3)))
(local.set 1 (i32.sub (local.get 1) (i32.const 5)))
(local.set 1 (i32.mul (local.get 1) (i32.const 7)))
(br 0)
(local.set 1 (i32.mul (local.get 1) (i32.const 100)))
)
(else
(local.set 1 (i32.mul (local.get 1) (i32.const 5)))
(local.set 1 (i32.sub (local.get 1) (i32.const 7)))
(local.set 1 (i32.mul (local.get 1) (i32.const 3)))
(br 0)
(local.set 1 (i32.mul (local.get 1) (i32.const 1000)))
)
)
(local.get 1)
)
;; Examples
(func $$add64_u_with_carry (export "add64_u_with_carry")
(param $$i i64) (param $$j i64) (param $$c i32) (result i64 i32)
(local $$k i64)
(local.set $$k
(i64.add
(i64.add (local.get $$i) (local.get $$j))
(i64.extend_i32_u (local.get $$c))
)
)
(return (local.get $$k) (i64.lt_u (local.get $$k) (local.get $$i)))
)
(func $$add64_u_saturated (export "add64_u_saturated")
(param i64 i64) (result i64)
(call $$add64_u_with_carry (local.get 0) (local.get 1) (i32.const 0))
(if (param i64) (result i64)
(then (drop) (i64.const -1))
)
)
;; Block signature syntax
(type $$block-sig-1 (func))
(type $$block-sig-2 (func (result i32)))
(type $$block-sig-3 (func (param $$x i32)))
(type $$block-sig-4 (func (param i32 f64 i32) (result i32 f64 i32)))
(func (export "type-use")
(if (type $$block-sig-1) (i32.const 1) (then))
(if (type $$block-sig-2) (i32.const 1)
(then (i32.const 0)) (else (i32.const 2))
)
(if (type $$block-sig-3) (i32.const 1) (then (drop)) (else (drop)))
(i32.const 0) (f64.const 0) (i32.const 0)
(if (type $$block-sig-4) (i32.const 1) (then))
(drop) (drop) (drop)
(if (type $$block-sig-2) (result i32) (i32.const 1)
(then (i32.const 0)) (else (i32.const 2))
)
(if (type $$block-sig-3) (param i32) (i32.const 1)
(then (drop)) (else (drop))
)
(i32.const 0) (f64.const 0) (i32.const 0)
(if (type $$block-sig-4)
(param i32) (param f64 i32) (result i32 f64) (result i32)
(i32.const 1) (then)
)
(drop) (drop) (drop)
)
)`);
// ./test/core/if.wast:529
assert_return(() => invoke($0, `empty`, [0]), []);
// ./test/core/if.wast:530
assert_return(() => invoke($0, `empty`, [1]), []);
// ./test/core/if.wast:531
assert_return(() => invoke($0, `empty`, [100]), []);
// ./test/core/if.wast:532
assert_return(() => invoke($0, `empty`, [-2]), []);
// ./test/core/if.wast:534
assert_return(() => invoke($0, `singular`, [0]), [value("i32", 8)]);
// ./test/core/if.wast:535
assert_return(() => invoke($0, `singular`, [1]), [value("i32", 7)]);
// ./test/core/if.wast:536
assert_return(() => invoke($0, `singular`, [10]), [value("i32", 7)]);
// ./test/core/if.wast:537
assert_return(() => invoke($0, `singular`, [-10]), [value("i32", 7)]);
// ./test/core/if.wast:539
assert_return(() => invoke($0, `multi`, [0]), [value("i32", 9), value("i32", -1)]);
// ./test/core/if.wast:540
assert_return(() => invoke($0, `multi`, [1]), [value("i32", 8), value("i32", 1)]);
// ./test/core/if.wast:541
assert_return(() => invoke($0, `multi`, [13]), [value("i32", 8), value("i32", 1)]);
// ./test/core/if.wast:542
assert_return(() => invoke($0, `multi`, [-5]), [value("i32", 8), value("i32", 1)]);
// ./test/core/if.wast:544
assert_return(() => invoke($0, `nested`, [0, 0]), [value("i32", 11)]);
// ./test/core/if.wast:545
assert_return(() => invoke($0, `nested`, [1, 0]), [value("i32", 10)]);
// ./test/core/if.wast:546
assert_return(() => invoke($0, `nested`, [0, 1]), [value("i32", 10)]);
// ./test/core/if.wast:547
assert_return(() => invoke($0, `nested`, [3, 2]), [value("i32", 9)]);
// ./test/core/if.wast:548
assert_return(() => invoke($0, `nested`, [0, -100]), [value("i32", 10)]);
// ./test/core/if.wast:549
assert_return(() => invoke($0, `nested`, [10, 10]), [value("i32", 9)]);
// ./test/core/if.wast:550
assert_return(() => invoke($0, `nested`, [0, -1]), [value("i32", 10)]);
// ./test/core/if.wast:551
assert_return(() => invoke($0, `nested`, [-111, -2]), [value("i32", 9)]);
// ./test/core/if.wast:553
assert_return(() => invoke($0, `as-select-first`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:554
assert_return(() => invoke($0, `as-select-first`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:555
assert_return(() => invoke($0, `as-select-mid`, [0]), [value("i32", 2)]);
// ./test/core/if.wast:556
assert_return(() => invoke($0, `as-select-mid`, [1]), [value("i32", 2)]);
// ./test/core/if.wast:557
assert_return(() => invoke($0, `as-select-last`, [0]), [value("i32", 3)]);
// ./test/core/if.wast:558
assert_return(() => invoke($0, `as-select-last`, [1]), [value("i32", 2)]);
// ./test/core/if.wast:560
assert_return(() => invoke($0, `as-loop-first`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:561
assert_return(() => invoke($0, `as-loop-first`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:562
assert_return(() => invoke($0, `as-loop-mid`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:563
assert_return(() => invoke($0, `as-loop-mid`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:564
assert_return(() => invoke($0, `as-loop-last`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:565
assert_return(() => invoke($0, `as-loop-last`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:567
assert_return(() => invoke($0, `as-if-condition`, [0]), [value("i32", 3)]);
// ./test/core/if.wast:568
assert_return(() => invoke($0, `as-if-condition`, [1]), [value("i32", 2)]);
// ./test/core/if.wast:570
assert_return(() => invoke($0, `as-br_if-first`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:571
assert_return(() => invoke($0, `as-br_if-first`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:572
assert_return(() => invoke($0, `as-br_if-last`, [0]), [value("i32", 3)]);
// ./test/core/if.wast:573
assert_return(() => invoke($0, `as-br_if-last`, [1]), [value("i32", 2)]);
// ./test/core/if.wast:575
assert_return(() => invoke($0, `as-br_table-first`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:576
assert_return(() => invoke($0, `as-br_table-first`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:577
assert_return(() => invoke($0, `as-br_table-last`, [0]), [value("i32", 2)]);
// ./test/core/if.wast:578
assert_return(() => invoke($0, `as-br_table-last`, [1]), [value("i32", 2)]);
// ./test/core/if.wast:580
assert_return(() => invoke($0, `as-call_indirect-first`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:581
assert_return(() => invoke($0, `as-call_indirect-first`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:582
assert_return(() => invoke($0, `as-call_indirect-mid`, [0]), [value("i32", 2)]);
// ./test/core/if.wast:583
assert_return(() => invoke($0, `as-call_indirect-mid`, [1]), [value("i32", 2)]);
// ./test/core/if.wast:584
assert_return(() => invoke($0, `as-call_indirect-last`, [0]), [value("i32", 2)]);
// ./test/core/if.wast:585
assert_trap(() => invoke($0, `as-call_indirect-last`, [1]), `undefined element`);
// ./test/core/if.wast:587
assert_return(() => invoke($0, `as-store-first`, [0]), []);
// ./test/core/if.wast:588
assert_return(() => invoke($0, `as-store-first`, [1]), []);
// ./test/core/if.wast:589
assert_return(() => invoke($0, `as-store-last`, [0]), []);
// ./test/core/if.wast:590
assert_return(() => invoke($0, `as-store-last`, [1]), []);
// ./test/core/if.wast:592
assert_return(() => invoke($0, `as-memory.grow-value`, [0]), [value("i32", 1)]);
// ./test/core/if.wast:593
assert_return(() => invoke($0, `as-memory.grow-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:595
assert_return(() => invoke($0, `as-call-value`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:596
assert_return(() => invoke($0, `as-call-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:598
assert_return(() => invoke($0, `as-return-value`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:599
assert_return(() => invoke($0, `as-return-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:601
assert_return(() => invoke($0, `as-drop-operand`, [0]), []);
// ./test/core/if.wast:602
assert_return(() => invoke($0, `as-drop-operand`, [1]), []);
// ./test/core/if.wast:604
assert_return(() => invoke($0, `as-br-value`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:605
assert_return(() => invoke($0, `as-br-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:607
assert_return(() => invoke($0, `as-local.set-value`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:608
assert_return(() => invoke($0, `as-local.set-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:610
assert_return(() => invoke($0, `as-local.tee-value`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:611
assert_return(() => invoke($0, `as-local.tee-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:613
assert_return(() => invoke($0, `as-global.set-value`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:614
assert_return(() => invoke($0, `as-global.set-value`, [1]), [value("i32", 1)]);
// ./test/core/if.wast:616
assert_return(() => invoke($0, `as-load-operand`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:617
assert_return(() => invoke($0, `as-load-operand`, [1]), [value("i32", 0)]);
// ./test/core/if.wast:619
assert_return(() => invoke($0, `as-unary-operand`, [0]), [value("i32", 0)]);
// ./test/core/if.wast:620
assert_return(() => invoke($0, `as-unary-operand`, [1]), [value("i32", 0)]);
// ./test/core/if.wast:621
assert_return(() => invoke($0, `as-unary-operand`, [-1]), [value("i32", 0)]);
// ./test/core/if.wast:623
assert_return(() => invoke($0, `as-binary-operand`, [0, 0]), [value("i32", 15)]);
// ./test/core/if.wast:624
assert_return(() => invoke($0, `as-binary-operand`, [0, 1]), [value("i32", -12)]);
// ./test/core/if.wast:625
assert_return(() => invoke($0, `as-binary-operand`, [1, 0]), [value("i32", -15)]);
// ./test/core/if.wast:626
assert_return(() => invoke($0, `as-binary-operand`, [1, 1]), [value("i32", 12)]);
// ./test/core/if.wast:628
assert_return(() => invoke($0, `as-test-operand`, [0]), [value("i32", 1)]);
// ./test/core/if.wast:629
assert_return(() => invoke($0, `as-test-operand`, [1]), [value("i32", 0)]);
// ./test/core/if.wast:631
assert_return(() => invoke($0, `as-compare-operand`, [0, 0]), [value("i32", 1)]);
// ./test/core/if.wast:632
assert_return(() => invoke($0, `as-compare-operand`, [0, 1]), [value("i32", 0)]);
// ./test/core/if.wast:633
assert_return(() => invoke($0, `as-compare-operand`, [1, 0]), [value("i32", 1)]);
// ./test/core/if.wast:634
assert_return(() => invoke($0, `as-compare-operand`, [1, 1]), [value("i32", 0)]);
// ./test/core/if.wast:636
assert_return(() => invoke($0, `as-binary-operands`, [0]), [value("i32", -12)]);
// ./test/core/if.wast:637
assert_return(() => invoke($0, `as-binary-operands`, [1]), [value("i32", 12)]);
// ./test/core/if.wast:639
assert_return(() => invoke($0, `as-compare-operands`, [0]), [value("i32", 1)]);
// ./test/core/if.wast:640
assert_return(() => invoke($0, `as-compare-operands`, [1]), [value("i32", 0)]);
// ./test/core/if.wast:642
assert_return(() => invoke($0, `as-mixed-operands`, [0]), [value("i32", -3)]);
// ./test/core/if.wast:643
assert_return(() => invoke($0, `as-mixed-operands`, [1]), [value("i32", 27)]);
// ./test/core/if.wast:645
assert_return(() => invoke($0, `break-bare`, []), [value("i32", 19)]);
// ./test/core/if.wast:646
assert_return(() => invoke($0, `break-value`, [1]), [value("i32", 18)]);
// ./test/core/if.wast:647
assert_return(() => invoke($0, `break-value`, [0]), [value("i32", 21)]);
// ./test/core/if.wast:648
assert_return(
() => invoke($0, `break-multi-value`, [0]),
[value("i32", -18), value("i32", 18), value("i64", -18n)],
);
// ./test/core/if.wast:651
assert_return(
() => invoke($0, `break-multi-value`, [1]),
[value("i32", 18), value("i32", -18), value("i64", 18n)],
);
// ./test/core/if.wast:655
assert_return(() => invoke($0, `param`, [0]), [value("i32", -1)]);
// ./test/core/if.wast:656
assert_return(() => invoke($0, `param`, [1]), [value("i32", 3)]);
// ./test/core/if.wast:657
assert_return(() => invoke($0, `params`, [0]), [value("i32", -1)]);
// ./test/core/if.wast:658
assert_return(() => invoke($0, `params`, [1]), [value("i32", 3)]);
// ./test/core/if.wast:659
assert_return(() => invoke($0, `params-id`, [0]), [value("i32", 3)]);
// ./test/core/if.wast:660
assert_return(() => invoke($0, `params-id`, [1]), [value("i32", 3)]);
// ./test/core/if.wast:661
assert_return(() => invoke($0, `param-break`, [0]), [value("i32", -1)]);
// ./test/core/if.wast:662
assert_return(() => invoke($0, `param-break`, [1]), [value("i32", 3)]);
// ./test/core/if.wast:663
assert_return(() => invoke($0, `params-break`, [0]), [value("i32", -1)]);
// ./test/core/if.wast:664
assert_return(() => invoke($0, `params-break`, [1]), [value("i32", 3)]);
// ./test/core/if.wast:665
assert_return(() => invoke($0, `params-id-break`, [0]), [value("i32", 3)]);
// ./test/core/if.wast:666
assert_return(() => invoke($0, `params-id-break`, [1]), [value("i32", 3)]);
// ./test/core/if.wast:668
assert_return(() => invoke($0, `effects`, [1]), [value("i32", -14)]);
// ./test/core/if.wast:669
assert_return(() => invoke($0, `effects`, [0]), [value("i32", -6)]);
// ./test/core/if.wast:671
assert_return(() => invoke($0, `add64_u_with_carry`, [0n, 0n, 0]), [value("i64", 0n), value("i32", 0)]);
// ./test/core/if.wast:675
assert_return(
() => invoke($0, `add64_u_with_carry`, [100n, 124n, 0]),
[value("i64", 224n), value("i32", 0)],
);
// ./test/core/if.wast:679
assert_return(
() => invoke($0, `add64_u_with_carry`, [-1n, 0n, 0]),
[value("i64", -1n), value("i32", 0)],
);
// ./test/core/if.wast:683
assert_return(() => invoke($0, `add64_u_with_carry`, [-1n, 1n, 0]), [value("i64", 0n), value("i32", 1)]);
// ./test/core/if.wast:687
assert_return(
() => invoke($0, `add64_u_with_carry`, [-1n, -1n, 0]),
[value("i64", -2n), value("i32", 1)],
);
// ./test/core/if.wast:691
assert_return(() => invoke($0, `add64_u_with_carry`, [-1n, 0n, 1]), [value("i64", 0n), value("i32", 1)]);
// ./test/core/if.wast:695
assert_return(() => invoke($0, `add64_u_with_carry`, [-1n, 1n, 1]), [value("i64", 1n), value("i32", 1)]);
// ./test/core/if.wast:699
assert_return(
() => invoke($0, `add64_u_with_carry`, [
-9223372036854775808n,
-9223372036854775808n,
0,
]),
[value("i64", 0n), value("i32", 1)],
);
// ./test/core/if.wast:704
assert_return(() => invoke($0, `add64_u_saturated`, [0n, 0n]), [value("i64", 0n)]);
// ./test/core/if.wast:707
assert_return(() => invoke($0, `add64_u_saturated`, [1230n, 23n]), [value("i64", 1253n)]);
// ./test/core/if.wast:710
assert_return(() => invoke($0, `add64_u_saturated`, [-1n, 0n]), [value("i64", -1n)]);
// ./test/core/if.wast:713
assert_return(() => invoke($0, `add64_u_saturated`, [-1n, 1n]), [value("i64", -1n)]);
// ./test/core/if.wast:716
assert_return(() => invoke($0, `add64_u_saturated`, [-1n, -1n]), [value("i64", -1n)]);
// ./test/core/if.wast:719
assert_return(
() => invoke($0, `add64_u_saturated`, [-9223372036854775808n, -9223372036854775808n]),
[value("i64", -1n)],
);
// ./test/core/if.wast:723
assert_return(() => invoke($0, `type-use`, []), []);
// ./test/core/if.wast:725
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 0) (if (type $$sig) (result i32) (param i32) (i32.const 1) (then)) ) `),
`unexpected token`,
);
// ./test/core/if.wast:734
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 0) (if (param i32) (type $$sig) (result i32) (i32.const 1) (then)) ) `),
`unexpected token`,
);
// ./test/core/if.wast:743
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 0) (if (param i32) (result i32) (type $$sig) (i32.const 1) (then)) ) `),
`unexpected token`,
);
// ./test/core/if.wast:752
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 0) (if (result i32) (type $$sig) (param i32) (i32.const 1) (then)) ) `),
`unexpected token`,
);
// ./test/core/if.wast:761
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 0) (if (result i32) (param i32) (type $$sig) (i32.const 1) (then)) ) `),
`unexpected token`,
);
// ./test/core/if.wast:770
assert_malformed(
() => instantiate(`(func (i32.const 0) (if (result i32) (param i32) (i32.const 1) (then))) `),
`unexpected token`,
);
// ./test/core/if.wast:777
assert_malformed(
() => instantiate(`(func (i32.const 0) (i32.const 1) (if (param $$x i32) (then (drop)) (else (drop))) ) `),
`unexpected token`,
);
// ./test/core/if.wast:785
assert_malformed(
() => instantiate(`(type $$sig (func)) (func (i32.const 1) (if (type $$sig) (result i32) (then (i32.const 0)) (else (i32.const 2))) (unreachable) ) `),
`inline function type`,
);
// ./test/core/if.wast:795
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 1) (if (type $$sig) (result i32) (then (i32.const 0)) (else (i32.const 2))) (unreachable) ) `),
`inline function type`,
);
// ./test/core/if.wast:805
assert_malformed(
() => instantiate(`(type $$sig (func (param i32) (result i32))) (func (i32.const 0) (i32.const 1) (if (type $$sig) (param i32) (then (drop)) (else (drop))) (unreachable) ) `),
`inline function type`,
);
// ./test/core/if.wast:815
assert_malformed(
() => instantiate(`(type $$sig (func (param i32 i32) (result i32))) (func (i32.const 0) (i32.const 1) (if (type $$sig) (param i32) (result i32) (then)) (unreachable) ) `),
`inline function type`,
);
// ./test/core/if.wast:825
assert_invalid(
() => instantiate(`(module
(type $$sig (func))
(func (i32.const 1) (if (type $$sig) (i32.const 0) (then)))
)`),
`type mismatch`,
);
// ./test/core/if.wast:833
assert_invalid(
() => instantiate(`(module (func $$type-empty-i32 (result i32) (if (i32.const 0) (then))))`),
`type mismatch`,
);
// ./test/core/if.wast:837
assert_invalid(
() => instantiate(`(module (func $$type-empty-i64 (result i64) (if (i32.const 0) (then))))`),
`type mismatch`,
);
// ./test/core/if.wast:841
assert_invalid(
() => instantiate(`(module (func $$type-empty-f32 (result f32) (if (i32.const 0) (then))))`),
`type mismatch`,
);
// ./test/core/if.wast:845
assert_invalid(
() => instantiate(`(module (func $$type-empty-f64 (result f64) (if (i32.const 0) (then))))`),
`type mismatch`,
);
// ./test/core/if.wast:850
assert_invalid(
() => instantiate(`(module (func $$type-empty-i32 (result i32) (if (i32.const 0) (then) (else))))`),
`type mismatch`,
);
// ./test/core/if.wast:854
assert_invalid(
() => instantiate(`(module (func $$type-empty-i64 (result i64) (if (i32.const 0) (then) (else))))`),
`type mismatch`,
);
// ./test/core/if.wast:858
assert_invalid(
() => instantiate(`(module (func $$type-empty-f32 (result f32) (if (i32.const 0) (then) (else))))`),
`type mismatch`,
);
// ./test/core/if.wast:862
assert_invalid(
() => instantiate(`(module (func $$type-empty-f64 (result f64) (if (i32.const 0) (then) (else))))`),
`type mismatch`,
);
// ./test/core/if.wast:867
assert_invalid(
() => instantiate(`(module (func $$type-then-value-num-vs-void
(if (i32.const 1) (then (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:873
assert_invalid(
() => instantiate(`(module (func $$type-then-value-num-vs-void-else
(if (i32.const 1) (then (i32.const 1)) (else))
))`),
`type mismatch`,
);
// ./test/core/if.wast:879
assert_invalid(
() => instantiate(`(module (func $$type-else-value-num-vs-void
(if (i32.const 1) (then) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:885
assert_invalid(
() => instantiate(`(module (func $$type-both-value-num-vs-void
(if (i32.const 1) (then (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:892
assert_invalid(
() => instantiate(`(module (func $$type-then-value-nums-vs-void
(if (i32.const 1) (then (i32.const 1) (i32.const 2)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:898
assert_invalid(
() => instantiate(`(module (func $$type-then-value-nums-vs-void-else
(if (i32.const 1) (then (i32.const 1) (i32.const 2)) (else))
))`),
`type mismatch`,
);
// ./test/core/if.wast:904
assert_invalid(
() => instantiate(`(module (func $$type-else-value-nums-vs-void
(if (i32.const 1) (then) (else (i32.const 1) (i32.const 2)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:910
assert_invalid(
() => instantiate(`(module (func $$type-both-value-nums-vs-void
(if (i32.const 1) (then (i32.const 1) (i32.const 2)) (else (i32.const 2) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:917
assert_invalid(
() => instantiate(`(module (func $$type-then-value-empty-vs-num (result i32)
(if (result i32) (i32.const 1) (then) (else (i32.const 0)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:923
assert_invalid(
() => instantiate(`(module (func $$type-else-value-empty-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 0)) (else))
))`),
`type mismatch`,
);
// ./test/core/if.wast:929
assert_invalid(
() => instantiate(`(module (func $$type-both-value-empty-vs-num (result i32)
(if (result i32) (i32.const 1) (then) (else))
))`),
`type mismatch`,
);
// ./test/core/if.wast:936
assert_invalid(
() => instantiate(`(module (func $$type-then-value-empty-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then) (else (i32.const 0) (i32.const 2)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:942
assert_invalid(
() => instantiate(`(module (func $$type-else-value-empty-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 0) (i32.const 1)) (else))
))`),
`type mismatch`,
);
// ./test/core/if.wast:948
assert_invalid(
() => instantiate(`(module (func $$type-both-value-empty-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then) (else))
))`),
`type mismatch`,
);
// ./test/core/if.wast:955
assert_invalid(
() => instantiate(`(module (func $$type-no-else-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:961
assert_invalid(
() => instantiate(`(module (func $$type-no-else-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 1) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:968
assert_invalid(
() => instantiate(`(module (func $$type-then-value-void-vs-num (result i32)
(if (result i32) (i32.const 1) (then (nop)) (else (i32.const 0)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:974
assert_invalid(
() => instantiate(`(module (func $$type-else-value-void-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 0)) (else (nop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:980
assert_invalid(
() => instantiate(`(module (func $$type-both-value-void-vs-num (result i32)
(if (result i32) (i32.const 1) (then (nop)) (else (nop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:987
assert_invalid(
() => instantiate(`(module (func $$type-then-value-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (nop)) (else (i32.const 0) (i32.const 0)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:993
assert_invalid(
() => instantiate(`(module (func $$type-else-value-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 0) (i32.const 0)) (else (nop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:999
assert_invalid(
() => instantiate(`(module (func $$type-both-value-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (nop)) (else (nop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1006
assert_invalid(
() => instantiate(`(module (func $$type-then-value-num-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i64.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1012
assert_invalid(
() => instantiate(`(module (func $$type-else-value-num-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 1)) (else (i64.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1018
assert_invalid(
() => instantiate(`(module (func $$type-both-value-num-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i64.const 1)) (else (i64.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1025
assert_invalid(
() => instantiate(`(module (func $$type-then-value-num-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 1)) (else (i32.const 1) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1031
assert_invalid(
() => instantiate(`(module (func $$type-else-value-num-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 1) (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1037
assert_invalid(
() => instantiate(`(module (func $$type-both-value-num-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1044
assert_invalid(
() => instantiate(`(module (func $$type-then-value-partial-vs-nums (result i32 i32)
(i32.const 0)
(if (result i32 i32) (i32.const 1) (then (i32.const 1)) (else (i32.const 1) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1051
assert_invalid(
() => instantiate(`(module (func $$type-else-value-partial-vs-nums (result i32 i32)
(i32.const 0)
(if (result i32 i32) (i32.const 1) (then (i32.const 1) (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1058
assert_invalid(
() => instantiate(`(module (func $$type-both-value-partial-vs-nums (result i32 i32)
(i32.const 0)
(if (result i32 i32) (i32.const 1) (then (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1066
assert_invalid(
() => instantiate(`(module (func $$type-then-value-nums-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 1) (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1072
assert_invalid(
() => instantiate(`(module (func $$type-else-value-nums-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 1)) (else (i32.const 1) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1078
assert_invalid(
() => instantiate(`(module (func $$type-both-value-nums-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 1) (i32.const 1)) (else (i32.const 1) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1085
assert_invalid(
() => instantiate(`(module (func $$type-both-different-value-num-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i64.const 1)) (else (f64.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1091
assert_invalid(
() => instantiate(`(module (func $$type-both-different-value-nums-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 1) (i32.const 1) (i32.const 1)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1098
assert_invalid(
() => instantiate(`(module (func $$type-then-value-unreached-select (result i32)
(if (result i64)
(i32.const 0)
(then (select (unreachable) (unreachable) (unreachable)))
(else (i64.const 0))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1108
assert_invalid(
() => instantiate(`(module (func $$type-else-value-unreached-select (result i32)
(if (result i64)
(i32.const 1)
(then (i64.const 0))
(else (select (unreachable) (unreachable) (unreachable)))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1118
assert_invalid(
() => instantiate(`(module (func $$type-else-value-unreached-select (result i32)
(if (result i64)
(i32.const 1)
(then (select (unreachable) (unreachable) (unreachable)))
(else (select (unreachable) (unreachable) (unreachable)))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1129
assert_invalid(
() => instantiate(`(module (func $$type-then-break-last-void-vs-num (result i32)
(if (result i32) (i32.const 1) (then (br 0)) (else (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1135
assert_invalid(
() => instantiate(`(module (func $$type-else-break-last-void-vs-num (result i32)
(if (result i32) (i32.const 1) (then (i32.const 1)) (else (br 0)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1141
assert_invalid(
() => instantiate(`(module (func $$type-then-break-last-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (br 0)) (else (i32.const 1) (i32.const 1)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1147
assert_invalid(
() => instantiate(`(module (func $$type-else-break-last-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1) (then (i32.const 1) (i32.const 1)) (else (br 0)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1154
assert_invalid(
() => instantiate(`(module (func $$type-then-break-empty-vs-num (result i32)
(if (result i32) (i32.const 1)
(then (br 0) (i32.const 1))
(else (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1163
assert_invalid(
() => instantiate(`(module (func $$type-else-break-empty-vs-num (result i32)
(if (result i32) (i32.const 1)
(then (i32.const 1))
(else (br 0) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1172
assert_invalid(
() => instantiate(`(module (func $$type-then-break-empty-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1)
(then (br 0) (i32.const 1) (i32.const 1))
(else (i32.const 1) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1181
assert_invalid(
() => instantiate(`(module (func $$type-else-break-empty-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1)
(then (i32.const 1) (i32.const 1))
(else (br 0) (i32.const 1) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1191
assert_invalid(
() => instantiate(`(module (func $$type-then-break-void-vs-num (result i32)
(if (result i32) (i32.const 1)
(then (br 0 (nop)) (i32.const 1))
(else (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1200
assert_invalid(
() => instantiate(`(module (func $$type-else-break-void-vs-num (result i32)
(if (result i32) (i32.const 1)
(then (i32.const 1))
(else (br 0 (nop)) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1209
assert_invalid(
() => instantiate(`(module (func $$type-then-break-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1)
(then (br 0 (nop)) (i32.const 1) (i32.const 1))
(else (i32.const 1) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1218
assert_invalid(
() => instantiate(`(module (func $$type-else-break-void-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1)
(then (i32.const 1) (i32.const 1))
(else (br 0 (nop)) (i32.const 1) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1228
assert_invalid(
() => instantiate(`(module (func $$type-then-break-num-vs-num (result i32)
(if (result i32) (i32.const 1)
(then (br 0 (i64.const 1)) (i32.const 1))
(else (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1237
assert_invalid(
() => instantiate(`(module (func $$type-else-break-num-vs-num (result i32)
(if (result i32) (i32.const 1)
(then (i32.const 1))
(else (br 0 (i64.const 1)) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1246
assert_invalid(
() => instantiate(`(module (func $$type-then-break-num-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1)
(then (br 0 (i64.const 1)) (i32.const 1) (i32.const 1))
(else (i32.const 1) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1255
assert_invalid(
() => instantiate(`(module (func $$type-else-break-num-vs-nums (result i32 i32)
(if (result i32 i32) (i32.const 1)
(then (i32.const 1) (i32.const 1))
(else (br 0 (i64.const 1)) (i32.const 1) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1264
assert_invalid(
() => instantiate(`(module (func $$type-then-break-partial-vs-nums (result i32 i32)
(i32.const 1)
(if (result i32 i32) (i32.const 1)
(then (br 0 (i64.const 1)) (i32.const 1))
(else (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1274
assert_invalid(
() => instantiate(`(module (func $$type-else-break-partial-vs-nums (result i32 i32)
(i32.const 1)
(if (result i32 i32) (i32.const 1)
(then (i32.const 1))
(else (br 0 (i64.const 1)) (i32.const 1))
)
))`),
`type mismatch`,
);
// ./test/core/if.wast:1285
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty
(if (then))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1293
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-block
(i32.const 0)
(block (if (then)))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1302
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-loop
(i32.const 0)
(loop (if (then)))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1311
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-then
(i32.const 0) (i32.const 0)
(if (then (if (then))))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1320
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-else
(i32.const 0) (i32.const 0)
(if (result i32) (then (i32.const 0)) (else (if (then)) (i32.const 0)))
(drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1330
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-br
(i32.const 0)
(block (br 0 (if(then))) (drop))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1339
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-br_if
(i32.const 0)
(block (br_if 0 (if(then)) (i32.const 1)) (drop))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1348
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-br_table
(i32.const 0)
(block (br_table 0 (if(then))) (drop))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1357
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-return
(return (if(then))) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1365
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-select
(select (if(then)) (i32.const 1) (i32.const 2)) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1373
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-call
(call 1 (if(then))) (drop)
)
(func (param i32) (result i32) (local.get 0))
)`),
`type mismatch`,
);
// ./test/core/if.wast:1382
assert_invalid(
() => instantiate(`(module
(func $$f (param i32) (result i32) (local.get 0))
(type $$sig (func (param i32) (result i32)))
(table funcref (elem $$f))
(func $$type-condition-empty-in-call_indirect
(block (result i32)
(call_indirect (type $$sig)
(if(then)) (i32.const 0)
)
(drop)
)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1398
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-local.set
(local i32)
(local.set 0 (if(then))) (local.get 0) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1407
assert_invalid(
() => instantiate(`(module
(func $$type-condition-empty-in-local.tee
(local i32)
(local.tee 0 (if(then))) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1416
assert_invalid(
() => instantiate(`(module
(global $$x (mut i32) (i32.const 0))
(func $$type-condition-empty-in-global.set
(global.set $$x (if(then))) (global.get $$x) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1425
assert_invalid(
() => instantiate(`(module
(memory 0)
(func $$type-condition-empty-in-memory.grow
(memory.grow (if(then))) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1434
assert_invalid(
() => instantiate(`(module
(memory 0)
(func $$type-condition-empty-in-load
(i32.load (if(then))) (drop)
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1443
assert_invalid(
() => instantiate(`(module
(memory 1)
(func $$type-condition-empty-in-store
(i32.store (if(then)) (i32.const 1))
)
)`),
`type mismatch`,
);
// ./test/core/if.wast:1453
assert_invalid(
() => instantiate(`(module (func $$type-param-void-vs-num
(if (param i32) (i32.const 1) (then (drop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1459
assert_invalid(
() => instantiate(`(module (func $$type-param-void-vs-nums
(if (param i32 f64) (i32.const 1) (then (drop) (drop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1465
assert_invalid(
() => instantiate(`(module (func $$type-param-num-vs-num
(f32.const 0) (if (param i32) (i32.const 1) (then (drop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1471
assert_invalid(
() => instantiate(`(module (func $$type-param-num-vs-nums
(f32.const 0) (if (param f32 i32) (i32.const 1) (then (drop) (drop)))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1477
assert_invalid(
() => instantiate(`(module (func $$type-param-nested-void-vs-num
(block (if (param i32) (i32.const 1) (then (drop))))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1483
assert_invalid(
() => instantiate(`(module (func $$type-param-void-vs-nums
(block (if (param i32 f64) (i32.const 1) (then (drop) (drop))))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1489
assert_invalid(
() => instantiate(`(module (func $$type-param-num-vs-num
(block (f32.const 0) (if (param i32) (i32.const 1) (then (drop))))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1495
assert_invalid(
() => instantiate(`(module (func $$type-param-num-vs-nums
(block (f32.const 0) (if (param f32 i32) (i32.const 1) (then (drop) (drop))))
))`),
`type mismatch`,
);
// ./test/core/if.wast:1502
assert_malformed(
() => instantiate(`(func (param i32) (result i32) if (param $$x i32) end) `),
`unexpected token`,
);
// ./test/core/if.wast:1506
assert_malformed(
() => instantiate(`(func (param i32) (result i32) (if (param $$x i32) (then))) `),
`unexpected token`,
);
// ./test/core/if.wast:1511
assert_malformed(() => instantiate(`(func i32.const 0 if end $$l) `), `mismatching label`);
// ./test/core/if.wast:1515
assert_malformed(
() => instantiate(`(func i32.const 0 if $$a end $$l) `),
`mismatching label`,
);
// ./test/core/if.wast:1519
assert_malformed(
() => instantiate(`(func i32.const 0 if else $$l end) `),
`mismatching label`,
);
// ./test/core/if.wast:1523
assert_malformed(
() => instantiate(`(func i32.const 0 if $$a else $$l end) `),
`mismatching label`,
);
// ./test/core/if.wast:1527
assert_malformed(
() => instantiate(`(func i32.const 0 if else end $$l) `),
`mismatching label`,
);
// ./test/core/if.wast:1531
assert_malformed(
() => instantiate(`(func i32.const 0 if else $$l end $$l) `),
`mismatching label`,
);
// ./test/core/if.wast:1535
assert_malformed(
() => instantiate(`(func i32.const 0 if else $$l1 end $$l2) `),
`mismatching label`,
);
// ./test/core/if.wast:1539
assert_malformed(
() => instantiate(`(func i32.const 0 if $$a else end $$l) `),
`mismatching label`,
);
// ./test/core/if.wast:1543
assert_malformed(
() => instantiate(`(func i32.const 0 if $$a else $$a end $$l) `),
`mismatching label`,
);
// ./test/core/if.wast:1547
assert_malformed(
() => instantiate(`(func i32.const 0 if $$a else $$l end $$l) `),
`mismatching label`,
);