diff options
author | Alon Zakai <azakai@google.com> | 2021-05-26 14:10:03 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-26 14:10:03 -0700 |
commit | 27a18f990e022cfe5b6a5485fd2eaca73b6dfbaa (patch) | |
tree | 9c37ba9241483c12ca511ee3b0d6cadf003cd68d /src/passes/OptimizeInstructions.cpp | |
parent | 7f31823120ba25075d783df863f6be536543f805 (diff) | |
download | binaryen-27a18f990e022cfe5b6a5485fd2eaca73b6dfbaa.tar.gz binaryen-27a18f990e022cfe5b6a5485fd2eaca73b6dfbaa.tar.bz2 binaryen-27a18f990e022cfe5b6a5485fd2eaca73b6dfbaa.zip |
[Wasm GC] Implement CFGWalker support for BrOn* (#3908)
Without adding logic there, it simply ignored the branch, which could
lead to bad optimizations (thinking code is unreachable when it was).
There isn't a trivial way to add a static error to force us to add new
classes to CFGWalker. But this PR generalizes the code there to
handle all branches and all unreachable instructions in a generic
way. The only thing we'll need to remember to do in the future is to
add control flow structures. (And normally the fuzzer should quickly
find such bugs, but we don't have full fuzzing enabled for GC yet.)
Fixes #3907
Diffstat (limited to 'src/passes/OptimizeInstructions.cpp')
0 files changed, 0 insertions, 0 deletions