Searched refs:MatchBinaryAddToConst (Results 1 – 3 of 3) sorted by relevance
| /aosp_15_r20/external/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 7777 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
7801 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
7805 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
7814 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
7819 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
|
| /aosp_15_r20/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 9419 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9444 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9448 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9458 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9463 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
|
| /aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 11244 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
11292 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
11302 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
11312 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
11322 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()
|