Transforms/InstCombine/InstCombineSelect.cpp

733   Value *CondVal = SI.getCondition();
737   if (Value *V = SimplifySelectInst(CondVal, TrueVal, FalseVal, TD))
744         return BinaryOperator::CreateOr(CondVal, FalseVal);
747       Value *NotCond = Builder->CreateNot(CondVal, "not."+CondVal->getName());
753         return BinaryOperator::CreateAnd(CondVal, TrueVal);
756       Value *NotCond = Builder->CreateNot(CondVal, "not."+CondVal->getName());
762     if (CondVal == TrueVal)
763       return BinaryOperator::CreateOr(CondVal, FalseVal);
764     if (CondVal == FalseVal)
765       return BinaryOperator::CreateAnd(CondVal, TrueVal);
769     if (match(TrueVal, m_Not(m_Specific(CondVal))))
771     if (match(FalseVal, m_Not(m_Specific(CondVal))))
780         return new ZExtInst(CondVal, SI.getType());
784         return new SExtInst(CondVal, SI.getType());
788         Value *NotCond = Builder->CreateNot(CondVal, "not."+CondVal->getName());
794         Value *NotCond = Builder->CreateNot(CondVal, "not."+CondVal->getName());
803   if (FCmpInst *FCI = dyn_cast<FCmpInst>(CondVal)) {
862   if (ICmpInst *ICI = dyn_cast<ICmpInst>(CondVal))
913               Builder->CreateSelect(CondVal, NewTrueOp,
959     if (TrueSI->getCondition() == CondVal) {
967     if (FalseSI->getCondition() == CondVal) {
975   if (BinaryOperator::isNot(CondVal)) {
976     SI.setOperand(0, BinaryOperator::getNotArgument(CondVal));
992     if (isa<ConstantAggregateZero>(CondVal)) {