105 struct FactOrCheck {  struct
129   FactOrCheck(EntryTy Ty, DomTreeNode *DTN, Instruction *Inst)  in FactOrCheck()  function
133   FactOrCheck(DomTreeNode *DTN, Use *U)  in FactOrCheck()  function
138   FactOrCheck(DomTreeNode *DTN, CmpInst::Predicate Pred, Value *Op0, Value *Op1,  in FactOrCheck()  argument
143   static FactOrCheck getConditionFact(DomTreeNode *DTN, CmpInst::Predicate Pred,  in getConditionFact()  argument
146     return FactOrCheck(DTN, Pred, Op0, Op1, Precond);  in getConditionFact()
149   static FactOrCheck getInstFact(DomTreeNode *DTN, Instruction *Inst) {  in getInstFact()  argument
150     return FactOrCheck(EntryTy::InstFact, DTN, Inst);  in getInstFact()
153   static FactOrCheck getCheck(DomTreeNode *DTN, Use *U) {  in getCheck()  argument
154     return FactOrCheck(DTN, U);  in getCheck()
157   static FactOrCheck getCheck(DomTreeNode *DTN, CallInst *CI) {  in getCheck()  argument
158     return FactOrCheck(EntryTy::InstCheck, DTN, CI);  in getCheck()
187   SmallVector<FactOrCheck, 64> WorkList;
946         FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_UGE, PN, StartValue));  in addInfoForInductions()
949         FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_SGE, PN, StartValue));  in addInfoForInductions()
970     WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
973     WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
978     WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
981     WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
1005     WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
1009     WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
1013   WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
1016   WorkList.push_back(FactOrCheck::getConditionFact(  in addInfoForInductions()
1034         WorkList.push_back(FactOrCheck::getCheck(DTN, &U));  in addInfoFor()
1050         WorkList.emplace_back(FactOrCheck::getConditionFact(  in addInfoFor()
1054             FactOrCheck::getInstFact(DT.getNode(I.getParent()), &I));  in addInfoFor()
1061           FactOrCheck::getCheck(DT.getNode(&BB), cast<CallInst>(&I)));  in addInfoFor()
1074       WorkList.push_back(FactOrCheck::getInstFact(DT.getNode(&BB), &I));  in addInfoFor()
1087       WorkList.emplace_back(FactOrCheck::getConditionFact(  in addInfoFor()
1124           WorkList.emplace_back(FactOrCheck::getConditionFact(  in addInfoFor()
1150     WorkList.emplace_back(FactOrCheck::getConditionFact(  in addInfoFor()
1154     WorkList.emplace_back(FactOrCheck::getConditionFact(  in addInfoFor()
1417     FactOrCheck &CB, ConstraintInfo &Info, Module *ReproducerModule,  in checkOrAndOpImpliedByOther()
1626   stable_sort(S.WorkList, [](const FactOrCheck &A, const FactOrCheck &B) {  in eliminateConstraints()
1627     auto HasNoConstOp = [](const FactOrCheck &B) {  in eliminateConstraints()
1656   for (FactOrCheck &CB : S.WorkList) {  in eliminateConstraints()