Searched refs:isConditionImplied (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | ConstraintSystemTest.cpp | 92 EXPECT_FALSE(CS.isConditionImplied({6, 1, 1})); in TEST()
94 EXPECT_FALSE(CS.isConditionImplied({7, 1, 1})); in TEST()
96 EXPECT_TRUE(CS.isConditionImplied({8, 1, 1})); in TEST()
99 EXPECT_FALSE(CS.isConditionImplied({12, 2, 1})); in TEST()
101 EXPECT_TRUE(CS.isConditionImplied({13, 2, 1})); in TEST()
104 EXPECT_FALSE(CS.isConditionImplied({12, 2, 1})); in TEST()
106 EXPECT_TRUE(CS.isConditionImplied({13, 2, 1})); in TEST()
109 EXPECT_FALSE(CS.isConditionImplied({0, 1, -1})); in TEST()
111 EXPECT_FALSE(CS.isConditionImplied({0, -1, 1})); in TEST()
121 EXPECT_TRUE(CS.isConditionImplied({0, 1, -1})); in TEST()
[all …]
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | ConstraintSystem.h | 80 bool isConditionImplied(SmallVector<int64_t, 8> R) const;
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | ConstraintElimination.cpp | 390 getCS(CmpInst::isSigned(Pred)).isConditionImplied(R.Coefficients); in doesHold()
634 return CSToUse.isConditionImplied(R.Coefficients); in tryToSimplifyOverflowMath()
753 if (CSToUse.isConditionImplied(R.Coefficients)) { in eliminateConstraints()
772 if (CSToUse.isConditionImplied( in eliminateConstraints()
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ConstraintSystem.cpp | 144 bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { in isConditionImplied() function in ConstraintSystem
|