MipsRegisterInfo.td revision 199511
1//===- MipsRegisterInfo.td - Mips Register defs -----------------*- C++ -*-===//
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//===----------------------------------------------------------------------===//
13
14// We have banks of 32 registers each.
15class MipsReg<string n> : Register<n> {
16  field bits<5> Num;
17  let Namespace = "Mips";
18}
19
20class MipsRegWithSubRegs<string n, list<Register> subregs> 
21  : RegisterWithSubRegs<n, subregs> {
22  field bits<5> Num;
23  let Namespace = "Mips";
24}
25
26// Mips CPU Registers
27class MipsGPRReg<bits<5> num, string n> : MipsReg<n> {
28  let Num = num;
29}
30
31// Mips 32-bit FPU Registers
32class FPR<bits<5> num, string n> : MipsReg<n> {
33  let Num = num;
34}
35
36// Mips 64-bit (aliased) FPU Registers
37class AFPR<bits<5> num, string n, list<Register> subregs> 
38  : MipsRegWithSubRegs<n, subregs> {
39  let Num = num;
40}
41
42//===----------------------------------------------------------------------===//
43//  Registers
44//===----------------------------------------------------------------------===//
45
46let Namespace = "Mips" in {
47
48  // General Purpose Registers
49  def ZERO : MipsGPRReg< 0, "ZERO">, DwarfRegNum<[0]>;
50  def AT   : MipsGPRReg< 1, "AT">,   DwarfRegNum<[1]>;
51  def V0   : MipsGPRReg< 2, "2">,    DwarfRegNum<[2]>;
52  def V1   : MipsGPRReg< 3, "3">,    DwarfRegNum<[3]>;
53  def A0   : MipsGPRReg< 4, "4">,    DwarfRegNum<[5]>;
54  def A1   : MipsGPRReg< 5, "5">,    DwarfRegNum<[5]>;
55  def A2   : MipsGPRReg< 6, "6">,    DwarfRegNum<[6]>;
56  def A3   : MipsGPRReg< 7, "7">,    DwarfRegNum<[7]>;
57  def T0   : MipsGPRReg< 8, "8">,    DwarfRegNum<[8]>;
58  def T1   : MipsGPRReg< 9, "9">,    DwarfRegNum<[9]>;
59  def T2   : MipsGPRReg< 10, "10">,  DwarfRegNum<[10]>;
60  def T3   : MipsGPRReg< 11, "11">,  DwarfRegNum<[11]>;
61  def T4   : MipsGPRReg< 12, "12">,  DwarfRegNum<[12]>;
62  def T5   : MipsGPRReg< 13, "13">,  DwarfRegNum<[13]>;
63  def T6   : MipsGPRReg< 14, "14">,  DwarfRegNum<[14]>;
64  def T7   : MipsGPRReg< 15, "15">,  DwarfRegNum<[15]>;
65  def S0   : MipsGPRReg< 16, "16">,  DwarfRegNum<[16]>;
66  def S1   : MipsGPRReg< 17, "17">,  DwarfRegNum<[17]>;
67  def S2   : MipsGPRReg< 18, "18">,  DwarfRegNum<[18]>;
68  def S3   : MipsGPRReg< 19, "19">,  DwarfRegNum<[19]>;
69  def S4   : MipsGPRReg< 20, "20">,  DwarfRegNum<[20]>;
70  def S5   : MipsGPRReg< 21, "21">,  DwarfRegNum<[21]>;
71  def S6   : MipsGPRReg< 22, "22">,  DwarfRegNum<[22]>;
72  def S7   : MipsGPRReg< 23, "23">,  DwarfRegNum<[23]>;
73  def T8   : MipsGPRReg< 24, "24">,  DwarfRegNum<[24]>;
74  def T9   : MipsGPRReg< 25, "25">,  DwarfRegNum<[25]>;
75  def K0   : MipsGPRReg< 26, "26">,  DwarfRegNum<[26]>;
76  def K1   : MipsGPRReg< 27, "27">,  DwarfRegNum<[27]>;
77  def GP   : MipsGPRReg< 28, "GP">,  DwarfRegNum<[28]>;
78  def SP   : MipsGPRReg< 29, "SP">,  DwarfRegNum<[29]>;
79  def FP   : MipsGPRReg< 30, "FP">,  DwarfRegNum<[30]>;
80  def RA   : MipsGPRReg< 31, "RA">,  DwarfRegNum<[31]>;
81  
82  /// Mips Single point precision FPU Registers
83  def F0  : FPR< 0,  "F0">, DwarfRegNum<[32]>;
84  def F1  : FPR< 1,  "F1">, DwarfRegNum<[33]>;
85  def F2  : FPR< 2,  "F2">, DwarfRegNum<[34]>;
86  def F3  : FPR< 3,  "F3">, DwarfRegNum<[35]>;
87  def F4  : FPR< 4,  "F4">, DwarfRegNum<[36]>;
88  def F5  : FPR< 5,  "F5">, DwarfRegNum<[37]>;
89  def F6  : FPR< 6,  "F6">, DwarfRegNum<[38]>;
90  def F7  : FPR< 7,  "F7">, DwarfRegNum<[39]>;
91  def F8  : FPR< 8,  "F8">, DwarfRegNum<[40]>;
92  def F9  : FPR< 9,  "F9">, DwarfRegNum<[41]>;
93  def F10 : FPR<10, "F10">, DwarfRegNum<[42]>;
94  def F11 : FPR<11, "F11">, DwarfRegNum<[43]>;
95  def F12 : FPR<12, "F12">, DwarfRegNum<[44]>;
96  def F13 : FPR<13, "F13">, DwarfRegNum<[45]>;
97  def F14 : FPR<14, "F14">, DwarfRegNum<[46]>;
98  def F15 : FPR<15, "F15">, DwarfRegNum<[47]>;
99  def F16 : FPR<16, "F16">, DwarfRegNum<[48]>;
100  def F17 : FPR<17, "F17">, DwarfRegNum<[49]>;
101  def F18 : FPR<18, "F18">, DwarfRegNum<[50]>;
102  def F19 : FPR<19, "F19">, DwarfRegNum<[51]>;
103  def F20 : FPR<20, "F20">, DwarfRegNum<[52]>;
104  def F21 : FPR<21, "F21">, DwarfRegNum<[53]>;
105  def F22 : FPR<22, "F22">, DwarfRegNum<[54]>;
106  def F23 : FPR<23, "F23">, DwarfRegNum<[55]>;
107  def F24 : FPR<24, "F24">, DwarfRegNum<[56]>;
108  def F25 : FPR<25, "F25">, DwarfRegNum<[57]>;
109  def F26 : FPR<26, "F26">, DwarfRegNum<[58]>;
110  def F27 : FPR<27, "F27">, DwarfRegNum<[59]>;
111  def F28 : FPR<28, "F28">, DwarfRegNum<[60]>;
112  def F29 : FPR<29, "F29">, DwarfRegNum<[61]>;
113  def F30 : FPR<30, "F30">, DwarfRegNum<[62]>;
114  def F31 : FPR<31, "F31">, DwarfRegNum<[63]>;
115  
116  /// Mips Double point precision FPU Registers (aliased
117  /// with the single precision to hold 64 bit values)
118  def D0  : AFPR< 0,  "F0", [F0,   F1]>, DwarfRegNum<[32]>;
119  def D1  : AFPR< 2,  "F2", [F2,   F3]>, DwarfRegNum<[34]>;
120  def D2  : AFPR< 4,  "F4", [F4,   F5]>, DwarfRegNum<[36]>;
121  def D3  : AFPR< 6,  "F6", [F6,   F7]>, DwarfRegNum<[38]>;
122  def D4  : AFPR< 8,  "F8", [F8,   F9]>, DwarfRegNum<[40]>;
123  def D5  : AFPR<10, "F10", [F10, F11]>, DwarfRegNum<[42]>;
124  def D6  : AFPR<12, "F12", [F12, F13]>, DwarfRegNum<[44]>;
125  def D7  : AFPR<14, "F14", [F14, F15]>, DwarfRegNum<[46]>;
126  def D8  : AFPR<16, "F16", [F16, F17]>, DwarfRegNum<[48]>;
127  def D9  : AFPR<18, "F18", [F18, F19]>, DwarfRegNum<[50]>;
128  def D10 : AFPR<20, "F20", [F20, F21]>, DwarfRegNum<[52]>;
129  def D11 : AFPR<22, "F22", [F22, F23]>, DwarfRegNum<[54]>;
130  def D12 : AFPR<24, "F24", [F24, F25]>, DwarfRegNum<[56]>;
131  def D13 : AFPR<26, "F26", [F26, F27]>, DwarfRegNum<[58]>;
132  def D14 : AFPR<28, "F28", [F28, F29]>, DwarfRegNum<[60]>;
133  def D15 : AFPR<30, "F30", [F30, F31]>, DwarfRegNum<[62]>;
134
135  // Hi/Lo registers
136  def HI  : Register<"hi">, DwarfRegNum<[64]>;
137  def LO  : Register<"lo">, DwarfRegNum<[65]>;
138
139  // Status flags register
140  def FCR31 : Register<"31">;
141}
142
143//===----------------------------------------------------------------------===//
144// Subregister Set Definitions
145//===----------------------------------------------------------------------===//
146
147def mips_subreg_fpeven : PatLeaf<(i32 1)>;
148def mips_subreg_fpodd  : PatLeaf<(i32 2)>;
149
150def : SubRegSet<1, [D0, D1, D2, D3, D4, D5, D6, D7, 
151                    D8, D9, D10, D11, D12, D13, D14, D15],
152                   [F0, F2, F4, F6, F8, F10, F12, F14,
153                    F16, F18, F20, F22, F24, F26, F28, F30]>;
154
155def : SubRegSet<2, [D0, D1, D2, D3, D4, D5, D6, D7, 
156                    D8, D9, D10, D11, D12, D13, D14, D15],
157                   [F1, F3, F5, F7, F9, F11, F13, F15,
158                    F17, F19, F21, F23, F25, F27, F29, F31]>;
159
160//===----------------------------------------------------------------------===//
161// Register Classes
162//===----------------------------------------------------------------------===//
163
164def CPURegs : RegisterClass<"Mips", [i32], 32, 
165  // Return Values and Arguments
166  [V0, V1, A0, A1, A2, A3,
167  // Not preserved across procedure calls
168  T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, 
169  // Callee save
170  S0, S1, S2, S3, S4, S5, S6, S7,
171  // Reserved
172  ZERO, AT, K0, K1, GP, SP, FP, RA]>
173{
174  let MethodProtos = [{
175    iterator allocation_order_end(const MachineFunction &MF) const;
176  }];
177  let MethodBodies = [{
178    CPURegsClass::iterator
179    CPURegsClass::allocation_order_end(const MachineFunction &MF) const {
180      // The last 8 registers on the list above are reserved
181      return end()-8;
182    }
183  }];
184}
185
186// 64bit fp:
187// * FGR64  - 32 64-bit registers
188// * AFGR64 - 16 32-bit even registers (32-bit FP Mode) 
189//
190// 32bit fp:
191// * FGR32 - 16 32-bit even registers
192// * FGR32 - 32 32-bit registers (single float only mode)
193def FGR32 : RegisterClass<"Mips", [f32], 32, 
194  // Return Values and Arguments
195  [F0, F1, F2, F3, F12, F13, F14, F15,
196  // Not preserved across procedure calls
197  F4, F5, F6, F7, F8, F9, F10, F11, F16, F17, F18, F19, 
198  // Callee save
199  F20, F21, F22, F23, F24, F25, F26, F27, F28, F29, F30,
200  // Reserved
201  F31]>
202{
203  let MethodProtos = [{
204    iterator allocation_order_begin(const MachineFunction &MF) const;
205    iterator allocation_order_end(const MachineFunction &MF) const;
206  }];
207  let MethodBodies = [{
208
209    static const unsigned MIPS_FGR32[] = {
210      Mips::F0,  Mips::F1,  Mips::F2,  Mips::F3,  Mips::F12,  Mips::F13, 
211      Mips::F14, Mips::F15, Mips::F4,  Mips::F5,  Mips::F6,   Mips::F7, 
212      Mips::F8,  Mips::F9,  Mips::F10, Mips::F11, Mips::F16,  Mips::F17, 
213      Mips::F18, Mips::F19, Mips::F20, Mips::F21, Mips::F22,  Mips::F23, 
214      Mips::F24, Mips::F25, Mips::F26, Mips::F27, Mips::F28,  Mips::F29, 
215      Mips::F30
216    };
217
218    static const unsigned MIPS_SVR4_FGR32[] = {
219      Mips::F0,  Mips::F2,  Mips::F12, Mips::F14, Mips::F4, 
220      Mips::F6,  Mips::F8,  Mips::F10, Mips::F16, Mips::F18, 
221      Mips::F20, Mips::F22, Mips::F24, Mips::F26, Mips::F28, Mips::F30,
222    };
223
224    FGR32Class::iterator
225    FGR32Class::allocation_order_begin(const MachineFunction &MF) const {
226      const TargetMachine &TM = MF.getTarget();
227      const MipsSubtarget &Subtarget = TM.getSubtarget<MipsSubtarget>();
228
229      if (Subtarget.isSingleFloat())
230        return MIPS_FGR32;
231      else
232        return MIPS_SVR4_FGR32; 
233    }
234
235    FGR32Class::iterator
236    FGR32Class::allocation_order_end(const MachineFunction &MF) const {
237      const TargetMachine &TM = MF.getTarget();
238      const MipsSubtarget &Subtarget = TM.getSubtarget<MipsSubtarget>();
239
240      if (Subtarget.isSingleFloat())
241        return MIPS_FGR32 + (sizeof(MIPS_FGR32) / sizeof(unsigned));
242      else
243        return MIPS_SVR4_FGR32 + (sizeof(MIPS_SVR4_FGR32) / sizeof(unsigned));
244    }
245  }];
246}
247
248def AFGR64 : RegisterClass<"Mips", [f64], 64, 
249  // Return Values and Arguments
250  [D0, D1, D6, D7,
251  // Not preserved across procedure calls
252  D2, D3, D4, D5, D8, D9, 
253  // Callee save
254  D10, D11, D12, D13, D14,
255  // Reserved
256  D15]>
257{
258  let SubRegClassList = [FGR32, FGR32];
259  let MethodProtos = [{
260    iterator allocation_order_end(const MachineFunction &MF) const;
261  }];
262  let MethodBodies = [{
263    AFGR64Class::iterator
264    AFGR64Class::allocation_order_end(const MachineFunction &MF) const {
265      // The last register on the list above is reserved
266      return end()-1;
267    }
268  }];
269}
270
271// Condition Register for floating point operations
272def CCR  : RegisterClass<"Mips", [i32], 32, [FCR31]>;
273
274// Hi/Lo Registers
275def HILO : RegisterClass<"Mips", [i32], 32, [HI, LO]>;
276
277