Home
last modified time | relevance | path

Searched refs:isKnownFalse (Results 1 – 4 of 4) sorted by relevance

/external/llvm-project/clang-tools-extra/clang-tidy/bugprone/
DInfiniteLoopCheck.cpp109 static bool isKnownFalse(const Expr &Cond, const ASTContext &Ctx) { in isKnownFalse() function
136 if (isKnownFalse(*Cond, *Result.Context)) in check()
/external/llvm/lib/Transforms/Scalar/
DGVN.cpp1970 bool isKnownFalse = !isKnownTrue; in propagateEquality() local
1976 (isKnownFalse && match(LHS, m_Or(m_Value(A), m_Value(B))))) { in propagateEquality()
1991 (isKnownFalse && Cmp->getPredicate() == CmpInst::ICMP_NE)) in propagateEquality()
1996 (isKnownFalse && Cmp->getPredicate() == CmpInst::FCMP_UNE)) { in propagateEquality()
2012 Constant *NotVal = ConstantInt::get(Cmp->getType(), isKnownFalse); in propagateEquality()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/
DGVN.cpp1905 bool isKnownFalse = !isKnownTrue; in propagateEquality() local
1911 (isKnownFalse && match(LHS, m_Or(m_Value(A), m_Value(B))))) { in propagateEquality()
1927 (isKnownFalse && impliesEquivalanceIfFalse(Cmp))) in propagateEquality()
1932 Constant *NotVal = ConstantInt::get(Cmp->getType(), isKnownFalse); in propagateEquality()
/external/llvm-project/llvm/lib/Transforms/Scalar/
DGVN.cpp2085 bool isKnownFalse = !isKnownTrue; in propagateEquality() local
2091 (isKnownFalse && match(LHS, m_Or(m_Value(A), m_Value(B))))) { in propagateEquality()
2107 (isKnownFalse && impliesEquivalanceIfFalse(Cmp))) in propagateEquality()
2112 Constant *NotVal = ConstantInt::get(Cmp->getType(), isKnownFalse); in propagateEquality()