Home
last modified time | relevance | path

Searched refs:m_Not (Results 1 – 25 of 34) sorted by relevance

12

/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineAndOrXor.cpp1667 if (match(Op0, m_OneUse(m_Not(m_Value(A)))) && in matchDeMorgansLaws()
1668 match(Op1, m_OneUse(m_Not(m_Value(B)))) && in matchDeMorgansLaws()
1682 if (match(Op0, m_OneUse(m_c_BinOp(Opcode, m_Value(A), m_Not(m_Value(B))))) && in matchDeMorgansLaws()
1683 match(Op1, m_Not(m_Value(C)))) { in matchDeMorgansLaws()
1852 m_Not(m_c_And(m_Deferred(A), m_Deferred(B)))))) in foldAndToXor()
1860 if (match(&I, m_BinOp(m_c_Or(m_Value(A), m_Not(m_Value(B))), in foldAndToXor()
1861 m_c_Or(m_Not(m_Deferred(A)), m_Deferred(B))))) in foldAndToXor()
1879 match(Op1, m_Not(m_c_Or(m_Specific(A), m_Specific(B))))) in foldOrToXor()
1887 match(Op1, m_Not(m_c_Or(m_Specific(A), m_Specific(B))))) in foldOrToXor()
1894 if (match(Op0, m_c_And(m_Value(A), m_Not(m_Value(B)))) && in foldOrToXor()
[all …]
H A DInstCombineSelect.cpp1010 if (match(Cmp0, m_Not(m_Value(X))) && in canonicalizeSaturatedAdd()
1020 if (match(FVal, m_c_Add(m_Not(m_Specific(X)), m_Specific(Y)))) { in canonicalizeSaturatedAdd()
1165 (!match(X, m_Not(m_Specific(CmpLHS))) || !match(CmpRHS, m_AllOnes()))) in foldSelectCttzCtlz()
2656 m_Br(m_Not(m_Specific(Cond)), m_BasicBlock(TrueSucc), in foldSelectToPhiImpl()
3060 if (match(OuterSel.Cond, m_Not(m_Value(OuterSel.Cond)))) in foldNestedSelects()
3084 if (match(InnerSel.Cond, m_Not(m_Value(InnerSel.Cond)))) in foldNestedSelects()
3106 m_Not(m_Specific(InnerSel.Cond)), m_Value(NotInnerCond)))) { in foldNestedSelects()
3253 if (match(&SI, m_LogicalAnd(m_Not(m_Value(A)), m_Not(m_Value(B)))) && in foldSelectOfBools()
3260 if (match(&SI, m_LogicalOr(m_Not(m_Value(A)), m_Not(m_Value(B)))) && in foldSelectOfBools()
3275 if (match(&SI, m_c_LogicalAnd(m_Not(m_LogicalAnd(m_Value(A), m_Value(B))), in foldSelectOfBools()
[all …]
H A DInstCombineAddSub.cpp890 if (match(Op0, m_Not(m_Value(X)))) { in foldAddWithConstant()
1240 if (match(&I, m_c_Add(m_c_UMin(m_Value(X), m_Not(m_Value(Y))), in foldToUnsignedSaturatedAdd()
1561 if (match(&I, m_c_BinOp(m_Add(m_Value(A), m_One()), m_Not(m_Value(B)))) || in visitAdd()
1562 match(&I, m_BinOp(m_c_Add(m_Not(m_Value(B)), m_Value(A)), m_One()))) in visitAdd()
1678 m_c_Add(m_OneUse(m_Not(m_OneUse(m_Mul(m_Value(A), m_APInt(C1))))), in visitAdd()
2305 if (match(Op1, m_Not(m_Value(X)))) in visitSub()
2529 if (match(Op0, m_Not(m_Value(X))) && in visitSub()
2535 if (match(Op1, m_Not(m_Value(X))) && in visitSub()
H A DInstCombineShifts.cpp219 auto MaskB = m_Not(m_Shl(m_AllOnes(), m_Value(MaskShAmt))); in dropRedundantMaskingOfLeftShiftInput()
763 return !(Shift.isLogicalShift() && match(BO, m_Not(m_Value()))); in canShiftBinOpWithConstantRHS()
1274 if (match(Op0, m_OneUse(m_Not(m_Value(X)))) && in visitLShr()
1791 if (match(Op0, m_OneUse(m_Not(m_Value(X))))) { in visitAShr()
H A DInstCombineNegator.cpp177 if (match(I, m_Not(m_Value(X)))) in visitImpl()
H A DInstructionCombining.cpp1073 if (match(A, m_Not(m_Specific(CondVal)))) { in foldBinOpOfSelectAndCastOfSelectCondition()
2526 if (match(V, m_Not(m_Value(A)))) { in getFreelyInvertedImpl()
3656 if (match(Cond, m_Not(m_Value(X))) && !isa<Constant>(X)) { in visitBranchInst()
3670 m_OneUse(m_LogicalAnd(m_Value(X), m_OneUse(m_Not(m_Value(Y))))))) { in visitBranchInst()
H A DInstCombineCalls.cpp662 m_c_And(m_Not(m_Value(X)), m_Add(m_Deferred(X), m_AllOnes())))) { in foldCtpop()
1829 if (match(X, m_OneUse(m_Not(m_Value(A)))) && in visitCallInst()
3023 if (match(IIOperand, m_Not(m_LogicalOr(m_Value(A), m_Value(B))))) { in visitCallInst()
H A DInstCombineSimplifyDemanded.cpp913 match(II->getArgOperand(0), m_Not(m_Value(X)))) { in SimplifyDemandedUseBits()
H A DInstCombineCompares.cpp1886 match(And->getOperand(1), m_Not(m_Specific(X)))) { in foldICmpAndConstant()
4211 if (match(V, m_Not(m_Value(X)))) in isMaskOrZero()
6997 m_Not(m_Shl(m_AllOnes(), m_Value(Y))), in foldICmpWithHighBitMask()
7490 if (match(Op0, m_And(m_Value(X), m_Not(m_Value(Y)))) && in visitICmpInst()
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DOverflowInstAnalysis.cpp58 match(Op1, m_Not(m_Value(NotOp1))) && matchMulOverflowCheck(NotOp1)); in isCheckForZeroAndMulWithOverflow()
H A DInstructionSimplify.cpp666 if (match(Op0, m_Not(m_Specific(Op1))) || match(Op1, m_Not(m_Specific(Op0)))) in simplifyAddInst()
2022 if (match(Op0, m_Not(m_Specific(Op1)))) in simplifyAndCommutative()
2031 if (match(Op0, m_c_Or(m_Value(X), m_Not(m_Value(Y)))) && in simplifyAndCommutative()
2260 if (match(Y, m_Not(m_Specific(X)))) in simplifyOrLogic()
2264 if (match(Y, m_Not(m_c_And(m_Specific(X), m_Value())))) in simplifyOrLogic()
2281 if (match(X, m_Not(m_Xor(m_Value(A), m_Value(B)))) && in simplifyOrLogic()
2289 if (match(X, m_c_And(m_Value(A), m_Not(m_Value(B)))) && in simplifyOrLogic()
2297 if (match(X, m_c_Xor(m_Not(m_Value(A)), m_Value(B))) && in simplifyOrLogic()
2305 if (match(X, m_c_Or(m_Not(m_Value(A)), m_Value(B))) && in simplifyOrLogic()
2314 if (match(X, m_c_And(m_CombineAnd(m_Value(NotA), m_Not(m_Value(A))), in simplifyOrLogic()
[all …]
H A DValueTracking.cpp196 if (match(LHS, m_c_And(m_Not(m_Value(M)), m_Value())) && in haveNoCommonBitsSetSpecialCases()
203 if (match(RHS, m_c_And(m_Not(m_Specific(LHS)), m_Value())) && in haveNoCommonBitsSetSpecialCases()
219 match(RHS, m_ZExtOrSExt(m_Not(m_Specific(Y)))) && in haveNoCommonBitsSetSpecialCases()
227 match(RHS, m_Not(m_c_Or(m_Specific(A), m_Specific(B)))) && in haveNoCommonBitsSetSpecialCases()
846 if (match(Arg, m_Not(m_Specific(V))) && in computeKnownBitsFromContext()
8233 if ((CmpLHS == A && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
8234 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
8240 if ((CmpLHS == A && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
8241 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
8247 if ((CmpLHS == B && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
[all …]
H A DLazyValueInfo.cpp1284 if (match(Cond, m_Not(m_Value(N)))) in getValueFromCondition()
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/InstCombine/
H A DInstCombiner.h142 match(V, m_Not(PatternMatch::m_Value())) || in getComplexity()
267 if (!match(I, m_Not(PatternMatch::m_Value()))) in canFreelyInvertAllUsersOf()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/
H A DSelectOptimize.cpp670 if (match(&*DIt, m_Not(m_Specific(SI.getCondition())))) in convertProfitableSIGroups()
799 if (match(NI, m_Not(m_Specific(SI.getCondition())))) { in collectSelectGroups()
813 m_Not(m_Specific(SI.getCondition())))) { in collectSelectGroups()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DReassociate.cpp225 if (!match(I, m_Not(m_Value())) && !match(I, m_Neg(m_Value())) && in getRank()
1198 if (match(Ops[i].Op, m_Not(m_Value(X)))) { // Cannot occur for ^. in OptimizeAndOrXor()
1543 if (!match(TheOp, m_Neg(m_Value(X))) && !match(TheOp, m_Not(m_Value(X))) && in OptimizeAdd()
1557 if (Ops.size() == 2 && match(TheOp, m_Not(m_Value()))) in OptimizeAdd()
1571 if (match(TheOp, m_Not(m_Value()))) { in OptimizeAdd()
H A DStructurizeCFG.cpp612 if (match(Cond, m_Not(m_OneUse(m_Instruction(Inverted)))) && in simplifyConditions()
H A DEarlyCSE.cpp184 if (match(Cond, m_Not(m_Value(CondNot)))) { in matchSelectWithOptionalNotCond()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Vectorize/
H A DVPlanPatternMatch.h214 m_Not(const Op0_t &Op0) {
H A DVPlanTransforms.cpp688 m_BranchOnCond(m_Not(m_ActiveLaneMask(m_VPValue(), m_VPValue()))))) in optimizeForVFAndUF()
1058 m_LogicalAnd(m_VPValue(X1), m_Not(m_VPValue(Y1))))) && in simplifyRecipe()
/freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DAMDGPUTargetMachine.cpp816 m_c_And(m_Not(m_Intrinsic<Intrinsic::amdgcn_is_shared>(m_Value(Ptr))), in getPredicatedAddrSpace()
817 m_Not(m_Intrinsic<Intrinsic::amdgcn_is_private>( in getPredicatedAddrSpace()
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/GlobalISel/
H A DMIPatternMatch.h774 m_Not(const SrcTy &&Src) {
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DSDPatternMatch.h870 inline BinaryOpc_match<ValTy, AllOnes_match, true> m_Not(const ValTy &V) {
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DPatternMatch.h2379 m_Not(const ValTy &V) { in m_Not() function
2424 auto XorExpr = m_OneUse(m_Not(m_Value(Op1))); in match()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DLocal.cpp4199 if (match(Condition, m_Not(m_Value(NotCondition)))) in invertCondition()
4213 if (I->getParent() == Parent && match(I, m_Not(m_Specific(Condition)))) in invertCondition()

12