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/switch.wast
// ./test/core/switch.wast:1
let $0 = instantiate(`(module
;; Statement switch
(func (export "stmt") (param $$i i32) (result i32)
(local $$j i32)
(local.set $$j (i32.const 100))
(block $$switch
(block $$7
(block $$default
(block $$6
(block $$5
(block $$4
(block $$3
(block $$2
(block $$1
(block $$0
(br_table $$0 $$1 $$2 $$3 $$4 $$5 $$6 $$7 $$default
(local.get $$i)
)
) ;; 0
(return (local.get $$i))
) ;; 1
(nop)
;; fallthrough
) ;; 2
;; fallthrough
) ;; 3
(local.set $$j (i32.sub (i32.const 0) (local.get $$i)))
(br $$switch)
) ;; 4
(br $$switch)
) ;; 5
(local.set $$j (i32.const 101))
(br $$switch)
) ;; 6
(local.set $$j (i32.const 101))
;; fallthrough
) ;; default
(local.set $$j (i32.const 102))
) ;; 7
;; fallthrough
)
(return (local.get $$j))
)
;; Expression switch
(func (export "expr") (param $$i i64) (result i64)
(local $$j i64)
(local.set $$j (i64.const 100))
(return
(block $$switch (result i64)
(block $$7
(block $$default
(block $$4
(block $$5
(block $$6
(block $$3
(block $$2
(block $$1
(block $$0
(br_table $$0 $$1 $$2 $$3 $$4 $$5 $$6 $$7 $$default
(i32.wrap_i64 (local.get $$i))
)
) ;; 0
(return (local.get $$i))
) ;; 1
(nop)
;; fallthrough
) ;; 2
;; fallthrough
) ;; 3
(br $$switch (i64.sub (i64.const 0) (local.get $$i)))
) ;; 6
(local.set $$j (i64.const 101))
;; fallthrough
) ;; 4
;; fallthrough
) ;; 5
;; fallthrough
) ;; default
(br $$switch (local.get $$j))
) ;; 7
(i64.const -5)
)
)
)
;; Argument switch
(func (export "arg") (param $$i i32) (result i32)
(return
(block $$2 (result i32)
(i32.add (i32.const 10)
(block $$1 (result i32)
(i32.add (i32.const 100)
(block $$0 (result i32)
(i32.add (i32.const 1000)
(block $$default (result i32)
(br_table $$0 $$1 $$2 $$default
(i32.mul (i32.const 2) (local.get $$i))
(i32.and (i32.const 3) (local.get $$i))
)
)
)
)
)
)
)
)
)
)
;; Corner cases
(func (export "corner") (result i32)
(block
(br_table 0 (i32.const 0))
)
(i32.const 1)
)
)`);
// ./test/core/switch.wast:120
assert_return(() => invoke($0, `stmt`, [0]), [value("i32", 0)]);
// ./test/core/switch.wast:121
assert_return(() => invoke($0, `stmt`, [1]), [value("i32", -1)]);
// ./test/core/switch.wast:122
assert_return(() => invoke($0, `stmt`, [2]), [value("i32", -2)]);
// ./test/core/switch.wast:123
assert_return(() => invoke($0, `stmt`, [3]), [value("i32", -3)]);
// ./test/core/switch.wast:124
assert_return(() => invoke($0, `stmt`, [4]), [value("i32", 100)]);
// ./test/core/switch.wast:125
assert_return(() => invoke($0, `stmt`, [5]), [value("i32", 101)]);
// ./test/core/switch.wast:126
assert_return(() => invoke($0, `stmt`, [6]), [value("i32", 102)]);
// ./test/core/switch.wast:127
assert_return(() => invoke($0, `stmt`, [7]), [value("i32", 100)]);
// ./test/core/switch.wast:128
assert_return(() => invoke($0, `stmt`, [-10]), [value("i32", 102)]);
// ./test/core/switch.wast:130
assert_return(() => invoke($0, `expr`, [0n]), [value("i64", 0n)]);
// ./test/core/switch.wast:131
assert_return(() => invoke($0, `expr`, [1n]), [value("i64", -1n)]);
// ./test/core/switch.wast:132
assert_return(() => invoke($0, `expr`, [2n]), [value("i64", -2n)]);
// ./test/core/switch.wast:133
assert_return(() => invoke($0, `expr`, [3n]), [value("i64", -3n)]);
// ./test/core/switch.wast:134
assert_return(() => invoke($0, `expr`, [6n]), [value("i64", 101n)]);
// ./test/core/switch.wast:135
assert_return(() => invoke($0, `expr`, [7n]), [value("i64", -5n)]);
// ./test/core/switch.wast:136
assert_return(() => invoke($0, `expr`, [-10n]), [value("i64", 100n)]);
// ./test/core/switch.wast:138
assert_return(() => invoke($0, `arg`, [0]), [value("i32", 110)]);
// ./test/core/switch.wast:139
assert_return(() => invoke($0, `arg`, [1]), [value("i32", 12)]);
// ./test/core/switch.wast:140
assert_return(() => invoke($0, `arg`, [2]), [value("i32", 4)]);
// ./test/core/switch.wast:141
assert_return(() => invoke($0, `arg`, [3]), [value("i32", 1116)]);
// ./test/core/switch.wast:142
assert_return(() => invoke($0, `arg`, [4]), [value("i32", 118)]);
// ./test/core/switch.wast:143
assert_return(() => invoke($0, `arg`, [5]), [value("i32", 20)]);
// ./test/core/switch.wast:144
assert_return(() => invoke($0, `arg`, [6]), [value("i32", 12)]);
// ./test/core/switch.wast:145
assert_return(() => invoke($0, `arg`, [7]), [value("i32", 1124)]);
// ./test/core/switch.wast:146
assert_return(() => invoke($0, `arg`, [8]), [value("i32", 126)]);
// ./test/core/switch.wast:148
assert_return(() => invoke($0, `corner`, []), [value("i32", 1)]);
// ./test/core/switch.wast:150
assert_invalid(
() => instantiate(`(module (func (br_table 3 (i32.const 0))))`),
`unknown label`,
);