Searched refs:AddFact (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | ConstraintElimination.cpp | 1894 auto AddFact = [&](CmpPredicate Pred, Value *A, Value *B) { in eliminateConstraints() local
1938 AddFact(CmpInst::ICMP_SGE, CB.Inst, in eliminateConstraints()
1940 AddFact(CmpInst::ICMP_SGE, CB.Inst, X); in eliminateConstraints()
1946 AddFact(Pred, MinMax, MinMax->getLHS()); in eliminateConstraints()
1947 AddFact(Pred, MinMax, MinMax->getRHS()); in eliminateConstraints()
1955 AddFact(ICmpInst::ICMP_UGE, USatI, USatI->getLHS()); in eliminateConstraints()
1956 AddFact(ICmpInst::ICMP_UGE, USatI, USatI->getRHS()); in eliminateConstraints()
1959 AddFact(ICmpInst::ICMP_ULE, USatI, USatI->getLHS()); in eliminateConstraints()
1989 AddFact(Pred, A, B); in eliminateConstraints()
|