Skip to content

Commit 4ea449b

Browse files
committed
[SCCP] Address review comments
1 parent 6b08eeb commit 4ea449b

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

llvm/lib/Transforms/Utils/SCCPSolver.cpp

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1622,6 +1622,7 @@ void SCCPInstVisitor::visitSelectInst(SelectInst &I) {
16221622
const ValueLatticeElement &OpValState = getValueState(OpVal);
16231623
// Safety: ValueState[&I] doesn't invalidate OpValState since it is already
16241624
// in the map.
1625+
assert(ValueState.contains(&I) && "&I is not in ValueState map.");
16251626
mergeInValue(ValueState[&I], &I, OpValState);
16261627
return;
16271628
}
@@ -1990,10 +1991,11 @@ void SCCPInstVisitor::handleCallArguments(CallBase &CB) {
19901991
mergeInValue(getStructValueState(&*AI, i), &*AI, CallArg,
19911992
getMaxWidenStepsOpts());
19921993
}
1993-
} else
1994-
mergeInValue(ValueState[&*AI], &*AI,
1995-
getValueState(*CAI).intersect(getArgAttributeVL(&*AI)),
1996-
getMaxWidenStepsOpts());
1994+
} else {
1995+
ValueLatticeElement CallArg =
1996+
getValueState(*CAI).intersect(getArgAttributeVL(&*AI));
1997+
mergeInValue(ValueState[&*AI], &*AI, CallArg, getMaxWidenStepsOpts());
1998+
}
19971999
}
19982000
}
19992001
}

0 commit comments

Comments
 (0)