Searched refs:NonNegative (Results 1 – 7 of 7) sorted by relevance
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | SeparateConstOffsetFromGEP.cpp | 266 APInt find(Value *V, bool SignExtended, bool ZeroExtended, bool NonNegative);
322 bool NonNegative);
505 bool NonNegative) { in CanTraceInto() argument
535 if (BO->getOpcode() == Instruction::Add && !ZeroExtended && NonNegative) { in CanTraceInto()
603 bool ZeroExtended, bool NonNegative) { in find() argument
619 if (CanTraceInto(SignExtended, ZeroExtended, BO, NonNegative)) in find()
623 find(U->getOperand(0), SignExtended, ZeroExtended, NonNegative) in find()
627 ZeroExtended, NonNegative).sext(BitWidth); in find()
|
| H A D | CorrelatedValuePropagation.cpp | 710 enum class Domain { NonNegative, NonPositive, Unknown }; enumerator
714 return Domain::NonNegative; in getDomain()
841 if (Op.D == Domain::NonNegative) in processSRem()
897 if (Op.D == Domain::NonNegative) in processSDiv()
|
| /llvm-project-15.0.7/clang/lib/Sema/ |
| H A D | SemaChecking.cpp | 11971 bool NonNegative; member
11974 : Width(Width), NonNegative(NonNegative) {} in IntRange()
12064 bool Unsigned = L.NonNegative && R.NonNegative; in join()
12066 L.NonNegative && R.NonNegative); in join()
12086 bool Unsigned = L.NonNegative && R.NonNegative; in sum()
12096 bool CanWiden = !L.NonNegative || !R.NonNegative; in difference()
12108 bool CanWiden = !L.NonNegative && !R.NonNegative; in product()
12109 bool Unsigned = L.NonNegative && R.NonNegative; in product()
12377 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
13947 !TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()
[all …]
|
| /llvm-project-15.0.7/polly/include/polly/ |
| H A D | ScopBuilder.h | 244 const SCEV *E, bool NonNegative = false);
|
| H A D | ScopInfo.h | 2502 bool NonNegative = false,
|
| /llvm-project-15.0.7/polly/lib/Analysis/ |
| H A D | ScopInfo.cpp | 2167 bool NonNegative, in getPwAff() argument
2181 if (NonNegative) in getPwAff()
|
| H A D | ScopBuilder.cpp | 347 const SCEV *E, bool NonNegative) { in getPwAff() argument
348 PWACtx PWAC = scop->getPwAff(E, BB, NonNegative, &RecordedAssumptions); in getPwAff()
|