1 //===- SPURegisterInfo.cpp - Cell SPU Register Information ----------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the Cell implementation of the TargetRegisterInfo class.
12 //===----------------------------------------------------------------------===//
14 #define DEBUG_TYPE "reginfo"
16 #include "SPURegisterInfo.h"
17 #include "SPURegisterNames.h"
18 #include "SPUInstrBuilder.h"
19 #include "SPUSubtarget.h"
20 #include "SPUMachineFunction.h"
21 #include "SPUFrameLowering.h"
22 #include "llvm/Constants.h"
23 #include "llvm/Type.h"
24 #include "llvm/CodeGen/ValueTypes.h"
25 #include "llvm/CodeGen/MachineInstrBuilder.h"
26 #include "llvm/CodeGen/MachineModuleInfo.h"
27 #include "llvm/CodeGen/MachineFunction.h"
28 #include "llvm/CodeGen/MachineFrameInfo.h"
29 #include "llvm/CodeGen/MachineLocation.h"
30 #include "llvm/CodeGen/MachineRegisterInfo.h"
31 #include "llvm/CodeGen/RegisterScavenging.h"
32 #include "llvm/CodeGen/ValueTypes.h"
33 #include "llvm/Target/TargetFrameLowering.h"
34 #include "llvm/Target/TargetInstrInfo.h"
35 #include "llvm/Target/TargetMachine.h"
36 #include "llvm/Target/TargetOptions.h"
37 #include "llvm/Support/CommandLine.h"
38 #include "llvm/Support/Debug.h"
39 #include "llvm/Support/ErrorHandling.h"
40 #include "llvm/Support/MathExtras.h"
41 #include "llvm/Support/raw_ostream.h"
42 #include "llvm/ADT/BitVector.h"
43 #include "llvm/ADT/STLExtras.h"
48 /// getRegisterNumbering - Given the enum value for some register, e.g.
49 /// PPC::F14, return the number that it corresponds to (e.g. 14).
50 unsigned SPURegisterInfo::getRegisterNumbering(unsigned RegEnum
) {
53 case SPU::R0
: return 0;
54 case SPU::R1
: return 1;
55 case SPU::R2
: return 2;
56 case SPU::R3
: return 3;
57 case SPU::R4
: return 4;
58 case SPU::R5
: return 5;
59 case SPU::R6
: return 6;
60 case SPU::R7
: return 7;
61 case SPU::R8
: return 8;
62 case SPU::R9
: return 9;
63 case SPU::R10
: return 10;
64 case SPU::R11
: return 11;
65 case SPU::R12
: return 12;
66 case SPU::R13
: return 13;
67 case SPU::R14
: return 14;
68 case SPU::R15
: return 15;
69 case SPU::R16
: return 16;
70 case SPU::R17
: return 17;
71 case SPU::R18
: return 18;
72 case SPU::R19
: return 19;
73 case SPU::R20
: return 20;
74 case SPU::R21
: return 21;
75 case SPU::R22
: return 22;
76 case SPU::R23
: return 23;
77 case SPU::R24
: return 24;
78 case SPU::R25
: return 25;
79 case SPU::R26
: return 26;
80 case SPU::R27
: return 27;
81 case SPU::R28
: return 28;
82 case SPU::R29
: return 29;
83 case SPU::R30
: return 30;
84 case SPU::R31
: return 31;
85 case SPU::R32
: return 32;
86 case SPU::R33
: return 33;
87 case SPU::R34
: return 34;
88 case SPU::R35
: return 35;
89 case SPU::R36
: return 36;
90 case SPU::R37
: return 37;
91 case SPU::R38
: return 38;
92 case SPU::R39
: return 39;
93 case SPU::R40
: return 40;
94 case SPU::R41
: return 41;
95 case SPU::R42
: return 42;
96 case SPU::R43
: return 43;
97 case SPU::R44
: return 44;
98 case SPU::R45
: return 45;
99 case SPU::R46
: return 46;
100 case SPU::R47
: return 47;
101 case SPU::R48
: return 48;
102 case SPU::R49
: return 49;
103 case SPU::R50
: return 50;
104 case SPU::R51
: return 51;
105 case SPU::R52
: return 52;
106 case SPU::R53
: return 53;
107 case SPU::R54
: return 54;
108 case SPU::R55
: return 55;
109 case SPU::R56
: return 56;
110 case SPU::R57
: return 57;
111 case SPU::R58
: return 58;
112 case SPU::R59
: return 59;
113 case SPU::R60
: return 60;
114 case SPU::R61
: return 61;
115 case SPU::R62
: return 62;
116 case SPU::R63
: return 63;
117 case SPU::R64
: return 64;
118 case SPU::R65
: return 65;
119 case SPU::R66
: return 66;
120 case SPU::R67
: return 67;
121 case SPU::R68
: return 68;
122 case SPU::R69
: return 69;
123 case SPU::R70
: return 70;
124 case SPU::R71
: return 71;
125 case SPU::R72
: return 72;
126 case SPU::R73
: return 73;
127 case SPU::R74
: return 74;
128 case SPU::R75
: return 75;
129 case SPU::R76
: return 76;
130 case SPU::R77
: return 77;
131 case SPU::R78
: return 78;
132 case SPU::R79
: return 79;
133 case SPU::R80
: return 80;
134 case SPU::R81
: return 81;
135 case SPU::R82
: return 82;
136 case SPU::R83
: return 83;
137 case SPU::R84
: return 84;
138 case SPU::R85
: return 85;
139 case SPU::R86
: return 86;
140 case SPU::R87
: return 87;
141 case SPU::R88
: return 88;
142 case SPU::R89
: return 89;
143 case SPU::R90
: return 90;
144 case SPU::R91
: return 91;
145 case SPU::R92
: return 92;
146 case SPU::R93
: return 93;
147 case SPU::R94
: return 94;
148 case SPU::R95
: return 95;
149 case SPU::R96
: return 96;
150 case SPU::R97
: return 97;
151 case SPU::R98
: return 98;
152 case SPU::R99
: return 99;
153 case SPU::R100
: return 100;
154 case SPU::R101
: return 101;
155 case SPU::R102
: return 102;
156 case SPU::R103
: return 103;
157 case SPU::R104
: return 104;
158 case SPU::R105
: return 105;
159 case SPU::R106
: return 106;
160 case SPU::R107
: return 107;
161 case SPU::R108
: return 108;
162 case SPU::R109
: return 109;
163 case SPU::R110
: return 110;
164 case SPU::R111
: return 111;
165 case SPU::R112
: return 112;
166 case SPU::R113
: return 113;
167 case SPU::R114
: return 114;
168 case SPU::R115
: return 115;
169 case SPU::R116
: return 116;
170 case SPU::R117
: return 117;
171 case SPU::R118
: return 118;
172 case SPU::R119
: return 119;
173 case SPU::R120
: return 120;
174 case SPU::R121
: return 121;
175 case SPU::R122
: return 122;
176 case SPU::R123
: return 123;
177 case SPU::R124
: return 124;
178 case SPU::R125
: return 125;
179 case SPU::R126
: return 126;
180 case SPU::R127
: return 127;
182 report_fatal_error("Unhandled reg in SPURegisterInfo::getRegisterNumbering");
186 SPURegisterInfo::SPURegisterInfo(const SPUSubtarget
&subtarget
,
187 const TargetInstrInfo
&tii
) :
188 SPUGenRegisterInfo(SPU::ADJCALLSTACKDOWN
, SPU::ADJCALLSTACKUP
),
189 Subtarget(subtarget
),
194 /// getPointerRegClass - Return the register class to use to hold pointers.
195 /// This is used for addressing modes.
196 const TargetRegisterClass
*
197 SPURegisterInfo::getPointerRegClass(unsigned Kind
) const {
198 return &SPU::R32CRegClass
;
202 SPURegisterInfo::getCalleeSavedRegs(const MachineFunction
*MF
) const
204 // Cell ABI calling convention
205 static const unsigned SPU_CalleeSaveRegs
[] = {
206 SPU::R80
, SPU::R81
, SPU::R82
, SPU::R83
,
207 SPU::R84
, SPU::R85
, SPU::R86
, SPU::R87
,
208 SPU::R88
, SPU::R89
, SPU::R90
, SPU::R91
,
209 SPU::R92
, SPU::R93
, SPU::R94
, SPU::R95
,
210 SPU::R96
, SPU::R97
, SPU::R98
, SPU::R99
,
211 SPU::R100
, SPU::R101
, SPU::R102
, SPU::R103
,
212 SPU::R104
, SPU::R105
, SPU::R106
, SPU::R107
,
213 SPU::R108
, SPU::R109
, SPU::R110
, SPU::R111
,
214 SPU::R112
, SPU::R113
, SPU::R114
, SPU::R115
,
215 SPU::R116
, SPU::R117
, SPU::R118
, SPU::R119
,
216 SPU::R120
, SPU::R121
, SPU::R122
, SPU::R123
,
217 SPU::R124
, SPU::R125
, SPU::R126
, SPU::R127
,
218 SPU::R2
, /* environment pointer */
219 SPU::R1
, /* stack pointer */
220 SPU::R0
, /* link register */
224 return SPU_CalleeSaveRegs
;
228 R0 (link register), R1 (stack pointer) and R2 (environment pointer -- this is
229 generally unused) are the Cell's reserved registers
231 BitVector
SPURegisterInfo::getReservedRegs(const MachineFunction
&MF
) const {
232 BitVector
Reserved(getNumRegs());
233 Reserved
.set(SPU::R0
); // LR
234 Reserved
.set(SPU::R1
); // SP
235 Reserved
.set(SPU::R2
); // environment pointer
239 //===----------------------------------------------------------------------===//
240 // Stack Frame Processing methods
241 //===----------------------------------------------------------------------===//
243 //--------------------------------------------------------------------------
245 SPURegisterInfo::eliminateCallFramePseudoInstr(MachineFunction
&MF
,
246 MachineBasicBlock
&MBB
,
247 MachineBasicBlock::iterator I
)
250 // Simply discard ADJCALLSTACKDOWN, ADJCALLSTACKUP instructions.
255 SPURegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II
, int SPAdj
,
256 RegScavenger
*RS
) const
259 MachineInstr
&MI
= *II
;
260 MachineBasicBlock
&MBB
= *MI
.getParent();
261 MachineFunction
&MF
= *MBB
.getParent();
262 MachineFrameInfo
*MFI
= MF
.getFrameInfo();
263 DebugLoc dl
= II
->getDebugLoc();
265 while (!MI
.getOperand(i
).isFI()) {
267 assert(i
< MI
.getNumOperands() && "Instr doesn't have FrameIndex operand!");
270 MachineOperand
&SPOp
= MI
.getOperand(i
);
271 int FrameIndex
= SPOp
.getIndex();
273 // Now add the frame object offset to the offset from r1.
274 int Offset
= MFI
->getObjectOffset(FrameIndex
);
276 // Most instructions, except for generated FrameIndex additions using AIr32
277 // and ILAr32, have the immediate in operand 1. AIr32 and ILAr32 have the
278 // immediate in operand 2.
280 if (MI
.getOpcode() == SPU::AIr32
|| MI
.getOpcode() == SPU::ILAr32
)
283 MachineOperand
&MO
= MI
.getOperand(OpNo
);
285 // Offset is biased by $lr's slot at the bottom.
286 Offset
+= MO
.getImm() + MFI
->getStackSize() + SPUFrameLowering::minStackSize();
287 assert((Offset
& 0xf) == 0
288 && "16-byte alignment violated in eliminateFrameIndex");
290 // Replace the FrameIndex with base register with $sp (aka $r1)
291 SPOp
.ChangeToRegister(SPU::R1
, false);
293 // if 'Offset' doesn't fit to the D-form instruction's
294 // immediate, convert the instruction to X-form
295 // if the instruction is not an AI (which takes a s10 immediate), assume
296 // it is a load/store that can take a s14 immediate
297 if ((MI
.getOpcode() == SPU::AIr32
&& !isInt
<10>(Offset
))
298 || !isInt
<14>(Offset
)) {
299 int newOpcode
= convertDFormToXForm(MI
.getOpcode());
300 unsigned tmpReg
= findScratchRegister(II
, RS
, &SPU::R32CRegClass
, SPAdj
);
301 BuildMI(MBB
, II
, dl
, TII
.get(SPU::ILr32
), tmpReg
)
303 BuildMI(MBB
, II
, dl
, TII
.get(newOpcode
), MI
.getOperand(0).getReg())
304 .addReg(tmpReg
, RegState::Kill
)
306 // remove the replaced D-form instruction
309 MO
.ChangeToImmediate(Offset
);
314 SPURegisterInfo::getRARegister() const
320 SPURegisterInfo::getFrameRegister(const MachineFunction
&MF
) const
326 SPURegisterInfo::getDwarfRegNum(unsigned RegNum
, bool isEH
) const {
327 // FIXME: Most probably dwarf numbers differs for Linux and Darwin
328 return SPUGenRegisterInfo::getDwarfRegNumFull(RegNum
, 0);
332 SPURegisterInfo::convertDFormToXForm(int dFormOpcode
) const
336 case SPU::AIr32
: return SPU::Ar32
;
337 case SPU::LQDr32
: return SPU::LQXr32
;
338 case SPU::LQDr128
: return SPU::LQXr128
;
339 case SPU::LQDv16i8
: return SPU::LQXv16i8
;
340 case SPU::LQDv4i32
: return SPU::LQXv4i32
;
341 case SPU::LQDv4f32
: return SPU::LQXv4f32
;
342 case SPU::STQDr32
: return SPU::STQXr32
;
343 case SPU::STQDr128
: return SPU::STQXr128
;
344 case SPU::STQDv16i8
: return SPU::STQXv16i8
;
345 case SPU::STQDv4i32
: return SPU::STQXv4i32
;
346 case SPU::STQDv4f32
: return SPU::STQXv4f32
;
348 default: assert( false && "Unhandled D to X-form conversion");
350 // default will assert, but need to return something to keep the
355 // TODO this is already copied from PPC. Could this convenience function
356 // be moved to the RegScavenger class?
358 SPURegisterInfo::findScratchRegister(MachineBasicBlock::iterator II
,
360 const TargetRegisterClass
*RC
,
363 assert(RS
&& "Register scavenging must be on");
364 unsigned Reg
= RS
->FindUnusedReg(RC
);
366 Reg
= RS
->scavengeRegister(RC
, II
, SPAdj
);
367 assert( Reg
&& "Register scavenger failed");
371 #include "SPUGenRegisterInfo.inc"