diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2020-01-06 13:04:11 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-06 13:04:11 -0800 |
| commit | 591914d8de144cf76432e6fec7dbfb510366cabb (patch) | |
| tree | 570f72f7213b8b5d4e5ab114c931cb9def915754 /test/exception-handling.wast.from-wast | |
| parent | c971df1e943cafba05385f341126a772d8e2aa0c (diff) | |
| download | binaryen-591914d8de144cf76432e6fec7dbfb510366cabb.tar.gz binaryen-591914d8de144cf76432e6fec7dbfb510366cabb.tar.bz2 binaryen-591914d8de144cf76432e6fec7dbfb510366cabb.zip | |
Allow subtype in throw instruction (#2568)
This allows subtype for arguments of `throw`. This also renames
`shouldBeSubTypeOrUnreachable` to `shouldBeSubTypeOrFirstIsUnreachable`,
to be consistent with `shouldBeEqualOrFirstIsUnreachable`.
Diffstat (limited to 'test/exception-handling.wast.from-wast')
| -rw-r--r-- | test/exception-handling.wast.from-wast | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/exception-handling.wast.from-wast b/test/exception-handling.wast.from-wast index 93945c39c..f1826ccb6 100644 --- a/test/exception-handling.wast.from-wast +++ b/test/exception-handling.wast.from-wast @@ -1,8 +1,10 @@ (module (type $none_=>_none (func)) (type $i32_=>_none (func (param i32))) + (type $anyref_=>_none (func (param anyref))) (type $exnref_=>_exnref (func (param exnref) (result exnref))) (event $e0 (attr 0) (param i32)) + (event $e1 (attr 0) (param anyref)) (func $exnref_test (; 0 ;) (param $0 exnref) (result exnref) (local.get $0) ) @@ -81,5 +83,8 @@ ) ) ) + (throw $e1 + (ref.null) + ) ) ) |