diff options
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/spec/stack.wast.js')
| -rw-r--r-- | js/src/jit-test/tests/wasm/spec/spec/stack.wast.js | 263 |
1 files changed, 263 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/spec/stack.wast.js b/js/src/jit-test/tests/wasm/spec/spec/stack.wast.js new file mode 100644 index 0000000000..306a613cf8 --- /dev/null +++ b/js/src/jit-test/tests/wasm/spec/spec/stack.wast.js @@ -0,0 +1,263 @@ +/* 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/stack.wast + +// ./test/core/stack.wast:1 +let $0 = instantiate(`(module + (func (export "fac-expr") (param $$n i64) (result i64) + (local $$i i64) + (local $$res i64) + (local.set $$i (local.get $$n)) + (local.set $$res (i64.const 1)) + (block $$done + (loop $$loop + (if + (i64.eq (local.get $$i) (i64.const 0)) + (then (br $$done)) + (else + (local.set $$res (i64.mul (local.get $$i) (local.get $$res))) + (local.set $$i (i64.sub (local.get $$i) (i64.const 1))) + ) + ) + (br $$loop) + ) + ) + (local.get $$res) + ) + + (func (export "fac-stack") (param $$n i64) (result i64) + (local $$i i64) + (local $$res i64) + (local.get $$n) + (local.set $$i) + (i64.const 1) + (local.set $$res) + (block $$done + (loop $$loop + (local.get $$i) + (i64.const 0) + (i64.eq) + (if + (then (br $$done)) + (else + (local.get $$i) + (local.get $$res) + (i64.mul) + (local.set $$res) + (local.get $$i) + (i64.const 1) + (i64.sub) + (local.set $$i) + ) + ) + (br $$loop) + ) + ) + (local.get $$res) + ) + + (func (export "fac-stack-raw") (param $$n i64) (result i64) + (local $$i i64) + (local $$res i64) + local.get $$n + local.set $$i + i64.const 1 + local.set $$res + block $$done + loop $$loop + local.get $$i + i64.const 0 + i64.eq + if $$body + br $$done + else $$body + local.get $$i + local.get $$res + i64.mul + local.set $$res + local.get $$i + i64.const 1 + i64.sub + local.set $$i + end $$body + br $$loop + end $$loop + end $$done + local.get $$res + ) + + (func (export "fac-mixed") (param $$n i64) (result i64) + (local $$i i64) + (local $$res i64) + (local.set $$i (local.get $$n)) + (local.set $$res (i64.const 1)) + (block $$done + (loop $$loop + (i64.eq (local.get $$i) (i64.const 0)) + (if + (then (br $$done)) + (else + (i64.mul (local.get $$i) (local.get $$res)) + (local.set $$res) + (i64.sub (local.get $$i) (i64.const 1)) + (local.set $$i) + ) + ) + (br $$loop) + ) + ) + (local.get $$res) + ) + + (func (export "fac-mixed-raw") (param $$n i64) (result i64) + (local $$i i64) + (local $$res i64) + (local.set $$i (local.get $$n)) + (local.set $$res (i64.const 1)) + block $$done + loop $$loop + (i64.eq (local.get $$i) (i64.const 0)) + if + br $$done + else + (i64.mul (local.get $$i) (local.get $$res)) + local.set $$res + (i64.sub (local.get $$i) (i64.const 1)) + local.set $$i + end + br $$loop + end + end + local.get $$res + ) + + (global $$temp (mut i32) (i32.const 0)) + (func $$add_one_to_global (result i32) + (local i32) + (global.set $$temp (i32.add (i32.const 1) (global.get $$temp))) + (global.get $$temp) + ) + (func $$add_one_to_global_and_drop + (drop (call $$add_one_to_global)) + ) + (func (export "not-quite-a-tree") (result i32) + call $$add_one_to_global + call $$add_one_to_global + call $$add_one_to_global_and_drop + i32.add + ) +)`); + +// ./test/core/stack.wast:146 +assert_return(() => invoke($0, `fac-expr`, [25n]), [value("i64", 7034535277573963776n)]); + +// ./test/core/stack.wast:147 +assert_return(() => invoke($0, `fac-stack`, [25n]), [value("i64", 7034535277573963776n)]); + +// ./test/core/stack.wast:148 +assert_return(() => invoke($0, `fac-mixed`, [25n]), [value("i64", 7034535277573963776n)]); + +// ./test/core/stack.wast:150 +assert_return(() => invoke($0, `not-quite-a-tree`, []), [value("i32", 3)]); + +// ./test/core/stack.wast:151 +assert_return(() => invoke($0, `not-quite-a-tree`, []), [value("i32", 9)]); + +// ./test/core/stack.wast:156 +let $1 = instantiate(`(module + (type $$proc (func)) + (table 1 funcref) + + (func + (block i32.const 0 call_indirect) + (loop i32.const 0 call_indirect) + (if (i32.const 0) (then i32.const 0 call_indirect)) + (if (i32.const 0) + (then i32.const 0 call_indirect) + (else i32.const 0 call_indirect) + ) + (block i32.const 0 call_indirect (type $$proc)) + (loop i32.const 0 call_indirect (type $$proc)) + (if (i32.const 0) (then i32.const 0 call_indirect (type $$proc))) + (if (i32.const 0) + (then i32.const 0 call_indirect (type $$proc)) + (else i32.const 0 call_indirect (type $$proc)) + ) + (block i32.const 0 i32.const 0 call_indirect (param i32)) + (loop i32.const 0 i32.const 0 call_indirect (param i32)) + (if (i32.const 0) (then i32.const 0 i32.const 0 call_indirect (param i32))) + (if (i32.const 0) + (then i32.const 0 i32.const 0 call_indirect (param i32)) + (else i32.const 0 i32.const 0 call_indirect (param i32)) + ) + (block (result i32) i32.const 0 call_indirect (result i32)) (drop) + (loop (result i32) i32.const 0 call_indirect (result i32)) (drop) + (if (result i32) (i32.const 0) + (then i32.const 0 call_indirect (result i32)) + (else i32.const 0 call_indirect (result i32)) + ) (drop) + (block i32.const 0 call_indirect (type $$proc) (param) (result)) + (loop i32.const 0 call_indirect (type $$proc) (param) (result)) + (if (i32.const 0) + (then i32.const 0 call_indirect (type $$proc) (param) (result)) + ) + (if (i32.const 0) + (then i32.const 0 call_indirect (type $$proc) (param) (param) (result)) + (else i32.const 0 call_indirect (type $$proc) (param) (result) (result)) + ) + + block i32.const 0 call_indirect end + loop i32.const 0 call_indirect end + i32.const 0 if i32.const 0 call_indirect end + i32.const 0 if i32.const 0 call_indirect else i32.const 0 call_indirect end + block i32.const 0 call_indirect (type $$proc) end + loop i32.const 0 call_indirect (type $$proc) end + i32.const 0 if i32.const 0 call_indirect (type $$proc) end + i32.const 0 + if + i32.const 0 call_indirect (type $$proc) + else + i32.const 0 call_indirect (type $$proc) + end + block i32.const 0 i32.const 0 call_indirect (param i32) end + loop i32.const 0 i32.const 0 call_indirect (param i32) end + i32.const 0 if i32.const 0 i32.const 0 call_indirect (param i32) end + i32.const 0 + if + i32.const 0 i32.const 0 call_indirect (param i32) + else + i32.const 0 i32.const 0 call_indirect (param i32) + end + block (result i32) i32.const 0 call_indirect (result i32) end drop + loop (result i32) i32.const 0 call_indirect (result i32) end drop + i32.const 0 + if (result i32) + i32.const 0 call_indirect (result i32) + else + i32.const 0 call_indirect (result i32) + end drop + block i32.const 0 call_indirect (type $$proc) (param) (result) end + loop i32.const 0 call_indirect (type $$proc) (param) (result) end + i32.const 0 if i32.const 0 call_indirect (type $$proc) (param) (result) end + i32.const 0 + if + i32.const 0 call_indirect (type $$proc) (param) (result) + else + i32.const 0 call_indirect (type $$proc) (param) (param) (result) (result) + end + i32.const 0 call_indirect + ) +)`); |