diff options
author | Alon Zakai <azakai@google.com> | 2022-12-14 16:17:09 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-14 16:17:09 -0800 |
commit | 5202fac7e7937035c0b7c95ec366e09006e317e0 (patch) | |
tree | 621b7bd54d9eb3612882dd1186319baf18536fb9 /src/tools/wasm-dis.cpp | |
parent | 319dcfb41dd663d9aad5f53cf70e52b5e9f97de8 (diff) | |
download | binaryen-5202fac7e7937035c0b7c95ec366e09006e317e0.tar.gz binaryen-5202fac7e7937035c0b7c95ec366e09006e317e0.tar.bz2 binaryen-5202fac7e7937035c0b7c95ec366e09006e317e0.zip |
Fix opt/shrink levels when running the optimizer multiple times (#5333)
Previously -O3 -O1 would run -O1 twice since the last flag set the global opt level
to 1, and then all invocations of the optimizer pipeline read that. This makes each
pipeline define its own opt level.
This has been a long-standing annoyance, which wasn't much noticed except that
with wasm GC there is more of a need to run the optimization pipeline more than
once. And sometimes it is nice to run different levels.
Diffstat (limited to 'src/tools/wasm-dis.cpp')
0 files changed, 0 insertions, 0 deletions