lib/Target/Mips/Mips32r6InstrFormats.td

   1 //=- Mips32r6InstrFormats.td - Mips32r6 Instruction Formats -*- 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 // This file describes Mips32r6 instruction formats.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 class MipsR6Inst : MipsInst<(outs), (ins), "", [], NoItinerary, FrmOther>,
  15                    PredicateControl {
  16   let DecoderNamespace = "Mips32r6_64r6";
  17   let EncodingPredicates = [HasStdEnc];
  18 }
  19
  20 //===----------------------------------------------------------------------===//
  21 //
  22 // Field Values
  23 //
  24 //===----------------------------------------------------------------------===//
  25
  26 def OPGROUP_COP1    { bits<6> Value = 0b010001; }
  27 def OPGROUP_AUI     { bits<6> Value = 0b001111; }
  28 def OPGROUP_DAUI    { bits<6> Value = 0b011101; }
  29 def OPGROUP_PCREL   { bits<6> Value = 0b111011; }
  30 def OPGROUP_REGIMM  { bits<6> Value = 0b000001; }
  31 def OPGROUP_SPECIAL { bits<6> Value = 0b000000; }
  32 def OPGROUP_SPECIAL3 { bits<6> Value = 0b011111; }
  33
  34 class OPCODE2<bits<2> Val> {
  35   bits<2> Value = Val;
  36 }
  37 def OPCODE2_ADDIUPC : OPCODE2<0b00>;
  38 def OPCODE2_LWPC    : OPCODE2<0b01>;
  39 def OPCODE2_LWUPC   : OPCODE2<0b10>;
  40
  41 class OPCODE5<bits<5> Val> {
  42   bits<5> Value = Val;
  43 }
  44 def OPCODE5_ALUIPC : OPCODE5<0b11111>;
  45 def OPCODE5_AUIPC  : OPCODE5<0b11110>;
  46 def OPCODE5_DAHI : OPCODE5<0b00110>;
  47 def OPCODE5_DATI : OPCODE5<0b11110>;
  48
  49 class OPCODE6<bits<6> Val> {
  50   bits<6> Value = Val;
  51 }
  52 def OPCODE6_ALIGN    : OPCODE6<0b100000>;
  53 def OPCODE6_DALIGN   : OPCODE6<0b100100>;
  54 def OPCODE6_BITSWAP  : OPCODE6<0b100000>;
  55 def OPCODE6_DBITSWAP : OPCODE6<0b100100>;
  56
  57 class FIELD_FMT<bits<5> Val> {
  58   bits<5> Value = Val;
  59 }
  60 def FIELD_FMT_S : FIELD_FMT<0b10000>;
  61 def FIELD_FMT_D : FIELD_FMT<0b10001>;
  62
  63 class FIELD_CMP_COND<bits<5> Val> {
  64   bits<5> Value = Val;
  65 }
  66 def FIELD_CMP_COND_F    : FIELD_CMP_COND<0b00000>;
  67 def FIELD_CMP_COND_UN   : FIELD_CMP_COND<0b00001>;
  68 def FIELD_CMP_COND_EQ   : FIELD_CMP_COND<0b00010>;
  69 def FIELD_CMP_COND_UEQ  : FIELD_CMP_COND<0b00011>;
  70 def FIELD_CMP_COND_OLT  : FIELD_CMP_COND<0b00100>;
  71 def FIELD_CMP_COND_ULT  : FIELD_CMP_COND<0b00101>;
  72 def FIELD_CMP_COND_OLE  : FIELD_CMP_COND<0b00110>;
  73 def FIELD_CMP_COND_ULE  : FIELD_CMP_COND<0b00111>;
  74 def FIELD_CMP_COND_SF   : FIELD_CMP_COND<0b01000>;
  75 def FIELD_CMP_COND_NGLE : FIELD_CMP_COND<0b01001>;
  76 def FIELD_CMP_COND_SEQ  : FIELD_CMP_COND<0b01010>;
  77 def FIELD_CMP_COND_NGL  : FIELD_CMP_COND<0b01011>;
  78 def FIELD_CMP_COND_LT   : FIELD_CMP_COND<0b01100>;
  79 def FIELD_CMP_COND_NGE  : FIELD_CMP_COND<0b01101>;
  80 def FIELD_CMP_COND_LE   : FIELD_CMP_COND<0b01110>;
  81 def FIELD_CMP_COND_NGT  : FIELD_CMP_COND<0b01111>;
  82
  83 class FIELD_CMP_FORMAT<bits<5> Val> {
  84   bits<5> Value = Val;
  85 }
  86 def FIELD_CMP_FORMAT_S : FIELD_CMP_FORMAT<0b10100>;
  87 def FIELD_CMP_FORMAT_D : FIELD_CMP_FORMAT<0b10101>;
  88
  89 //===----------------------------------------------------------------------===//
  90 //
  91 // Encoding Formats
  92 //
  93 //===----------------------------------------------------------------------===//
  94
  95 class AUI_FM : MipsR6Inst {
  96   bits<5> rs;
  97   bits<5> rt;
  98   bits<16> imm;
  99
 100   bits<32> Inst;
 101
 102   let Inst{31-26} = OPGROUP_AUI.Value;
 103   let Inst{25-21} = rs;
 104   let Inst{20-16} = rt;
 105   let Inst{15-0} = imm;
 106 }
 107
 108 class DAUI_FM : AUI_FM {
 109   let Inst{31-26} = OPGROUP_DAUI.Value;
 110 }
 111
 112 class COP1_2R_FM<bits<6> funct, FIELD_FMT Format> : MipsR6Inst {
 113   bits<5> fs;
 114   bits<5> fd;
 115
 116   bits<32> Inst;
 117
 118   let Inst{31-26} = OPGROUP_COP1.Value;
 119   let Inst{25-21} = Format.Value;
 120   let Inst{20-16} = 0b00000;
 121   let Inst{15-11} = fs;
 122   let Inst{10-6}  = fd;
 123   let Inst{5-0}   = funct;
 124 }
 125
 126 class COP1_3R_FM<bits<6> funct, FIELD_FMT Format> : MipsR6Inst {
 127   bits<5> ft;
 128   bits<5> fs;
 129   bits<5> fd;
 130
 131   bits<32> Inst;
 132
 133   let Inst{31-26} = OPGROUP_COP1.Value;
 134   let Inst{25-21} = Format.Value;
 135   let Inst{20-16} = ft;
 136   let Inst{15-11} = fs;
 137   let Inst{10-6} = fd;
 138   let Inst{5-0} = funct;
 139 }
 140
 141 class PCREL16_FM<OPCODE5 Operation> : MipsR6Inst {
 142   bits<5> rs;
 143   bits<16> imm;
 144
 145   bits<32> Inst;
 146
 147   let Inst{31-26} = OPGROUP_PCREL.Value;
 148   let Inst{25-21} = rs;
 149   let Inst{20-16} = Operation.Value;
 150   let Inst{15-0} = imm;
 151 }
 152
 153 class PCREL19_FM<OPCODE2 Operation> : MipsR6Inst {
 154   bits<5> rs;
 155   bits<19> imm;
 156
 157   bits<32> Inst;
 158
 159   let Inst{31-26} = OPGROUP_PCREL.Value;
 160   let Inst{25-21} = rs;
 161   let Inst{20-19} = Operation.Value;
 162   let Inst{18-0} = imm;
 163 }
 164
 165 class SPECIAL3_2R_FM<OPCODE6 Operation> : MipsR6Inst {
 166   bits<5> rd;
 167   bits<5> rt;
 168
 169   bits<32> Inst;
 170
 171   let Inst{31-26} = OPGROUP_SPECIAL3.Value;
 172   let Inst{25-21} = 0b00000;
 173   let Inst{20-16} = rt;
 174   let Inst{15-11} = rd;
 175   let Inst{10-6}  = 0b00000;
 176   let Inst{5-0}   = Operation.Value;
 177 }
 178
 179 class SPECIAL_3R_FM<bits<5> mulop, bits<6> funct> : MipsR6Inst {
 180   bits<5> rd;
 181   bits<5> rs;
 182   bits<5> rt;
 183
 184   bits<32> Inst;
 185
 186   let Inst{31-26} = OPGROUP_SPECIAL.Value;
 187   let Inst{25-21} = rs;
 188   let Inst{20-16} = rt;
 189   let Inst{15-11} = rd;
 190   let Inst{10-6}  = mulop;
 191   let Inst{5-0}   = funct;
 192 }
 193
 194 class SPECIAL3_ALIGN_FM<OPCODE6 Operation> : MipsR6Inst {
 195   bits<5> rd;
 196   bits<5> rs;
 197   bits<5> rt;
 198   bits<2> bp;
 199
 200   bits<32> Inst;
 201
 202   let Inst{31-26} = OPGROUP_SPECIAL3.Value;
 203   let Inst{25-21} = rs;
 204   let Inst{20-16} = rt;
 205   let Inst{15-11} = rd;
 206   let Inst{10-8}  = 0b010;
 207   let Inst{7-6}   = bp;
 208   let Inst{5-0}   = Operation.Value;
 209 }
 210
 211 class SPECIAL3_DALIGN_FM<OPCODE6 Operation> : MipsR6Inst {
 212   bits<5> rd;
 213   bits<5> rs;
 214   bits<5> rt;
 215   bits<3> bp;
 216
 217   bits<32> Inst;
 218
 219   let Inst{31-26} = OPGROUP_SPECIAL3.Value;
 220   let Inst{25-21} = rs;
 221   let Inst{20-16} = rt;
 222   let Inst{15-11} = rd;
 223   let Inst{10-9}  = 0b01;
 224   let Inst{8-6}   = bp;
 225   let Inst{5-0}   = Operation.Value;
 226 }
 227
 228 class REGIMM_FM<OPCODE5 Operation> : MipsR6Inst {
 229   bits<5> rs;
 230   bits<16> imm;
 231
 232   bits<32> Inst;
 233
 234   let Inst{31-26} = OPGROUP_REGIMM.Value;
 235   let Inst{25-21} = rs;
 236   let Inst{20-16} = Operation.Value;
 237   let Inst{15-0} = imm;
 238 }
 239
 240 class COP1_CMP_CONDN_FM<FIELD_CMP_FORMAT Format,
 241                         FIELD_CMP_COND Cond> : MipsR6Inst {
 242   bits<5> fd;
 243   bits<5> fs;
 244   bits<5> ft;
 245
 246   bits<32> Inst;
 247
 248   let Inst{31-26} = OPGROUP_COP1.Value;
 249   let Inst{25-21} = Format.Value;
 250   let Inst{20-16} = ft;
 251   let Inst{15-11} = fs;
 252   let Inst{10-6}  = fd;
 253   let Inst{5}     = 0;
 254   let Inst{4-0}   = Cond.Value;
 255 }
 256