Searched refs:Implication (Results 1 – 2 of 2) sorted by relevance
1190 std::optional<bool> Implication = in processImpliedCondition() local1195 if (!Implication && FICond && isa<FreezeInst>(PBI->getCondition())) { in processImpliedCondition()1198 Implication = CondIsTrue; in processImpliedCondition()1201 if (Implication) { in processImpliedCondition()1202 BasicBlock *KeepSucc = BI->getSuccessor(*Implication ? 0 : 1); in processImpliedCondition()1203 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in processImpliedCondition()
8381 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local8383 return Implication; in isImpliedCondAndOr()8384 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local8386 return Implication; in isImpliedCondAndOr()