1 //===-- SparcInstrFormats.td - Sparc 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 class InstSP<dag outs, dag ins, string asmstr, list<dag> pattern>
18 let Inst{31-30} = op; // Top two bits are the 'op' field
20 dag OutOperandList = outs;
21 dag InOperandList = ins;
22 let AsmString = asmstr;
23 let Pattern = pattern;
25 let DecoderNamespace = "Sparc";
26 field bits<32> SoftFail = 0;
29 //===----------------------------------------------------------------------===//
30 // Format #2 instruction classes in the Sparc
31 //===----------------------------------------------------------------------===//
33 // Format 2 instructions
34 class F2<dag outs, dag ins, string asmstr, list<dag> pattern>
35 : InstSP<outs, ins, asmstr, pattern> {
39 let Inst{24-22} = op2;
40 let Inst{21-0} = imm22;
43 // Specific F2 classes: SparcV8 manual, page 44
45 class F2_1<bits<3> op2Val, dag outs, dag ins, string asmstr, list<dag> pattern>
46 : F2<outs, ins, asmstr, pattern> {
54 class F2_2<bits<3> op2Val, dag outs, dag ins, string asmstr,
55 list<dag> pattern> : F2<outs, ins, asmstr, pattern> {
57 bit annul = 0; // currently unused
62 let Inst{28-25} = cond;
65 class F2_3<bits<3> op2Val, bits<2> ccVal, dag outs, dag ins, string asmstr,
67 : InstSP<outs, ins, asmstr, pattern> {
75 bit annul = 0; // currently unused
76 let pred = 1; // default is predict taken
79 let Inst{28-25} = cond;
80 let Inst{24-22} = op2Val;
81 let Inst{21-20} = ccVal;
83 let Inst{18-0} = imm19;
86 //===----------------------------------------------------------------------===//
87 // Format #3 instruction classes in the Sparc
88 //===----------------------------------------------------------------------===//
90 class F3<dag outs, dag ins, string asmstr, list<dag> pattern>
91 : InstSP<outs, ins, asmstr, pattern> {
95 let op{1} = 1; // Op = 2 or 3
97 let Inst{24-19} = op3;
98 let Inst{18-14} = rs1;
101 // Specific F3 classes: SparcV8 manual, page 44
103 class F3_1_asi<bits<2> opVal, bits<6> op3val, bits<8> asi, dag outs, dag ins,
104 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
110 let Inst{13} = 0; // i field = 0
111 let Inst{12-5} = asi; // address space identifier
115 class F3_1<bits<2> opVal, bits<6> op3val, dag outs, dag ins, string asmstr,
116 list<dag> pattern> : F3_1_asi<opVal, op3val, 0, outs, ins,
119 class F3_2<bits<2> opVal, bits<6> op3val, dag outs, dag ins,
120 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
126 let Inst{13} = 1; // i field = 1
127 let Inst{12-0} = simm13;
131 class F3_3<bits<2> opVal, bits<6> op3val, bits<9> opfval, dag outs, dag ins,
132 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
138 let Inst{13-5} = opfval; // fp opcode
142 // floating-point unary operations.
143 class F3_3u<bits<2> opVal, bits<6> op3val, bits<9> opfval, dag outs, dag ins,
144 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
151 let Inst{13-5} = opfval; // fp opcode
155 // floating-point compares.
156 class F3_3c<bits<2> opVal, bits<6> op3val, bits<9> opfval, dag outs, dag ins,
157 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
164 let Inst{13-5} = opfval; // fp opcode
168 // Shift by register rs2.
169 class F3_Sr<bits<2> opVal, bits<6> op3val, bit xVal, dag outs, dag ins,
170 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
171 bit x = xVal; // 1 for 64-bit shifts.
177 let Inst{13} = 0; // i field = 0
178 let Inst{12} = x; // extended registers.
182 // Shift by immediate.
183 class F3_Si<bits<2> opVal, bits<6> op3val, bit xVal, dag outs, dag ins,
184 string asmstr, list<dag> pattern> : F3<outs, ins, asmstr, pattern> {
185 bit x = xVal; // 1 for 64-bit shifts.
186 bits<6> shcnt; // shcnt32 / shcnt64.
191 let Inst{13} = 1; // i field = 1
192 let Inst{12} = x; // extended registers.
193 let Inst{5-0} = shcnt;
196 // Define rr and ri shift instructions with patterns.
197 multiclass F3_S<string OpcStr, bits<6> Op3Val, bit XVal, SDNode OpNode,
198 ValueType VT, RegisterClass RC> {
199 def rr : F3_Sr<2, Op3Val, XVal, (outs RC:$rd), (ins RC:$rs1, IntRegs:$rs2),
200 !strconcat(OpcStr, " $rs1, $rs2, $rd"),
201 [(set VT:$rd, (OpNode VT:$rs1, i32:$rs2))]>;
202 def ri : F3_Si<2, Op3Val, XVal, (outs RC:$rd), (ins RC:$rs1, i32imm:$shcnt),
203 !strconcat(OpcStr, " $rs1, $shcnt, $rd"),
204 [(set VT:$rd, (OpNode VT:$rs1, (i32 imm:$shcnt)))]>;
207 class F4<bits<6> op3, dag outs, dag ins, string asmstr, list<dag> pattern>
208 : InstSP<outs, ins, asmstr, pattern> {
212 let Inst{29-25} = rd;
213 let Inst{24-19} = op3;
217 class F4_1<bits<6> op3, dag outs, dag ins,
218 string asmstr, list<dag> pattern>
219 : F4<op3, outs, ins, asmstr, pattern> {
226 let Inst{11} = cc{0};
227 let Inst{12} = cc{1};
229 let Inst{17-14} = cond;
230 let Inst{18} = cc{2};
234 class F4_2<bits<6> op3, dag outs, dag ins,
235 string asmstr, list<dag> pattern>
236 : F4<op3, outs, ins, asmstr, pattern> {
241 let Inst{10-0} = simm11;
242 let Inst{11} = cc{0};
243 let Inst{12} = cc{1};
245 let Inst{17-14} = cond;
246 let Inst{18} = cc{2};
249 class F4_3<bits<6> op3, bits<6> opf_low, dag outs, dag ins,
250 string asmstr, list<dag> pattern>
251 : F4<op3, outs, ins, asmstr, pattern> {
257 let Inst{17-14} = cond;
258 let Inst{13-11} = opf_cc;
259 let Inst{10-5} = opf_low;