diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-08-16 23:21:55 +0000 | 
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-08-16 23:21:55 +0000 | 
| commit | 0ea1fce6b4c46b3874e96df4fe2bdf579cc212dd (patch) | |
| tree | 710c0cd062d535fc5129b7174d8bec7feba95879 /llvm/lib/Target | |
| parent | c19bf0282de5a336de29aaecc29e8dad9c8906b2 (diff) | |
| download | bcm5719-llvm-0ea1fce6b4c46b3874e96df4fe2bdf579cc212dd.tar.gz bcm5719-llvm-0ea1fce6b4c46b3874e96df4fe2bdf579cc212dd.zip | |
Add ADD and SUB to the predicable ARM instructions.
It is not my plan to duplicate the entire ARM instruction set with
predicated versions. We need a way of representing predicated
instructions in SSA form without requiring a separate opcode.
Then the pseudo-instructions can go away.
llvm-svn: 162061
Diffstat (limited to 'llvm/lib/Target')
| -rw-r--r-- | llvm/lib/Target/ARM/ARMBaseInstrInfo.cpp | 20 | ||||
| -rw-r--r-- | llvm/lib/Target/ARM/ARMInstrInfo.td | 4 | ||||
| -rw-r--r-- | llvm/lib/Target/ARM/ARMInstrThumb2.td | 27 | 
3 files changed, 51 insertions, 0 deletions
| diff --git a/llvm/lib/Target/ARM/ARMBaseInstrInfo.cpp b/llvm/lib/Target/ARM/ARMBaseInstrInfo.cpp index f5a3bcd11f3..0261bb3ed7e 100644 --- a/llvm/lib/Target/ARM/ARMBaseInstrInfo.cpp +++ b/llvm/lib/Target/ARM/ARMBaseInstrInfo.cpp @@ -1613,6 +1613,26 @@ static unsigned canFoldIntoMOVCC(unsigned Reg, MachineInstr *&MI,    case ARM::t2ORRri: return ARM::t2ORRCCri;    case ARM::t2ORRrr: return ARM::t2ORRCCrr;    case ARM::t2ORRrs: return ARM::t2ORRCCrs; + +  // ARM ADD/SUB +  case ARM::ADDri:   return ARM::ADDCCri; +  case ARM::ADDrr:   return ARM::ADDCCrr; +  case ARM::ADDrsi:  return ARM::ADDCCrsi; +  case ARM::ADDrsr:  return ARM::ADDCCrsr; +  case ARM::SUBri:   return ARM::SUBCCri; +  case ARM::SUBrr:   return ARM::SUBCCrr; +  case ARM::SUBrsi:  return ARM::SUBCCrsi; +  case ARM::SUBrsr:  return ARM::SUBCCrsr; + +  // Thumb2 ADD/SUB +  case ARM::t2ADDri:   return ARM::t2ADDCCri; +  case ARM::t2ADDri12: return ARM::t2ADDCCri12; +  case ARM::t2ADDrr:   return ARM::t2ADDCCrr; +  case ARM::t2ADDrs:   return ARM::t2ADDCCrs; +  case ARM::t2SUBri:   return ARM::t2SUBCCri; +  case ARM::t2SUBri12: return ARM::t2SUBCCri12; +  case ARM::t2SUBrr:   return ARM::t2SUBCCrr; +  case ARM::t2SUBrs:   return ARM::t2SUBCCrs;    }  } diff --git a/llvm/lib/Target/ARM/ARMInstrInfo.td b/llvm/lib/Target/ARM/ARMInstrInfo.td index db83a9feb65..992aba5803f 100644 --- a/llvm/lib/Target/ARM/ARMInstrInfo.td +++ b/llvm/lib/Target/ARM/ARMInstrInfo.td @@ -4023,6 +4023,10 @@ defm ORRCC : AsI1_bincc_irs<ORRri, ORRrr, ORRrsi, ORRrsr,                              IIC_iBITi, IIC_iBITr, IIC_iBITsr>;  defm EORCC : AsI1_bincc_irs<EORri, EORrr, EORrsi, EORrsr,                              IIC_iBITi, IIC_iBITr, IIC_iBITsr>; +defm ADDCC : AsI1_bincc_irs<ADDri, ADDrr, ADDrsi, ADDrsr, +                            IIC_iBITi, IIC_iBITr, IIC_iBITsr>; +defm SUBCC : AsI1_bincc_irs<SUBri, SUBrr, SUBrsi, SUBrsr, +                            IIC_iBITi, IIC_iBITr, IIC_iBITsr>;  } // neverHasSideEffects diff --git a/llvm/lib/Target/ARM/ARMInstrThumb2.td b/llvm/lib/Target/ARM/ARMInstrThumb2.td index 2761b50f441..8ecf0091d8b 100644 --- a/llvm/lib/Target/ARM/ARMInstrThumb2.td +++ b/llvm/lib/Target/ARM/ARMInstrThumb2.td @@ -757,6 +757,33 @@ multiclass T2I_bin_ii12rs<bits<3> op23_21, string opc, PatFrag opnode,       let Inst{24} = 1;       let Inst{23-21} = op23_21;     } + +   // Predicated versions. +   def CCri : t2PseudoExpand<(outs GPRnopc:$Rd), +                             (ins GPRnopc:$Rfalse, GPRnopc:$Rn, t2_so_imm:$imm, +                                  pred:$p, cc_out:$s), 4, IIC_iALUi, [], +                             (!cast<Instruction>(NAME#ri) GPRnopc:$Rd, +                              GPRnopc:$Rn, t2_so_imm:$imm, pred:$p, cc_out:$s)>, +              RegConstraint<"$Rfalse = $Rd">; +   def CCri12 : t2PseudoExpand<(outs GPRnopc:$Rd), +                             (ins GPRnopc:$Rfalse, GPR:$Rn, imm0_4095:$imm, +                                  pred:$p), +                             4, IIC_iALUi, [], +                             (!cast<Instruction>(NAME#ri12) GPRnopc:$Rd, +                              GPR:$Rn, imm0_4095:$imm, pred:$p)>, +                RegConstraint<"$Rfalse = $Rd">; +   def CCrr : t2PseudoExpand<(outs GPRnopc:$Rd), +                             (ins GPRnopc:$Rfalse, GPRnopc:$Rn, rGPR:$Rm, +                                  pred:$p, cc_out:$s), 4, IIC_iALUr, [], +                             (!cast<Instruction>(NAME#rr) GPRnopc:$Rd, +                              GPRnopc:$Rn, rGPR:$Rm, pred:$p, cc_out:$s)>, +              RegConstraint<"$Rfalse = $Rd">; +   def CCrs : t2PseudoExpand<(outs GPRnopc:$Rd), +                             (ins GPRnopc:$Rfalse, GPRnopc:$Rn, t2_so_reg:$Rm, +                                  pred:$p, cc_out:$s), 4, IIC_iALUsi, [], +                             (!cast<Instruction>(NAME#rs) GPRnopc:$Rd, +                              GPRnopc:$Rn, t2_so_reg:$Rm, pred:$p, cc_out:$s)>, +              RegConstraint<"$Rfalse = $Rd">;  }  /// T2I_adde_sube_irs - Defines a set of (op reg, {so_imm|r|so_reg}) patterns | 

