Lines Matching refs:addFact
309 void addFact(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
857 addFact(CmpInst::ICMP_SGE, A, ConstantInt::get(B->getType(), 0), NumIn, in transferToOtherSystem()
859 addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut, in transferToOtherSystem()
867 addFact(CmpInst::ICMP_SGE, B, ConstantInt::get(B->getType(), 0), NumIn, in transferToOtherSystem()
869 addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut, in transferToOtherSystem()
875 addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
879 addFact(CmpInst::ICMP_UGE, A, ConstantInt::get(B->getType(), 0), NumIn, in transferToOtherSystem()
882 addFact(CmpInst::ICMP_UGT, A, B, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
888 addFact(CmpInst::ICMP_UGE, A, B, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
1524 Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack); in checkOrAndOpImpliedByOther()
1554 void ConstraintInfo::addFact(CmpInst::Predicate Pred, Value *A, Value *B, in addFact() function in ConstraintInfo
1796 Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack); in eliminateConstraints()