1 //===-- MipsInstrFormats.td - Mips 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 //===----------------------------------------------------------------------===//
11 // Describe MIPS instructions format
13 // CPU INSTRUCTION FORMATS
15 // opcode - operation code.
17 // rt - dst reg (on a 2 regs instr) or src reg (on a 3 reg instr).
18 // rd - dst reg, only used on 3 regs instr.
19 // shamt - only used on shift instructions, contains the shift amount.
20 // funct - combined with opcode field give us an operation code.
22 //===----------------------------------------------------------------------===//
24 // Format specifies the encoding used by the instruction. This is part of the
25 // ad-hoc solution used to emit machine instruction encodings by our machine
27 class Format<bits<4> val> {
31 def Pseudo : Format<0>;
35 def FrmFR : Format<4>;
36 def FrmFI : Format<5>;
37 def FrmOther : Format<6>; // Instruction w/ a custom format
39 // Generic Mips Format
40 class MipsInst<dag outs, dag ins, string asmstr, list<dag> pattern,
41 InstrItinClass itin, Format f>: Instruction
46 let Namespace = "Mips";
52 // Top 6 bits are the 'opcode' field
53 let Inst{31-26} = Opcode;
55 let OutOperandList = outs;
56 let InOperandList = ins;
58 let AsmString = asmstr;
59 let Pattern = pattern;
63 // Attributes specific to Mips instructions...
65 bits<4> FormBits = Form.Value;
67 // TSFlags layout should be kept in sync with MipsInstrInfo.h.
68 let TSFlags{3-0} = FormBits;
70 let DecoderNamespace = "Mips";
72 field bits<32> SoftFail = 0;
75 // Mips32/64 Instruction Format
76 class InstSE<dag outs, dag ins, string asmstr, list<dag> pattern,
77 InstrItinClass itin, Format f>:
78 MipsInst<outs, ins, asmstr, pattern, itin, f> {
79 let Predicates = [HasStdEnc];
82 // Mips Pseudo Instructions Format
83 class MipsPseudo<dag outs, dag ins, list<dag> pattern,
84 InstrItinClass itin = IIPseudo> :
85 MipsInst<outs, ins, "", pattern, itin, Pseudo> {
86 let isCodeGenOnly = 1;
90 // Mips32/64 Pseudo Instruction Format
91 class PseudoSE<dag outs, dag ins, list<dag> pattern,
92 InstrItinClass itin = IIPseudo>:
93 MipsPseudo<outs, ins, pattern, itin> {
94 let Predicates = [HasStdEnc];
97 // Pseudo-instructions for alternate assembly syntax (never used by codegen).
98 // These are aliases that require C++ handling to convert to the target
99 // instruction, while InstAliases can be handled directly by tblgen.
100 class MipsAsmPseudoInst<dag outs, dag ins, string asmstr>:
101 MipsInst<outs, ins, asmstr, [], IIPseudo, Pseudo> {
105 //===----------------------------------------------------------------------===//
106 // Format R instruction class in Mips : <|opcode|rs|rt|rd|shamt|funct|>
107 //===----------------------------------------------------------------------===//
109 class FR<bits<6> op, bits<6> _funct, dag outs, dag ins, string asmstr,
110 list<dag> pattern, InstrItinClass itin>:
111 InstSE<outs, ins, asmstr, pattern, itin, FrmR>
122 let Inst{25-21} = rs;
123 let Inst{20-16} = rt;
124 let Inst{15-11} = rd;
125 let Inst{10-6} = shamt;
126 let Inst{5-0} = funct;
129 //===----------------------------------------------------------------------===//
130 // Format I instruction class in Mips : <|opcode|rs|rt|immediate|>
131 //===----------------------------------------------------------------------===//
133 class FI<bits<6> op, dag outs, dag ins, string asmstr, list<dag> pattern,
134 InstrItinClass itin>: InstSE<outs, ins, asmstr, pattern, itin, FrmI>
142 let Inst{25-21} = rs;
143 let Inst{20-16} = rt;
144 let Inst{15-0} = imm16;
147 class BranchBase<bits<6> op, dag outs, dag ins, string asmstr,
148 list<dag> pattern, InstrItinClass itin>:
149 InstSE<outs, ins, asmstr, pattern, itin, FrmI>
157 let Inst{25-21} = rs;
158 let Inst{20-16} = rt;
159 let Inst{15-0} = imm16;
162 //===----------------------------------------------------------------------===//
163 // Format J instruction class in Mips : <|opcode|address|>
164 //===----------------------------------------------------------------------===//
172 let Inst{31-26} = op;
173 let Inst{25-0} = target;
176 //===----------------------------------------------------------------------===//
177 // MFC instruction class in Mips : <|op|mf|rt|rd|0000000|sel|>
178 //===----------------------------------------------------------------------===//
179 class MFC3OP<bits<6> op, bits<5> _mfmt, dag outs, dag ins, string asmstr>:
180 InstSE<outs, ins, asmstr, [], NoItinerary, FrmFR>
190 let Inst{25-21} = mfmt;
191 let Inst{20-16} = rt;
192 let Inst{15-11} = rd;
197 class ADD_FM<bits<6> op, bits<6> funct> {
204 let Inst{31-26} = op;
205 let Inst{25-21} = rs;
206 let Inst{20-16} = rt;
207 let Inst{15-11} = rd;
209 let Inst{5-0} = funct;
212 class ADDI_FM<bits<6> op> {
219 let Inst{31-26} = op;
220 let Inst{25-21} = rs;
221 let Inst{20-16} = rt;
222 let Inst{15-0} = imm16;
225 class SRA_FM<bits<6> funct, bit rotate> {
234 let Inst{21} = rotate;
235 let Inst{20-16} = rt;
236 let Inst{15-11} = rd;
237 let Inst{10-6} = shamt;
238 let Inst{5-0} = funct;
241 class SRLV_FM<bits<6> funct, bit rotate> {
249 let Inst{25-21} = rs;
250 let Inst{20-16} = rt;
251 let Inst{15-11} = rd;
253 let Inst{6} = rotate;
254 let Inst{5-0} = funct;
257 class BEQ_FM<bits<6> op> {
264 let Inst{31-26} = op;
265 let Inst{25-21} = rs;
266 let Inst{20-16} = rt;
267 let Inst{15-0} = offset;
270 class BGEZ_FM<bits<6> op, bits<5> funct> {
276 let Inst{31-26} = op;
277 let Inst{25-21} = rs;
278 let Inst{20-16} = funct;
279 let Inst{15-0} = offset;
290 let Inst{15-0} = offset;
293 class SLTI_FM<bits<6> op> {
300 let Inst{31-26} = op;
301 let Inst{25-21} = rs;
302 let Inst{20-16} = rt;
303 let Inst{15-0} = imm16;
306 class MFLO_FM<bits<6> funct> {
313 let Inst{15-11} = rd;
315 let Inst{5-0} = funct;
318 class MTLO_FM<bits<6> funct> {
324 let Inst{25-21} = rs;
326 let Inst{5-0} = funct;
329 class SEB_FM<bits<5> funct, bits<6> funct2> {
335 let Inst{31-26} = 0x1f;
337 let Inst{20-16} = rt;
338 let Inst{15-11} = rd;
339 let Inst{10-6} = funct;
340 let Inst{5-0} = funct2;
343 class CLO_FM<bits<6> funct> {
350 let Inst{31-26} = 0x1c;
351 let Inst{25-21} = rs;
352 let Inst{20-16} = rt;
353 let Inst{15-11} = rd;
355 let Inst{5-0} = funct;
365 let Inst{31-26} = 0xf;
367 let Inst{20-16} = rt;
368 let Inst{15-0} = imm16;
383 let Inst{25-21} = rs;
385 let Inst{15-11} = 31;
397 let Inst{20-16} = 0x11;
398 let Inst{15-0} = offset;
401 class BGEZAL_FM<bits<5> funct> {
408 let Inst{25-21} = rs;
409 let Inst{20-16} = funct;
410 let Inst{15-0} = offset;
419 let Inst{10-6} = stype;
423 class MULT_FM<bits<6> op, bits<6> funct> {
429 let Inst{31-26} = op;
430 let Inst{25-21} = rs;
431 let Inst{20-16} = rt;
433 let Inst{5-0} = funct;
436 class EXT_FM<bits<6> funct> {
444 let Inst{31-26} = 0x1f;
445 let Inst{25-21} = rs;
446 let Inst{20-16} = rt;
447 let Inst{15-11} = size;
448 let Inst{10-6} = pos;
449 let Inst{5-0} = funct;
458 let Inst{31-26} = 0x1f;
460 let Inst{20-16} = rt;
461 let Inst{15-11} = rd;
463 let Inst{5-0} = 0x3b;
466 //===----------------------------------------------------------------------===//
468 // FLOATING POINT INSTRUCTION FORMATS
470 // opcode - operation code.
472 // ft - dst reg (on a 2 regs instr) or src reg (on a 3 reg instr).
473 // fd - dst reg, only used on 3 regs instr.
474 // fmt - double or single precision.
475 // funct - combined with opcode field give us an operation code.
477 //===----------------------------------------------------------------------===//
479 //===----------------------------------------------------------------------===//
480 // Format FI instruction class in Mips : <|opcode|base|ft|immediate|>
481 //===----------------------------------------------------------------------===//
483 class FFI<bits<6> op, dag outs, dag ins, string asmstr, list<dag> pattern>:
484 InstSE<outs, ins, asmstr, pattern, NoItinerary, FrmFI>
492 let Inst{25-21} = base;
493 let Inst{20-16} = ft;
494 let Inst{15-0} = imm16;
497 class ADDS_FM<bits<6> funct, bits<5> fmt> {
504 let Inst{31-26} = 0x11;
505 let Inst{25-21} = fmt;
506 let Inst{20-16} = ft;
507 let Inst{15-11} = fs;
509 let Inst{5-0} = funct;
512 class ABSS_FM<bits<6> funct, bits<5> fmt> {
518 let Inst{31-26} = 0x11;
519 let Inst{25-21} = fmt;
521 let Inst{15-11} = fs;
523 let Inst{5-0} = funct;
526 class MFC1_FM<bits<5> funct> {
532 let Inst{31-26} = 0x11;
533 let Inst{25-21} = funct;
534 let Inst{20-16} = rt;
535 let Inst{15-11} = fs;
539 class LW_FM<bits<6> op> {
545 let Inst{31-26} = op;
546 let Inst{25-21} = addr{20-16};
547 let Inst{20-16} = rt;
548 let Inst{15-0} = addr{15-0};
551 class MADDS_FM<bits<3> funct, bits<3> fmt> {
559 let Inst{31-26} = 0x13;
560 let Inst{25-21} = fr;
561 let Inst{20-16} = ft;
562 let Inst{15-11} = fs;
564 let Inst{5-3} = funct;
568 class LWXC1_FM<bits<6> funct> {
575 let Inst{31-26} = 0x13;
576 let Inst{25-21} = base;
577 let Inst{20-16} = index;
580 let Inst{5-0} = funct;
583 class SWXC1_FM<bits<6> funct> {
590 let Inst{31-26} = 0x13;
591 let Inst{25-21} = base;
592 let Inst{20-16} = index;
593 let Inst{15-11} = fs;
595 let Inst{5-0} = funct;
598 class BC1F_FM<bit nd, bit tf> {
603 let Inst{31-26} = 0x11;
604 let Inst{25-21} = 0x8;
605 let Inst{20-18} = 0; // cc
608 let Inst{15-0} = offset;
611 class CEQS_FM<bits<5> fmt> {
618 let Inst{31-26} = 0x11;
619 let Inst{25-21} = fmt;
620 let Inst{20-16} = ft;
621 let Inst{15-11} = fs;
622 let Inst{10-8} = 0; // cc
624 let Inst{3-0} = cond;
627 class CMov_I_F_FM<bits<6> funct, bits<5> fmt> {
634 let Inst{31-26} = 0x11;
635 let Inst{25-21} = fmt;
636 let Inst{20-16} = rt;
637 let Inst{15-11} = fs;
639 let Inst{5-0} = funct;
642 class CMov_F_I_FM<bit tf> {
649 let Inst{25-21} = rs;
650 let Inst{20-18} = 0; // cc
653 let Inst{15-11} = rd;
658 class CMov_F_F_FM<bits<5> fmt, bit tf> {
664 let Inst{31-26} = 0x11;
665 let Inst{25-21} = fmt;
666 let Inst{20-18} = 0; // cc
669 let Inst{15-11} = fs;
671 let Inst{5-0} = 0x11;