summaryrefslogtreecommitdiff
path: root/src/ir/ReFinalize.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/ir/ReFinalize.cpp')
-rw-r--r--src/ir/ReFinalize.cpp6
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);