| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 343 return ::isKnownNonZero(V, Depth, in isKnownNonZero()
2283 if (isKnownNonZero(GTI.getOperand(), Depth, Q)) in isGEPKnownNonNull()
2528 return isKnownNonZero(RP, Depth, Q); in isKnownNonZero()
2581 return isKnownNonZero(X, Depth, Q); in isKnownNonZero()
2594 return isKnownNonZero(X, Depth, Q); in isKnownNonZero()
2658 isKnownNonZero(Y, DemandedElts, Depth, Q)) in isKnownNonZero()
2698 if (isKnownNonZero(Op, Depth, Q) && in isKnownNonZero()
2843 return isKnownNonZero(Op, Depth + 1, Q); in isAddOfNonZero()
5745 static bool isKnownNonZero(const Value *V) { in isKnownNonZero() function
6096 !isKnownNonZero(CmpRHS)) in matchSelectPattern()
[all …]
|
| H A D | Loads.cpp | 81 if (!CheckForNonNull || isKnownNonZero(V, DL, 0, nullptr, CtxI, DT)) { in isDereferenceableAndAlignedPointer()
172 isKnownNonZero(V, DL, 0, nullptr, CtxI, DT) && !V->canBeFreed()) { in isDereferenceableAndAlignedPointer()
|
| H A D | InstructionSimplify.cpp | 1526 isKnownNonZero(B, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT)) in simplifyUnsignedRangeCheck()
1530 isKnownNonZero(B, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT)) in simplifyUnsignedRangeCheck()
1548 isKnownNonZero(X, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT)) in simplifyUnsignedRangeCheck()
1554 isKnownNonZero(X, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT)) in simplifyUnsignedRangeCheck()
2683 llvm::isKnownNonZero(LHS, DL, 0, nullptr, nullptr, nullptr, in computePointerICmp()
2789 llvm::isKnownNonZero(RHS, DL, 0, nullptr, CxtI, DT)) in computePointerICmp()
2792 llvm::isKnownNonZero(LHS, DL, 0, nullptr, CxtI, DT)) in computePointerICmp()
2919 if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo)) in simplifyICmpWithZero()
2940 isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT)) in simplifyICmpWithZero()
2957 isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT)) in simplifyICmpWithZero()
[all …]
|
| H A D | LazyValueInfo.cpp | 611 if (PT && isKnownNonZero(BBI, DL)) in solveBlockValueImpl()
1755 isKnownNonZero(V->stripPointerCastsSameRepresentation(), DL)) { in getPredicateAt()
|
| H A D | DependenceAnalysis.cpp | 1018 return SE->isKnownNonZero(Delta); in isKnownPredicate()
1250 bool DeltaMaybeZero = !SE->isKnownNonZero(Delta); in strongSIVtest()
3245 if (!SE->isKnownNonZero(Level.Distance)) // if may be zero in updateDirection()
|
| H A D | BasicAliasAnalysis.cpp | 1276 isKnownNonZero(Var.Val.V, DL, 0, &AC, Var.CxtI, DT)) { in aliasGEP()
|
| H A D | ScalarEvolution.cpp | 10537 bool ScalarEvolution::isKnownNonZero(const SCEV *S) { in isKnownNonZero() function in ScalarEvolution
10866 return !isa<SCEVCouldNotCompute>(Diff) && isKnownNonZero(Diff); in isKnownPredicateViaConstantRanges()
12428 if (!isKnownNonZero(AR->getStepRecurrence(*this))) in howManyLessThans()
12541 if (!isKnownNonZero(Stride)) { in howManyLessThans()
|
| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | ValueTrackingTest.cpp | 1259 EXPECT_TRUE(isKnownNonZero(A, DL, 0, &AC, CxtI)); in TEST_F()
1282 EXPECT_EQ(isKnownNonZero(A, DL, 0, &AC, CxtI, &DT), true); in TEST_F()
1283 EXPECT_EQ(isKnownNonZero(A, DL, 0, &AC, CxtI2, &DT), false); in TEST_F()
1306 EXPECT_EQ(isKnownNonZero(A, DL, 0, &AC, CxtI, &DT), true); in TEST_F()
1307 EXPECT_EQ(isKnownNonZero(A, DL, 0, &AC, CxtI2, &DT), false); in TEST_F()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Utils/ |
| H A D | PromoteMemoryToRegister.cpp | 408 !isKnownNonZero(ReplVal, DL, 0, AC, LI, &DT)) in rewriteSingleStoreAlloca()
509 !isKnownNonZero(ReplVal, DL, 0, AC, LI, &DT)) in promoteSingleBlockAlloca()
964 !isKnownNonZero(V, SQ.DL, 0, AC, LI, &DT)) in RenamePass()
|
| H A D | SimplifyLibCalls.cpp | 264 } else if (isKnownNonZero(Size, DL)) { in annotateNonNullAndDereferenceable()
346 if (isKnownNonZero(Size, DL)) in optimizeStrNCat()
560 if (isKnownNonZero(Size, DL)) in optimizeStrNCmp()
701 if (isKnownNonZero(Size, DL)) in optimizeStrNCpy()
766 (!Bound || isKnownNonZero(Bound, DL))) { in optimizeStringLength()
887 if (isKnownNonZero(Bound, DL)) in optimizeStrNLen()
1134 if (isKnownNonZero(Size, DL)) { in optimizeMemChr()
2628 } else if (!isKnownNonZero(EndPtr, DL)) in optimizeStrToInt()
2998 if (isKnownNonZero(CI->getOperand(1), DL)) in optimizeSnPrintF()
|
| H A D | ScalarEvolutionExpander.cpp | 918 /*IsSafeToHoist*/ SE.isKnownNonZero(S->getRHS())); in visitUDivExpr()
2589 if (!SE.isKnownNonZero(D->getRHS())) { in follow()
|
| /llvm-project-15.0.7/polly/lib/Support/ |
| H A D | ScopHelper.cpp | 324 if (!SE.isKnownNonZero(RHSScev)) in visitUnknown()
354 if (!SE.isKnownNonZero(RHSScev)) in visitUDivExpr()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | LoopDeletion.cpp | 414 if (!isa<SCEVCouldNotCompute>(BTC) && SE.isKnownNonZero(BTC)) in breakBackedgeIfNotTaken()
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 132 bool isKnownNonZero(const Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| H A D | ScalarEvolution.h | 991 bool isKnownNonZero(const SCEV *S);
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCalls.cpp | 588 isKnownNonZero(Op0, IC.getDataLayout(), 0, &IC.getAssumptionCache(), &II, in foldCttzCtlz()
2939 isKnownNonZero(V, DL, 0, &AC, &Call, &DT)) in visitCallBase()
3121 isKnownNonZero(DerivedPtr, DL, 0, &AC, &Call, &DT)) { in visitCallBase()
|
| H A D | InstCombinePHI.cpp | 1454 if (isKnownNonZero(VA, DL, 0, &AC, CtxI, &DT)) { in visitPHINode()
|
| H A D | InstCombineCompares.cpp | 4335 isKnownNonZero(B, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT)) in foldICmpBinOp()
4339 isKnownNonZero(D, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT)) in foldICmpBinOp()
|
| H A D | InstCombineAndOrXor.cpp | 947 return isKnownNonZero(V, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT); in foldUnsignedUnderflowCheck()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/IPO/ |
| H A D | FunctionAttrs.cpp | 1222 if (isKnownNonZero(RetVal, DL)) in isReturnNonNull()
|
| H A D | AttributorAttributes.cpp | 2360 if (!isKnownNonZero(&V, DL, 0, AC, CtxI, DT)) in updateImpl()
|
| /llvm-project-15.0.7/clang/lib/CodeGen/ |
| H A D | CGCall.cpp | 3836 bool provablyNonNull = llvm::isKnownNonZero(srcAddr.getPointer(), in emitWriteback()
3976 bool provablyNonNull = llvm::isKnownNonZero(srcAddr.getPointer(), in emitWritebackArg()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/ |
| H A D | CodeGenPrepare.cpp | 2060 if (isKnownNonZero(Op, *DL)) in despeculateCountZeros()
|