1722   Value *CondVal = SI.getCondition();  in foldAddSubSelect()  local
1772       Value *NewSel = Builder.CreateSelect(CondVal, NewTrueOp, NewFalseOp,  in foldAddSubSelect()
1797   Value *CondVal = SI.getCondition();  in foldOverflowingAddSubSelect()  local
1802   if (!match(CondVal, m_ExtractValue<1>(m_WithOverflowInst(II))) ||  in foldOverflowingAddSubSelect()
1976   Value *CondVal = SI.getCondition();  in canonicalizeSelectToShuffle()  local
1978   auto *CondValTy = dyn_cast<FixedVectorType>(CondVal->getType());  in canonicalizeSelectToShuffle()
1979   if (!CondValTy || !match(CondVal, m_Constant(CondC)))  in canonicalizeSelectToShuffle()
2587   Value *CondVal = SI.getCondition();  in foldAndOrOfSelectUsingImpliedCond()  local
2594   Optional<bool> Res = isImpliedCondition(Op, CondVal, DL, IsAnd);  in foldAndOrOfSelectUsingImpliedCond()
2627   Value *CondVal = SI.getCondition();  in visitSelectInst()  local
2648   if (Value *V = SimplifySelectInst(CondVal, TrueVal, FalseVal,  in visitSelectInst()
2663   if (SelType->isIntOrIntVectorTy(1) && !isa<Constant>(CondVal) &&  in visitSelectInst()
2664       TrueVal->getType() == CondVal->getType()) {  in visitSelectInst()
2668     if (match(TrueVal, m_One()) && impliesPoison(FalseVal, CondVal)) {  in visitSelectInst()
2670       return BinaryOperator::CreateOr(CondVal, FalseVal);  in visitSelectInst()
2672     if (match(FalseVal, m_Zero()) && impliesPoison(TrueVal, CondVal)) {  in visitSelectInst()
2674       return BinaryOperator::CreateAnd(CondVal, TrueVal);  in visitSelectInst()
2684       Value *NotCond = Builder.CreateNot(CondVal, "not." + CondVal->getName());  in visitSelectInst()
2689       Value *NotCond = Builder.CreateNot(CondVal, "not." + CondVal->getName());  in visitSelectInst()
2694     if (CondVal == TrueVal)  in visitSelectInst()
2697     if (CondVal == FalseVal)  in visitSelectInst()
2701     if (match(TrueVal, m_Not(m_Specific(CondVal))))  in visitSelectInst()
2704     if (match(FalseVal, m_Not(m_Specific(CondVal))))  in visitSelectInst()
2712         (CondVal->hasOneUse() || TrueVal->hasOneUse()) &&  in visitSelectInst()
2719         (CondVal->hasOneUse() || FalseVal->hasOneUse()) &&  in visitSelectInst()
2724     if (match(CondVal, m_Select(m_Value(A), m_One(), m_Value(B))) &&  in visitSelectInst()
2728     if (match(CondVal, m_Select(m_Value(A), m_Value(B), m_Zero())) &&  in visitSelectInst()
2733       if (Value *S = simplifyWithOpReplaced(TrueVal, CondVal, One, SQ,  in visitSelectInst()
2736       if (Value *S = simplifyWithOpReplaced(FalseVal, CondVal, Zero, SQ,  in visitSelectInst()
2745       if (isCheckForZeroAndMulWithOverflow(CondVal, Op1, IsAnd, Y)) {  in visitSelectInst()
2753         if (auto *I = foldAndOrOfSelectUsingImpliedCond(CondVal, *Op1SI,  in visitSelectInst()
2757       if (auto *ICmp0 = dyn_cast<ICmpInst>(CondVal))  in visitSelectInst()
2767     if (match(CondVal, m_Select(m_Value(A), m_One(), m_Value(B))) &&  in visitSelectInst()
2775       Optional<bool> Res = isImpliedCondition(CondVal, B, DL);  in visitSelectInst()
2784       Optional<bool> Res = isImpliedCondition(CondVal, B, DL, false);  in visitSelectInst()
2788     if (match(CondVal, m_Select(m_Value(A), m_Value(B), m_Zero())) &&  in visitSelectInst()
2798     if (match(CondVal, m_Select(m_Value(C1), m_Value(A), m_Zero())) &&  in visitSelectInst()
2818       CondVal->getType()->isVectorTy() == SelType->isVectorTy()) {  in visitSelectInst()
2821       return new ZExtInst(CondVal, SelType);  in visitSelectInst()
2825       return new SExtInst(CondVal, SelType);  in visitSelectInst()
2829       Value *NotCond = Builder.CreateNot(CondVal, "not." + CondVal->getName());  in visitSelectInst()
2835       Value *NotCond = Builder.CreateNot(CondVal, "not." + CondVal->getName());  in visitSelectInst()
2840   if (auto *FCmp = dyn_cast<FCmpInst>(CondVal)) {  in visitSelectInst()
2871   if (match(CondVal, m_FCmp(Pred, m_Specific(FalseVal), m_AnyZeroFP())) &&  in visitSelectInst()
2879   if (match(CondVal, m_FCmp(Pred, m_Specific(TrueVal), m_AnyZeroFP())) &&  in visitSelectInst()
2890   if (match(CondVal, m_FCmp(Pred, m_Specific(FalseVal), m_AnyZeroFP())) &&  in visitSelectInst()
2902   if (match(CondVal, m_FCmp(Pred, m_Specific(TrueVal), m_AnyZeroFP())) &&  in visitSelectInst()
2913   if (ICmpInst *ICI = dyn_cast<ICmpInst>(CondVal))  in visitSelectInst()
2949         Builder.CreateSelect(CondVal, NewT, NewF, SI.getName() + ".idx", &SI);  in visitSelectInst()
2988       Value *CmpLHS = cast<CmpInst>(CondVal)->getOperand(0);  in visitSelectInst()
2989       Value *CmpRHS = cast<CmpInst>(CondVal)->getOperand(1);  in visitSelectInst()
3079     if (TrueSI->getCondition()->getType() == CondVal->getType()) {  in visitSelectInst()
3081       if (TrueSI->getCondition() == CondVal) {  in visitSelectInst()
3091         Value *And = Builder.CreateLogicalAnd(CondVal, TrueSI->getCondition());  in visitSelectInst()
3099     if (FalseSI->getCondition()->getType() == CondVal->getType()) {  in visitSelectInst()
3101       if (FalseSI->getCondition() == CondVal) {  in visitSelectInst()
3108         Value *Or = Builder.CreateLogicalOr(CondVal, FalseSI->getCondition());  in visitSelectInst()
3136       if (TrueBOSI->getCondition() == CondVal) {  in visitSelectInst()
3143       if (TrueBOSI->getCondition() == CondVal) {  in visitSelectInst()
3156       if (FalseBOSI->getCondition() == CondVal) {  in visitSelectInst()
3163       if (FalseBOSI->getCondition() == CondVal) {  in visitSelectInst()
3172   if (match(CondVal, m_Not(m_Value(NotCond))) &&  in visitSelectInst()
3188   if (!CondVal->getType()->isVectorTy() && !AC.assumptions().empty()) {  in visitSelectInst()
3190     computeKnownBits(CondVal, Known, 0, &SI);  in visitSelectInst()
3222       match(TrueVal, m_MaskedLoad(m_Value(), m_Value(), m_Specific(CondVal),  in visitSelectInst()
3234       (CondVal->getType() == Mask->getType())) {  in visitSelectInst()
3240     if (Value *V = SimplifyAndInst(CondVal, Mask, SQ.getWithInstruction(&SI)))  in visitSelectInst()