Searched refs:addFact (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | ConstraintElimination.cpp | 145 void addFact(CmpInst::Predicate Pred, Value *A, Value *B, bool IsNegated,
409 addFact(CmpInst::ICMP_SGE, A, ConstantInt::get(B->getType(), 0), in transferToOtherSystem()
411 addFact(CmpInst::ICMP_SLT, A, B, IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
416 addFact(CmpInst::ICMP_ULT, A, B, IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
420 addFact(CmpInst::ICMP_UGE, A, ConstantInt::get(B->getType(), 0), in transferToOtherSystem()
425 addFact(CmpInst::ICMP_UGE, A, B, IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
574 void ConstraintInfo::addFact(CmpInst::Predicate Pred, Value *A, Value *B, in addFact() function in ConstraintInfo
812 Info.addFact(Pred, A, B, CB.Not, CB.NumIn, CB.NumOut, DFSInStack); in eliminateConstraints()
|