Searched refs:Implication (Results 1 – 8 of 8) 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()
1235 Optional<bool> Implication = in ProcessImpliedCondition() local1237 if (Implication) { in ProcessImpliedCondition()1238 BasicBlock *KeepSucc = BI->getSuccessor(*Implication ? 0 : 1); in ProcessImpliedCondition()1239 BasicBlock *RemoveSucc = BI->getSuccessor(*Implication ? 1 : 0); in ProcessImpliedCondition()
5038 if (Optional<bool> Implication = isImpliedCondMatchingOperands( in isImpliedCondICmps() local5040 return Implication; in isImpliedCondICmps()5049 if (Optional<bool> Implication = isImpliedCondMatchingImmOperands( in isImpliedCondICmps() local5052 return Implication; in isImpliedCondICmps()5084 if (Optional<bool> Implication = in isImpliedCondAndOr() local5086 return Implication; in isImpliedCondAndOr()5087 if (Optional<bool> Implication = in isImpliedCondAndOr() local5089 return Implication; in isImpliedCondAndOr()
1964 Optional<bool> Implication = isImpliedCondition( in visitSelectInst() local1966 if (Implication) { in visitSelectInst()1967 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()
5846 Optional<bool> Implication = isImpliedCondition( in SimplifyCondBranch() local5848 if (Implication) { in SimplifyCondBranch()5851 ConstantInt *CI = *Implication in SimplifyCondBranch()
5306 Optional<bool> Implication = isImpliedCondition( in SimplifyCondBranch() local5308 if (Implication) { in SimplifyCondBranch()5311 ConstantInt *CI = *Implication in SimplifyCondBranch()