Lines Matching defs:DTN

130   FactOrCheck(EntryTy Ty, DomTreeNode *DTN, Instruction *Inst)
131 : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
134 FactOrCheck(DomTreeNode *DTN, Use *U)
136 NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
139 FactOrCheck(DomTreeNode *DTN, CmpInst::Predicate Pred, Value *Op0, Value *Op1,
141 : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()),
142 NumOut(DTN->getDFSNumOut()), Ty(EntryTy::ConditionFact) {}
144 static FactOrCheck getConditionFact(DomTreeNode *DTN, CmpInst::Predicate Pred,
147 return FactOrCheck(DTN, Pred, Op0, Op1, Precond);
150 static FactOrCheck getInstFact(DomTreeNode *DTN, Instruction *Inst) {
151 return FactOrCheck(EntryTy::InstFact, DTN, Inst);
154 static FactOrCheck getCheck(DomTreeNode *DTN, Use *U) {
155 return FactOrCheck(DTN, U);
158 static FactOrCheck getCheck(DomTreeNode *DTN, CallInst *CI) {
159 return FactOrCheck(EntryTy::InstCheck, DTN, CI);
951 DomTreeNode *DTN = DT.getNode(InLoopSucc);
962 FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_UGE, PN, StartValue));
965 FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_SGE, PN, StartValue));
987 DTN, CmpInst::ICMP_UGE, StartValue, PN,
990 DTN, CmpInst::ICMP_SGE, StartValue, PN,
995 DTN, CmpInst::ICMP_UGT, PN, B,
998 DTN, CmpInst::ICMP_SGT, PN, B,
1022 DTN, CmpInst::ICMP_UGE, PN, StartValue,
1026 DTN, CmpInst::ICMP_SGE, PN, StartValue,
1030 DTN, CmpInst::ICMP_ULT, PN, B,
1033 DTN, CmpInst::ICMP_SLT, PN, B,
1064 auto *DTN = DT.getNode(UserI->getParent());
1065 if (!DTN)
1067 WorkList.push_back(FactOrCheck::getCheck(DTN, &U));
1411 auto *DTN = DT.getNode(UserI->getParent());
1412 if (!DTN || DTN->getDFSNumIn() < NumIn || DTN->getDFSNumOut() > NumOut)