diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-10-16 12:40:04 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-16 12:40:04 -0700 |
| commit | 73c04954fa52addb709d7de3f2364ec3082c408b (patch) | |
| tree | 2adc4cc5d5909bd2d18763f327e7ef2d0359060d /src/passes/RemoveUnusedBrs.cpp | |
| parent | faaa20b4950351528fd00888040fdd2b14a5a084 (diff) | |
| download | binaryen-73c04954fa52addb709d7de3f2364ec3082c408b.tar.gz binaryen-73c04954fa52addb709d7de3f2364ec3082c408b.tar.bz2 binaryen-73c04954fa52addb709d7de3f2364ec3082c408b.zip | |
Use the type system to check if something is flowed out of (#1224)
now that the type system has a proper unreachable, we don't need obviouslyDoesNotFlowOut
Diffstat (limited to 'src/passes/RemoveUnusedBrs.cpp')
| -rw-r--r-- | src/passes/RemoveUnusedBrs.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/passes/RemoveUnusedBrs.cpp b/src/passes/RemoveUnusedBrs.cpp index 7903534b6..d2cdec7ad 100644 --- a/src/passes/RemoveUnusedBrs.cpp +++ b/src/passes/RemoveUnusedBrs.cpp @@ -250,7 +250,7 @@ struct RemoveUnusedBrs : public WalkerPass<PostWalker<RemoveUnusedBrs>> { // let's try to move the code going to the top of the loop into the if-else if (!iff->ifFalse) { // we need the ifTrue to break, so it cannot reach the code we want to move - if (ExpressionAnalyzer::obviouslyDoesNotFlowOut(iff->ifTrue)) { + if (iff->ifTrue->type == unreachable) { iff->ifFalse = builder.stealSlice(block, i + 1, list.size()); iff->finalize(); block->finalize(); @@ -288,12 +288,12 @@ struct RemoveUnusedBrs : public WalkerPass<PostWalker<RemoveUnusedBrs>> { return block; }; - if (ExpressionAnalyzer::obviouslyDoesNotFlowOut(iff->ifTrue)) { + if (iff->ifTrue->type == unreachable) { iff->ifFalse = blockifyMerge(iff->ifFalse, builder.stealSlice(block, i + 1, list.size())); iff->finalize(); block->finalize(); return true; - } else if (ExpressionAnalyzer::obviouslyDoesNotFlowOut(iff->ifFalse)) { + } else if (iff->ifFalse->type == unreachable) { iff->ifTrue = blockifyMerge(iff->ifTrue, builder.stealSlice(block, i + 1, list.size())); iff->finalize(); block->finalize(); |