Lines Matching refs:TrueVal
72 static Value *foldSelectWithBinaryOp(Value *Cond, Value *TrueVal, in foldSelectWithBinaryOp() argument
102 if (!match(Cond, m_c_BinOp(m_c_ICmp(Pred1, m_Specific(TrueVal), in foldSelectWithBinaryOp()
108 if (X == TrueVal || X == FalseVal || Y == TrueVal || Y == FalseVal) in foldSelectWithBinaryOp()
109 return BinOpCode == BinaryOperator::Or ? TrueVal : FalseVal; in foldSelectWithBinaryOp()
3927 static Value *simplifySelectBitTest(Value *TrueVal, Value *FalseVal, Value *X, in simplifySelectBitTest() argument
3933 if (FalseVal == X && match(TrueVal, m_And(m_Specific(X), m_APInt(C))) && in simplifySelectBitTest()
3935 return TrueWhenUnset ? FalseVal : TrueVal; in simplifySelectBitTest()
3939 if (TrueVal == X && match(FalseVal, m_And(m_Specific(X), m_APInt(C))) && in simplifySelectBitTest()
3941 return TrueWhenUnset ? FalseVal : TrueVal; in simplifySelectBitTest()
3946 if (FalseVal == X && match(TrueVal, m_Or(m_Specific(X), m_APInt(C))) && in simplifySelectBitTest()
3948 return TrueWhenUnset ? TrueVal : FalseVal; in simplifySelectBitTest()
3952 if (TrueVal == X && match(FalseVal, m_Or(m_Specific(X), m_APInt(C))) && in simplifySelectBitTest()
3954 return TrueWhenUnset ? TrueVal : FalseVal; in simplifySelectBitTest()
3964 Value *TrueVal, Value *FalseVal) { in simplifySelectWithFakeICmpEq() argument
3970 return simplifySelectBitTest(TrueVal, FalseVal, X, &Mask, in simplifySelectWithFakeICmpEq()
3976 static Value *simplifySelectWithICmpCond(Value *CondVal, Value *TrueVal, in simplifySelectWithICmpCond() argument
3987 std::swap(TrueVal, FalseVal); in simplifySelectWithICmpCond()
3994 if (Value *V = simplifySelectBitTest(TrueVal, FalseVal, X, Y, in simplifySelectWithICmpCond()
4004 if (match(TrueVal, isFsh) && FalseVal == X && CmpLHS == ShAmt) in simplifySelectWithICmpCond()
4017 if (match(FalseVal, isRotate) && TrueVal == X && CmpLHS == ShAmt && in simplifySelectWithICmpCond()
4023 if (match(TrueVal, m_Intrinsic<Intrinsic::abs>(m_Value(X))) && in simplifySelectWithICmpCond()
4026 if (match(TrueVal, m_Neg(m_Intrinsic<Intrinsic::abs>(m_Value(X)))) && in simplifySelectWithICmpCond()
4033 TrueVal, FalseVal)) in simplifySelectWithICmpCond()
4042 TrueVal || in simplifySelectWithICmpCond()
4045 TrueVal) in simplifySelectWithICmpCond()
4047 if (SimplifyWithOpReplaced(TrueVal, CmpLHS, CmpRHS, Q, in simplifySelectWithICmpCond()
4050 SimplifyWithOpReplaced(TrueVal, CmpRHS, CmpLHS, Q, in simplifySelectWithICmpCond()
4092 static Value *SimplifySelectInst(Value *Cond, Value *TrueVal, Value *FalseVal, in SimplifySelectInst() argument
4095 if (auto *TrueC = dyn_cast<Constant>(TrueVal)) in SimplifySelectInst()
4101 return isa<Constant>(FalseVal) ? FalseVal : TrueVal; in SimplifySelectInst()
4107 return TrueVal; in SimplifySelectInst()
4116 assert(TrueVal->getType() == FalseVal->getType() && in SimplifySelectInst()
4118 if (Cond->getType() == TrueVal->getType() && in SimplifySelectInst()
4119 match(TrueVal, m_One()) && match(FalseVal, m_ZeroInt())) in SimplifySelectInst()
4123 if (TrueVal == FalseVal) in SimplifySelectInst()
4124 return TrueVal; in SimplifySelectInst()
4129 if (Q.isUndefValue(TrueVal) && in SimplifySelectInst()
4134 isGuaranteedNotToBeUndefOrPoison(TrueVal, Q.AC, Q.CxtI, Q.DT)) in SimplifySelectInst()
4135 return TrueVal; in SimplifySelectInst()
4139 if (isa<FixedVectorType>(TrueVal->getType()) && in SimplifySelectInst()
4140 match(TrueVal, m_Constant(TrueC)) && in SimplifySelectInst()
4170 simplifySelectWithICmpCond(Cond, TrueVal, FalseVal, Q, MaxRecurse)) in SimplifySelectInst()
4173 if (Value *V = simplifySelectWithFCmp(Cond, TrueVal, FalseVal, Q)) in SimplifySelectInst()
4176 if (Value *V = foldSelectWithBinaryOp(Cond, TrueVal, FalseVal)) in SimplifySelectInst()
4181 return *Imp ? TrueVal : FalseVal; in SimplifySelectInst()
4186 Value *llvm::SimplifySelectInst(Value *Cond, Value *TrueVal, Value *FalseVal, in SimplifySelectInst() argument
4188 return ::SimplifySelectInst(Cond, TrueVal, FalseVal, Q, RecursionLimit); in SimplifySelectInst()