1 //==- SystemZRegisterInfo.td - SystemZ register definitions -*- tablegen -*-==//
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 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
14 class SystemZReg<string n> : Register<n> {
15 let Namespace = "SystemZ";
18 class SystemZRegWithSubregs<string n, list<Register> subregs>
19 : RegisterWithSubRegs<n, subregs> {
20 let Namespace = "SystemZ";
23 let Namespace = "SystemZ" in {
24 def subreg_l32 : SubRegIndex<32, 0>; // Also acts as subreg_ll32.
25 def subreg_h32 : SubRegIndex<32, 32>; // Also acts as subreg_lh32.
26 def subreg_l64 : SubRegIndex<64, 0>;
27 def subreg_h64 : SubRegIndex<64, 64>;
28 def subreg_hh32 : ComposedSubRegIndex<subreg_h64, subreg_h32>;
29 def subreg_hl32 : ComposedSubRegIndex<subreg_h64, subreg_l32>;
32 // Define a register class that contains values of type TYPE 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.
35 multiclass SystemZRegClass<string name, ValueType type, int size, dag regList> {
36 def AsmOperand : AsmOperandClass {
38 let ParserMethod = "parse"##name;
39 let RenderMethod = "addRegOperands";
41 def Bit : RegisterClass<"SystemZ", [type], size, regList> {
44 def "" : RegisterOperand<!cast<RegisterClass>(name##"Bit")> {
45 let ParserMatchClass = !cast<AsmOperandClass>(name##"AsmOperand");
49 //===----------------------------------------------------------------------===//
50 // General-purpose registers
51 //===----------------------------------------------------------------------===//
53 // Lower 32 bits of one of the 16 64-bit general-purpose registers
54 class GPR32<bits<16> num, string n> : SystemZReg<n> {
58 // One of the 16 64-bit general-purpose registers.
59 class GPR64<bits<16> num, string n, GPR32 low, GPR32 high>
60 : SystemZRegWithSubregs<n, [low, high]> {
62 let SubRegIndices = [subreg_l32, subreg_h32];
65 // 8 even-odd pairs of GPR64s.
66 class GPR128<bits<16> num, string n, GPR64 low, GPR64 high>
67 : SystemZRegWithSubregs<n, [low, high]> {
69 let SubRegIndices = [subreg_l64, subreg_h64];
72 // General-purpose registers
74 def R#I#L : GPR32<I, "r"#I>;
75 def R#I#H : GPR32<I, "r"#I>;
76 def R#I#D : GPR64<I, "r"#I, !cast<GPR32>("R"#I#"L"), !cast<GPR32>("R"#I#"H")>,
80 foreach I = [0, 2, 4, 6, 8, 10, 12, 14] in {
81 def R#I#Q : GPR128<I, "r"#I, !cast<GPR64>("R"#!add(I, 1)#"D"),
82 !cast<GPR64>("R"#I#"D")>;
85 /// Allocate the callee-saved R6-R13 backwards. That way they can be saved
86 /// together with R14 and R15 in one prolog instruction.
87 defm GR32 : SystemZRegClass<"GR32", i32, 32, (add (sequence "R%uL", 0, 5),
88 (sequence "R%uL", 15, 6))>;
89 defm GRH32 : SystemZRegClass<"GRH32", i32, 32, (add (sequence "R%uH", 0, 5),
90 (sequence "R%uH", 15, 6))>;
91 defm GR64 : SystemZRegClass<"GR64", i64, 64, (add (sequence "R%uD", 0, 5),
92 (sequence "R%uD", 15, 6))>;
94 // Combine the low and high GR32s into a single class. This can only be
95 // used for virtual registers if the high-word facility is available.
96 defm GRX32 : SystemZRegClass<"GRX32", i32, 32,
97 (add (sequence "R%uL", 0, 5),
98 (sequence "R%uH", 0, 5),
99 R15L, R15H, R14L, R14H, R13L, R13H,
100 R12L, R12H, R11L, R11H, R10L, R10H,
101 R9L, R9H, R8L, R8H, R7L, R7H, R6L, R6H)>;
103 // The architecture doesn't really have any i128 support, so model the
104 // register pairs as untyped instead.
105 defm GR128 : SystemZRegClass<"GR128", untyped, 128, (add R0Q, R2Q, R4Q,
106 R12Q, R10Q, R8Q, R6Q,
109 // Base and index registers. Everything except R0, which in an address
110 // context evaluates as 0.
111 defm ADDR32 : SystemZRegClass<"ADDR32", i32, 32, (sub GR32Bit, R0L)>;
112 defm ADDR64 : SystemZRegClass<"ADDR64", i64, 64, (sub GR64Bit, R0D)>;
114 // Not used directly, but needs to exist for ADDR32 and ADDR64 subregs
116 defm ADDR128 : SystemZRegClass<"ADDR128", untyped, 128, (sub GR128Bit, R0Q)>;
118 //===----------------------------------------------------------------------===//
119 // Floating-point registers
120 //===----------------------------------------------------------------------===//
122 // Maps FPR register numbers to their DWARF encoding.
123 class DwarfMapping<int id> { int Id = id; }
125 def F0Dwarf : DwarfMapping<16>;
126 def F2Dwarf : DwarfMapping<17>;
127 def F4Dwarf : DwarfMapping<18>;
128 def F6Dwarf : DwarfMapping<19>;
130 def F1Dwarf : DwarfMapping<20>;
131 def F3Dwarf : DwarfMapping<21>;
132 def F5Dwarf : DwarfMapping<22>;
133 def F7Dwarf : DwarfMapping<23>;
135 def F8Dwarf : DwarfMapping<24>;
136 def F10Dwarf : DwarfMapping<25>;
137 def F12Dwarf : DwarfMapping<26>;
138 def F14Dwarf : DwarfMapping<27>;
140 def F9Dwarf : DwarfMapping<28>;
141 def F11Dwarf : DwarfMapping<29>;
142 def F13Dwarf : DwarfMapping<30>;
143 def F15Dwarf : DwarfMapping<31>;
145 // Lower 32 bits of one of the 16 64-bit floating-point registers
146 class FPR32<bits<16> num, string n> : SystemZReg<n> {
147 let HWEncoding = num;
150 // One of the 16 64-bit floating-point registers
151 class FPR64<bits<16> num, string n, FPR32 low>
152 : SystemZRegWithSubregs<n, [low]> {
153 let HWEncoding = num;
154 let SubRegIndices = [subreg_h32];
157 // 8 pairs of FPR64s, with a one-register gap inbetween.
158 class FPR128<bits<16> num, string n, FPR64 low, FPR64 high>
159 : SystemZRegWithSubregs<n, [low, high]> {
160 let HWEncoding = num;
161 let SubRegIndices = [subreg_l64, subreg_h64];
164 // Floating-point registers
165 foreach I = 0-15 in {
166 def F#I#S : FPR32<I, "f"#I>;
167 def F#I#D : FPR64<I, "f"#I, !cast<FPR32>("F"#I#"S")>,
168 DwarfRegNum<[!cast<DwarfMapping>("F"#I#"Dwarf").Id]>;
171 foreach I = [0, 1, 4, 5, 8, 9, 12, 13] in {
172 def F#I#Q : FPR128<I, "f"#I, !cast<FPR64>("F"#!add(I, 2)#"D"),
173 !cast<FPR64>("F"#I#"D")>;
176 // There's no store-multiple instruction for FPRs, so we're not fussy
177 // about the order in which call-saved registers are allocated.
178 defm FP32 : SystemZRegClass<"FP32", f32, 32, (sequence "F%uS", 0, 15)>;
179 defm FP64 : SystemZRegClass<"FP64", f64, 64, (sequence "F%uD", 0, 15)>;
180 defm FP128 : SystemZRegClass<"FP128", f128, 128, (add F0Q, F1Q, F4Q, F5Q,
181 F8Q, F9Q, F12Q, F13Q)>;
183 //===----------------------------------------------------------------------===//
185 //===----------------------------------------------------------------------===//
187 // The 2-bit condition code field of the PSW. Every register named in an
188 // inline asm needs a class associated with it.
189 def CC : SystemZReg<"cc">;
190 def CCRegs : RegisterClass<"SystemZ", [i32], 32, (add CC)>;