Lines Matching refs:MaxRecurse
142 unsigned MaxRecurse) { in ExpandBinOp() argument
145 if (!MaxRecurse--) in ExpandBinOp()
154 if (Value *L = SimplifyBinOp(Opcode, A, C, Q, MaxRecurse)) in ExpandBinOp()
155 if (Value *R = SimplifyBinOp(Opcode, B, C, Q, MaxRecurse)) { in ExpandBinOp()
164 if (Value *V = SimplifyBinOp(OpcodeToExpand, L, R, Q, MaxRecurse)) { in ExpandBinOp()
177 if (Value *L = SimplifyBinOp(Opcode, A, B, Q, MaxRecurse)) in ExpandBinOp()
178 if (Value *R = SimplifyBinOp(Opcode, A, C, Q, MaxRecurse)) { in ExpandBinOp()
187 if (Value *V = SimplifyBinOp(OpcodeToExpand, L, R, Q, MaxRecurse)) { in ExpandBinOp()
200 const Query &Q, unsigned MaxRecurse) { in SimplifyAssociativeBinOp() argument
205 if (!MaxRecurse--) in SimplifyAssociativeBinOp()
218 if (Value *V = SimplifyBinOp(Opcode, B, C, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
223 if (Value *W = SimplifyBinOp(Opcode, A, V, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
237 if (Value *V = SimplifyBinOp(Opcode, A, B, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
242 if (Value *W = SimplifyBinOp(Opcode, V, C, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
260 if (Value *V = SimplifyBinOp(Opcode, C, A, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
265 if (Value *W = SimplifyBinOp(Opcode, V, B, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
279 if (Value *V = SimplifyBinOp(Opcode, C, A, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
284 if (Value *W = SimplifyBinOp(Opcode, B, V, Q, MaxRecurse)) { in SimplifyAssociativeBinOp()
299 const Query &Q, unsigned MaxRecurse) { in ThreadBinOpOverSelect() argument
301 if (!MaxRecurse--) in ThreadBinOpOverSelect()
316 TV = SimplifyBinOp(Opcode, SI->getTrueValue(), RHS, Q, MaxRecurse); in ThreadBinOpOverSelect()
317 FV = SimplifyBinOp(Opcode, SI->getFalseValue(), RHS, Q, MaxRecurse); in ThreadBinOpOverSelect()
319 TV = SimplifyBinOp(Opcode, LHS, SI->getTrueValue(), Q, MaxRecurse); in ThreadBinOpOverSelect()
320 FV = SimplifyBinOp(Opcode, LHS, SI->getFalseValue(), Q, MaxRecurse); in ThreadBinOpOverSelect()
371 unsigned MaxRecurse) { in ThreadCmpOverSelect() argument
373 if (!MaxRecurse--) in ThreadCmpOverSelect()
389 Value *TCmp = SimplifyCmpInst(Pred, TV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
403 Value *FCmp = SimplifyCmpInst(Pred, FV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
429 if (Value *V = SimplifyAndInst(Cond, TCmp, Q, MaxRecurse)) in ThreadCmpOverSelect()
434 if (Value *V = SimplifyOrInst(Cond, FCmp, Q, MaxRecurse)) in ThreadCmpOverSelect()
441 Q, MaxRecurse)) in ThreadCmpOverSelect()
452 const Query &Q, unsigned MaxRecurse) { in ThreadBinOpOverPHI() argument
454 if (!MaxRecurse--) in ThreadBinOpOverPHI()
477 SimplifyBinOp(Opcode, Incoming, RHS, Q, MaxRecurse) : in ThreadBinOpOverPHI()
478 SimplifyBinOp(Opcode, LHS, Incoming, Q, MaxRecurse); in ThreadBinOpOverPHI()
494 const Query &Q, unsigned MaxRecurse) { in ThreadCmpOverPHI() argument
496 if (!MaxRecurse--) in ThreadCmpOverPHI()
516 Value *V = SimplifyCmpInst(Pred, Incoming, RHS, Q, MaxRecurse); in ThreadCmpOverPHI()
530 const Query &Q, unsigned MaxRecurse) { in SimplifyAddInst() argument
561 if (MaxRecurse && Op0->getType()->isIntegerTy(1)) in SimplifyAddInst()
562 if (Value *V = SimplifyXorInst(Op0, Op1, Q, MaxRecurse-1)) in SimplifyAddInst()
567 MaxRecurse)) in SimplifyAddInst()
664 const Query &Q, unsigned MaxRecurse) { in SimplifySubInst() argument
689 if (MaxRecurse && match(Op0, m_Add(m_Value(X), m_Value(Y)))) { // (X + Y) - Z in SimplifySubInst()
691 if (Value *V = SimplifyBinOp(Instruction::Sub, Y, Z, Q, MaxRecurse-1)) in SimplifySubInst()
693 if (Value *W = SimplifyBinOp(Instruction::Add, X, V, Q, MaxRecurse-1)) { in SimplifySubInst()
699 if (Value *V = SimplifyBinOp(Instruction::Sub, X, Z, Q, MaxRecurse-1)) in SimplifySubInst()
701 if (Value *W = SimplifyBinOp(Instruction::Add, Y, V, Q, MaxRecurse-1)) { in SimplifySubInst()
711 if (MaxRecurse && match(Op1, m_Add(m_Value(Y), m_Value(Z)))) { // X - (Y + Z) in SimplifySubInst()
713 if (Value *V = SimplifyBinOp(Instruction::Sub, X, Y, Q, MaxRecurse-1)) in SimplifySubInst()
715 if (Value *W = SimplifyBinOp(Instruction::Sub, V, Z, Q, MaxRecurse-1)) { in SimplifySubInst()
721 if (Value *V = SimplifyBinOp(Instruction::Sub, X, Z, Q, MaxRecurse-1)) in SimplifySubInst()
723 if (Value *W = SimplifyBinOp(Instruction::Sub, V, Y, Q, MaxRecurse-1)) { in SimplifySubInst()
733 if (MaxRecurse && match(Op1, m_Sub(m_Value(X), m_Value(Y)))) // Z - (X - Y) in SimplifySubInst()
735 if (Value *V = SimplifyBinOp(Instruction::Sub, Z, X, Q, MaxRecurse-1)) in SimplifySubInst()
737 if (Value *W = SimplifyBinOp(Instruction::Add, V, Y, Q, MaxRecurse-1)) { in SimplifySubInst()
744 if (MaxRecurse && match(Op0, m_Trunc(m_Value(X))) && in SimplifySubInst()
748 if (Value *V = SimplifyBinOp(Instruction::Sub, X, Y, Q, MaxRecurse-1)) in SimplifySubInst()
750 if (Value *W = SimplifyTruncInst(V, Op0->getType(), Q, MaxRecurse-1)) in SimplifySubInst()
761 if (MaxRecurse && Op0->getType()->isIntegerTy(1)) in SimplifySubInst()
762 if (Value *V = SimplifyXorInst(Op0, Op1, Q, MaxRecurse-1)) in SimplifySubInst()
788 const Query &Q, unsigned MaxRecurse) { in SimplifyFAddInst() argument
827 const Query &Q, unsigned MaxRecurse) { in SimplifyFSubInst() argument
863 unsigned MaxRecurse) { in SimplifyFMulInst() argument
886 unsigned MaxRecurse) { in SimplifyMulInst() argument
914 if (MaxRecurse && Op0->getType()->isIntegerTy(1)) in SimplifyMulInst()
915 if (Value *V = SimplifyAndInst(Op0, Op1, Q, MaxRecurse-1)) in SimplifyMulInst()
920 MaxRecurse)) in SimplifyMulInst()
925 Q, MaxRecurse)) in SimplifyMulInst()
932 MaxRecurse)) in SimplifyMulInst()
939 MaxRecurse)) in SimplifyMulInst()
983 const Query &Q, unsigned MaxRecurse) { in SimplifyDiv() argument
1051 if (Value *V = ThreadBinOpOverSelect(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyDiv()
1057 if (Value *V = ThreadBinOpOverPHI(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyDiv()
1066 unsigned MaxRecurse) { in SimplifySDivInst() argument
1067 if (Value *V = SimplifyDiv(Instruction::SDiv, Op0, Op1, Q, MaxRecurse)) in SimplifySDivInst()
1084 unsigned MaxRecurse) { in SimplifyUDivInst() argument
1085 if (Value *V = SimplifyDiv(Instruction::UDiv, Op0, Op1, Q, MaxRecurse)) in SimplifyUDivInst()
1145 const Query &Q, unsigned MaxRecurse) { in SimplifyRem() argument
1188 if (Value *V = ThreadBinOpOverSelect(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyRem()
1194 if (Value *V = ThreadBinOpOverPHI(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyRem()
1203 unsigned MaxRecurse) { in SimplifySRemInst() argument
1204 if (Value *V = SimplifyRem(Instruction::SRem, Op0, Op1, Q, MaxRecurse)) in SimplifySRemInst()
1221 unsigned MaxRecurse) { in SimplifyURemInst() argument
1222 if (Value *V = SimplifyRem(Instruction::URem, Op0, Op1, Q, MaxRecurse)) in SimplifyURemInst()
1294 const Query &Q, unsigned MaxRecurse) { in SimplifyShift() argument
1314 if (Value *V = ThreadBinOpOverSelect(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyShift()
1320 if (Value *V = ThreadBinOpOverPHI(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyShift()
1346 unsigned MaxRecurse) { in SimplifyRightShift() argument
1347 if (Value *V = SimplifyShift(Opcode, Op0, Op1, Q, MaxRecurse)) in SimplifyRightShift()
1376 const Query &Q, unsigned MaxRecurse) { in SimplifyShlInst() argument
1377 if (Value *V = SimplifyShift(Instruction::Shl, Op0, Op1, Q, MaxRecurse)) in SimplifyShlInst()
1403 const Query &Q, unsigned MaxRecurse) { in SimplifyLShrInst() argument
1405 MaxRecurse)) in SimplifyLShrInst()
1428 const Query &Q, unsigned MaxRecurse) { in SimplifyAShrInst() argument
1430 MaxRecurse)) in SimplifyAShrInst()
1564 unsigned MaxRecurse) { in SimplifyAndInst() argument
1645 MaxRecurse)) in SimplifyAndInst()
1650 Q, MaxRecurse)) in SimplifyAndInst()
1655 Q, MaxRecurse)) in SimplifyAndInst()
1662 MaxRecurse)) in SimplifyAndInst()
1669 MaxRecurse)) in SimplifyAndInst()
1738 unsigned MaxRecurse) { in SimplifyOrInst() argument
1800 MaxRecurse)) in SimplifyOrInst()
1805 MaxRecurse)) in SimplifyOrInst()
1812 MaxRecurse)) in SimplifyOrInst()
1854 if (Value *V = ThreadBinOpOverPHI(Instruction::Or, Op0, Op1, Q, MaxRecurse)) in SimplifyOrInst()
1871 unsigned MaxRecurse) { in SimplifyXorInst() argument
1899 MaxRecurse)) in SimplifyXorInst()
2156 const Query &Q, unsigned MaxRecurse) { in SimplifyICmpInst() argument
2458 if (MaxRecurse && isa<PtrToIntInst>(LI) && in SimplifyICmpInst()
2464 Q, MaxRecurse-1)) in SimplifyICmpInst()
2470 Q, MaxRecurse-1)) in SimplifyICmpInst()
2479 if (MaxRecurse && SrcTy == RI->getOperand(0)->getType()) in SimplifyICmpInst()
2483 MaxRecurse-1)) in SimplifyICmpInst()
2496 if (RExt == CI && MaxRecurse) in SimplifyICmpInst()
2498 SrcOp, Trunc, Q, MaxRecurse-1)) in SimplifyICmpInst()
2539 if (MaxRecurse && SrcTy == RI->getOperand(0)->getType()) in SimplifyICmpInst()
2542 Q, MaxRecurse-1)) in SimplifyICmpInst()
2555 if (RExt == CI && MaxRecurse) in SimplifyICmpInst()
2556 if (Value *V = SimplifyICmpInst(Pred, SrcOp, Trunc, Q, MaxRecurse-1)) in SimplifyICmpInst()
2587 if (MaxRecurse) in SimplifyICmpInst()
2590 Q, MaxRecurse-1)) in SimplifyICmpInst()
2596 if (MaxRecurse) in SimplifyICmpInst()
2599 Q, MaxRecurse-1)) in SimplifyICmpInst()
2619 if (MaxRecurse && (LBO || RBO)) { in SimplifyICmpInst()
2641 Q, MaxRecurse-1)) in SimplifyICmpInst()
2648 C == LHS ? D : C, Q, MaxRecurse-1)) in SimplifyICmpInst()
2674 if (Value *V = SimplifyICmpInst(Pred, Y, Z, Q, MaxRecurse-1)) in SimplifyICmpInst()
2870 if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() && in SimplifyICmpInst()
2884 RBO->getOperand(0), Q, MaxRecurse-1)) in SimplifyICmpInst()
2895 RBO->getOperand(0), Q, MaxRecurse-1)) in SimplifyICmpInst()
2948 if (MaxRecurse) in SimplifyICmpInst()
2949 if (Value *V = SimplifyICmpInst(EqP, A, B, Q, MaxRecurse-1)) in SimplifyICmpInst()
2962 if (MaxRecurse) in SimplifyICmpInst()
2963 if (Value *V = SimplifyICmpInst(InvEqP, A, B, Q, MaxRecurse-1)) in SimplifyICmpInst()
3018 if (MaxRecurse) in SimplifyICmpInst()
3019 if (Value *V = SimplifyICmpInst(EqP, A, B, Q, MaxRecurse-1)) in SimplifyICmpInst()
3032 if (MaxRecurse) in SimplifyICmpInst()
3033 if (Value *V = SimplifyICmpInst(InvEqP, A, B, Q, MaxRecurse-1)) in SimplifyICmpInst()
3139 if (Value *V = ThreadCmpOverSelect(Pred, LHS, RHS, Q, MaxRecurse)) in SimplifyICmpInst()
3145 if (Value *V = ThreadCmpOverPHI(Pred, LHS, RHS, Q, MaxRecurse)) in SimplifyICmpInst()
3164 unsigned MaxRecurse) { in SimplifyFCmpInst() argument
3271 if (Value *V = ThreadCmpOverSelect(Pred, LHS, RHS, Q, MaxRecurse)) in SimplifyFCmpInst()
3277 if (Value *V = ThreadCmpOverPHI(Pred, LHS, RHS, Q, MaxRecurse)) in SimplifyFCmpInst()
3295 unsigned MaxRecurse) { in SimplifyWithOpReplaced() argument
3319 if (MaxRecurse) { in SimplifyWithOpReplaced()
3322 MaxRecurse - 1); in SimplifyWithOpReplaced()
3325 MaxRecurse - 1); in SimplifyWithOpReplaced()
3331 if (MaxRecurse) { in SimplifyWithOpReplaced()
3334 MaxRecurse - 1); in SimplifyWithOpReplaced()
3337 MaxRecurse - 1); in SimplifyWithOpReplaced()
3378 unsigned MaxRecurse) { in SimplifySelectInst() argument
3476 if (SimplifyWithOpReplaced(FalseVal, CmpLHS, CmpRHS, Q, MaxRecurse) == in SimplifySelectInst()
3478 SimplifyWithOpReplaced(FalseVal, CmpRHS, CmpLHS, Q, MaxRecurse) == in SimplifySelectInst()
3481 if (SimplifyWithOpReplaced(TrueVal, CmpLHS, CmpRHS, Q, MaxRecurse) == in SimplifySelectInst()
3483 SimplifyWithOpReplaced(TrueVal, CmpRHS, CmpLHS, Q, MaxRecurse) == in SimplifySelectInst()
3487 if (SimplifyWithOpReplaced(TrueVal, CmpLHS, CmpRHS, Q, MaxRecurse) == in SimplifySelectInst()
3489 SimplifyWithOpReplaced(TrueVal, CmpRHS, CmpLHS, Q, MaxRecurse) == in SimplifySelectInst()
3492 if (SimplifyWithOpReplaced(FalseVal, CmpLHS, CmpRHS, Q, MaxRecurse) == in SimplifySelectInst()
3494 SimplifyWithOpReplaced(FalseVal, CmpRHS, CmpLHS, Q, MaxRecurse) == in SimplifySelectInst()
3762 const Query &Q, unsigned MaxRecurse) { in SimplifyBinOp() argument
3766 Q, MaxRecurse); in SimplifyBinOp()
3768 return SimplifyFAddInst(LHS, RHS, FastMathFlags(), Q, MaxRecurse); in SimplifyBinOp()
3772 Q, MaxRecurse); in SimplifyBinOp()
3774 return SimplifyFSubInst(LHS, RHS, FastMathFlags(), Q, MaxRecurse); in SimplifyBinOp()
3776 case Instruction::Mul: return SimplifyMulInst (LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3778 return SimplifyFMulInst (LHS, RHS, FastMathFlags(), Q, MaxRecurse); in SimplifyBinOp()
3779 case Instruction::SDiv: return SimplifySDivInst(LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3780 case Instruction::UDiv: return SimplifyUDivInst(LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3782 return SimplifyFDivInst(LHS, RHS, FastMathFlags(), Q, MaxRecurse); in SimplifyBinOp()
3783 case Instruction::SRem: return SimplifySRemInst(LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3784 case Instruction::URem: return SimplifyURemInst(LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3786 return SimplifyFRemInst(LHS, RHS, FastMathFlags(), Q, MaxRecurse); in SimplifyBinOp()
3789 Q, MaxRecurse); in SimplifyBinOp()
3791 return SimplifyLShrInst(LHS, RHS, /*isExact*/false, Q, MaxRecurse); in SimplifyBinOp()
3793 return SimplifyAShrInst(LHS, RHS, /*isExact*/false, Q, MaxRecurse); in SimplifyBinOp()
3794 case Instruction::And: return SimplifyAndInst(LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3795 case Instruction::Or: return SimplifyOrInst (LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3796 case Instruction::Xor: return SimplifyXorInst(LHS, RHS, Q, MaxRecurse); in SimplifyBinOp()
3804 if (Value *V = SimplifyAssociativeBinOp(Opcode, LHS, RHS, Q, MaxRecurse)) in SimplifyBinOp()
3810 if (Value *V = ThreadBinOpOverSelect(Opcode, LHS, RHS, Q, MaxRecurse)) in SimplifyBinOp()
3816 if (Value *V = ThreadBinOpOverPHI(Opcode, LHS, RHS, Q, MaxRecurse)) in SimplifyBinOp()
3829 unsigned MaxRecurse) { in SimplifyFPBinOp() argument
3832 return SimplifyFAddInst(LHS, RHS, FMF, Q, MaxRecurse); in SimplifyFPBinOp()
3834 return SimplifyFSubInst(LHS, RHS, FMF, Q, MaxRecurse); in SimplifyFPBinOp()
3836 return SimplifyFMulInst(LHS, RHS, FMF, Q, MaxRecurse); in SimplifyFPBinOp()
3838 return SimplifyBinOp(Opcode, LHS, RHS, Q, MaxRecurse); in SimplifyFPBinOp()
3861 const Query &Q, unsigned MaxRecurse) { in SimplifyCmpInst() argument
3863 return SimplifyICmpInst(Predicate, LHS, RHS, Q, MaxRecurse); in SimplifyCmpInst()
3864 return SimplifyFCmpInst(Predicate, LHS, RHS, FastMathFlags(), Q, MaxRecurse); in SimplifyCmpInst()
3965 const Query &Q, unsigned MaxRecurse) { in SimplifyIntrinsic() argument
4034 const Query &Q, unsigned MaxRecurse) { in SimplifyCall() argument
4050 if (Value *Ret = SimplifyIntrinsic(F, ArgBegin, ArgEnd, Q, MaxRecurse)) in SimplifyCall()