diff options
| author | KarlSchimpf <karlschimpf@gmail.com> | 2017-06-22 07:59:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-22 07:59:09 -0700 |
| commit | 917d3bfa6593c9a85c81b674770aec2ca404a4a2 (patch) | |
| tree | ff279590a68c00714889d1667da9739f7e7cbd9a /src/opcode.def | |
| parent | c0ae2e69b53f12e57833270e1b48a01864fb5156 (diff) | |
| download | wabt-917d3bfa6593c9a85c81b674770aec2ca404a4a2.tar.gz wabt-917d3bfa6593c9a85c81b674770aec2ca404a4a2.tar.bz2 wabt-917d3bfa6593c9a85c81b674770aec2ca404a4a2.zip | |
Fix the validator to be able to validate exception handling constructs. (#514)
* Save state.
* Add exception declaration syntax.
* Extend validator to handle exception declarations.
* Fix binary writer to handle exception declarations.
* Fix code to handle external exception kind.
* Regenerate lexer.
* Fix bug with last merge.
* Add exception declarations, and add examples.
* Fix nits.
* Initial extensions for expr visitor.
* Save state.
* Fix issues with master merge.
* Reconcile issues with merge of tools wast2wasm and wast-desugar.
* Save state.
* Save work to move to mtv.
* Fix resolving names on try/throw constructs.
* Completed implementation of validation for exception handling.
* Fix nits.
* Combine Catch and CatchAll in IR.
* Remove tryblock visitors.
* Clean up to only use one visitor for each catch.
* Rework the structure of try blocks and catches.
* Remove the need for common CLI options.
* Fix issues raised by binji.
* Fix re2c generated file.
* Fix memory leak, and fix nits.
Diffstat (limited to 'src/opcode.def')
| -rw-r--r-- | src/opcode.def | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/opcode.def b/src/opcode.def index 384687b8..a683c13c 100644 --- a/src/opcode.def +++ b/src/opcode.def @@ -36,6 +36,11 @@ WABT_OPCODE(___, ___, ___, 0, 0x02, Block, "block") WABT_OPCODE(___, ___, ___, 0, 0x03, Loop, "loop") WABT_OPCODE(___, ___, ___, 0, 0x04, If, "if") WABT_OPCODE(___, ___, ___, 0, 0x05, Else, "else") +WABT_OPCODE(___, ___, ___, 0, 0x06, Try, "try") +WABT_OPCODE(___, ___, ___, 0, 0x07, Catch, "catch") +WABT_OPCODE(___, ___, ___, 0, 0x08, Throw, "throw") +WABT_OPCODE(___, ___, ___, 0, 0x09, Rethrow, "rethrow") +WABT_OPCODE(___, ___, ___, 0, 0x0a, CatchAll, "catch_all") WABT_OPCODE(___, ___, ___, 0, 0x0b, End, "end") WABT_OPCODE(___, ___, ___, 0, 0x0c, Br, "br") WABT_OPCODE(___, ___, ___, 0, 0x0d, BrIf, "br_if") |