1 //=- Mips32r6InstrFormats.td - Mips32r6 Instruction Formats -*- 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 // This file describes Mips32r6 instruction formats.
12 //===----------------------------------------------------------------------===//
14 class MipsR6Inst : MipsInst<(outs), (ins), "", [], NoItinerary, FrmOther>,
16 let DecoderNamespace = "Mips32r6_64r6";
17 let EncodingPredicates = [HasStdEnc];
20 //===----------------------------------------------------------------------===//
24 //===----------------------------------------------------------------------===//
26 class OPGROUP<bits<6> Val> {
29 def OPGROUP_COP1 : OPGROUP<0b010001>;
30 def OPGROUP_COP2 : OPGROUP<0b010010>;
31 def OPGROUP_ADDI : OPGROUP<0b001000>;
32 def OPGROUP_AUI : OPGROUP<0b001111>;
33 def OPGROUP_BLEZ : OPGROUP<0b000110>;
34 def OPGROUP_BGTZ : OPGROUP<0b000111>;
35 def OPGROUP_BLEZL : OPGROUP<0b010110>;
36 def OPGROUP_BGTZL : OPGROUP<0b010111>;
37 def OPGROUP_DADDI : OPGROUP<0b011000>;
38 def OPGROUP_DAUI : OPGROUP<0b011101>;
39 def OPGROUP_PCREL : OPGROUP<0b111011>;
40 def OPGROUP_REGIMM : OPGROUP<0b000001>;
41 def OPGROUP_SPECIAL : OPGROUP<0b000000>;
42 // The spec occasionally names this value LL, LLD, SC, or SCD.
43 def OPGROUP_SPECIAL3 : OPGROUP<0b011111>;
44 // The spec names this constant LWC2, LDC2, SWC2, and SDC2 in different places.
45 def OPGROUP_COP2LDST : OPGROUP<0b010010>;
47 class OPCODE2<bits<2> Val> {
50 def OPCODE2_ADDIUPC : OPCODE2<0b00>;
51 def OPCODE2_LWPC : OPCODE2<0b01>;
52 def OPCODE2_LWUPC : OPCODE2<0b10>;
54 class OPCODE3<bits<3> Val> {
57 def OPCODE3_LDPC : OPCODE3<0b110>;
59 class OPCODE5<bits<5> Val> {
62 def OPCODE5_ALUIPC : OPCODE5<0b11111>;
63 def OPCODE5_AUIPC : OPCODE5<0b11110>;
64 def OPCODE5_DAHI : OPCODE5<0b00110>;
65 def OPCODE5_DATI : OPCODE5<0b11110>;
66 def OPCODE5_BC1EQZ : OPCODE5<0b01001>;
67 def OPCODE5_BC1NEZ : OPCODE5<0b01101>;
68 def OPCODE5_BC2EQZ : OPCODE5<0b01001>;
69 def OPCODE5_BC2NEZ : OPCODE5<0b01101>;
70 def OPCODE5_BGEZAL : OPCODE5<0b10001>;
71 // The next four constants are unnamed in the spec. These names are taken from
72 // the OPGROUP names they are used with.
73 def OPCODE5_LDC2 : OPCODE5<0b01110>;
74 def OPCODE5_LWC2 : OPCODE5<0b01010>;
75 def OPCODE5_SDC2 : OPCODE5<0b01111>;
76 def OPCODE5_SWC2 : OPCODE5<0b01011>;
78 class OPCODE6<bits<6> Val> {
81 def OPCODE6_ALIGN : OPCODE6<0b100000>;
82 def OPCODE6_DALIGN : OPCODE6<0b100100>;
83 def OPCODE6_BITSWAP : OPCODE6<0b100000>;
84 def OPCODE6_DBITSWAP : OPCODE6<0b100100>;
85 def OPCODE6_JALR : OPCODE6<0b001001>;
86 def OPCODE6_CACHE : OPCODE6<0b100101>;
87 def OPCODE6_PREF : OPCODE6<0b110101>;
88 // The next four constants are unnamed in the spec. These names are taken from
89 // the OPGROUP names they are used with.
90 def OPCODE6_LL : OPCODE6<0b110110>;
91 def OPCODE6_LLD : OPCODE6<0b110111>;
92 def OPCODE6_SC : OPCODE6<0b100110>;
93 def OPCODE6_SCD : OPCODE6<0b100111>;
94 def OPCODE6_CLO : OPCODE6<0b010001>;
95 def OPCODE6_CLZ : OPCODE6<0b010000>;
96 def OPCODE6_DCLO : OPCODE6<0b010011>;
97 def OPCODE6_DCLZ : OPCODE6<0b010010>;
98 def OPCODE6_LSA : OPCODE6<0b000101>;
99 def OPCODE6_DLSA : OPCODE6<0b010101>;
100 def OPCODE6_SDBBP : OPCODE6<0b001110>;
102 class FIELD_FMT<bits<5> Val> {
105 def FIELD_FMT_S : FIELD_FMT<0b10000>;
106 def FIELD_FMT_D : FIELD_FMT<0b10001>;
108 class FIELD_CMP_COND<bits<5> Val> {
111 // Note: The CMP_COND_FMT names differ from the C_COND_FMT names.
112 def FIELD_CMP_COND_AF : FIELD_CMP_COND<0b00000>;
113 def FIELD_CMP_COND_UN : FIELD_CMP_COND<0b00001>;
114 def FIELD_CMP_COND_EQ : FIELD_CMP_COND<0b00010>;
115 def FIELD_CMP_COND_UEQ : FIELD_CMP_COND<0b00011>;
116 def FIELD_CMP_COND_LT : FIELD_CMP_COND<0b00100>;
117 def FIELD_CMP_COND_ULT : FIELD_CMP_COND<0b00101>;
118 def FIELD_CMP_COND_LE : FIELD_CMP_COND<0b00110>;
119 def FIELD_CMP_COND_ULE : FIELD_CMP_COND<0b00111>;
120 def FIELD_CMP_COND_SAF : FIELD_CMP_COND<0b01000>;
121 def FIELD_CMP_COND_SUN : FIELD_CMP_COND<0b01001>;
122 def FIELD_CMP_COND_SEQ : FIELD_CMP_COND<0b01010>;
123 def FIELD_CMP_COND_SUEQ : FIELD_CMP_COND<0b01011>;
124 def FIELD_CMP_COND_SLT : FIELD_CMP_COND<0b01100>;
125 def FIELD_CMP_COND_SULT : FIELD_CMP_COND<0b01101>;
126 def FIELD_CMP_COND_SLE : FIELD_CMP_COND<0b01110>;
127 def FIELD_CMP_COND_SULE : FIELD_CMP_COND<0b01111>;
129 class FIELD_CMP_FORMAT<bits<5> Val> {
132 def FIELD_CMP_FORMAT_S : FIELD_CMP_FORMAT<0b10100>;
133 def FIELD_CMP_FORMAT_D : FIELD_CMP_FORMAT<0b10101>;
135 //===----------------------------------------------------------------------===//
139 //===----------------------------------------------------------------------===//
141 // Some encodings are ambiguous except by comparing field values.
143 class DecodeDisambiguates<string Name> {
144 string DecoderMethod = !strconcat("Decode", Name);
147 class DecodeDisambiguatedBy<string Name> : DecodeDisambiguates<Name> {
148 string DecoderNamespace = "Mips32r6_64r6_Ambiguous";
151 //===----------------------------------------------------------------------===//
155 //===----------------------------------------------------------------------===//
157 class AUI_FM : MipsR6Inst {
164 let Inst{31-26} = OPGROUP_AUI.Value;
165 let Inst{25-21} = rs;
166 let Inst{20-16} = rt;
167 let Inst{15-0} = imm;
170 class DAUI_FM : AUI_FM {
171 let Inst{31-26} = OPGROUP_DAUI.Value;
174 class BAL_FM : MipsR6Inst {
179 let Inst{31-26} = OPGROUP_REGIMM.Value;
180 let Inst{25-21} = 0b00000;
181 let Inst{20-16} = OPCODE5_BGEZAL.Value;
182 let Inst{15-0} = offset;
185 class COP1_2R_FM<bits<6> funct, FIELD_FMT Format> : MipsR6Inst {
191 let Inst{31-26} = OPGROUP_COP1.Value;
192 let Inst{25-21} = Format.Value;
193 let Inst{20-16} = 0b00000;
194 let Inst{15-11} = fs;
196 let Inst{5-0} = funct;
199 class COP1_3R_FM<bits<6> funct, FIELD_FMT Format> : MipsR6Inst {
206 let Inst{31-26} = OPGROUP_COP1.Value;
207 let Inst{25-21} = Format.Value;
208 let Inst{20-16} = ft;
209 let Inst{15-11} = fs;
211 let Inst{5-0} = funct;
214 class COP1_BCCZ_FM<OPCODE5 Operation> : MipsR6Inst {
220 let Inst{31-26} = OPGROUP_COP1.Value;
221 let Inst{25-21} = Operation.Value;
222 let Inst{20-16} = ft;
223 let Inst{15-0} = offset;
226 class COP2_BCCZ_FM<OPCODE5 Operation> : MipsR6Inst {
232 let Inst{31-26} = OPGROUP_COP2.Value;
233 let Inst{25-21} = Operation.Value;
234 let Inst{20-16} = ct;
235 let Inst{15-0} = offset;
238 class PCREL16_FM<OPCODE5 Operation> : MipsR6Inst {
244 let Inst{31-26} = OPGROUP_PCREL.Value;
245 let Inst{25-21} = rs;
246 let Inst{20-16} = Operation.Value;
247 let Inst{15-0} = imm;
250 class PCREL19_FM<OPCODE2 Operation> : MipsR6Inst {
256 let Inst{31-26} = OPGROUP_PCREL.Value;
257 let Inst{25-21} = rs;
258 let Inst{20-19} = Operation.Value;
259 let Inst{18-0} = imm;
262 class PCREL18_FM<OPCODE3 Operation> : MipsR6Inst {
268 let Inst{31-26} = OPGROUP_PCREL.Value;
269 let Inst{25-21} = rs;
270 let Inst{20-18} = Operation.Value;
271 let Inst{17-0} = imm;
274 class SPECIAL3_2R_FM<OPCODE6 Operation> : MipsR6Inst {
280 let Inst{31-26} = OPGROUP_SPECIAL3.Value;
281 let Inst{25-21} = 0b00000;
282 let Inst{20-16} = rt;
283 let Inst{15-11} = rd;
284 let Inst{10-6} = 0b00000;
285 let Inst{5-0} = Operation.Value;
288 class SPECIAL3_MEM_FM<OPCODE6 Operation> : MipsR6Inst {
291 bits<5> base = addr{20-16};
292 bits<9> offset = addr{8-0};
296 let Inst{31-26} = OPGROUP_SPECIAL3.Value;
297 let Inst{25-21} = base;
298 let Inst{20-16} = hint;
299 let Inst{15-7} = offset;
301 let Inst{5-0} = Operation.Value;
304 class SPECIAL_2R_FM<OPCODE6 Operation> : MipsR6Inst {
310 let Inst{31-26} = OPGROUP_SPECIAL.Value;
311 let Inst{25-21} = rs;
312 let Inst{20-16} = 0b00000;
313 let Inst{15-11} = rd;
314 let Inst{10-6} = 0b00001;
315 let Inst{5-0} = Operation.Value;
318 class SPECIAL_3R_FM<bits<5> mulop, bits<6> funct> : MipsR6Inst {
325 let Inst{31-26} = OPGROUP_SPECIAL.Value;
326 let Inst{25-21} = rs;
327 let Inst{20-16} = rt;
328 let Inst{15-11} = rd;
329 let Inst{10-6} = mulop;
330 let Inst{5-0} = funct;
333 class SPECIAL_SDBBP_FM : MipsR6Inst {
338 let Inst{31-26} = OPGROUP_SPECIAL.Value;
339 let Inst{25-6} = code_;
340 let Inst{5-0} = OPCODE6_SDBBP.Value;
343 // This class is ambiguous with other branches:
344 // BEQC/BNEC require that rs > rt
345 class CMP_BRANCH_2R_OFF16_FM<OPGROUP funct> : MipsR6Inst {
352 let Inst{31-26} = funct.Value;
353 let Inst{25-21} = rs;
354 let Inst{20-16} = rt;
355 let Inst{15-0} = offset;
358 // This class is ambiguous with other branches:
359 // BLEZC/BGEZC/BEQZALC/BNEZALC/BGTZALC require that rs == 0 && rt != 0
360 // The '1R_RT' in the name means 1 register in the rt field.
361 class CMP_BRANCH_1R_RT_OFF16_FM<OPGROUP funct> : MipsR6Inst {
367 let Inst{31-26} = funct.Value;
368 let Inst{25-21} = 0b00000;
369 let Inst{20-16} = rt;
370 let Inst{15-0} = offset;
373 // This class is ambiguous with other branches:
374 // BLTZC/BGTZC/BLTZALC/BGEZALC require that rs == rt && rt != 0
375 // The '1R_BOTH' in the name means 1 register in both the rs and rt fields.
376 class CMP_BRANCH_1R_BOTH_OFF16_FM<OPGROUP funct> : MipsR6Inst {
382 let Inst{31-26} = funct.Value;
383 let Inst{25-21} = rt;
384 let Inst{20-16} = rt;
385 let Inst{15-0} = offset;
388 class CMP_BRANCH_OFF21_FM<bits<6> funct> : MipsR6Inst {
389 bits<5> rs; // rs != 0
394 let Inst{31-26} = funct;
395 let Inst{25-21} = rs;
396 let Inst{20-0} = offset;
399 class JMP_IDX_COMPACT_FM<bits<6> funct> : MipsR6Inst {
405 let Inst{31-26} = funct;
406 let Inst{25-21} = 0b00000;
407 let Inst{20-16} = rt;
408 let Inst{15-0} = offset;
411 class BRANCH_OFF26_FM<bits<6> funct> : MipsR6Inst {
415 let Inst{31-26} = funct;
416 let Inst{25-0} = offset;
419 class SPECIAL3_ALIGN_FM<OPCODE6 Operation> : MipsR6Inst {
427 let Inst{31-26} = OPGROUP_SPECIAL3.Value;
428 let Inst{25-21} = rs;
429 let Inst{20-16} = rt;
430 let Inst{15-11} = rd;
431 let Inst{10-8} = 0b010;
433 let Inst{5-0} = Operation.Value;
436 class SPECIAL3_DALIGN_FM<OPCODE6 Operation> : MipsR6Inst {
444 let Inst{31-26} = OPGROUP_SPECIAL3.Value;
445 let Inst{25-21} = rs;
446 let Inst{20-16} = rt;
447 let Inst{15-11} = rd;
448 let Inst{10-9} = 0b01;
450 let Inst{5-0} = Operation.Value;
453 class SPECIAL3_LL_SC_FM<OPCODE6 Operation> : MipsR6Inst {
456 bits<5> base = addr{20-16};
457 bits<9> offset = addr{8-0};
461 let Inst{31-26} = OPGROUP_SPECIAL3.Value;
462 let Inst{25-21} = base;
463 let Inst{20-16} = rt;
464 let Inst{15-7} = offset;
465 let Inst{5-0} = Operation.Value;
467 string DecoderMethod = "DecodeSpecial3LlSc";
470 class SPECIAL_LSA_FM<OPCODE6 Operation> : MipsR6Inst {
478 let Inst{31-26} = OPGROUP_SPECIAL.Value;
479 let Inst{25-21} = rs;
480 let Inst{20-16} = rt;
481 let Inst{15-11} = rd;
482 let Inst{10-8} = 0b000;
483 let Inst{7-6} = imm2;
484 let Inst{5-0} = Operation.Value;
487 class REGIMM_FM<OPCODE5 Operation> : MipsR6Inst {
493 let Inst{31-26} = OPGROUP_REGIMM.Value;
494 let Inst{25-21} = rs;
495 let Inst{20-16} = Operation.Value;
496 let Inst{15-0} = imm;
499 class COP1_CMP_CONDN_FM<FIELD_CMP_FORMAT Format,
500 FIELD_CMP_COND Cond> : MipsR6Inst {
507 let Inst{31-26} = OPGROUP_COP1.Value;
508 let Inst{25-21} = Format.Value;
509 let Inst{20-16} = ft;
510 let Inst{15-11} = fs;
513 let Inst{4-0} = Cond.Value;
516 class JR_HB_R6_FM<OPCODE6 Operation> : MipsR6Inst {
521 let Inst{31-26} = OPGROUP_SPECIAL.Value;
522 let Inst{25-21} = rs;
527 let Inst{5-0} = Operation.Value;
530 class COP2LDST_FM<OPCODE5 Operation> : MipsR6Inst {
533 bits<5> base = addr{20-16};
534 bits<11> offset = addr{10-0};
538 let Inst{31-26} = OPGROUP_COP2LDST.Value;
539 let Inst{25-21} = Operation.Value;
540 let Inst{20-16} = rt;
541 let Inst{15-11} = base;
542 let Inst{10-0} = offset;