Searched refs:Implication (Results 1 – 8 of 8) sorted by relevance
47 Implication, enumerator103 Val->getKind() == Kind::Implication || in classof()199 : BoolValue(Kind::Implication), LeftSubVal(LeftSubVal), in ImplicationValue()203 return Val->getKind() == Kind::Implication; in classof()
55 case Value::Kind::Implication: in debugString()128 case Value::Kind::Implication: { in debugString()
291 case Value::Kind::Implication: { in substituteBoolValue()
224 case Value::Kind::Implication: { in buildBooleanFormula()
100 case Value::Kind::Implication: in unpackValue()
1276 std::optional<bool> Implication = in processImpliedCondition() local1281 if (!Implication && FICond && isa<FreezeInst>(PBI->getCondition())) { in processImpliedCondition()1284 Implication = CondIsTrue; in processImpliedCondition()1287 if (Implication) { in processImpliedCondition()1288 BasicBlock *KeepSucc = BI->getSuccessor(*Implication ? 0 : 1); in processImpliedCondition()1289 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in processImpliedCondition()
6926 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local6928 return Implication; in isImpliedCondAndOr()6929 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local6931 return Implication; in isImpliedCondAndOr()
977 **Implication**