| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | ValueTrackingTest.cpp | 1004 TEST_F(ValueTrackingTest, isGuaranteedNotToBeUndefOrPoison) { in TEST_F() argument
1011 EXPECT_EQ(isGuaranteedNotToBeUndefOrPoison(A), true); in TEST_F()
1012 EXPECT_EQ(isGuaranteedNotToBeUndefOrPoison(UndefValue::get(IntegerType::get(Context, 8))), false); in TEST_F()
1013 …EXPECT_EQ(isGuaranteedNotToBeUndefOrPoison(PoisonValue::get(IntegerType::get(Context, 8))), false); in TEST_F()
1025 EXPECT_TRUE(isGuaranteedNotToBeUndefOrPoison(V1)); in TEST_F()
1031 EXPECT_FALSE(isGuaranteedNotToBeUndefOrPoison(V2)); in TEST_F()
1037 EXPECT_FALSE(isGuaranteedNotToBeUndefOrPoison(V3)); in TEST_F()
1064 EXPECT_FALSE(isGuaranteedNotToBeUndefOrPoison(A, &AC, CxtI, &DT)); in TEST_F()
1065 EXPECT_FALSE(isGuaranteedNotToBeUndefOrPoison(A, &AC, CxtI2, &DT)); in TEST_F()
1066 EXPECT_TRUE(isGuaranteedNotToBeUndefOrPoison(A, &AC, CxtI3, &DT)); in TEST_F()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Utils/ |
| H A D | CanonicalizeFreezeInLoops.cpp | 110 if (isGuaranteedNotToBeUndefOrPoison(ValueToFr, nullptr, UserI, &DT)) in InsertFreezeAndForgetFromSCEV()
177 if (!isGuaranteedNotToBeUndefOrPoison(StepI, nullptr, StepI, &DT)) { in run()
|
| H A D | LoopUnrollRuntime.cpp | 756 !isGuaranteedNotToBeUndefOrPoison(TripCount, AC, PreHeaderBR, DT)) { in UnrollRuntimeLoopRemainder()
|
| H A D | SimplifyCFG.cpp | 4591 if (!isGuaranteedNotToBeUndefOrPoison(ExtraCase, AC, BI, nullptr)) in SimplifyBranchOnICmpChain()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | DivRemPairs.cpp | 363 if (!isGuaranteedNotToBeUndefOrPoison(X, nullptr, DivInst, &DT)) { in optimizeDivRem()
370 if (!isGuaranteedNotToBeUndefOrPoison(Y, nullptr, DivInst, &DT)) { in optimizeDivRem()
|
| H A D | SCCP.cpp | 651 if (!isGuaranteedNotToBeUndefOrPoison(CB, nullptr, CB)) in runIPSCCP()
|
| H A D | SimpleLoopUnswitch.cpp | 222 if (InsertFreeze && !isGuaranteedNotToBeUndefOrPoison(Inv, AC, I, &DT)) in buildPartialUnswitchConditionalBranch()
2236 if (!isGuaranteedNotToBeUndefOrPoison(Cond, &AC, BI, &DT)) in unswitchNontrivialInvariants()
2256 if (!isGuaranteedNotToBeUndefOrPoison(Cond, &AC, SI, &DT)) in unswitchNontrivialInvariants()
|
| H A D | JumpThreading.cpp | 718 return !isGuaranteedNotToBeUndefOrPoison(Pair.first); in computeValueKnownInPredecessorsImpl()
2906 if (!isGuaranteedNotToBeUndefOrPoison(Cond, nullptr, SI)) in tryToUnfoldSelectInCurrBB()
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | LoopAccessAnalysis.cpp | 818 std::make_pair(Scev, !isGuaranteedNotToBeUndefOrPoison(Ptr))); in findForkedSCEVs()
838 std::make_pair(Scev, !isGuaranteedNotToBeUndefOrPoison(GEP))); in findForkedSCEVs()
894 std::make_pair(Scev, !isGuaranteedNotToBeUndefOrPoison(Ptr))); in findForkedSCEVs()
901 std::make_pair(Scev, !isGuaranteedNotToBeUndefOrPoison(Ptr))); in findForkedSCEVs()
|
| H A D | ValueTracking.cpp | 482 isGuaranteedNotToBeUndefOrPoison(Op0, Q.AC, Q.CxtI, Q.DT, Depth + 1); in computeKnownBitsMul()
4995 if (isGuaranteedNotToBeUndefOrPoison(LHS, AC, CxtI, DT)) in computeOverflowForUnsignedSub()
5031 if (isGuaranteedNotToBeUndefOrPoison(LHS, AC, CxtI, DT)) in computeOverflowForSignedSub()
5242 if (isGuaranteedNotToBeUndefOrPoison(ValAssumedPoison)) in impliesPoison()
5268 static bool isGuaranteedNotToBeUndefOrPoison(const Value *V, in isGuaranteedNotToBeUndefOrPoison() function
5312 return isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth + 1, in isGuaranteedNotToBeUndefOrPoison()
5332 if (!isGuaranteedNotToBeUndefOrPoison(PN->getIncomingValue(i), AC, TI, in isGuaranteedNotToBeUndefOrPoison()
5399 bool llvm::isGuaranteedNotToBeUndefOrPoison(const Value *V, AssumptionCache *AC, in isGuaranteedNotToBeUndefOrPoison() function in llvm
5403 return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth, false); in isGuaranteedNotToBeUndefOrPoison()
5409 return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth, true); in isGuaranteedNotToBePoison()
|
| H A D | ConstantFolding.cpp | 1081 return isGuaranteedNotToBeUndefOrPoison(Ops[0]) ? Ops[0] : nullptr; in ConstantFoldInstOperandsImpl()
|
| H A D | InstructionSimplify.cpp | 6256 if (llvm::isGuaranteedNotToBeUndefOrPoison(Op0, Q.AC, Q.CxtI, Q.DT)) in simplifyFreezeInst()
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 687 bool isGuaranteedNotToBeUndefOrPoison(const Value *V,
|
| /llvm-project-15.0.7/llvm/include/llvm/CodeGen/ |
| H A D | SelectionDAG.h | 1961 bool isGuaranteedNotToBeUndefOrPoison(SDValue Op, bool PoisonOnly = false,
1967 bool isGuaranteedNotToBeUndefOrPoison(SDValue Op, const APInt &DemandedElts,
1973 return isGuaranteedNotToBeUndefOrPoison(Op, /*PoisonOnly*/ true, Depth);
1980 return isGuaranteedNotToBeUndefOrPoison(Op, DemandedElts,
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstructionCombining.cpp | 1182 if (isa<FreezeInst>(I) && isGuaranteedNotToBeUndefOrPoison(InVal)) in foldOpIntoPhi()
3782 if (isGuaranteedNotToBeUndefOrPoison(U.get())) in pushFreezeToPreventPoisonFromPropagating()
3831 bool StartNeedsFreeze = !isGuaranteedNotToBeUndefOrPoison(StartV); in foldFreezeIntoRecurrence()
3848 if (V == PN || isGuaranteedNotToBeUndefOrPoison(V)) in foldFreezeIntoRecurrence()
|
| H A D | InstCombineAndOrXor.cpp | 570 if (IsLogical && !isGuaranteedNotToBeUndefOrPoison(D)) in foldLogOpOfMaskedICmps()
583 if (IsLogical && !isGuaranteedNotToBeUndefOrPoison(D)) in foldLogOpOfMaskedICmps()
592 if (IsLogical && !isGuaranteedNotToBeUndefOrPoison(D)) in foldLogOpOfMaskedICmps()
1106 !isGuaranteedNotToBeUndefOrPoison(C) || isa<Constant>(X)) in foldAndOrOfICmpsWithConstEq()
|
| H A D | InstCombineSelect.cpp | 1181 isGuaranteedNotToBeUndefOrPoison(CmpRHS, SQ.AC, &Sel, &DT)) { in foldSelectValueEquivalence()
1203 isGuaranteedNotToBeUndefOrPoison(CmpLHS, SQ.AC, &Sel, &DT)) in foldSelectValueEquivalence()
|
| H A D | InstCombineAddSub.cpp | 2327 !isGuaranteedNotToBeUndefOrPoison(OldSel->getCondition())) in visitFNeg()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Instrumentation/ |
| H A D | ControlHeightReduction.cpp | 1940 !isGuaranteedNotToBeUndefOrPoison(Cond)) in addToMergedCondition()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/SelectionDAG/ |
| H A D | SelectionDAG.cpp | 3171 SelfMultiply &= isGuaranteedNotToBeUndefOrPoison( in computeKnownBits()
4516 bool SelectionDAG::isGuaranteedNotToBeUndefOrPoison(SDValue Op, bool PoisonOnly, in isGuaranteedNotToBeUndefOrPoison() function in SelectionDAG
4530 return isGuaranteedNotToBeUndefOrPoison(Op, DemandedElts, PoisonOnly, Depth); in isGuaranteedNotToBeUndefOrPoison()
4533 bool SelectionDAG::isGuaranteedNotToBeUndefOrPoison(SDValue Op, in isGuaranteedNotToBeUndefOrPoison() function in SelectionDAG
4559 if (!isGuaranteedNotToBeUndefOrPoison(Op.getOperand(i), PoisonOnly, in isGuaranteedNotToBeUndefOrPoison()
5169 if (isGuaranteedNotToBeUndefOrPoison(Operand)) in getNode()
|
| H A D | DAGCombiner.cpp | 13866 if (DAG.isGuaranteedNotToBeUndefOrPoison(N0, /*PoisonOnly*/ false)) in visitFREEZE()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/IPO/ |
| H A D | AttributorAttributes.cpp | 9198 isGuaranteedNotToBeUndefOrPoison(&V)) in initialize()
9215 State.setKnown(isGuaranteedNotToBeUndefOrPoison(UseV, AC, I, DT)); in followUseInMBEC()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/ |
| H A D | CodeGenPrepare.cpp | 2082 if (!isGuaranteedNotToBeUndefOrPoison(Op)) in despeculateCountZeros()
|