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