[IRCE] Use m_LogicalAnd

This is a minor fix to use m_LogicalAnd.
This allows IRCE to recognize select form of and conditions as well.
This commit is contained in:
Juneyoung Lee 2021-03-27 15:22:17 +09:00
parent 31e541e375
commit fc3f0c9cc0
1 changed files with 1 additions and 1 deletions

View File

@ -360,7 +360,7 @@ void InductiveRangeCheck::extractRangeChecksFromCond(
return;
// TODO: Do the same for OR, XOR, NOT etc?
if (match(Condition, m_And(m_Value(), m_Value()))) {
if (match(Condition, m_LogicalAnd(m_Value(), m_Value()))) {
extractRangeChecksFromCond(L, SE, cast<User>(Condition)->getOperandUse(0),
Checks, Visited);
extractRangeChecksFromCond(L, SE, cast<User>(Condition)->getOperandUse(1),