This is an archive of the discontinued LLVM Phabricator instance.

Differential D157490

[NFC][GuardUtils] Refactor parseCondition
Needs ReviewPublic

Authored by aleksandr.popov on Aug 9 2023, 4:25 AM.
This revision needs review, but there are no reviewers specified.

Details

Reviewers
None
Summary

parseCondition refactoring after it was extracted in D157276

Diff Detail

Revision Contents

PathSize
llvm/
lib/
Analysis/
11 lines

Diff 548556

llvm/lib/Analysis/GuardUtils.cpp

Show First 20 Lines • Show All 112 Lines • ▼ Show 20 Lines if (match(B, m_Intrinsic<Intrinsic::experimental_widenable_condition>()) &&
C = &And->getOperandUse(0); C = &And->getOperandUse(0);
return true; return true;
} }
return false; return false;
} }
template <typename CallbackType> template <typename CallbackType>
static void parseCondition(Value *Condition, CallbackType Callback) { static void parseCondition(Value *Condition, CallbackType Callback) {
SmallVector<Value *, 4> Worklist(1, Condition); SmallVector<Value *> Worklist = {Condition};
SmallPtrSet<Value *, 4> Visited; SmallPtrSet<Value *, 4> Visited;
Visited.insert(Condition);
do { do {
Value *Check = Worklist.pop_back_val(); Value *Check = Worklist.pop_back_val();
if (!Visited.insert(Check).second)
continue;
Value *LHS, *RHS; Value *LHS, *RHS;
if (match(Check, m_And(m_Value(LHS), m_Value(RHS)))) { if (match(Check, m_And(m_Value(LHS), m_Value(RHS)))) {
if (Visited.insert(LHS).second)
Worklist.push_back(LHS); Worklist.push_back(LHS);
if (Visited.insert(RHS).second)
Worklist.push_back(RHS); Worklist.push_back(RHS);
continue; continue;
} }
Callback(Check); Callback(Check);
} while (!Worklist.empty()); } while (!Worklist.empty());
} }
void llvm::parseWidenableGuard(const User *U, void llvm::parseWidenableGuard(const User *U,
llvm::SmallVectorImpl<Value *> &Checks) { llvm::SmallVectorImpl<Value *> &Checks) {
Show All 9 Lines