diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-08-05 11:10:04 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-09-07 09:54:55 -0700 |
| commit | f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5 (patch) | |
| tree | 842a46db2cb9cac4089e39c1ebc9920158c0d901 /src/passes/RemoveUnusedBrs.cpp | |
| parent | 42155057a56a979eccb6d811671cfbf290cf429e (diff) | |
| download | binaryen-f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5.tar.gz binaryen-f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5.tar.bz2 binaryen-f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5.zip | |
select values must be valid
Diffstat (limited to 'src/passes/RemoveUnusedBrs.cpp')
| -rw-r--r-- | src/passes/RemoveUnusedBrs.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/passes/RemoveUnusedBrs.cpp b/src/passes/RemoveUnusedBrs.cpp index 263cea655..59d3af6fc 100644 --- a/src/passes/RemoveUnusedBrs.cpp +++ b/src/passes/RemoveUnusedBrs.cpp @@ -189,7 +189,7 @@ struct RemoveUnusedBrs : public WalkerPass<PostWalker<RemoveUnusedBrs, Visitor<R // finally, we may have simplified ifs enough to turn them into selects struct Selectifier : public WalkerPass<PostWalker<Selectifier, Visitor<Selectifier>>> { void visitIf(If* curr) { - if (curr->ifFalse) { + if (curr->ifFalse && isConcreteWasmType(curr->ifTrue->type) && isConcreteWasmType(curr->ifFalse->type)) { // if with else, consider turning it into a select if there is no control flow // TODO: estimate cost EffectAnalyzer condition(curr->condition); |