diff options
| author | Jay Phelps <hello@jayphelps.com> | 2018-09-11 16:09:45 -0400 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2018-09-11 13:09:45 -0700 |
| commit | 30de95a537857eac7c33b46cdf3606f93dff37c9 (patch) | |
| tree | 989b06234755d04350f7e7a1bed1e4cf973da931 /test/spec/stack.wast | |
| parent | 249b4b78d765c0f83029c3afd107cbe9ea025681 (diff) | |
| download | binaryen-30de95a537857eac7c33b46cdf3606f93dff37c9.tar.gz binaryen-30de95a537857eac7c33b46cdf3606f93dff37c9.tar.bz2 binaryen-30de95a537857eac7c33b46cdf3606f93dff37c9.zip | |
check-in the test/spec suite instead of as submodule (#1677)
Diffstat (limited to 'test/spec/stack.wast')
| -rw-r--r-- | test/spec/stack.wast | 138 |
1 files changed, 138 insertions, 0 deletions
diff --git a/test/spec/stack.wast b/test/spec/stack.wast new file mode 100644 index 000000000..a0559f561 --- /dev/null +++ b/test/spec/stack.wast @@ -0,0 +1,138 @@ +(module + (func (export "fac-expr") (param $n i64) (result i64) + (local $i i64) + (local $res i64) + (set_local $i (get_local $n)) + (set_local $res (i64.const 1)) + (block $done + (loop $loop + (if + (i64.eq (get_local $i) (i64.const 0)) + (br $done) + (block + (set_local $res (i64.mul (get_local $i) (get_local $res))) + (set_local $i (i64.sub (get_local $i) (i64.const 1))) + ) + ) + (br $loop) + ) + ) + (get_local $res) + ) + + (func (export "fac-stack") (param $n i64) (result i64) + (local $i i64) + (local $res i64) + (get_local $n) + (set_local $i) + (i64.const 1) + (set_local $res) + (block $done + (loop $loop + (get_local $i) + (i64.const 0) + (i64.eq) + (if + (then (br $done)) + (else + (get_local $i) + (get_local $res) + (i64.mul) + (set_local $res) + (get_local $i) + (i64.const 1) + (i64.sub) + (set_local $i) + ) + ) + (br $loop) + ) + ) + (get_local $res) + ) + + (func (export "fac-stack-raw") (param $n i64) (result i64) + (local $i i64) + (local $res i64) + get_local $n + set_local $i + i64.const 1 + set_local $res + block $done + loop $loop + get_local $i + i64.const 0 + i64.eq + if + br $done + else + get_local $i + get_local $res + i64.mul + set_local $res + get_local $i + i64.const 1 + i64.sub + set_local $i + end + br $loop + end + end + get_local $res + ) + + (func (export "fac-mixed") (param $n i64) (result i64) + (local $i i64) + (local $res i64) + (set_local $i (get_local $n)) + (set_local $res (i64.const 1)) + (block $done + (loop $loop + (i64.eq (get_local $i) (i64.const 0)) + (if + (then (br $done)) + (else + (i64.mul (get_local $i) (get_local $res)) + (set_local $res) + (i64.sub (get_local $i) (i64.const 1)) + (set_local $i) + ) + ) + (br $loop) + ) + ) + (get_local $res) + ) + + (func (export "fac-mixed-raw") (param $n i64) (result i64) + (local $i i64) + (local $res i64) + (set_local $i (get_local $n)) + (set_local $res (i64.const 1)) + block $done + loop $loop + (i64.eq (get_local $i) (i64.const 0)) + if + br $done + else + (i64.mul (get_local $i) (get_local $res)) + set_local $res + (i64.sub (get_local $i) (i64.const 1)) + set_local $i + end + br $loop + end + end + get_local $res + ) +) + +(assert_return (invoke "fac-expr" (i64.const 25)) (i64.const 7034535277573963776)) +(assert_return (invoke "fac-stack" (i64.const 25)) (i64.const 7034535277573963776)) +(assert_return (invoke "fac-mixed" (i64.const 25)) (i64.const 7034535277573963776)) + +;; from br_table.wast +(module (func $type-arg-num-vs-void + (block (br_table 0 (i32.const 0) (i32.const 1))) +)) + |