Searched refs:Implication (Results 1 – 4 of 4) sorted by relevance
907 Optional<bool> Implication = in ProcessImpliedCondition() local909 if (Implication) { in ProcessImpliedCondition()910 BI->getSuccessor(*Implication ? 1 : 0)->removePredecessor(BB); in ProcessImpliedCondition()911 BranchInst::Create(BI->getSuccessor(*Implication ? 0 : 1), BI); in ProcessImpliedCondition()
1257 Optional<bool> Implication = isImpliedCondition( in visitSelectInst() local1259 if (Implication) { in visitSelectInst()1260 Value *V = *Implication ? TrueVal : FalseVal; in visitSelectInst()
4133 if (Optional<bool> Implication = isImpliedCondMatchingOperands( in isImpliedCondition() local4135 return Implication; in isImpliedCondition()4144 if (Optional<bool> Implication = isImpliedCondMatchingImmOperands( in isImpliedCondition() local4147 return Implication; in isImpliedCondition()
5306 Optional<bool> Implication = isImpliedCondition( in SimplifyCondBranch() local5308 if (Implication) { in SimplifyCondBranch()5311 ConstantInt *CI = *Implication in SimplifyCondBranch()