Searched defs:Implication (Results 1 – 3 of 3) sorted by relevance
| /llvm-project/clang/unittests/Analysis/FlowSensitive/ | ||
| H A D | DebugSupportTest.cpp | 61 TEST(BoolValueDebugStringTest, Implication) { in TEST() argument |
| /llvm-project/llvm/lib/Transforms/Scalar/ | ||
| H A D | JumpThreading.cpp | 1177 std::optional<bool> Implication = processImpliedCondition() local |
| /llvm-project/llvm/lib/Analysis/ | ||
| H A D | ValueTracking.cpp | 8992 if (std::optional<bool> Implication = isImpliedCondition( isImpliedCondAndOr() local |