MipsRegisterInfo.td revision fda56e54cd303894c8c6d4be7527d178d1a980cf
1//===-- MipsRegisterInfo.td - Mips Register defs -----------*- tablegen -*-===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10//===----------------------------------------------------------------------===//
11//  Declarations that describe the MIPS register file
12//===----------------------------------------------------------------------===//
13let Namespace = "Mips" in {
14def sub_fpeven : SubRegIndex;
15def sub_fpodd  : SubRegIndex;
16def sub_32     : SubRegIndex;
17def sub_lo     : SubRegIndex;
18def sub_hi     : SubRegIndex;
19}
20
21class Unallocatable {
22  bit isAllocatable = 0;
23}
24
25// We have banks of 32 registers each.
26class MipsReg<bits<16> Enc, string n> : Register<n> {
27  let HWEncoding = Enc;
28  let Namespace = "Mips";
29}
30
31class MipsRegWithSubRegs<bits<16> Enc, string n, list<Register> subregs>
32  : RegisterWithSubRegs<n, subregs> {
33  let HWEncoding = Enc;
34  let Namespace = "Mips";
35}
36
37// Mips CPU Registers
38class MipsGPRReg<bits<16> Enc, string n> : MipsReg<Enc, n>;
39
40// Mips 64-bit CPU Registers
41class Mips64GPRReg<bits<16> Enc, string n, list<Register> subregs>
42  : MipsRegWithSubRegs<Enc, n, subregs> {
43  let SubRegIndices = [sub_32];
44}
45
46// Mips 32-bit FPU Registers
47class FPR<bits<16> Enc, string n> : MipsReg<Enc, n>;
48
49// Mips 64-bit (aliased) FPU Registers
50class AFPR<bits<16> Enc, string n, list<Register> subregs>
51  : MipsRegWithSubRegs<Enc, n, subregs> {
52  let SubRegIndices = [sub_fpeven, sub_fpodd];
53  let CoveredBySubRegs = 1;
54}
55
56class AFPR64<bits<16> Enc, string n, list<Register> subregs>
57  : MipsRegWithSubRegs<Enc, n, subregs> {
58  let SubRegIndices = [sub_32];
59}
60
61// Accumulator Registers
62class ACC<bits<16> Enc, string n, list<Register> subregs>
63  : MipsRegWithSubRegs<Enc, n, subregs> {
64  let SubRegIndices = [sub_lo, sub_hi];
65  let CoveredBySubRegs = 1;
66}
67
68// Mips Hardware Registers
69class HWR<bits<16> Enc, string n> : MipsReg<Enc, n>;
70
71//===----------------------------------------------------------------------===//
72//  Registers
73//===----------------------------------------------------------------------===//
74
75let Namespace = "Mips" in {
76  // General Purpose Registers
77  def ZERO : MipsGPRReg< 0, "zero">, DwarfRegNum<[0]>;
78  def AT   : MipsGPRReg< 1, "1">,    DwarfRegNum<[1]>;
79  def V0   : MipsGPRReg< 2, "2">,    DwarfRegNum<[2]>;
80  def V1   : MipsGPRReg< 3, "3">,    DwarfRegNum<[3]>;
81  def A0   : MipsGPRReg< 4, "4">,    DwarfRegNum<[4]>;
82  def A1   : MipsGPRReg< 5, "5">,    DwarfRegNum<[5]>;
83  def A2   : MipsGPRReg< 6, "6">,    DwarfRegNum<[6]>;
84  def A3   : MipsGPRReg< 7, "7">,    DwarfRegNum<[7]>;
85  def T0   : MipsGPRReg< 8, "8">,    DwarfRegNum<[8]>;
86  def T1   : MipsGPRReg< 9, "9">,    DwarfRegNum<[9]>;
87  def T2   : MipsGPRReg< 10, "10">,  DwarfRegNum<[10]>;
88  def T3   : MipsGPRReg< 11, "11">,  DwarfRegNum<[11]>;
89  def T4   : MipsGPRReg< 12, "12">,  DwarfRegNum<[12]>;
90  def T5   : MipsGPRReg< 13, "13">,  DwarfRegNum<[13]>;
91  def T6   : MipsGPRReg< 14, "14">,  DwarfRegNum<[14]>;
92  def T7   : MipsGPRReg< 15, "15">,  DwarfRegNum<[15]>;
93  def S0   : MipsGPRReg< 16, "16">,  DwarfRegNum<[16]>;
94  def S1   : MipsGPRReg< 17, "17">,  DwarfRegNum<[17]>;
95  def S2   : MipsGPRReg< 18, "18">,  DwarfRegNum<[18]>;
96  def S3   : MipsGPRReg< 19, "19">,  DwarfRegNum<[19]>;
97  def S4   : MipsGPRReg< 20, "20">,  DwarfRegNum<[20]>;
98  def S5   : MipsGPRReg< 21, "21">,  DwarfRegNum<[21]>;
99  def S6   : MipsGPRReg< 22, "22">,  DwarfRegNum<[22]>;
100  def S7   : MipsGPRReg< 23, "23">,  DwarfRegNum<[23]>;
101  def T8   : MipsGPRReg< 24, "24">,  DwarfRegNum<[24]>;
102  def T9   : MipsGPRReg< 25, "25">,  DwarfRegNum<[25]>;
103  def K0   : MipsGPRReg< 26, "26">,  DwarfRegNum<[26]>;
104  def K1   : MipsGPRReg< 27, "27">,  DwarfRegNum<[27]>;
105  def GP   : MipsGPRReg< 28, "gp">,  DwarfRegNum<[28]>;
106  def SP   : MipsGPRReg< 29, "sp">,  DwarfRegNum<[29]>;
107  def FP   : MipsGPRReg< 30, "fp">,  DwarfRegNum<[30]>;
108  def RA   : MipsGPRReg< 31, "ra">,  DwarfRegNum<[31]>;
109
110  // General Purpose 64-bit Registers
111  def ZERO_64 : Mips64GPRReg< 0, "zero", [ZERO]>, DwarfRegNum<[0]>;
112  def AT_64   : Mips64GPRReg< 1, "1",    [AT]>, DwarfRegNum<[1]>;
113  def V0_64   : Mips64GPRReg< 2, "2",    [V0]>, DwarfRegNum<[2]>;
114  def V1_64   : Mips64GPRReg< 3, "3",    [V1]>, DwarfRegNum<[3]>;
115  def A0_64   : Mips64GPRReg< 4, "4",    [A0]>, DwarfRegNum<[4]>;
116  def A1_64   : Mips64GPRReg< 5, "5",    [A1]>, DwarfRegNum<[5]>;
117  def A2_64   : Mips64GPRReg< 6, "6",    [A2]>, DwarfRegNum<[6]>;
118  def A3_64   : Mips64GPRReg< 7, "7",    [A3]>, DwarfRegNum<[7]>;
119  def T0_64   : Mips64GPRReg< 8, "8",    [T0]>, DwarfRegNum<[8]>;
120  def T1_64   : Mips64GPRReg< 9, "9",    [T1]>, DwarfRegNum<[9]>;
121  def T2_64   : Mips64GPRReg< 10, "10",  [T2]>, DwarfRegNum<[10]>;
122  def T3_64   : Mips64GPRReg< 11, "11",  [T3]>, DwarfRegNum<[11]>;
123  def T4_64   : Mips64GPRReg< 12, "12",  [T4]>, DwarfRegNum<[12]>;
124  def T5_64   : Mips64GPRReg< 13, "13",  [T5]>, DwarfRegNum<[13]>;
125  def T6_64   : Mips64GPRReg< 14, "14",  [T6]>, DwarfRegNum<[14]>;
126  def T7_64   : Mips64GPRReg< 15, "15",  [T7]>, DwarfRegNum<[15]>;
127  def S0_64   : Mips64GPRReg< 16, "16",  [S0]>, DwarfRegNum<[16]>;
128  def S1_64   : Mips64GPRReg< 17, "17",  [S1]>, DwarfRegNum<[17]>;
129  def S2_64   : Mips64GPRReg< 18, "18",  [S2]>, DwarfRegNum<[18]>;
130  def S3_64   : Mips64GPRReg< 19, "19",  [S3]>, DwarfRegNum<[19]>;
131  def S4_64   : Mips64GPRReg< 20, "20",  [S4]>, DwarfRegNum<[20]>;
132  def S5_64   : Mips64GPRReg< 21, "21",  [S5]>, DwarfRegNum<[21]>;
133  def S6_64   : Mips64GPRReg< 22, "22",  [S6]>, DwarfRegNum<[22]>;
134  def S7_64   : Mips64GPRReg< 23, "23",  [S7]>, DwarfRegNum<[23]>;
135  def T8_64   : Mips64GPRReg< 24, "24",  [T8]>, DwarfRegNum<[24]>;
136  def T9_64   : Mips64GPRReg< 25, "25",  [T9]>, DwarfRegNum<[25]>;
137  def K0_64   : Mips64GPRReg< 26, "26",  [K0]>, DwarfRegNum<[26]>;
138  def K1_64   : Mips64GPRReg< 27, "27",  [K1]>, DwarfRegNum<[27]>;
139  def GP_64   : Mips64GPRReg< 28, "gp",  [GP]>, DwarfRegNum<[28]>;
140  def SP_64   : Mips64GPRReg< 29, "sp",  [SP]>, DwarfRegNum<[29]>;
141  def FP_64   : Mips64GPRReg< 30, "fp",  [FP]>, DwarfRegNum<[30]>;
142  def RA_64   : Mips64GPRReg< 31, "ra",  [RA]>, DwarfRegNum<[31]>;
143
144  /// Mips Single point precision FPU Registers
145  def F0  : FPR< 0,  "f0">, DwarfRegNum<[32]>;
146  def F1  : FPR< 1,  "f1">, DwarfRegNum<[33]>;
147  def F2  : FPR< 2,  "f2">, DwarfRegNum<[34]>;
148  def F3  : FPR< 3,  "f3">, DwarfRegNum<[35]>;
149  def F4  : FPR< 4,  "f4">, DwarfRegNum<[36]>;
150  def F5  : FPR< 5,  "f5">, DwarfRegNum<[37]>;
151  def F6  : FPR< 6,  "f6">, DwarfRegNum<[38]>;
152  def F7  : FPR< 7,  "f7">, DwarfRegNum<[39]>;
153  def F8  : FPR< 8,  "f8">, DwarfRegNum<[40]>;
154  def F9  : FPR< 9,  "f9">, DwarfRegNum<[41]>;
155  def F10 : FPR<10, "f10">, DwarfRegNum<[42]>;
156  def F11 : FPR<11, "f11">, DwarfRegNum<[43]>;
157  def F12 : FPR<12, "f12">, DwarfRegNum<[44]>;
158  def F13 : FPR<13, "f13">, DwarfRegNum<[45]>;
159  def F14 : FPR<14, "f14">, DwarfRegNum<[46]>;
160  def F15 : FPR<15, "f15">, DwarfRegNum<[47]>;
161  def F16 : FPR<16, "f16">, DwarfRegNum<[48]>;
162  def F17 : FPR<17, "f17">, DwarfRegNum<[49]>;
163  def F18 : FPR<18, "f18">, DwarfRegNum<[50]>;
164  def F19 : FPR<19, "f19">, DwarfRegNum<[51]>;
165  def F20 : FPR<20, "f20">, DwarfRegNum<[52]>;
166  def F21 : FPR<21, "f21">, DwarfRegNum<[53]>;
167  def F22 : FPR<22, "f22">, DwarfRegNum<[54]>;
168  def F23 : FPR<23, "f23">, DwarfRegNum<[55]>;
169  def F24 : FPR<24, "f24">, DwarfRegNum<[56]>;
170  def F25 : FPR<25, "f25">, DwarfRegNum<[57]>;
171  def F26 : FPR<26, "f26">, DwarfRegNum<[58]>;
172  def F27 : FPR<27, "f27">, DwarfRegNum<[59]>;
173  def F28 : FPR<28, "f28">, DwarfRegNum<[60]>;
174  def F29 : FPR<29, "f29">, DwarfRegNum<[61]>;
175  def F30 : FPR<30, "f30">, DwarfRegNum<[62]>;
176  def F31 : FPR<31, "f31">, DwarfRegNum<[63]>;
177
178  /// Mips Double point precision FPU Registers (aliased
179  /// with the single precision to hold 64 bit values)
180  def D0  : AFPR< 0,  "f0", [F0,   F1]>;
181  def D1  : AFPR< 2,  "f2", [F2,   F3]>;
182  def D2  : AFPR< 4,  "f4", [F4,   F5]>;
183  def D3  : AFPR< 6,  "f6", [F6,   F7]>;
184  def D4  : AFPR< 8,  "f8", [F8,   F9]>;
185  def D5  : AFPR<10, "f10", [F10, F11]>;
186  def D6  : AFPR<12, "f12", [F12, F13]>;
187  def D7  : AFPR<14, "f14", [F14, F15]>;
188  def D8  : AFPR<16, "f16", [F16, F17]>;
189  def D9  : AFPR<18, "f18", [F18, F19]>;
190  def D10 : AFPR<20, "f20", [F20, F21]>;
191  def D11 : AFPR<22, "f22", [F22, F23]>;
192  def D12 : AFPR<24, "f24", [F24, F25]>;
193  def D13 : AFPR<26, "f26", [F26, F27]>;
194  def D14 : AFPR<28, "f28", [F28, F29]>;
195  def D15 : AFPR<30, "f30", [F30, F31]>;
196
197  /// Mips Double point precision FPU Registers in MFP64 mode.
198  def D0_64  : AFPR64<0, "f0", [F0]>, DwarfRegNum<[32]>;
199  def D1_64  : AFPR64<1, "f1", [F1]>, DwarfRegNum<[33]>;
200  def D2_64  : AFPR64<2, "f2", [F2]>, DwarfRegNum<[34]>;
201  def D3_64  : AFPR64<3, "f3", [F3]>, DwarfRegNum<[35]>;
202  def D4_64  : AFPR64<4, "f4", [F4]>, DwarfRegNum<[36]>;
203  def D5_64  : AFPR64<5, "f5", [F5]>, DwarfRegNum<[37]>;
204  def D6_64  : AFPR64<6, "f6", [F6]>, DwarfRegNum<[38]>;
205  def D7_64  : AFPR64<7, "f7", [F7]>, DwarfRegNum<[39]>;
206  def D8_64  : AFPR64<8, "f8", [F8]>, DwarfRegNum<[40]>;
207  def D9_64  : AFPR64<9, "f9", [F9]>, DwarfRegNum<[41]>;
208  def D10_64  : AFPR64<10, "f10", [F10]>, DwarfRegNum<[42]>;
209  def D11_64  : AFPR64<11, "f11", [F11]>, DwarfRegNum<[43]>;
210  def D12_64  : AFPR64<12, "f12", [F12]>, DwarfRegNum<[44]>;
211  def D13_64  : AFPR64<13, "f13", [F13]>, DwarfRegNum<[45]>;
212  def D14_64  : AFPR64<14, "f14", [F14]>, DwarfRegNum<[46]>;
213  def D15_64  : AFPR64<15, "f15", [F15]>, DwarfRegNum<[47]>;
214  def D16_64  : AFPR64<16, "f16", [F16]>, DwarfRegNum<[48]>;
215  def D17_64  : AFPR64<17, "f17", [F17]>, DwarfRegNum<[49]>;
216  def D18_64  : AFPR64<18, "f18", [F18]>, DwarfRegNum<[50]>;
217  def D19_64  : AFPR64<19, "f19", [F19]>, DwarfRegNum<[51]>;
218  def D20_64  : AFPR64<20, "f20", [F20]>, DwarfRegNum<[52]>;
219  def D21_64  : AFPR64<21, "f21", [F21]>, DwarfRegNum<[53]>;
220  def D22_64  : AFPR64<22, "f22", [F22]>, DwarfRegNum<[54]>;
221  def D23_64  : AFPR64<23, "f23", [F23]>, DwarfRegNum<[55]>;
222  def D24_64  : AFPR64<24, "f24", [F24]>, DwarfRegNum<[56]>;
223  def D25_64  : AFPR64<25, "f25", [F25]>, DwarfRegNum<[57]>;
224  def D26_64  : AFPR64<26, "f26", [F26]>, DwarfRegNum<[58]>;
225  def D27_64  : AFPR64<27, "f27", [F27]>, DwarfRegNum<[59]>;
226  def D28_64  : AFPR64<28, "f28", [F28]>, DwarfRegNum<[60]>;
227  def D29_64  : AFPR64<29, "f29", [F29]>, DwarfRegNum<[61]>;
228  def D30_64  : AFPR64<30, "f30", [F30]>, DwarfRegNum<[62]>;
229  def D31_64  : AFPR64<31, "f31", [F31]>, DwarfRegNum<[63]>;
230
231  // Hi/Lo registers
232  def HI  : Register<"hi">, DwarfRegNum<[64]>;
233  def HI1 : Register<"hi1">, DwarfRegNum<[176]>;
234  def HI2 : Register<"hi2">, DwarfRegNum<[178]>;
235  def HI3 : Register<"hi3">, DwarfRegNum<[180]>;
236  def LO  : Register<"lo">, DwarfRegNum<[65]>;
237  def LO1 : Register<"lo1">, DwarfRegNum<[177]>;
238  def LO2 : Register<"lo2">, DwarfRegNum<[179]>;
239  def LO3 : Register<"lo3">, DwarfRegNum<[181]>;
240
241  let SubRegIndices = [sub_32] in {
242  def HI64  : RegisterWithSubRegs<"hi", [HI]>;
243  def LO64  : RegisterWithSubRegs<"lo", [LO]>;
244  }
245
246  // Status flags register
247  def FCR31 : Register<"31">;
248
249  // fcc0 register
250  def FCC0 : MipsReg<0, "fcc0">;
251
252  // PC register
253  def PC : Register<"pc">;
254
255  // Hardware register $29
256  def HWR29 : MipsReg<29, "29">;
257  def HWR29_64 : MipsReg<29, "29">;
258
259  // Accum registers
260  def AC0 : ACC<0, "ac0", [LO, HI]>;
261  def AC1 : ACC<1, "ac1", [LO1, HI1]>;
262  def AC2 : ACC<2, "ac2", [LO2, HI2]>;
263  def AC3 : ACC<3, "ac3", [LO3, HI3]>;
264
265  def AC0_64 : ACC<0, "ac0", [LO64, HI64]>;
266
267  def DSPCtrl : Register<"dspctrl">;
268}
269
270//===----------------------------------------------------------------------===//
271// Register Classes
272//===----------------------------------------------------------------------===//
273
274class CPURegsClass<list<ValueType> regTypes> :
275  RegisterClass<"Mips", regTypes, 32, (add
276  // Reserved
277  ZERO, AT,
278  // Return Values and Arguments
279  V0, V1, A0, A1, A2, A3,
280  // Not preserved across procedure calls
281  T0, T1, T2, T3, T4, T5, T6, T7,
282  // Callee save
283  S0, S1, S2, S3, S4, S5, S6, S7,
284  // Not preserved across procedure calls
285  T8, T9,
286  // Reserved
287  K0, K1, GP, SP, FP, RA)>;
288
289def CPURegs : CPURegsClass<[i32]>;
290def DSPRegs : CPURegsClass<[v4i8, v2i16]>;
291
292def CPU64Regs : RegisterClass<"Mips", [i64], 64, (add
293// Reserved
294  ZERO_64, AT_64,
295  // Return Values and Arguments
296  V0_64, V1_64, A0_64, A1_64, A2_64, A3_64,
297  // Not preserved across procedure calls
298  T0_64, T1_64, T2_64, T3_64, T4_64, T5_64, T6_64, T7_64,
299  // Callee save
300  S0_64, S1_64, S2_64, S3_64, S4_64, S5_64, S6_64, S7_64,
301  // Not preserved across procedure calls
302  T8_64, T9_64,
303  // Reserved
304  K0_64, K1_64, GP_64, SP_64, FP_64, RA_64)>;
305
306def CPU16Regs : RegisterClass<"Mips", [i32], 32, (add
307  // Return Values and Arguments
308  V0, V1, A0, A1, A2, A3,
309  // Callee save
310  S0, S1)>;
311
312def CPURAReg : RegisterClass<"Mips", [i32], 32, (add RA)>, Unallocatable;
313
314def CPUSPReg : RegisterClass<"Mips", [i32], 32, (add SP)>, Unallocatable;
315
316// 64bit fp:
317// * FGR64  - 32 64-bit registers
318// * AFGR64 - 16 32-bit even registers (32-bit FP Mode)
319//
320// 32bit fp:
321// * FGR32 - 16 32-bit even registers
322// * FGR32 - 32 32-bit registers (single float only mode)
323def FGR32 : RegisterClass<"Mips", [f32], 32, (sequence "F%u", 0, 31)>;
324
325def AFGR64 : RegisterClass<"Mips", [f64], 64, (add
326  // Return Values and Arguments
327  D0, D1,
328  // Not preserved across procedure calls
329  D2, D3, D4, D5,
330  // Return Values and Arguments
331  D6, D7,
332  // Not preserved across procedure calls
333  D8, D9,
334  // Callee save
335  D10, D11, D12, D13, D14, D15)>;
336
337def FGR64 : RegisterClass<"Mips", [f64], 64, (sequence "D%u_64", 0, 31)>;
338
339// Condition Register for floating point operations
340def CCR  : RegisterClass<"Mips", [i32], 32, (add FCR31,FCC0)>, Unallocatable;
341
342// Hi/Lo Registers
343def HILO : RegisterClass<"Mips", [i32], 32, (add HI, LO)>, Unallocatable;
344def HILO64 : RegisterClass<"Mips", [i64], 64, (add HI64, LO64)>, Unallocatable;
345
346// Hardware registers
347def HWRegs : RegisterClass<"Mips", [i32], 32, (add HWR29)>, Unallocatable;
348def HWRegs64 : RegisterClass<"Mips", [i64], 64, (add HWR29_64)>, Unallocatable;
349
350// Accumulator Registers
351def ACRegs : RegisterClass<"Mips", [untyped], 64, (add AC0)> {
352  let Size = 64;
353}
354
355def ACRegs128 : RegisterClass<"Mips", [untyped], 128, (add AC0_64)> {
356  let Size = 128;
357}
358
359def ACRegsDSP : RegisterClass<"Mips", [untyped], 64, (sequence "AC%u", 0, 3)> {
360  let Size = 64;
361}
362
363def CPURegsAsmOperand : AsmOperandClass {
364  let Name = "CPURegsAsm";
365  let ParserMethod = "parseCPURegs";
366}
367
368def CPU64RegsAsmOperand : AsmOperandClass {
369  let Name = "CPU64RegsAsm";
370  let ParserMethod = "parseCPU64Regs";
371}
372
373def CCRAsmOperand : AsmOperandClass {
374  let Name = "CCRAsm";
375  let ParserMethod = "parseCCRRegs";
376}
377
378def CPURegsOpnd : RegisterOperand<CPURegs, "printCPURegs"> {
379  let ParserMatchClass = CPURegsAsmOperand;
380}
381
382def CPU64RegsOpnd : RegisterOperand<CPU64Regs, "printCPURegs"> {
383  let ParserMatchClass = CPU64RegsAsmOperand;
384}
385
386def CCROpnd : RegisterOperand<CCR, "printCPURegs"> {
387  let ParserMatchClass = CCRAsmOperand;
388}
389
390def HWRegsAsmOperand : AsmOperandClass {
391  let Name = "HWRegsAsm";
392  let ParserMethod = "parseHWRegs";
393}
394
395def HW64RegsAsmOperand : AsmOperandClass {
396  let Name = "HW64RegsAsm";
397  let ParserMethod = "parseHW64Regs";
398}
399
400def HWRegsOpnd : RegisterOperand<HWRegs, "printCPURegs"> {
401  let ParserMatchClass = HWRegsAsmOperand;
402}
403
404def HW64RegsOpnd : RegisterOperand<HWRegs64, "printCPURegs"> {
405  let ParserMatchClass = HW64RegsAsmOperand;
406}
407