Lines Matching defs:DTN
129 FactOrCheck(EntryTy Ty, DomTreeNode *DTN, Instruction *Inst)
130 : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
133 FactOrCheck(DomTreeNode *DTN, Use *U)
134 : U(U), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
137 FactOrCheck(DomTreeNode *DTN, CmpPredicate Pred, Value *Op0, Value *Op1,
139 : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()),
140 NumOut(DTN->getDFSNumOut()), Ty(EntryTy::ConditionFact) {}
142 static FactOrCheck getConditionFact(DomTreeNode *DTN, CmpPredicate Pred,
145 return FactOrCheck(DTN, Pred, Op0, Op1, Precond);
148 static FactOrCheck getInstFact(DomTreeNode *DTN, Instruction *Inst) {
149 return FactOrCheck(EntryTy::InstFact, DTN, Inst);
152 static FactOrCheck getCheck(DomTreeNode *DTN, Use *U) {
153 return FactOrCheck(DTN, U);
156 static FactOrCheck getCheck(DomTreeNode *DTN, CallInst *CI) {
157 return FactOrCheck(EntryTy::InstCheck, DTN, CI);
984 DomTreeNode *DTN = DT.getNode(InLoopSucc);
995 FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_UGE, PN, StartValue));
998 FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_SGE, PN, StartValue));
1020 DTN, CmpInst::ICMP_UGE, StartValue, PN,
1023 DTN, CmpInst::ICMP_SGE, StartValue, PN,
1028 DTN, CmpInst::ICMP_UGT, PN, B,
1031 DTN, CmpInst::ICMP_SGT, PN, B,
1055 DTN, CmpInst::ICMP_UGE, PN, StartValue,
1059 DTN, CmpInst::ICMP_SGE, PN, StartValue,
1063 DTN, CmpInst::ICMP_ULT, PN, B,
1066 DTN, CmpInst::ICMP_SLT, PN, B,
1097 auto *DTN = DT.getNode(UserI->getParent());
1098 if (!DTN)
1100 WorkList.push_back(FactOrCheck::getCheck(DTN, &U));
1442 auto *DTN = DT.getNode(UserI->getParent());
1443 if (!DTN || DTN->getDFSNumIn() < NumIn || DTN->getDFSNumOut() > NumOut)