diff options
author | Heejin Ahn <aheejin@gmail.com> | 2023-06-15 17:20:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-15 17:20:28 -0700 |
commit | a317958d3026632dcdeda5cc9850fd79dda59e9d (patch) | |
tree | c29462ee3b12e4c9deeab7ab65fe096f15da2572 /src/wasm/wasm-validator.cpp | |
parent | 599a9627ce88b66eeb4e2be24163fa62f0533743 (diff) | |
download | binaryen-a317958d3026632dcdeda5cc9850fd79dda59e9d.tar.gz binaryen-a317958d3026632dcdeda5cc9850fd79dda59e9d.tar.bz2 binaryen-a317958d3026632dcdeda5cc9850fd79dda59e9d.zip |
[EH] Add pass to remove EH instructions (#5770)
This pass strips all EH stuff, including EH instructions and tags, from
the input module and disables the EH feature from the features section.
1. This removes `catch` and `catch_all` blocks from the code. So
```wast
(try
(do
(some code)
)
(catch
...
)
)
```
becomes just `(some code)`. Note that all `rethrow`s will be removed
with `catch`es. Note that all `rethrow`s will be removed with `catch`es.
2. This converts 'throw (...)` into `unreachable`. Note that `rethrows
3. This removes all tags from the module, which are unused anyway after
1 and 2.
4. This removes exception handling feature from the features section.
You can use the pass with
```console
$ wasm-opt --enable-exception-handling --strip-eh INPUT -o OUTPUT
```
This is not an optimization pass, so it is not run unless you specify
the pass explicitly.
This is in effect similar to Clang's `-fignore-exceptions`, in which you
can throw but it will result in a crash and we compile away all landing
pads. This can be used for people who don't (or can't) use
`-fignore-exceptions` in their build settings or who want to compile
away `catch` blocks later.
Closes emscripten-core/emscripten#19585.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
0 files changed, 0 insertions, 0 deletions