Home
last modified time | relevance | path

Searched refs:MatchBinaryAddToConst (Results 1 – 17 of 17) sorted by relevance

/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/Analysis/
H A DScalarEvolution.cpp9666 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9691 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9695 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9705 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9710 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
9719 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNUW)) in isKnownPredicateViaNoOverflow()
9728 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNUW) && !C.isNullValue()) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/lib/Analysis/
H A DScalarEvolution.cpp9751 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9776 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9780 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9790 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9795 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
9804 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNUW)) in isKnownPredicateViaNoOverflow()
9813 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNUW) && !C.isNullValue()) in isKnownPredicateViaNoOverflow()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/lib/Analysis/
H A DScalarEvolution.cpp9751 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9776 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9780 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9790 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9795 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
9804 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNUW)) in isKnownPredicateViaNoOverflow()
9813 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNUW) && !C.isNullValue()) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/Analysis/
H A DScalarEvolution.cpp9233 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9258 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9262 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9272 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9277 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm10/llvm-10.0.1.src/lib/Analysis/
H A DScalarEvolution.cpp9419 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()
/dports/devel/llvm11/llvm-11.0.1.src/lib/Analysis/
H A DScalarEvolution.cpp9225 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9250 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9254 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9264 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9269 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
H A DScalarEvolution.cpp9419 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()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp9419 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()
/dports/devel/llvm90/llvm-9.0.1.src/lib/Analysis/
H A DScalarEvolution.cpp9320 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9345 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9349 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9359 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9364 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm80/llvm-8.0.1.src/lib/Analysis/
H A DScalarEvolution.cpp9277 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9302 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9306 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9316 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9321 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm70/llvm-7.0.1.src/lib/Analysis/
H A DScalarEvolution.cpp9085 auto MatchBinaryAddToConst = in isKnownPredicateViaNoOverflow() local
9110 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) in isKnownPredicateViaNoOverflow()
9114 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9124 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && in isKnownPredicateViaNoOverflow()
9129 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) in isKnownPredicateViaNoOverflow()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/lib/Analysis/
H A DScalarEvolution.cpp10160 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
10208 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
10218 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
10228 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
10238 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()
/dports/graphics/llvm-mesa/llvm-13.0.1.src/lib/Analysis/
H A DScalarEvolution.cpp10160 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
10208 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
10218 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
10228 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
10238 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp10160 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
10208 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
10218 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
10228 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
10238 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/lib/Analysis/
H A DScalarEvolution.cpp10249 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
10297 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
10307 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
10317 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
10327 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/lib/Analysis/
H A DScalarEvolution.cpp10160 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
10208 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
10218 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
10228 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
10238 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/lib/Analysis/
H A DScalarEvolution.cpp10160 auto MatchBinaryAddToConst = [this](const SCEV *X, const SCEV *Y, in isKnownPredicateViaNoOverflow() local
10208 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.sle(C2)) in isKnownPredicateViaNoOverflow()
10218 if (MatchBinaryAddToConst(LHS, RHS, C1, C2, SCEV::FlagNSW) && C1.slt(C2)) in isKnownPredicateViaNoOverflow()
10228 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ule(C2)) in isKnownPredicateViaNoOverflow()
10238 if (MatchBinaryAddToConst(RHS, LHS, C2, C1, SCEV::FlagNUW) && C1.ult(C2)) in isKnownPredicateViaNoOverflow()