Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / lib / Target / Sparc / SparcRegisterInfo.td
blobd5ba7464695c5f929ba1861e1f02df45a85142f5
1 //===-- SparcRegisterInfo.td - Sparc Register defs ---------*- tablegen -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
9 //===----------------------------------------------------------------------===//
10 //  Declarations that describe the Sparc register file
11 //===----------------------------------------------------------------------===//
13 class SparcReg<bits<16> Enc, string n> : Register<n> {
14   let HWEncoding = Enc;
15   let Namespace = "SP";
18 class SparcCtrlReg<bits<16> Enc, string n,
19                    list<string> altNames = []>: Register<n, altNames> {
20   let HWEncoding = Enc;
21   let Namespace = "SP";
24 let Namespace = "SP" in {
25 def sub_even : SubRegIndex<32>;
26 def sub_odd  : SubRegIndex<32, 32>;
27 def sub_even64 : SubRegIndex<64>;
28 def sub_odd64  : SubRegIndex<64, 64>;
31 let Namespace = "SP",
32     FallbackRegAltNameIndex = NoRegAltName in {
33   def RegNamesStateReg : RegAltNameIndex;
36 // Registers are identified with 5-bit ID numbers.
37 // Ri - 32-bit integer registers
38 class Ri<bits<16> Enc, string n> : SparcReg<Enc, n>;
40 // Rdi - pairs of 32-bit integer registers
41 class Rdi<bits<16> Enc, string n, list<Register> subregs> : SparcReg<Enc, n> {
42   let SubRegs = subregs;
43   let SubRegIndices = [sub_even, sub_odd];
44   let CoveredBySubRegs = 1;
46 // Rf - 32-bit floating-point registers
47 class Rf<bits<16> Enc, string n> : SparcReg<Enc, n>;
49 // Rd - Slots in the FP register file for 64-bit floating-point values.
50 class Rd<bits<16> Enc, string n, list<Register> subregs> : SparcReg<Enc, n> {
51   let SubRegs = subregs;
52   let SubRegIndices = [sub_even, sub_odd];
53   let CoveredBySubRegs = 1;
56 // Rq - Slots in the FP register file for 128-bit floating-point values.
57 class Rq<bits<16> Enc, string n, list<Register> subregs> : SparcReg<Enc, n> {
58   let SubRegs = subregs;
59   let SubRegIndices = [sub_even64, sub_odd64];
60   let CoveredBySubRegs = 1;
63 // Control Registers
64 def ICC : SparcCtrlReg<0, "icc">; // This represents icc and xcc in 64-bit code.
65 foreach I = 0-3 in
66   def FCC#I : SparcCtrlReg<I, "fcc"#I>;
68 def FSR  : SparcCtrlReg<0, "fsr">; // Floating-point state register.
69 def FQ   : SparcCtrlReg<0, "fq">;  // Floating-point deferred-trap queue.
70 def CPSR : SparcCtrlReg<0, "csr">; // Co-processor state register.
71 def CPQ  : SparcCtrlReg<0, "cq">;  // Co-processor queue.
73 // Y register
74 def Y : SparcCtrlReg<0, "y">, DwarfRegNum<[64]>;
75 // Ancillary state registers (implementation defined)
76 def ASR1 : SparcCtrlReg<1, "asr1">;
77 let RegAltNameIndices = [RegNamesStateReg] in {
78 // FIXME: Currently this results in the assembler accepting
79 // the alternate names (%ccr, %asi, etc.) when targeting V8.
80 // Make sure that the alternate names are available for V9 only:
81 // %asr2-asr6      : valid on both V8 and V9.
82 // %ccr, %asi, etc.: valid on V9, returns "no such register" error on V8.
83 def ASR2 : SparcCtrlReg<2, "asr2", ["ccr"]>;
84 def ASR3 : SparcCtrlReg<3, "asr3", ["asi"]>;
85 def ASR4 : SparcCtrlReg<4, "asr4", ["tick"]>;
86 def ASR5 : SparcCtrlReg<5, "asr5", ["pc"]>;
87 def ASR6 : SparcCtrlReg<6, "asr6", ["fprs"]>;
89 def ASR7  : SparcCtrlReg< 7, "asr7">;
90 def ASR8  : SparcCtrlReg< 8, "asr8">;
91 def ASR9  : SparcCtrlReg< 9, "asr9">;
92 def ASR10 : SparcCtrlReg<10, "asr10">;
93 def ASR11 : SparcCtrlReg<11, "asr11">;
94 def ASR12 : SparcCtrlReg<12, "asr12">;
95 def ASR13 : SparcCtrlReg<13, "asr13">;
96 def ASR14 : SparcCtrlReg<14, "asr14">;
97 def ASR15 : SparcCtrlReg<15, "asr15">;
98 def ASR16 : SparcCtrlReg<16, "asr16">;
99 def ASR17 : SparcCtrlReg<17, "asr17">;
100 def ASR18 : SparcCtrlReg<18, "asr18">;
101 def ASR19 : SparcCtrlReg<19, "asr19">;
102 def ASR20 : SparcCtrlReg<20, "asr20">;
103 def ASR21 : SparcCtrlReg<21, "asr21">;
104 def ASR22 : SparcCtrlReg<22, "asr22">;
105 def ASR23 : SparcCtrlReg<23, "asr23">;
106 def ASR24 : SparcCtrlReg<24, "asr24">;
107 def ASR25 : SparcCtrlReg<25, "asr25">;
108 def ASR26 : SparcCtrlReg<26, "asr26">;
109 def ASR27 : SparcCtrlReg<27, "asr27">;
110 def ASR28 : SparcCtrlReg<28, "asr28">;
111 def ASR29 : SparcCtrlReg<29, "asr29">;
112 def ASR30 : SparcCtrlReg<30, "asr30">;
113 def ASR31 : SparcCtrlReg<31, "asr31">;
115 // Note that PSR, WIM, and TBR don't exist on the SparcV9, only the V8.
116 def PSR : SparcCtrlReg<0, "psr">;
117 def WIM : SparcCtrlReg<0, "wim">;
118 def TBR : SparcCtrlReg<0, "tbr">;
120 // Privileged V9 state registers
121 def TPC        : SparcCtrlReg< 0, "tpc">;
122 def TNPC       : SparcCtrlReg< 1, "tnpc">;
123 def TSTATE     : SparcCtrlReg< 2, "tstate">;
124 def TT         : SparcCtrlReg< 3, "tt">;
125 def TICK       : SparcCtrlReg< 4, "tick">;
126 def TBA        : SparcCtrlReg< 5, "tba">;
127 def PSTATE     : SparcCtrlReg< 6, "pstate">;
128 def TL         : SparcCtrlReg< 7, "tl">;
129 def PIL        : SparcCtrlReg< 8, "pil">;
130 def CWP        : SparcCtrlReg< 9, "cwp">;
131 def CANSAVE    : SparcCtrlReg<10, "cansave">;
132 def CANRESTORE : SparcCtrlReg<11, "canrestore">;
133 def CLEANWIN   : SparcCtrlReg<12, "cleanwin">;
134 def OTHERWIN   : SparcCtrlReg<13, "otherwin">;
135 def WSTATE     : SparcCtrlReg<14, "wstate">;
136 def GL         : SparcCtrlReg<16, "gl">;
137 def VER        : SparcCtrlReg<31, "ver">;
139 // Integer registers
140 def G0 : Ri< 0, "g0">, DwarfRegNum<[0]> {
141   let isConstant = true;
143 def G1 : Ri< 1, "g1">, DwarfRegNum<[1]>;
144 def G2 : Ri< 2, "g2">, DwarfRegNum<[2]>;
145 def G3 : Ri< 3, "g3">, DwarfRegNum<[3]>;
146 def G4 : Ri< 4, "g4">, DwarfRegNum<[4]>;
147 def G5 : Ri< 5, "g5">, DwarfRegNum<[5]>;
148 def G6 : Ri< 6, "g6">, DwarfRegNum<[6]>;
149 def G7 : Ri< 7, "g7">, DwarfRegNum<[7]>;
150 def O0 : Ri< 8, "o0">, DwarfRegNum<[8]>;
151 def O1 : Ri< 9, "o1">, DwarfRegNum<[9]>;
152 def O2 : Ri<10, "o2">, DwarfRegNum<[10]>;
153 def O3 : Ri<11, "o3">, DwarfRegNum<[11]>;
154 def O4 : Ri<12, "o4">, DwarfRegNum<[12]>;
155 def O5 : Ri<13, "o5">, DwarfRegNum<[13]>;
156 def O6 : Ri<14, "sp">, DwarfRegNum<[14]>;
157 def O7 : Ri<15, "o7">, DwarfRegNum<[15]>;
158 def L0 : Ri<16, "l0">, DwarfRegNum<[16]>;
159 def L1 : Ri<17, "l1">, DwarfRegNum<[17]>;
160 def L2 : Ri<18, "l2">, DwarfRegNum<[18]>;
161 def L3 : Ri<19, "l3">, DwarfRegNum<[19]>;
162 def L4 : Ri<20, "l4">, DwarfRegNum<[20]>;
163 def L5 : Ri<21, "l5">, DwarfRegNum<[21]>;
164 def L6 : Ri<22, "l6">, DwarfRegNum<[22]>;
165 def L7 : Ri<23, "l7">, DwarfRegNum<[23]>;
166 def I0 : Ri<24, "i0">, DwarfRegNum<[24]>;
167 def I1 : Ri<25, "i1">, DwarfRegNum<[25]>;
168 def I2 : Ri<26, "i2">, DwarfRegNum<[26]>;
169 def I3 : Ri<27, "i3">, DwarfRegNum<[27]>;
170 def I4 : Ri<28, "i4">, DwarfRegNum<[28]>;
171 def I5 : Ri<29, "i5">, DwarfRegNum<[29]>;
172 def I6 : Ri<30, "fp">, DwarfRegNum<[30]>;
173 def I7 : Ri<31, "i7">, DwarfRegNum<[31]>;
175 // Floating-point registers
176 def F0  : Rf< 0, "f0">,  DwarfRegNum<[32]>;
177 def F1  : Rf< 1, "f1">,  DwarfRegNum<[33]>;
178 def F2  : Rf< 2, "f2">,  DwarfRegNum<[34]>;
179 def F3  : Rf< 3, "f3">,  DwarfRegNum<[35]>;
180 def F4  : Rf< 4, "f4">,  DwarfRegNum<[36]>;
181 def F5  : Rf< 5, "f5">,  DwarfRegNum<[37]>;
182 def F6  : Rf< 6, "f6">,  DwarfRegNum<[38]>;
183 def F7  : Rf< 7, "f7">,  DwarfRegNum<[39]>;
184 def F8  : Rf< 8, "f8">,  DwarfRegNum<[40]>;
185 def F9  : Rf< 9, "f9">,  DwarfRegNum<[41]>;
186 def F10 : Rf<10, "f10">, DwarfRegNum<[42]>;
187 def F11 : Rf<11, "f11">, DwarfRegNum<[43]>;
188 def F12 : Rf<12, "f12">, DwarfRegNum<[44]>;
189 def F13 : Rf<13, "f13">, DwarfRegNum<[45]>;
190 def F14 : Rf<14, "f14">, DwarfRegNum<[46]>;
191 def F15 : Rf<15, "f15">, DwarfRegNum<[47]>;
192 def F16 : Rf<16, "f16">, DwarfRegNum<[48]>;
193 def F17 : Rf<17, "f17">, DwarfRegNum<[49]>;
194 def F18 : Rf<18, "f18">, DwarfRegNum<[50]>;
195 def F19 : Rf<19, "f19">, DwarfRegNum<[51]>;
196 def F20 : Rf<20, "f20">, DwarfRegNum<[52]>;
197 def F21 : Rf<21, "f21">, DwarfRegNum<[53]>;
198 def F22 : Rf<22, "f22">, DwarfRegNum<[54]>;
199 def F23 : Rf<23, "f23">, DwarfRegNum<[55]>;
200 def F24 : Rf<24, "f24">, DwarfRegNum<[56]>;
201 def F25 : Rf<25, "f25">, DwarfRegNum<[57]>;
202 def F26 : Rf<26, "f26">, DwarfRegNum<[58]>;
203 def F27 : Rf<27, "f27">, DwarfRegNum<[59]>;
204 def F28 : Rf<28, "f28">, DwarfRegNum<[60]>;
205 def F29 : Rf<29, "f29">, DwarfRegNum<[61]>;
206 def F30 : Rf<30, "f30">, DwarfRegNum<[62]>;
207 def F31 : Rf<31, "f31">, DwarfRegNum<[63]>;
209 // Aliases of the F* registers used to hold 64-bit fp values (doubles)
210 def D0  : Rd< 0, "f0",  [F0,   F1]>, DwarfRegNum<[72]>;
211 def D1  : Rd< 2, "f2",  [F2,   F3]>, DwarfRegNum<[73]>;
212 def D2  : Rd< 4, "f4",  [F4,   F5]>, DwarfRegNum<[74]>;
213 def D3  : Rd< 6, "f6",  [F6,   F7]>, DwarfRegNum<[75]>;
214 def D4  : Rd< 8, "f8",  [F8,   F9]>, DwarfRegNum<[76]>;
215 def D5  : Rd<10, "f10", [F10, F11]>, DwarfRegNum<[77]>;
216 def D6  : Rd<12, "f12", [F12, F13]>, DwarfRegNum<[78]>;
217 def D7  : Rd<14, "f14", [F14, F15]>, DwarfRegNum<[79]>;
218 def D8  : Rd<16, "f16", [F16, F17]>, DwarfRegNum<[80]>;
219 def D9  : Rd<18, "f18", [F18, F19]>, DwarfRegNum<[81]>;
220 def D10 : Rd<20, "f20", [F20, F21]>, DwarfRegNum<[82]>;
221 def D11 : Rd<22, "f22", [F22, F23]>, DwarfRegNum<[83]>;
222 def D12 : Rd<24, "f24", [F24, F25]>, DwarfRegNum<[84]>;
223 def D13 : Rd<26, "f26", [F26, F27]>, DwarfRegNum<[85]>;
224 def D14 : Rd<28, "f28", [F28, F29]>, DwarfRegNum<[86]>;
225 def D15 : Rd<30, "f30", [F30, F31]>, DwarfRegNum<[87]>;
227 // Co-processor registers
228 def C0  : Ri< 0, "c0">;
229 def C1  : Ri< 1, "c1">;
230 def C2  : Ri< 2, "c2">;
231 def C3  : Ri< 3, "c3">;
232 def C4  : Ri< 4, "c4">;
233 def C5  : Ri< 5, "c5">;
234 def C6  : Ri< 6, "c6">;
235 def C7  : Ri< 7, "c7">;
236 def C8  : Ri< 8, "c8">;
237 def C9  : Ri< 9, "c9">;
238 def C10 : Ri<10, "c10">;
239 def C11 : Ri<11, "c11">;
240 def C12 : Ri<12, "c12">;
241 def C13 : Ri<13, "c13">;
242 def C14 : Ri<14, "c14">;
243 def C15 : Ri<15, "c15">;
244 def C16 : Ri<16, "c16">;
245 def C17 : Ri<17, "c17">;
246 def C18 : Ri<18, "c18">;
247 def C19 : Ri<19, "c19">;
248 def C20 : Ri<20, "c20">;
249 def C21 : Ri<21, "c21">;
250 def C22 : Ri<22, "c22">;
251 def C23 : Ri<23, "c23">;
252 def C24 : Ri<24, "c24">;
253 def C25 : Ri<25, "c25">;
254 def C26 : Ri<26, "c26">;
255 def C27 : Ri<27, "c27">;
256 def C28 : Ri<28, "c28">;
257 def C29 : Ri<29, "c29">;
258 def C30 : Ri<30, "c30">;
259 def C31 : Ri<31, "c31">;
261 // Unaliased double precision floating point registers.
262 // FIXME: Define DwarfRegNum for these registers.
263 def D16 : SparcReg< 1, "f32">;
264 def D17 : SparcReg< 3, "f34">;
265 def D18 : SparcReg< 5, "f36">;
266 def D19 : SparcReg< 7, "f38">;
267 def D20 : SparcReg< 9, "f40">;
268 def D21 : SparcReg<11, "f42">;
269 def D22 : SparcReg<13, "f44">;
270 def D23 : SparcReg<15, "f46">;
271 def D24 : SparcReg<17, "f48">;
272 def D25 : SparcReg<19, "f50">;
273 def D26 : SparcReg<21, "f52">;
274 def D27 : SparcReg<23, "f54">;
275 def D28 : SparcReg<25, "f56">;
276 def D29 : SparcReg<27, "f58">;
277 def D30 : SparcReg<29, "f60">;
278 def D31 : SparcReg<31, "f62">;
280 // Aliases of the F* registers used to hold 128-bit for values (long doubles).
281 def Q0  : Rq< 0, "f0",  [D0,  D1]>;
282 def Q1  : Rq< 4, "f4",  [D2,  D3]>;
283 def Q2  : Rq< 8, "f8",  [D4,  D5]>;
284 def Q3  : Rq<12, "f12", [D6,  D7]>;
285 def Q4  : Rq<16, "f16", [D8,  D9]>;
286 def Q5  : Rq<20, "f20", [D10, D11]>;
287 def Q6  : Rq<24, "f24", [D12, D13]>;
288 def Q7  : Rq<28, "f28", [D14, D15]>;
289 def Q8  : Rq< 1, "f32", [D16, D17]>;
290 def Q9  : Rq< 5, "f36", [D18, D19]>;
291 def Q10 : Rq< 9, "f40", [D20, D21]>;
292 def Q11 : Rq<13, "f44", [D22, D23]>;
293 def Q12 : Rq<17, "f48", [D24, D25]>;
294 def Q13 : Rq<21, "f52", [D26, D27]>;
295 def Q14 : Rq<25, "f56", [D28, D29]>;
296 def Q15 : Rq<29, "f60", [D30, D31]>;
298 // Aliases of the integer registers used for LDD/STD double-word operations
299 def G0_G1 : Rdi< 0, "g0", [G0, G1]>;
300 def G2_G3 : Rdi< 2, "g2", [G2, G3]>;
301 def G4_G5 : Rdi< 4, "g4", [G4, G5]>;
302 def G6_G7 : Rdi< 6, "g6", [G6, G7]>;
303 def O0_O1 : Rdi< 8, "o0", [O0, O1]>;
304 def O2_O3 : Rdi<10, "o2", [O2, O3]>;
305 def O4_O5 : Rdi<12, "o4", [O4, O5]>;
306 def O6_O7 : Rdi<14, "o6", [O6, O7]>;
307 def L0_L1 : Rdi<16, "l0", [L0, L1]>;
308 def L2_L3 : Rdi<18, "l2", [L2, L3]>;
309 def L4_L5 : Rdi<20, "l4", [L4, L5]>;
310 def L6_L7 : Rdi<22, "l6", [L6, L7]>;
311 def I0_I1 : Rdi<24, "i0", [I0, I1]>;
312 def I2_I3 : Rdi<26, "i2", [I2, I3]>;
313 def I4_I5 : Rdi<28, "i4", [I4, I5]>;
314 def I6_I7 : Rdi<30, "i6", [I6, I7]>;
316 // Aliases of the co-processor registers used for LDD/STD double-word operations
317 def C0_C1   : Rdi< 0, "c0",  [C0,  C1]>;
318 def C2_C3   : Rdi< 2, "c2",  [C2,  C3]>;
319 def C4_C5   : Rdi< 4, "c4",  [C4,  C5]>;
320 def C6_C7   : Rdi< 6, "c6",  [C6,  C7]>;
321 def C8_C9   : Rdi< 8, "c8",  [C8,  C9]>;
322 def C10_C11 : Rdi<10, "c10", [C10, C11]>;
323 def C12_C13 : Rdi<12, "c12", [C12, C13]>;
324 def C14_C15 : Rdi<14, "c14", [C14, C15]>;
325 def C16_C17 : Rdi<16, "c16", [C16, C17]>;
326 def C18_C19 : Rdi<18, "c18", [C18, C19]>;
327 def C20_C21 : Rdi<20, "c20", [C20, C21]>;
328 def C22_C23 : Rdi<22, "c22", [C22, C23]>;
329 def C24_C25 : Rdi<24, "c24", [C24, C25]>;
330 def C26_C27 : Rdi<26, "c26", [C26, C27]>;
331 def C28_C29 : Rdi<28, "c28", [C28, C29]>;
332 def C30_C31 : Rdi<30, "c30", [C30, C31]>;
334 // Register classes.
336 // FIXME: the register order should be defined in terms of the preferred
337 // allocation order...
339 // This register class should not be used to hold i64 values, use the I64Regs
340 // register class for that. The i64 type is included here to allow i64 patterns
341 // using the integer instructions.
342 def IntRegs : RegisterClass<"SP", [i32, i64], 32,
343                             (add (sequence "I%u", 0, 7),
344                                  (sequence "G%u", 0, 7),
345                                  (sequence "L%u", 0, 7),
346                                  (sequence "O%u", 0, 7))>;
348 // Should be in the same order as IntRegs.
349 def IntPair : RegisterClass<"SP", [v2i32], 64,
350     (add I0_I1, I2_I3, I4_I5, I6_I7,
351          G0_G1, G2_G3, G4_G5, G6_G7,
352          L0_L1, L2_L3, L4_L5, L6_L7,
353          O0_O1, O2_O3, O4_O5, O6_O7)>;
355 // Register class for 64-bit mode, with a 64-bit spill slot size.
356 // These are the same as the 32-bit registers, so TableGen will consider this
357 // to be a sub-class of IntRegs. That works out because requiring a 64-bit
358 // spill slot is a stricter constraint than only requiring a 32-bit spill slot.
359 def I64Regs : RegisterClass<"SP", [i64], 64, (add IntRegs)>;
361 // Floating point register classes.
362 def FPRegs : RegisterClass<"SP", [f32], 32, (sequence "F%u", 0, 31)>;
363 def DFPRegs : RegisterClass<"SP", [f64], 64, (sequence "D%u", 0, 31)>;
364 def QFPRegs : RegisterClass<"SP", [f128], 128, (sequence "Q%u", 0, 15)>;
366 // The Low?FPRegs classes are used only for inline-asm constraints.
367 def LowDFPRegs : RegisterClass<"SP", [f64], 64, (sequence "D%u", 0, 15)>;
368 def LowQFPRegs : RegisterClass<"SP", [f128], 128, (sequence "Q%u", 0, 7)>;
370 // Floating point control register classes.
371 def FCCRegs : RegisterClass<"SP", [i1], 1, (sequence "FCC%u", 0, 3)>;
373 let isAllocatable = 0 in {
374   // Ancillary state registers
375   // FIXME: TICK is special-cased here as it can be accessed
376   // from the ASR (as ASR4) or the privileged register set.
377   // For now this is required for the parser to work.
378   def ASRRegs : RegisterClass<"SP", [i32], 32,
379                               (add Y, TICK, (sequence "ASR%u", 1, 31))>;
381   // This register class should not be used to hold i64 values.
382   def CoprocRegs : RegisterClass<"SP", [i32], 32,
383                                 (add (sequence "C%u", 0, 31))>;
385   // Should be in the same order as CoprocRegs.
386   def CoprocPair : RegisterClass<"SP", [v2i32], 64,
387     (add C0_C1,   C2_C3,   C4_C5,   C6_C7,
388          C8_C9,   C10_C11, C12_C13, C14_C15,
389          C16_C17, C18_C19, C20_C21, C22_C23,
390          C24_C25, C26_C27, C28_C29, C30_C31)>;
393 // Privileged Registers
394 def PRRegs : RegisterClass<"SP", [i64], 64,
395     (add TPC, TNPC, TSTATE, TT, TICK, TBA, PSTATE, TL, PIL, CWP,
396          CANSAVE, CANRESTORE, CLEANWIN, OTHERWIN, WSTATE, GL, VER)>;