Searched refs:addFact (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | ConstraintElimination.cpp | 308 void addFact(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
841 addFact(CmpInst::ICMP_SGE, A, ConstantInt::get(B->getType(), 0), NumIn, in transferToOtherSystem()
843 addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut, in transferToOtherSystem()
851 addFact(CmpInst::ICMP_SGE, B, ConstantInt::get(B->getType(), 0), NumIn, in transferToOtherSystem()
853 addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut, in transferToOtherSystem()
859 addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
866 addFact(CmpInst::ICMP_UGT, A, B, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
872 addFact(CmpInst::ICMP_UGE, A, B, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
1444 Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack); in checkOrAndOpImpliedByOther()
1474 void ConstraintInfo::addFact(CmpInst::Predicate Pred, Value *A, Value *B, in addFact() function in ConstraintInfo
[all …]
|