| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | ValueTrackingTest.cpp | 1324 EXPECT_EQ(isImpliedCondition(A, A2, DL), true); in TEST_F()
1325 EXPECT_EQ(isImpliedCondition(A, A3, DL), false); in TEST_F()
1326 EXPECT_EQ(isImpliedCondition(A, A4, DL), None); in TEST_F()
1343 EXPECT_EQ(isImpliedCondition(A, A2, DL), true); in TEST_F()
1344 EXPECT_EQ(isImpliedCondition(A, A3, DL), false); in TEST_F()
1345 EXPECT_EQ(isImpliedCondition(A, A4, DL), None); in TEST_F()
1357 EXPECT_EQ(isImpliedCondition(A, A2, DL), true); in TEST_F()
1375 EXPECT_EQ(isImpliedCondition(A, A3, DL, false), true); in TEST_F()
1376 EXPECT_EQ(isImpliedCondition(A, A4, DL, false), None); in TEST_F()
1394 EXPECT_EQ(isImpliedCondition(A, A3, DL, false), true); in TEST_F()
[all …]
|
| /llvm-project-15.0.7/llvm/test/Transforms/JumpThreading/ |
| H A D | freeze-impliescond.ll | 78 ; isImpliedCondition if LHS is poison or undef.
79 ; If isImpliedCondition(poison, any value) is true,
80 ; isImpliedCondition(and true, poison, false) is also true because 'and' propagates poison.
83 ; in general under this isImpliedCondition definition.
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 841 Optional<bool> isImpliedCondition(const Value *LHS, const Value *RHS,
844 Optional<bool> isImpliedCondition(const Value *LHS,
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 6742 if (Optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr()
6745 if (Optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr()
6754 llvm::isImpliedCondition(const Value *LHS, CmpInst::Predicate RHSPred, in isImpliedCondition() function in llvm
6788 Optional<bool> llvm::isImpliedCondition(const Value *LHS, const Value *RHS, in isImpliedCondition() function in llvm
6796 return isImpliedCondition(LHS, RHSCmp->getPredicate(), in isImpliedCondition()
6808 isImpliedCondition(LHS, RHS1, DL, LHSIsTrue, Depth + 1)) in isImpliedCondition()
6812 isImpliedCondition(LHS, RHS2, DL, LHSIsTrue, Depth + 1)) in isImpliedCondition()
6818 isImpliedCondition(LHS, RHS1, DL, LHSIsTrue, Depth + 1)) in isImpliedCondition()
6822 isImpliedCondition(LHS, RHS2, DL, LHSIsTrue, Depth + 1)) in isImpliedCondition()
6867 return isImpliedCondition(PredCond.first, Cond, DL, PredCond.second); in isImpliedByDomCondition()
[all …]
|
| H A D | InstructionSimplify.cpp | 2224 if (isImpliedCondition(Op0, Op1, Q.DL).value_or(false)) in simplifyAndInst()
2227 if (isImpliedCondition(Op1, Op0, Q.DL).value_or(false)) in simplifyAndInst()
2464 if (isImpliedCondition(Op0, Op1, Q.DL).value_or(false)) in simplifyOrInst()
2467 if (isImpliedCondition(Op1, Op0, Q.DL).value_or(false)) in simplifyOrInst()
2880 if (isImpliedCondition(RHS, LHS, Q.DL).value_or(false)) in simplifyICmpOfBools()
2891 if (isImpliedCondition(LHS, RHS, Q.DL).value_or(false)) in simplifyICmpOfBools()
2895 if (isImpliedCondition(LHS, RHS, Q.DL).value_or(false)) in simplifyICmpOfBools()
3573 if (Optional<bool> Imp = isImpliedCondition(Assume->getArgOperand(0), in simplifyICmpWithDominatingAssume()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineSelect.cpp | 2475 Optional<bool> Res = isImpliedCondition(Op, CondVal, DL, IsAnd); in foldAndOrOfSelectUsingImpliedCond()
2793 Optional<bool> Res = isImpliedCondition(TrueVal, B, DL); in visitSelectInst()
2799 Optional<bool> Res = isImpliedCondition(CondVal, B, DL); in visitSelectInst()
2808 Optional<bool> Res = isImpliedCondition(CondVal, B, DL, false); in visitSelectInst()
2814 Optional<bool> Res = isImpliedCondition(FalseVal, B, DL, false); in visitSelectInst()
|
| H A D | InstCombineCompares.cpp | 1483 Optional<bool> Imp = isImpliedCondition(DomCond, &Cmp, DL, TrueBB == CmpBB); in foldICmpWithDominatingICmp()
3581 if (Optional<bool> Impl = isImpliedCondition(SI->getCondition(), Pred, Op, in foldSelectICmp()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | JumpThreading.cpp | 1254 isImpliedCondition(PBI->getCondition(), Cond, DL, CondIsTrue); in processImpliedCondition()
3000 auto Impl = isImpliedCondition(BranchCond, GuardCond, DL); in threadGuard()
3005 Impl = isImpliedCondition(BranchCond, GuardCond, DL, /* LHSIsTrue */ false); in threadGuard()
|