diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2020-03-16 10:35:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-16 10:35:08 -0700 |
| commit | 2b8e9248604b2419a69c268ab131366a7408ebaf (patch) | |
| tree | a33c06b2104f47692db494ee3c9358b4a05a8ec6 /test | |
| parent | 69d34c6bd9ad78f192cf4142b48a123eb61941ca (diff) | |
| download | binaryen-2b8e9248604b2419a69c268ab131366a7408ebaf.tar.gz binaryen-2b8e9248604b2419a69c268ab131366a7408ebaf.tar.bz2 binaryen-2b8e9248604b2419a69c268ab131366a7408ebaf.zip | |
Interpret tuple locals and tail-calls correctly (#2690)
Diffstat (limited to 'test')
| -rw-r--r-- | test/spec/multivalue.wast | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/test/spec/multivalue.wast b/test/spec/multivalue.wast index 3fde831df..d6089721d 100644 --- a/test/spec/multivalue.wast +++ b/test/spec/multivalue.wast @@ -1,10 +1,20 @@ (module - (func (export "pair") (result i32 i64) + (func $pair (export "pair") (result i32 i64) (tuple.make (i32.const 42) (i64.const 7) ) ) + (func (export "tuple-local") (result i32 i64) + (local $x (i32 i64)) + (local.get $x) + ) + (func (export "tail-call") (result i32 i64) + (return_call $pair) + (unreachable) + ) ) -(assert_return (invoke "pair") (tuple.make (i32.const 42) (i64.const 7)))
\ No newline at end of file +(assert_return (invoke "pair") (tuple.make (i32.const 42) (i64.const 7))) +(assert_return (invoke "tuple-local") (tuple.make (i32.const 0) (i64.const 0))) +(assert_return (invoke "tail-call") (tuple.make (i32.const 42) (i64.const 7))) |