Home | History | Annotate | Download | only in Scalar

Lines Matching refs:isKnownFalse

1970     bool isKnownFalse = !isKnownTrue;
1976         (isKnownFalse && match(LHS, m_Or(m_Value(A), m_Value(B))))) {
1991           (isKnownFalse && Cmp->getPredicate() == CmpInst::ICMP_NE))
1996           (isKnownFalse && Cmp->getPredicate() == CmpInst::FCMP_UNE)) {
2012       Constant *NotVal = ConstantInt::get(Cmp->getType(), isKnownFalse);