diff options
| author | Jim Laskey <jlaskey@mac.com> | 2005-08-11 21:59:23 +0000 |
|---|---|---|
| committer | Jim Laskey <jlaskey@mac.com> | 2005-08-11 21:59:23 +0000 |
| commit | a50f770a2ccec2f23b752ab344cf8b396f3961f6 (patch) | |
| tree | a46cd195449aa1a8e14d1d06f6cc5fe9778848c8 /llvm/lib/Target/PowerPC | |
| parent | d418d752f4aedf03239631216eb2a4b3458955f9 (diff) | |
| download | bcm5719-llvm-a50f770a2ccec2f23b752ab344cf8b396f3961f6.tar.gz bcm5719-llvm-a50f770a2ccec2f23b752ab344cf8b396f3961f6.zip | |
1. Added the function isOpcWithIntImmediate to simplify testing of operand with
specified opcode and an integer constant right operand.
2. Modified ISD::SHL, ISD::SRL, ISD::SRA to use rlwinm when applied after a mask.
llvm-svn: 22761
Diffstat (limited to 'llvm/lib/Target/PowerPC')
| -rw-r--r-- | llvm/lib/Target/PowerPC/PPC32ISelPattern.cpp | 49 |
1 files changed, 40 insertions, 9 deletions
diff --git a/llvm/lib/Target/PowerPC/PPC32ISelPattern.cpp b/llvm/lib/Target/PowerPC/PPC32ISelPattern.cpp index 288ca195f7a..cef895b5d20 100644 --- a/llvm/lib/Target/PowerPC/PPC32ISelPattern.cpp +++ b/llvm/lib/Target/PowerPC/PPC32ISelPattern.cpp @@ -664,6 +664,13 @@ static bool isIntImmediate(SDOperand N, unsigned& Imm) { return false; } +// isOpcWithIntImmediate - This method tests to see if the node is a specific +// opcode and that it has a immediate integer right operand. +// If so Imm will receive the 32 bit value. +static bool isOpcWithIntImmediate(SDOperand N, unsigned Opc, unsigned& Imm) { + return N.getOpcode() == Opc && isIntImmediate(N.getOperand(1), Imm); +} + // isOprShiftImm - Returns true if the specified operand is a shift opcode with // a immediate shift count less than 32. static bool isOprShiftImm(SDOperand N, unsigned& Opc, unsigned& SH) { @@ -675,8 +682,7 @@ static bool isOprShiftImm(SDOperand N, unsigned& Opc, unsigned& SH) { // isOprNot - Returns true if the specified operand is an xor with immediate -1. static bool isOprNot(SDOperand N) { unsigned Imm; - return N.getOpcode() == ISD::XOR && - isIntImmediate(N.getOperand(1), Imm) && (signed)Imm == -1; + return isOpcWithIntImmediate(N, ISD::XOR, Imm) && (signed)Imm == -1; } // Immediate constant composers. @@ -1089,10 +1095,8 @@ bool ISel::SelectBitfieldInsert(SDOperand OR, unsigned Result) { /// wider than the implicit mask, then we can get rid of the AND and let the /// shift do the mask. unsigned ISel::FoldIfWideZeroExtend(SDOperand N) { - unsigned C, MB, ME; - if (N.getOpcode() == ISD::AND && - isIntImmediate(N.getOperand(1), C) && isRunOfOnes(C, MB, ME) && - MB <= 26 && ME == 31) + unsigned C; + if (isOpcWithIntImmediate(N, ISD::AND, C) && isMask_32(C) && C > 63) return SelectExpr(N.getOperand(0)); else return SelectExpr(N); @@ -1580,35 +1584,62 @@ unsigned ISel::SelectExpr(SDOperand N, bool Recording) { return Result; case ISD::SHL: - Tmp1 = SelectExpr(N.getOperand(0)); if (isIntImmediate(N.getOperand(1), Tmp2)) { + unsigned SH, MB, ME; + if (isOpcWithIntImmediate(N.getOperand(0), ISD::AND, Tmp3) && + isRotateAndMask(ISD::SHL, Tmp2, Tmp3, true, SH, MB, ME)) { + Tmp1 = SelectExpr(N.getOperand(0).getOperand(0)); + BuildMI(BB, PPC::RLWINM, 4, Result).addReg(Tmp1).addImm(SH) + .addImm(MB).addImm(ME); + return Result; + } + Tmp1 = SelectExpr(N.getOperand(0)); Tmp2 &= 0x1F; BuildMI(BB, PPC::RLWINM, 4, Result).addReg(Tmp1).addImm(Tmp2).addImm(0) .addImm(31-Tmp2); } else { + Tmp1 = SelectExpr(N.getOperand(0)); Tmp2 = FoldIfWideZeroExtend(N.getOperand(1)); BuildMI(BB, PPC::SLW, 2, Result).addReg(Tmp1).addReg(Tmp2); } return Result; case ISD::SRL: - Tmp1 = SelectExpr(N.getOperand(0)); if (isIntImmediate(N.getOperand(1), Tmp2)) { + unsigned SH, MB, ME; + if (isOpcWithIntImmediate(N.getOperand(0), ISD::AND, Tmp3) && + isRotateAndMask(ISD::SRL, Tmp2, Tmp3, true, SH, MB, ME)) { + Tmp1 = SelectExpr(N.getOperand(0).getOperand(0)); + BuildMI(BB, PPC::RLWINM, 4, Result).addReg(Tmp1).addImm(SH) + .addImm(MB).addImm(ME); + return Result; + } + Tmp1 = SelectExpr(N.getOperand(0)); Tmp2 &= 0x1F; BuildMI(BB, PPC::RLWINM, 4, Result).addReg(Tmp1).addImm(32-Tmp2) .addImm(Tmp2).addImm(31); } else { + Tmp1 = SelectExpr(N.getOperand(0)); Tmp2 = FoldIfWideZeroExtend(N.getOperand(1)); BuildMI(BB, PPC::SRW, 2, Result).addReg(Tmp1).addReg(Tmp2); } return Result; case ISD::SRA: - Tmp1 = SelectExpr(N.getOperand(0)); if (isIntImmediate(N.getOperand(1), Tmp2)) { + unsigned SH, MB, ME; + if (isOpcWithIntImmediate(N.getOperand(0), ISD::AND, Tmp3) && + isRotateAndMask(ISD::SRA, Tmp2, Tmp3, true, SH, MB, ME)) { + Tmp1 = SelectExpr(N.getOperand(0).getOperand(0)); + BuildMI(BB, PPC::RLWINM, 4, Result).addReg(Tmp1).addImm(SH) + .addImm(MB).addImm(ME); + return Result; + } + Tmp1 = SelectExpr(N.getOperand(0)); Tmp2 &= 0x1F; BuildMI(BB, PPC::SRAWI, 2, Result).addReg(Tmp1).addImm(Tmp2); } else { + Tmp1 = SelectExpr(N.getOperand(0)); Tmp2 = FoldIfWideZeroExtend(N.getOperand(1)); BuildMI(BB, PPC::SRAW, 2, Result).addReg(Tmp1).addReg(Tmp2); } |

