mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-15 04:30:12 +00:00
handle combining A / (B << N) into A >>u (log2(B)+N) when B is a power of 2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26000 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
900c826bc7
commit
fb5e4bdded
@ -778,15 +778,26 @@ SDOperand DAGCombiner::visitUDIV(SDNode *N) {
|
||||
return DAG.getNode(ISD::UDIV, VT, N0, N1);
|
||||
// fold (udiv x, (1 << c)) -> x >>u c
|
||||
if (N1C && isPowerOf2_64(N1C->getValue()))
|
||||
return DAG.getNode(ISD::SRL, N->getValueType(0), N0,
|
||||
return DAG.getNode(ISD::SRL, VT, N0,
|
||||
DAG.getConstant(Log2_64(N1C->getValue()),
|
||||
TLI.getShiftAmountTy()));
|
||||
// fold (udiv x, (shl c, y)) -> x >>u (log2(c)+y) iff c is power of 2
|
||||
if (N1.getOpcode() == ISD::SHL) {
|
||||
if (ConstantSDNode *SHC = dyn_cast<ConstantSDNode>(N1.getOperand(0))) {
|
||||
if (isPowerOf2_64(SHC->getValue())) {
|
||||
MVT::ValueType ADDVT = N1.getOperand(1).getValueType();
|
||||
return DAG.getNode(ISD::SRL, VT, N0,
|
||||
DAG.getNode(ISD::ADD, ADDVT, N1.getOperand(1),
|
||||
DAG.getConstant(Log2_64(SHC->getValue()),
|
||||
ADDVT)));
|
||||
}
|
||||
}
|
||||
}
|
||||
// fold (udiv x, c) -> alternate
|
||||
if (N1C && N1C->getValue() && !TLI.isIntDivCheap()) {
|
||||
SDOperand Op = BuildUDIV(N);
|
||||
if (Op.Val) return Op;
|
||||
}
|
||||
|
||||
return SDOperand();
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user