contrib/llvm-project/llvm/lib/Target/Hexagon/HexagonRegisterInfo.td

   1 //===-- HexagonRegisterInfo.td - Hexagon Register defs -----*- tablegen -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 //===----------------------------------------------------------------------===//
  10 //  Declarations that describe the Hexagon register file.
  11 //===----------------------------------------------------------------------===//
  12
  13 let Namespace = "Hexagon" in {
  14
  15   class HexagonReg<bits<5> num, string n, list<string> alt = [],
  16                    list<Register> alias = []> : Register<n, alt> {
  17     let Aliases = alias;
  18     let HWEncoding{4-0} = num;
  19   }
  20
  21   class HexagonDoubleReg<bits<5> num, string n, list<Register> subregs,
  22                          list<string> alt = []> :
  23         RegisterWithSubRegs<n, subregs> {
  24     let AltNames = alt;
  25     let HWEncoding{4-0} = num;
  26   }
  27
  28   // Registers are identified with 5-bit ID numbers.
  29   // Ri - 32-bit integer registers.
  30   class Ri<bits<5> num, string n, list<string> alt = []> :
  31         HexagonReg<num, n, alt>;
  32
  33   // Rf - 32-bit floating-point registers.
  34   class Rf<bits<5> num, string n> : HexagonReg<num, n>;
  35
  36   // Rd - 64-bit registers.
  37   class Rd<bits<5> num, string n, list<Register> subregs,
  38            list<string> alt = []> :
  39         HexagonDoubleReg<num, n, subregs, alt> {
  40     let SubRegs = subregs;
  41   }
  42
  43   // Rp - predicate registers
  44   class Rp<bits<5> num, string n> : HexagonReg<num, n>;
  45
  46
  47   // Rq - vector predicate registers
  48   class Rq<bits<3> num, string n> : Register<n, []> {
  49     let HWEncoding{2-0} = num;
  50   }
  51
  52   // Rc - control registers
  53   class Rc<bits<5> num, string n,
  54            list<string> alt = [], list<Register> alias = []> :
  55         HexagonReg<num, n, alt, alias>;
  56
  57   // Rcc - 64-bit control registers.
  58   class Rcc<bits<5> num, string n, list<Register> subregs,
  59             list<string> alt = []> :
  60         HexagonDoubleReg<num, n, subregs, alt> {
  61     let SubRegs = subregs;
  62   }
  63
  64   // Mx - address modifier registers
  65   class Mx<bits<1> num, string n> : Register<n, []> {
  66     let HWEncoding{0} = num;
  67   }
  68
  69   // Rg - Guest/Hypervisor registers
  70   class Rg<bits<5> num, string n,
  71            list<string> alt = [], list<Register> alias = []> :
  72         HexagonReg<num, n, alt, alias>;
  73
  74   // Rgg - 64-bit Guest/Hypervisor registers
  75   class Rgg<bits<5> num, string n, list<Register> subregs> :
  76         HexagonDoubleReg<num, n, subregs> {
  77     let SubRegs = subregs;
  78   }
  79
  80   def isub_lo  : SubRegIndex<32>;
  81   def isub_hi  : SubRegIndex<32, 32>;
  82   def vsub_lo  : SubRegIndex<512>;
  83   def vsub_hi  : SubRegIndex<512, 512>;
  84   def wsub_lo  : SubRegIndex<1024>;
  85   def wsub_hi  : SubRegIndex<1024, 1024>;
  86   def subreg_overflow : SubRegIndex<1, 0>;
  87
  88   // Integer registers.
  89   foreach i = 0-28 in {
  90     def R#i  : Ri<i, "r"#i>,  DwarfRegNum<[i]>;
  91   }
  92   def R29 : Ri<29, "r29", ["sp"]>, DwarfRegNum<[29]>;
  93   def R30 : Ri<30, "r30", ["fp"]>, DwarfRegNum<[30]>;
  94   def R31 : Ri<31, "r31", ["lr"]>, DwarfRegNum<[31]>;
  95
  96   // Aliases of the R* registers used to hold 64-bit int values (doubles).
  97   let SubRegIndices = [isub_lo, isub_hi], CoveredBySubRegs = 1 in {
  98   def D0  : Rd< 0,  "r1:0",  [R0,  R1]>,  DwarfRegNum<[32]>;
  99   def D1  : Rd< 2,  "r3:2",  [R2,  R3]>,  DwarfRegNum<[34]>;
 100   def D2  : Rd< 4,  "r5:4",  [R4,  R5]>,  DwarfRegNum<[36]>;
 101   def D3  : Rd< 6,  "r7:6",  [R6,  R7]>,  DwarfRegNum<[38]>;
 102   def D4  : Rd< 8,  "r9:8",  [R8,  R9]>,  DwarfRegNum<[40]>;
 103   def D5  : Rd<10, "r11:10", [R10, R11]>, DwarfRegNum<[42]>;
 104   def D6  : Rd<12, "r13:12", [R12, R13]>, DwarfRegNum<[44]>;
 105   def D7  : Rd<14, "r15:14", [R14, R15]>, DwarfRegNum<[46]>;
 106   def D8  : Rd<16, "r17:16", [R16, R17]>, DwarfRegNum<[48]>;
 107   def D9  : Rd<18, "r19:18", [R18, R19]>, DwarfRegNum<[50]>;
 108   def D10 : Rd<20, "r21:20", [R20, R21]>, DwarfRegNum<[52]>;
 109   def D11 : Rd<22, "r23:22", [R22, R23]>, DwarfRegNum<[54]>;
 110   def D12 : Rd<24, "r25:24", [R24, R25]>, DwarfRegNum<[56]>;
 111   def D13 : Rd<26, "r27:26", [R26, R27]>, DwarfRegNum<[58]>;
 112   def D14 : Rd<28, "r29:28", [R28, R29]>, DwarfRegNum<[60]>;
 113   def D15 : Rd<30, "r31:30", [R30, R31], ["lr:fp"]>, DwarfRegNum<[62]>;
 114   }
 115
 116   // Predicate registers.
 117   def P0 : Rp<0, "p0">, DwarfRegNum<[63]>;
 118   def P1 : Rp<1, "p1">, DwarfRegNum<[64]>;
 119   def P2 : Rp<2, "p2">, DwarfRegNum<[65]>;
 120   def P3 : Rp<3, "p3">, DwarfRegNum<[66]>;
 121
 122   // Fake register to represent USR.OVF bit. Artihmetic/saturating instruc-
 123   // tions modify this bit, and multiple such instructions are allowed in the
 124   // same packet. We need to ignore output dependencies on this bit, but not
 125   // on the entire USR.
 126   def USR_OVF : Rc<?, "usr.ovf">;
 127
 128   def USR  : Rc<8,  "usr",       ["c8"]>,   DwarfRegNum<[75]> {
 129     let SubRegIndices = [subreg_overflow];
 130     let SubRegs = [USR_OVF];
 131   }
 132
 133   // Control registers.
 134   def SA0:        Rc<0,  "sa0",        ["c0"]>,    DwarfRegNum<[67]>;
 135   def LC0:        Rc<1,  "lc0",        ["c1"]>,    DwarfRegNum<[68]>;
 136   def SA1:        Rc<2,  "sa1",        ["c2"]>,    DwarfRegNum<[69]>;
 137   def LC1:        Rc<3,  "lc1",        ["c3"]>,    DwarfRegNum<[70]>;
 138   def P3_0:       Rc<4,  "p3:0",       ["c4"], [P0, P1, P2, P3]>,
 139                                                    DwarfRegNum<[71]>;
 140   // When defining more Cn registers, make sure to explicitly mark them
 141   // as reserved in HexagonRegisterInfo.cpp.
 142   def C5:         Rc<5,  "c5",         ["c5"]>,    DwarfRegNum<[72]>;
 143   def M0:         Rc<6,  "m0",         ["c6"]>,    DwarfRegNum<[73]>;
 144   def M1:         Rc<7,  "m1",         ["c7"]>,    DwarfRegNum<[74]>;
 145   // Define C8 separately and make it aliased with USR.
 146   // The problem is that USR has subregisters (e.g. overflow). If USR was
 147   // specified as a subregister of C9_8, it would imply that subreg_overflow
 148   // and isub_lo can be composed, which leads to all kinds of issues
 149   // with lane masks.
 150   def C8:         Rc<8,  "c8",         [], [USR]>, DwarfRegNum<[75]>;
 151   def PC:         Rc<9,  "pc",         ["c9"]>,    DwarfRegNum<[76]>;
 152   def UGP:        Rc<10, "ugp",        ["c10"]>,   DwarfRegNum<[77]>;
 153   def GP:         Rc<11, "gp",         ["c11"]>,   DwarfRegNum<[78]>;
 154   def CS0:        Rc<12, "cs0",        ["c12"]>,   DwarfRegNum<[79]>;
 155   def CS1:        Rc<13, "cs1",        ["c13"]>,   DwarfRegNum<[80]>;
 156   def UPCYCLELO:  Rc<14, "upcyclelo",  ["c14"]>,   DwarfRegNum<[81]>;
 157   def UPCYCLEHI:  Rc<15, "upcyclehi",  ["c15"]>,   DwarfRegNum<[82]>;
 158   def FRAMELIMIT: Rc<16, "framelimit", ["c16"]>,   DwarfRegNum<[83]>;
 159   def FRAMEKEY:   Rc<17, "framekey",   ["c17"]>,   DwarfRegNum<[84]>;
 160   def PKTCOUNTLO: Rc<18, "pktcountlo", ["c18"]>,   DwarfRegNum<[85]>;
 161   def PKTCOUNTHI: Rc<19, "pktcounthi", ["c19"]>,   DwarfRegNum<[86]>;
 162   def UTIMERLO:   Rc<30, "utimerlo",   ["c30"]>,   DwarfRegNum<[97]>;
 163   def UTIMERHI:   Rc<31, "utimerhi",   ["c31"]>,   DwarfRegNum<[98]>;
 164
 165   // Control registers pairs.
 166   let SubRegIndices = [isub_lo, isub_hi], CoveredBySubRegs = 1 in {
 167     def C1_0   : Rcc<0,   "c1:0",  [SA0, LC0], ["lc0:sa0"]>, DwarfRegNum<[67]>;
 168     def C3_2   : Rcc<2,   "c3:2",  [SA1, LC1], ["lc1:sa1"]>, DwarfRegNum<[69]>;
 169     def C5_4   : Rcc<4,   "c5:4",  [P3_0, C5]>,              DwarfRegNum<[71]>;
 170     def C7_6   : Rcc<6,   "c7:6",  [M0, M1],   ["m1:0"]>,    DwarfRegNum<[72]>;
 171     // Use C8 instead of USR as a subregister of C9_8.
 172     def C9_8   : Rcc<8,   "c9:8",  [C8, PC]>,                DwarfRegNum<[74]>;
 173     def C11_10 : Rcc<10, "c11:10", [UGP, GP]>,               DwarfRegNum<[76]>;
 174     def CS     : Rcc<12, "c13:12", [CS0, CS1], ["cs1:0"]>,   DwarfRegNum<[78]>;
 175     def UPCYCLE: Rcc<14, "c15:14", [UPCYCLELO, UPCYCLEHI], ["upcycle"]>,
 176                                                               DwarfRegNum<[80]>;
 177     def C17_16 : Rcc<16, "c17:16", [FRAMELIMIT, FRAMEKEY]>,  DwarfRegNum<[83]>;
 178     def PKTCOUNT : Rcc<18, "c19:18", [PKTCOUNTLO, PKTCOUNTHI], ["pktcount"]>,
 179                                                               DwarfRegNum<[85]>;
 180     def UTIMER :  Rcc<30, "c31:30", [UTIMERLO, UTIMERHI], ["utimer"]>,
 181                                                               DwarfRegNum<[97]>;
 182   }
 183
 184   foreach i = 0-31 in {
 185     def V#i  : Ri<i, "v"#i>,  DwarfRegNum<[!add(i, 99)]>;
 186   }
 187   def VTMP : Ri<0, "vtmp">, DwarfRegNum<[131]>;
 188
 189   // Aliases of the V* registers used to hold double vec values.
 190   let SubRegIndices = [vsub_lo, vsub_hi], CoveredBySubRegs = 1 in {
 191   def W0  : Rd< 0,  "v1:0",  [V0,  V1]>,  DwarfRegNum<[99]>;
 192   def W1  : Rd< 2,  "v3:2",  [V2,  V3]>,  DwarfRegNum<[101]>;
 193   def W2  : Rd< 4,  "v5:4",  [V4,  V5]>,  DwarfRegNum<[103]>;
 194   def W3  : Rd< 6,  "v7:6",  [V6,  V7]>,  DwarfRegNum<[105]>;
 195   def W4  : Rd< 8,  "v9:8",  [V8,  V9]>,  DwarfRegNum<[107]>;
 196   def W5  : Rd<10, "v11:10", [V10, V11]>, DwarfRegNum<[109]>;
 197   def W6  : Rd<12, "v13:12", [V12, V13]>, DwarfRegNum<[111]>;
 198   def W7  : Rd<14, "v15:14", [V14, V15]>, DwarfRegNum<[113]>;
 199   def W8  : Rd<16, "v17:16", [V16, V17]>, DwarfRegNum<[115]>;
 200   def W9  : Rd<18, "v19:18", [V18, V19]>, DwarfRegNum<[117]>;
 201   def W10 : Rd<20, "v21:20", [V20, V21]>, DwarfRegNum<[119]>;
 202   def W11 : Rd<22, "v23:22", [V22, V23]>, DwarfRegNum<[121]>;
 203   def W12 : Rd<24, "v25:24", [V24, V25]>, DwarfRegNum<[123]>;
 204   def W13 : Rd<26, "v27:26", [V26, V27]>, DwarfRegNum<[125]>;
 205   def W14 : Rd<28, "v29:28", [V28, V29]>, DwarfRegNum<[127]>;
 206   def W15 : Rd<30, "v31:30", [V30, V31]>, DwarfRegNum<[129]>;
 207   }
 208
 209   // Aliases of the V* registers used to hold quad vec values.
 210   let SubRegIndices = [wsub_lo, wsub_hi], CoveredBySubRegs = 1 in {
 211   def VQ0  : Rd< 0, "v3:0",   [W0,  W1]>,  DwarfRegNum<[252]>;
 212   def VQ1  : Rd< 4, "v7:4",   [W2,  W3]>,  DwarfRegNum<[253]>;
 213   def VQ2  : Rd< 8, "v11:8",  [W4,  W5]>,  DwarfRegNum<[254]>;
 214   def VQ3  : Rd<12, "v15:12", [W6,  W7]>,  DwarfRegNum<[255]>;
 215   def VQ4  : Rd<16, "v19:16", [W8,  W9]>,  DwarfRegNum<[256]>;
 216   def VQ5  : Rd<20, "v23:20", [W10, W11]>, DwarfRegNum<[257]>;
 217   def VQ6  : Rd<24, "v27:24", [W12, W13]>, DwarfRegNum<[258]>;
 218   def VQ7  : Rd<28, "v31:28", [W14, W15]>, DwarfRegNum<[259]>;
 219   }
 220
 221   // Vector Predicate registers.
 222   def Q0 : Rq<0, "q0">, DwarfRegNum<[131]>;
 223   def Q1 : Rq<1, "q1">, DwarfRegNum<[132]>;
 224   def Q2 : Rq<2, "q2">, DwarfRegNum<[133]>;
 225   def Q3 : Rq<3, "q3">, DwarfRegNum<[134]>;
 226
 227   // Guest Registers
 228   def GELR:      Rg<0,  "gelr", ["g0"]>,       DwarfRegNum<[220]>;
 229   def GSR:       Rg<1,  "gsr", ["g1"]>,        DwarfRegNum<[221]>;
 230   def GOSP:      Rg<2,  "gosp", ["g2"]>,       DwarfRegNum<[222]>;
 231   def G3:        Rg<3,  "gbadva", ["g3"]>,     DwarfRegNum<[223]>;
 232   def G4:        Rg<4,  "g4">,                 DwarfRegNum<[224]>;
 233   def G5:        Rg<5,  "g5">,                 DwarfRegNum<[225]>;
 234   def G6:        Rg<6,  "g6">,                 DwarfRegNum<[226]>;
 235   def G7:        Rg<7,  "g7">,                 DwarfRegNum<[227]>;
 236   def G8:        Rg<8,  "g8">,                 DwarfRegNum<[228]>;
 237   def G9:        Rg<9,  "g9">,                 DwarfRegNum<[229]>;
 238   def G10:       Rg<10, "g10">,                DwarfRegNum<[230]>;
 239   def G11:       Rg<11, "g11">,                DwarfRegNum<[231]>;
 240   def G12:       Rg<12, "g12">,                DwarfRegNum<[232]>;
 241   def G13:       Rg<13, "g13">,                DwarfRegNum<[233]>;
 242   def G14:       Rg<14, "g14">,                DwarfRegNum<[234]>;
 243   def G15:       Rg<15, "g15">,                DwarfRegNum<[235]>;
 244   def GPMUCNT4:  Rg<16, "gpmucnt4", ["g16"]>,  DwarfRegNum<[236]>;
 245   def GPMUCNT5:  Rg<17, "gpmucnt5", ["g17"]>,  DwarfRegNum<[237]>;
 246   def GPMUCNT6:  Rg<18, "gpmucnt6", ["g18"]>,  DwarfRegNum<[238]>;
 247   def GPMUCNT7:  Rg<19, "gpmucnt7", ["g19"]>,  DwarfRegNum<[239]>;
 248   def G20:       Rg<20, "g20">,                DwarfRegNum<[240]>;
 249   def G21:       Rg<21, "g21">,                DwarfRegNum<[241]>;
 250   def G22:       Rg<22, "g22">,                DwarfRegNum<[242]>;
 251   def G23:       Rg<23, "g23">,                DwarfRegNum<[243]>;
 252   def GPCYCLELO: Rg<24, "gpcyclelo", ["g24"]>, DwarfRegNum<[244]>;
 253   def GPCYCLEHI: Rg<25, "gpcyclehi", ["g25"]>, DwarfRegNum<[245]>;
 254   def GPMUCNT0:  Rg<26, "gpmucnt0",  ["g26"]>, DwarfRegNum<[246]>;
 255   def GPMUCNT1:  Rg<27, "gpmucnt1",  ["g27"]>, DwarfRegNum<[247]>;
 256   def GPMUCNT2:  Rg<28, "gpmucnt2",  ["g28"]>, DwarfRegNum<[248]>;
 257   def GPMUCNT3:  Rg<29, "gpmucnt3",  ["g29"]>, DwarfRegNum<[249]>;
 258   def G30:       Rg<30, "g30">,                DwarfRegNum<[250]>;
 259   def G31:       Rg<31, "g31">,                DwarfRegNum<[251]>;
 260
 261   // Guest Register Pairs
 262   let SubRegIndices = [isub_lo, isub_hi], CoveredBySubRegs = 1 in {
 263     def G1_0   : Rgg<0,  "g1:0",   [GELR, GSR]>,            DwarfRegNum<[220]>;
 264     def G3_2   : Rgg<2,  "g3:2",   [GOSP, G3]>,             DwarfRegNum<[222]>;
 265     def G5_4   : Rgg<4,  "g5:4",   [G4, G5]>,               DwarfRegNum<[224]>;
 266     def G7_6   : Rgg<6,  "g7:6",   [G6, G7]>,               DwarfRegNum<[226]>;
 267     def G9_8   : Rgg<8,  "g9:8",   [G8, G9]>,               DwarfRegNum<[228]>;
 268     def G11_10 : Rgg<10, "g11:10", [G10, G11]>,             DwarfRegNum<[230]>;
 269     def G13_12 : Rgg<12, "g13:12", [G12, G13]>,             DwarfRegNum<[232]>;
 270     def G15_14 : Rgg<14, "g15:14", [G14, G15]>,             DwarfRegNum<[234]>;
 271     def G17_16 : Rgg<16, "g17:16", [GPMUCNT4, GPMUCNT5]>,   DwarfRegNum<[236]>;
 272     def G19_18 : Rgg<18, "g19:18", [GPMUCNT6, GPMUCNT7]>,   DwarfRegNum<[238]>;
 273     def G21_20 : Rgg<20, "g21:20", [G20, G21]>,             DwarfRegNum<[240]>;
 274     def G23_22 : Rgg<22, "g23:22", [G22, G23]>,             DwarfRegNum<[242]>;
 275     def G25_24 : Rgg<24, "g25:24", [GPCYCLELO, GPCYCLEHI]>, DwarfRegNum<[244]>;
 276     def G27_26 : Rgg<26, "g27:26", [GPMUCNT0, GPMUCNT1]>,   DwarfRegNum<[246]>;
 277     def G29_28 : Rgg<28, "g29:28", [GPMUCNT2, GPMUCNT3]>,   DwarfRegNum<[248]>;
 278     def G31_30 : Rgg<30, "g31:30", [G30, G31]>,             DwarfRegNum<[250]>;
 279   }
 280
 281 }
 282
 283 // HVX types
 284
 285 def VecI1:   ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 286                                [v512i1, v1024i1, v512i1]>;
 287 def VecI8:   ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 288                                [v64i8,  v128i8,  v64i8]>;
 289 def VecI16:  ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 290                                [v32i16, v64i16,  v32i16]>;
 291 def VecI32:  ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 292                                [v16i32, v32i32,  v16i32]>;
 293
 294 def VecPI8:  ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 295                                [v128i8, v256i8,  v128i8]>;
 296 def VecPI16: ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 297                                [v64i16, v128i16, v64i16]>;
 298 def VecPI32: ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 299                                [v32i32, v64i32,  v32i32]>;
 300
 301 def VecQ8:   ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 302                                [v64i1,  v128i1,  v64i1]>;
 303 def VecQ16:  ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 304                                [v32i1,  v64i1,   v32i1]>;
 305 def VecQ32:  ValueTypeByHwMode<[Hvx64,  Hvx128,  DefaultMode],
 306                                [v16i1,  v32i1,   v16i1]>;
 307
 308 // HVX register classes
 309
 310 def HvxVR : RegisterClass<"Hexagon", [VecI8, VecI16, VecI32], 512,
 311   (add (sequence "V%u", 0, 31), VTMP)> {
 312   let RegInfos = RegInfoByHwMode<[Hvx64, Hvx128, DefaultMode],
 313     [RegInfo<512,512,512>, RegInfo<1024,1024,1024>, RegInfo<512,512,512>]>;
 314 }
 315
 316 def HvxWR : RegisterClass<"Hexagon", [VecPI8, VecPI16, VecPI32], 1024,
 317   (add (sequence "W%u", 0, 15))> {
 318   let RegInfos = RegInfoByHwMode<[Hvx64, Hvx128, DefaultMode],
 319     [RegInfo<1024,1024,1024>, RegInfo<2048,2048,2048>, RegInfo<1024,1024,1024>]>;
 320 }
 321
 322 def HvxQR : RegisterClass<"Hexagon", [VecI1, VecQ8, VecQ16, VecQ32], 512,
 323   (add Q0, Q1, Q2, Q3)> {
 324   let RegInfos = RegInfoByHwMode<[Hvx64, Hvx128, DefaultMode],
 325     [RegInfo<512,512,512>, RegInfo<1024,1024,1024>, RegInfo<512,512,512>]>;
 326 }
 327
 328 def HvxVQR : RegisterClass<"Hexagon", [untyped], 2048,
 329   (add (sequence "VQ%u", 0, 7))> {
 330   let RegInfos = RegInfoByHwMode<[Hvx64, Hvx128, DefaultMode],
 331     [RegInfo<2048,2048,2048>, RegInfo<4096,4096,4096>, RegInfo<2048,2048,2048>]>;
 332 }
 333
 334 // Core register classes
 335
 336 def IntRegs : RegisterClass<"Hexagon", [i32, f32, v4i8, v2i16], 32,
 337   (add (sequence "R%u", 0, 9), (sequence "R%u", 12, 28),
 338        R10, R11, R29, R30, R31)>;
 339
 340 // Registers are listed in reverse order for allocation preference reasons.
 341 def GeneralSubRegs : RegisterClass<"Hexagon", [i32], 32,
 342   (add R23, R22, R21, R20, R19, R18, R17, R16,
 343        R7, R6, R5, R4, R3, R2, R1, R0)>;
 344
 345 def IntRegsLow8 : RegisterClass<"Hexagon", [i32], 32,
 346   (add R7, R6, R5, R4, R3, R2, R1, R0)> ;
 347
 348 def DoubleRegs : RegisterClass<"Hexagon", [i64, f64, v8i8, v4i16, v2i32], 64,
 349   (add (sequence "D%u", 0, 4), (sequence "D%u", 6, 13), D5, D14, D15)>;
 350
 351 def GeneralDoubleLow8Regs : RegisterClass<"Hexagon", [i64], 64,
 352   (add D11, D10, D9, D8, D3, D2, D1, D0)>;
 353
 354 let Size = 32 in
 355 def PredRegs : RegisterClass<"Hexagon",
 356   [i1, v2i1, v4i1, v8i1, v4i8, v2i16, i32], 32, (add P0, P1, P2, P3)>;
 357
 358 let Size = 32 in
 359 def ModRegs : RegisterClass<"Hexagon", [i32], 32, (add M0, M1)>;
 360
 361 let Size = 32, isAllocatable = 0 in
 362 def CtrRegs : RegisterClass<"Hexagon", [i32], 32,
 363   (add LC0, SA0, LC1, SA1, P3_0, C5, C8, PC, UGP, GP, CS0, CS1,
 364        UPCYCLELO, UPCYCLEHI,
 365        FRAMELIMIT, FRAMEKEY, PKTCOUNTLO, PKTCOUNTHI, UTIMERLO, UTIMERHI,
 366        M0, M1, USR)>;
 367
 368 let isAllocatable = 0 in
 369 def UsrBits : RegisterClass<"Hexagon", [i1], 0, (add USR_OVF)>;
 370
 371 let Size = 64, isAllocatable = 0 in
 372 def CtrRegs64 : RegisterClass<"Hexagon", [i64], 64,
 373   (add C1_0, C3_2, C5_4, C7_6, C9_8, C11_10, CS, UPCYCLE, C17_16,
 374        PKTCOUNT, UTIMER)>;
 375
 376 let Size = 32, isAllocatable = 0 in
 377 def GuestRegs : RegisterClass<"Hexagon", [i32], 32,
 378   (add GELR, GSR, GOSP,
 379        (sequence "G%u", 3, 15),
 380        GPMUCNT4, GPMUCNT5, GPMUCNT6, GPMUCNT7,
 381        G20, G21, G22, G23,
 382        GPCYCLELO, GPCYCLEHI, GPMUCNT0, GPMUCNT1,
 383        GPMUCNT2,  GPMUCNT3,
 384        G30, G31)>;
 385
 386 let Size = 64, isAllocatable = 0 in
 387 def GuestRegs64 : RegisterClass<"Hexagon", [i64], 64,
 388   (add G1_0, G3_2,
 389        G5_4, G7_6, G9_8, G11_10, G13_12, G15_14,
 390        G17_16, G19_18,
 391        G21_20, G23_22,
 392        G25_24, G27_26, G29_28,
 393        G31_30)>;
 394
 395 // These registers are new for v62 and onward.
 396 // The function RegisterMatchesArch() uses this list for validation.
 397 let isAllocatable = 0 in
 398 def V62Regs : RegisterClass<"Hexagon", [i32], 32,
 399   (add FRAMELIMIT, FRAMEKEY,   C17_16, PKTCOUNTLO, PKTCOUNTHI, PKTCOUNT,
 400        UTIMERLO,   UTIMERHI,   UTIMER)>;
 401
 402 // These registers are new for v65 and onward.
 403 let Size = 32, isAllocatable = 0 in
 404 def V65Regs : RegisterClass<"Hexagon", [i32], 32, (add VTMP)>;
 405
 406
 407 def HexagonCSR
 408   : CalleeSavedRegs<(add R16, R17, R18, R19, R20, R21, R22, R23,
 409                          R24, R25, R26, R27)>;