Searched refs:Implication (Results 1 – 9 of 9) sorted by relevance
45 Implication, enumerator89 Val->getKind() == Kind::Implication || in classof()174 : BoolValue(Kind::Implication), LeftSubVal(LeftSubVal), in ImplicationValue()178 return Val->getKind() == Kind::Implication; in classof()
66 TEST(BoolValueDebugStringTest, Implication) { in TEST() argument273 TEST(SATCheckDebugStringTest, Implication) { in TEST() argument
99 case Value::Kind::Implication: { in debugString()
272 case Value::Kind::Implication: { in substituteBoolValue()
224 case Value::Kind::Implication: { in buildBooleanFormula()
1253 Optional<bool> Implication = in processImpliedCondition() local1258 if (!Implication && FICond && isa<FreezeInst>(PBI->getCondition())) { in processImpliedCondition()1261 Implication = CondIsTrue; in processImpliedCondition()1264 if (Implication) { in processImpliedCondition()1265 BasicBlock *KeepSucc = BI->getSuccessor(*Implication ? 0 : 1); in processImpliedCondition()1266 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in processImpliedCondition()
392 #### Implication on codegen431 #### Implication on Lowering to Accelerators458 #### Implication on calling external functions that operate on vectors
6701 if (Optional<bool> Implication = isImpliedCondMatchingOperands( in isImpliedCondICmps() local6703 return Implication; in isImpliedCondICmps()6742 if (Optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local6744 return Implication; in isImpliedCondAndOr()6745 if (Optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local6747 return Implication; in isImpliedCondAndOr()
974 **Implication**