Searched refs:Implication (Results 1 – 2 of 2) sorted by relevance
1174 std::optional<bool> Implication = in processImpliedCondition() local1179 if (!Implication && FICond && isa<FreezeInst>(PBI->getCondition())) { in processImpliedCondition()1182 Implication = CondIsTrue; in processImpliedCondition()1185 if (Implication) { in processImpliedCondition()1186 BasicBlock *KeepSucc = BI->getSuccessor(*Implication ? 0 : 1); in processImpliedCondition()1187 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in processImpliedCondition()
9418 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local9420 return Implication; in isImpliedCondAndOr()9421 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local9423 return Implication; in isImpliedCondAndOr()