diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2018-11-15 10:06:39 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-15 10:06:39 -0800 |
| commit | 622cba9c49378f89ca94e05cbbe2af0b0c62ab44 (patch) | |
| tree | 25d4c0d3837fb8b0f84cd2eebee1414011d7c289 /src/wasm-stack.h | |
| parent | 892d2d747883aca132d2eb4e3ba5a6b261f944af (diff) | |
| download | binaryen-622cba9c49378f89ca94e05cbbe2af0b0c62ab44.tar.gz binaryen-622cba9c49378f89ca94e05cbbe2af0b0c62ab44.tar.bz2 binaryen-622cba9c49378f89ca94e05cbbe2af0b0c62ab44.zip | |
Don't try to optimize away unused names in RemoveUnusedBrs (#1750)
Rely on the dedicated pass for that. It's not worth the extra complexity to try, as we can't easily handle all the cases anyhow.
Add another run of the dedicated name-removing pass in the default passes.
Diffstat (limited to 'src/wasm-stack.h')
0 files changed, 0 insertions, 0 deletions