Pseudo-ize the ARM Darwin *r9 call instruction definitions. They're the same

actual instruction as the non-Darwin defs, but have different call-clobber
semantics and so need separate patterns. They don't need to duplicate the
encoding information, however.

llvm-svn: 127515
This commit is contained in:
Jim Grosbach 2011-03-12 00:45:26 +00:00
parent 364f7db063
commit 3f2096eafe
2 changed files with 33 additions and 27 deletions

View File

@ -1035,6 +1035,26 @@ void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) {
OutStreamer.EmitInstruction(TmpInst); OutStreamer.EmitInstruction(TmpInst);
return; return;
} }
// Darwin call instructions are just normal call instructions with different
// clobber semantics (they clobber R9).
case ARM::BLr9:
case ARM::BLr9_pred:
case ARM::BLXr9:
case ARM::BLXr9_pred: {
unsigned newOpc;
switch (Opc) {
default: assert(0);
case ARM::BLr9: newOpc = ARM::BL; break;
case ARM::BLr9_pred: newOpc = ARM::BL_pred; break;
case ARM::BLXr9: newOpc = ARM::BLX; break;
case ARM::BLXr9_pred: newOpc = ARM::BLX_pred; break;
}
MCInst TmpInst;
LowerARMMachineInstrToMCInst(MI, TmpInst, *this);
TmpInst.setOpcode(newOpc);
OutStreamer.EmitInstruction(TmpInst);
return;
}
case ARM::BXr9_CALL: case ARM::BXr9_CALL:
case ARM::BX_CALL: { case ARM::BX_CALL: {
{ {

View File

@ -1371,39 +1371,25 @@ let isCall = 1,
D16, D17, D18, D19, D20, D21, D22, D23, D16, D17, D18, D19, D20, D21, D22, D23,
D24, D25, D26, D27, D28, D29, D30, D31, CPSR, FPSCR], D24, D25, D26, D27, D28, D29, D30, D31, CPSR, FPSCR],
Uses = [R7, SP] in { Uses = [R7, SP] in {
def BLr9 : ABXI<0b1011, (outs), (ins bltarget:$func, variable_ops), def BLr9 : ARMPseudoInst<(outs), (ins bltarget:$func, variable_ops),
IIC_Br, "bl\t$func", Size4Bytes, IIC_Br,
[(ARMcall tglobaladdr:$func)]>, Requires<[IsARM, IsDarwin]> { [(ARMcall tglobaladdr:$func)]>, Requires<[IsARM, IsDarwin]>;
let Inst{31-28} = 0b1110;
bits<24> func;
let Inst{23-0} = func;
}
def BLr9_pred : ABI<0b1011, (outs), (ins bltarget:$func, variable_ops), def BLr9_pred : ARMPseudoInst<(outs),
IIC_Br, "bl", "\t$func", (ins bltarget:$func, pred:$p, variable_ops),
Size4Bytes, IIC_Br,
[(ARMcall_pred tglobaladdr:$func)]>, [(ARMcall_pred tglobaladdr:$func)]>,
Requires<[IsARM, IsDarwin]> { Requires<[IsARM, IsDarwin]>;
bits<24> func;
let Inst{23-0} = func;
}
// ARMv5T and above // ARMv5T and above
def BLXr9 : AXI<(outs), (ins GPR:$func, variable_ops), BrMiscFrm, def BLXr9 : ARMPseudoInst<(outs), (ins GPR:$func, variable_ops),
IIC_Br, "blx\t$func", Size4Bytes, IIC_Br,
[(ARMcall GPR:$func)]>, Requires<[IsARM, HasV5T, IsDarwin]> { [(ARMcall GPR:$func)]>, Requires<[IsARM, HasV5T, IsDarwin]>;
bits<4> func;
let Inst{31-4} = 0b1110000100101111111111110011;
let Inst{3-0} = func;
}
def BLXr9_pred : AI<(outs), (ins GPR:$func, variable_ops), BrMiscFrm, def BLXr9_pred: ARMPseudoInst<(outs), (ins GPR:$func, pred:$p, variable_ops),
IIC_Br, "blx", "\t$func", Size4Bytes, IIC_Br,
[(ARMcall_pred GPR:$func)]>, [(ARMcall_pred GPR:$func)]>,
Requires<[IsARM, HasV5T, IsDarwin]> { Requires<[IsARM, HasV5T, IsDarwin]>;
bits<4> func;
let Inst{27-4} = 0b000100101111111111110011;
let Inst{3-0} = func;
}
// ARMv4T // ARMv4T
// Note: Restrict $func to the tGPR regclass to prevent it being in LR. // Note: Restrict $func to the tGPR regclass to prevent it being in LR.