Searched refs:Implication (Results 1 – 2 of 2) sorted by relevance
1177 std::optional<bool> Implication = in processImpliedCondition() local1182 if (!Implication && FICond && isa<FreezeInst>(PBI->getCondition())) { in processImpliedCondition()1185 Implication = CondIsTrue; in processImpliedCondition()1188 if (Implication) { in processImpliedCondition()1189 BasicBlock *KeepSucc = BI->getSuccessor(*Implication ? 0 : 1); in processImpliedCondition()1190 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in processImpliedCondition()
9162 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local9164 return Implication; in isImpliedCondAndOr()9165 if (std::optional<bool> Implication = isImpliedCondition( in isImpliedCondAndOr() local9167 return Implication; in isImpliedCondAndOr()