1//==- SystemZRegisterInfo.td - SystemZ register definitions -*- 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// Class definitions.
12//===----------------------------------------------------------------------===//
13
14class SystemZReg<string n> : Register<n> {
15  let Namespace = "SystemZ";
16}
17
18class SystemZRegWithSubregs<string n, list<Register> subregs>
19  : RegisterWithSubRegs<n, subregs> {
20  let Namespace = "SystemZ";
21}
22
23let Namespace = "SystemZ" in {
24def subreg_l32   : SubRegIndex<32, 0>;  // Also acts as subreg_ll32.
25def subreg_h32   : SubRegIndex<32, 32>; // Also acts as subreg_lh32.
26def subreg_l64   : SubRegIndex<64, 0>;
27def subreg_h64   : SubRegIndex<64, 64>;
28def subreg_hh32  : ComposedSubRegIndex<subreg_h64, subreg_h32>;
29def subreg_hl32  : ComposedSubRegIndex<subreg_h64, subreg_l32>;
30}
31
32// Define a register class that contains values of types TYPES and an
33// associated operand called NAME.  SIZE is the size and alignment
34// of the registers and REGLIST is the list of individual registers.
35multiclass SystemZRegClass<string name, list<ValueType> types, int size,
36                           dag regList, bit allocatable = 1> {
37  def AsmOperand : AsmOperandClass {
38    let Name = name;
39    let ParserMethod = "parse"##name;
40    let RenderMethod = "addRegOperands";
41  }
42  let isAllocatable = allocatable in
43    def Bit : RegisterClass<"SystemZ", types, size, regList> {
44      let Size = size;
45    }
46  def "" : RegisterOperand<!cast<RegisterClass>(name##"Bit")> {
47    let ParserMatchClass = !cast<AsmOperandClass>(name##"AsmOperand");
48  }
49}
50
51//===----------------------------------------------------------------------===//
52// General-purpose registers
53//===----------------------------------------------------------------------===//
54
55// Lower 32 bits of one of the 16 64-bit general-purpose registers
56class GPR32<bits<16> num, string n> : SystemZReg<n> {
57  let HWEncoding = num;
58}
59
60// One of the 16 64-bit general-purpose registers.
61class GPR64<bits<16> num, string n, GPR32 low, GPR32 high>
62 : SystemZRegWithSubregs<n, [low, high]> {
63  let HWEncoding = num;
64  let SubRegIndices = [subreg_l32, subreg_h32];
65  let CoveredBySubRegs = 1;
66}
67
68// 8 even-odd pairs of GPR64s.
69class GPR128<bits<16> num, string n, GPR64 low, GPR64 high>
70 : SystemZRegWithSubregs<n, [low, high]> {
71  let HWEncoding = num;
72  let SubRegIndices = [subreg_l64, subreg_h64];
73  let CoveredBySubRegs = 1;
74}
75
76// General-purpose registers
77foreach I = 0-15 in {
78  def R#I#L : GPR32<I, "r"#I>;
79  def R#I#H : GPR32<I, "r"#I>;
80  def R#I#D : GPR64<I, "r"#I, !cast<GPR32>("R"#I#"L"), !cast<GPR32>("R"#I#"H")>,
81                    DwarfRegNum<[I]>;
82}
83
84foreach I = [0, 2, 4, 6, 8, 10, 12, 14] in {
85  def R#I#Q : GPR128<I, "r"#I, !cast<GPR64>("R"#!add(I, 1)#"D"),
86                     !cast<GPR64>("R"#I#"D")>;
87}
88
89/// Allocate the callee-saved R6-R13 backwards. That way they can be saved
90/// together with R14 and R15 in one prolog instruction.
91defm GR32  : SystemZRegClass<"GR32",  [i32], 32,
92                             (add (sequence "R%uL",  0, 5),
93                                  (sequence "R%uL", 15, 6))>;
94defm GRH32 : SystemZRegClass<"GRH32", [i32], 32,
95                             (add (sequence "R%uH",  0, 5),
96                                  (sequence "R%uH", 15, 6))>;
97defm GR64  : SystemZRegClass<"GR64",  [i64], 64,
98                             (add (sequence "R%uD",  0, 5),
99                                  (sequence "R%uD", 15, 6))>;
100
101// Combine the low and high GR32s into a single class.  This can only be
102// used for virtual registers if the high-word facility is available.
103defm GRX32 : SystemZRegClass<"GRX32", [i32], 32,
104                             (add (sequence "R%uL",  0, 5),
105                                  (sequence "R%uH",  0, 5),
106                                  R15L, R15H, R14L, R14H, R13L, R13H,
107                                  R12L, R12H, R11L, R11H, R10L, R10H,
108                                  R9L, R9H, R8L, R8H, R7L, R7H, R6L, R6H)>;
109
110// The architecture doesn't really have any i128 support, so model the
111// register pairs as untyped instead.
112defm GR128 : SystemZRegClass<"GR128", [untyped], 128,
113                             (add R0Q, R2Q, R4Q, R12Q, R10Q, R8Q, R6Q, R14Q)>;
114
115// Base and index registers.  Everything except R0, which in an address
116// context evaluates as 0.
117defm ADDR32 : SystemZRegClass<"ADDR32", [i32], 32, (sub GR32Bit, R0L)>;
118defm ADDR64 : SystemZRegClass<"ADDR64", [i64], 64, (sub GR64Bit, R0D)>;
119
120// Not used directly, but needs to exist for ADDR32 and ADDR64 subregs
121// of a GR128.
122defm ADDR128 : SystemZRegClass<"ADDR128", [untyped], 128, (sub GR128Bit, R0Q)>;
123
124// Any type register. Used for .insn directives when we don't know what the
125// register types could be.
126defm AnyReg : SystemZRegClass<"AnyReg",
127                              [i64, f64, v8i8, v4i16, v2i32, v2f32], 64,
128                              (add (sequence "R%uD", 0, 15),
129                                   (sequence "F%uD", 0, 15),
130                                   (sequence "V%u", 0, 15)), 0/*allocatable*/>;
131
132//===----------------------------------------------------------------------===//
133// Floating-point registers
134//===----------------------------------------------------------------------===//
135
136// Maps FPR register numbers to their DWARF encoding.
137class DwarfMapping<int id> { int Id = id; }
138
139def F0Dwarf  : DwarfMapping<16>;
140def F2Dwarf  : DwarfMapping<17>;
141def F4Dwarf  : DwarfMapping<18>;
142def F6Dwarf  : DwarfMapping<19>;
143
144def F1Dwarf  : DwarfMapping<20>;
145def F3Dwarf  : DwarfMapping<21>;
146def F5Dwarf  : DwarfMapping<22>;
147def F7Dwarf  : DwarfMapping<23>;
148
149def F8Dwarf  : DwarfMapping<24>;
150def F10Dwarf : DwarfMapping<25>;
151def F12Dwarf : DwarfMapping<26>;
152def F14Dwarf : DwarfMapping<27>;
153
154def F9Dwarf  : DwarfMapping<28>;
155def F11Dwarf : DwarfMapping<29>;
156def F13Dwarf : DwarfMapping<30>;
157def F15Dwarf : DwarfMapping<31>;
158
159def F16Dwarf : DwarfMapping<68>;
160def F18Dwarf : DwarfMapping<69>;
161def F20Dwarf : DwarfMapping<70>;
162def F22Dwarf : DwarfMapping<71>;
163
164def F17Dwarf : DwarfMapping<72>;
165def F19Dwarf : DwarfMapping<73>;
166def F21Dwarf : DwarfMapping<74>;
167def F23Dwarf : DwarfMapping<75>;
168
169def F24Dwarf : DwarfMapping<76>;
170def F26Dwarf : DwarfMapping<77>;
171def F28Dwarf : DwarfMapping<78>;
172def F30Dwarf : DwarfMapping<79>;
173
174def F25Dwarf : DwarfMapping<80>;
175def F27Dwarf : DwarfMapping<81>;
176def F29Dwarf : DwarfMapping<82>;
177def F31Dwarf : DwarfMapping<83>;
178
179// Upper 32 bits of one of the floating-point registers
180class FPR32<bits<16> num, string n> : SystemZReg<n> {
181  let HWEncoding = num;
182}
183
184// One of the floating-point registers.
185class FPR64<bits<16> num, string n, FPR32 high>
186 : SystemZRegWithSubregs<n, [high]> {
187  let HWEncoding = num;
188  let SubRegIndices = [subreg_h32];
189}
190
191// 8 pairs of FPR64s, with a one-register gap inbetween.
192class FPR128<bits<16> num, string n, FPR64 low, FPR64 high>
193 : SystemZRegWithSubregs<n, [low, high]> {
194  let HWEncoding = num;
195  let SubRegIndices = [subreg_l64, subreg_h64];
196  let CoveredBySubRegs = 1;
197}
198
199// Floating-point registers.  Registers 16-31 require the vector facility.
200foreach I = 0-15 in {
201  def F#I#S : FPR32<I, "f"#I>;
202  def F#I#D : FPR64<I, "f"#I, !cast<FPR32>("F"#I#"S")>,
203              DwarfRegNum<[!cast<DwarfMapping>("F"#I#"Dwarf").Id]>;
204}
205foreach I = 16-31 in {
206  def F#I#S : FPR32<I, "v"#I>;
207  def F#I#D : FPR64<I, "v"#I, !cast<FPR32>("F"#I#"S")>,
208              DwarfRegNum<[!cast<DwarfMapping>("F"#I#"Dwarf").Id]>;
209}
210
211foreach I = [0, 1, 4, 5, 8, 9, 12, 13] in {
212  def F#I#Q  : FPR128<I, "f"#I, !cast<FPR64>("F"#!add(I, 2)#"D"),
213                     !cast<FPR64>("F"#I#"D")>;
214}
215
216// There's no store-multiple instruction for FPRs, so we're not fussy
217// about the order in which call-saved registers are allocated.
218defm FP32  : SystemZRegClass<"FP32", [f32], 32, (sequence "F%uS", 0, 15)>;
219defm FP64  : SystemZRegClass<"FP64", [f64], 64, (sequence "F%uD", 0, 15)>;
220defm FP128 : SystemZRegClass<"FP128", [f128], 128,
221                             (add F0Q, F1Q, F4Q, F5Q, F8Q, F9Q, F12Q, F13Q)>;
222
223//===----------------------------------------------------------------------===//
224// Vector registers
225//===----------------------------------------------------------------------===//
226
227// A full 128-bit vector register, with an FPR64 as its high part.
228class VR128<bits<16> num, string n, FPR64 high>
229  : SystemZRegWithSubregs<n, [high]> {
230  let HWEncoding = num;
231  let SubRegIndices = [subreg_h64];
232}
233
234// Full vector registers.
235foreach I = 0-31 in {
236  def V#I : VR128<I, "v"#I, !cast<FPR64>("F"#I#"D")>,
237            DwarfRegNum<[!cast<DwarfMapping>("F"#I#"Dwarf").Id]>;
238}
239
240// Class used to store 32-bit values in the first element of a vector
241// register.  f32 scalars are used for the WLEDB and WLDEB instructions.
242defm VR32 : SystemZRegClass<"VR32", [f32, v4i8, v2i16], 32,
243                            (add (sequence "F%uS", 0, 7),
244                                 (sequence "F%uS", 16, 31),
245                                 (sequence "F%uS", 8, 15))>;
246
247// Class used to store 64-bit values in the upper half of a vector register.
248// The vector facility also includes scalar f64 instructions that operate
249// on the full vector register set.
250defm VR64 : SystemZRegClass<"VR64", [f64, v8i8, v4i16, v2i32, v2f32], 64,
251                            (add (sequence "F%uD", 0, 7),
252                                 (sequence "F%uD", 16, 31),
253                                 (sequence "F%uD", 8, 15))>;
254
255// The subset of vector registers that can be used for floating-point
256// operations too.
257defm VF128 : SystemZRegClass<"VF128",
258                             [v16i8, v8i16, v4i32, v2i64, v4f32, v2f64], 128,
259                             (sequence "V%u", 0, 15)>;
260
261// All vector registers.
262defm VR128 : SystemZRegClass<"VR128",
263                             [v16i8, v8i16, v4i32, v2i64, v4f32, v2f64, f128],
264                             128, (add (sequence "V%u", 0, 7),
265                                       (sequence "V%u", 16, 31),
266                                       (sequence "V%u", 8, 15))>;
267
268// Attaches a ValueType to a register operand, to make the instruction
269// definitions easier.
270class TypedReg<ValueType vtin, RegisterOperand opin> {
271  ValueType vt = vtin;
272  RegisterOperand op = opin;
273}
274
275def v32f    : TypedReg<i32,     VR32>;
276def v32sb   : TypedReg<f32,     VR32>;
277def v64g    : TypedReg<i64,     VR64>;
278def v64db   : TypedReg<f64,     VR64>;
279def v128b   : TypedReg<v16i8,   VR128>;
280def v128h   : TypedReg<v8i16,   VR128>;
281def v128f   : TypedReg<v4i32,   VR128>;
282def v128g   : TypedReg<v2i64,   VR128>;
283def v128q   : TypedReg<v16i8,   VR128>;
284def v128sb  : TypedReg<v4f32,   VR128>;
285def v128db  : TypedReg<v2f64,   VR128>;
286def v128xb  : TypedReg<f128,    VR128>;
287def v128any : TypedReg<untyped, VR128>;
288
289//===----------------------------------------------------------------------===//
290// Other registers
291//===----------------------------------------------------------------------===//
292
293// The 2-bit condition code field of the PSW.  Every register named in an
294// inline asm needs a class associated with it.
295def CC : SystemZReg<"cc">;
296let isAllocatable = 0, CopyCost = -1 in
297  def CCR : RegisterClass<"SystemZ", [i32], 32, (add CC)>;
298
299// Access registers.
300class ACR32<bits<16> num, string n> : SystemZReg<n> {
301  let HWEncoding = num;
302}
303foreach I = 0-15 in {
304  def A#I : ACR32<I, "a"#I>, DwarfRegNum<[!add(I, 48)]>;
305}
306defm AR32 : SystemZRegClass<"AR32", [i32], 32,
307                            (add (sequence "A%u", 0, 15)), 0>;
308
309// Control registers.
310class CREG64<bits<16> num, string n> : SystemZReg<n> {
311  let HWEncoding = num;
312}
313foreach I = 0-15 in {
314  def C#I : CREG64<I, "c"#I>, DwarfRegNum<[!add(I, 32)]>;
315}
316defm CR64 : SystemZRegClass<"CR64", [i64], 64,
317                            (add (sequence "C%u", 0, 15)), 0>;
318
319