diff options
Diffstat (limited to 'src/ir/ReFinalize.cpp')
-rw-r--r-- | src/ir/ReFinalize.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ir/ReFinalize.cpp b/src/ir/ReFinalize.cpp index b27b49bd4..9ee109f5e 100644 --- a/src/ir/ReFinalize.cpp +++ b/src/ir/ReFinalize.cpp @@ -50,12 +50,12 @@ void ReFinalize::visitBlock(Block* curr) { curr->type = curr->list.back()->type; // if concrete, it doesn't matter if we have an unreachable child, and we // don't need to look at breaks - if (isConcreteType(curr->type)) { + if (curr->type.isConcrete()) { // make sure our branches make sense for us - we may have just made // ourselves concrete for a value flowing out, while branches did not send a // value. such branches could not have been actually taken before, that is, // there were in unreachable code, but we do still need to fix them up here. - if (!isConcreteType(old)) { + if (!old.isConcrete()) { auto iter = breakValues.find(curr->name); if (iter != breakValues.end()) { // there is a break to here @@ -210,7 +210,7 @@ void ReFinalize::replaceUntaken(Expression* value, Expression* condition) { // the value is unreachable, and necessary since the type of // the condition did not have an impact before (the break/switch // type was unreachable), and might not fit in. - if (isConcreteType(condition->type)) { + if (condition->type.isConcrete()) { condition = builder.makeDrop(condition); } replacement = builder.makeSequence(value, condition); |