diff options
| author | Alon Zakai <azakai@google.com> | 2024-07-10 12:15:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-10 12:15:22 -0700 |
| commit | 37a86d558994415e722e7f62f5784b1a8b8b4832 (patch) | |
| tree | 282342051d33146bbda303ef97587b652b148d6a /src/wasm-features.h | |
| parent | 76f661203f98820ebc6840ecf627a5eafc038403 (diff) | |
| download | binaryen-37a86d558994415e722e7f62f5784b1a8b8b4832.tar.gz binaryen-37a86d558994415e722e7f62f5784b1a8b8b4832.tar.bz2 binaryen-37a86d558994415e722e7f62f5784b1a8b8b4832.zip | |
[StackIR] Allow StackIR to be disabled from the commandline (#6725)
Normally we use it when optimizing (above a certain level). This lets the user
prevent it from being used even then.
Also add optimization options to wasm-metadce so that this is possible
there as well and not just in wasm-opt (this also opens the door to running
more passes in metadce, which may be useful later).
Diffstat (limited to 'src/wasm-features.h')
0 files changed, 0 insertions, 0 deletions