Searched defs:Implication (Results 1 – 2 of 2) sorted by relevance
1190 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in processImpliedCondition() local
8381 if (std::optional<bool> Implication = isImpliedCondition( isImpliedCondAndOr() local 8384 if (std::optional<bool> Implication = isImpliedCondition( isImpliedCondAndOr() local