blob: 94f05cc41afff61cc8a12ff722fab3c8f33bba84 [file] [log] [blame]
Tom Stellard2c1c9de2014-03-24 16:07:25 +00001//===-- EvergreenInstructions.td - EG Instruction defs ----*- 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// TableGen definitions for instructions which are:
11// - Available to Evergreen and newer VLIW4/VLIW5 GPUs
12// - Available only on Evergreen family GPUs.
13//
14//===----------------------------------------------------------------------===//
15
16def isEG : Predicate<
Eric Christopher7792e322015-01-30 23:24:40 +000017 "Subtarget->getGeneration() >= AMDGPUSubtarget::EVERGREEN && "
18 "Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS && "
19 "!Subtarget->hasCaymanISA()"
Tom Stellard2c1c9de2014-03-24 16:07:25 +000020>;
21
22def isEGorCayman : Predicate<
Eric Christopher7792e322015-01-30 23:24:40 +000023 "Subtarget->getGeneration() == AMDGPUSubtarget::EVERGREEN ||"
24 "Subtarget->getGeneration() ==AMDGPUSubtarget::NORTHERN_ISLANDS"
Tom Stellard2c1c9de2014-03-24 16:07:25 +000025>;
26
27//===----------------------------------------------------------------------===//
28// Evergreen / Cayman store instructions
29//===----------------------------------------------------------------------===//
30
31let Predicates = [isEGorCayman] in {
32
33class CF_MEM_RAT_CACHELESS <bits<6> rat_inst, bits<4> rat_id, bits<4> mask, dag ins,
34 string name, list<dag> pattern>
35 : EG_CF_RAT <0x57, rat_inst, rat_id, mask, (outs), ins,
36 "MEM_RAT_CACHELESS "#name, pattern>;
37
38class CF_MEM_RAT <bits<6> rat_inst, bits<4> rat_id, dag ins, string name,
39 list<dag> pattern>
40 : EG_CF_RAT <0x56, rat_inst, rat_id, 0xf /* mask */, (outs), ins,
41 "MEM_RAT "#name, pattern>;
42
Tom Stellarde0e582c2015-10-01 17:51:34 +000043class CF_MEM_RAT_STORE_TYPED<bits<1> has_eop>
44 : CF_MEM_RAT <0x1, ?, (ins R600_Reg128:$rw_gpr, R600_Reg128:$index_gpr,
45 i32imm:$rat_id, InstFlag:$eop),
46 "STORE_TYPED RAT($rat_id) $rw_gpr, $index_gpr"
47 #!if(has_eop, ", $eop", ""),
48 [(int_r600_rat_store_typed R600_Reg128:$rw_gpr,
49 R600_Reg128:$index_gpr,
50 (i32 imm:$rat_id))]>;
51
Tom Stellard2c1c9de2014-03-24 16:07:25 +000052def RAT_MSKOR : CF_MEM_RAT <0x11, 0,
53 (ins R600_Reg128:$rw_gpr, R600_TReg32_X:$index_gpr),
54 "MSKOR $rw_gpr.XW, $index_gpr",
55 [(mskor_global v4i32:$rw_gpr, i32:$index_gpr)]
56> {
57 let eop = 0;
58}
59
60} // End let Predicates = [isEGorCayman]
61
62//===----------------------------------------------------------------------===//
63// Evergreen Only instructions
64//===----------------------------------------------------------------------===//
65
66let Predicates = [isEG] in {
67
68def RECIP_IEEE_eg : RECIP_IEEE_Common<0x86>;
69defm DIV_eg : DIV_Common<RECIP_IEEE_eg>;
70
71def MULLO_INT_eg : MULLO_INT_Common<0x8F>;
72def MULHI_INT_eg : MULHI_INT_Common<0x90>;
73def MULLO_UINT_eg : MULLO_UINT_Common<0x91>;
74def MULHI_UINT_eg : MULHI_UINT_Common<0x92>;
75def RECIP_UINT_eg : RECIP_UINT_Common<0x94>;
76def RECIPSQRT_CLAMPED_eg : RECIPSQRT_CLAMPED_Common<0x87>;
77def EXP_IEEE_eg : EXP_IEEE_Common<0x81>;
78def LOG_IEEE_eg : LOG_IEEE_Common<0x83>;
79def RECIP_CLAMPED_eg : RECIP_CLAMPED_Common<0x84>;
80def RECIPSQRT_IEEE_eg : RECIPSQRT_IEEE_Common<0x89>;
Matt Arsenault0bbcd8b2015-02-14 04:30:08 +000081def : RsqPat<RECIPSQRT_IEEE_eg, f32>;
Tom Stellard2c1c9de2014-03-24 16:07:25 +000082def SIN_eg : SIN_Common<0x8D>;
83def COS_eg : COS_Common<0x8E>;
84
85def : POW_Common <LOG_IEEE_eg, EXP_IEEE_eg, MUL>;
86def : Pat<(fsqrt f32:$src), (MUL $src, (RECIPSQRT_CLAMPED_eg $src))>;
87
88//===----------------------------------------------------------------------===//
89// Memory read/write instructions
90//===----------------------------------------------------------------------===//
91
92let usesCustomInserter = 1 in {
93
94// 32-bit store
95def RAT_WRITE_CACHELESS_32_eg : CF_MEM_RAT_CACHELESS <0x2, 0, 0x1,
96 (ins R600_TReg32_X:$rw_gpr, R600_TReg32_X:$index_gpr, InstFlag:$eop),
97 "STORE_RAW $rw_gpr, $index_gpr, $eop",
98 [(global_store i32:$rw_gpr, i32:$index_gpr)]
99>;
100
101// 64-bit store
102def RAT_WRITE_CACHELESS_64_eg : CF_MEM_RAT_CACHELESS <0x2, 0, 0x3,
103 (ins R600_Reg64:$rw_gpr, R600_TReg32_X:$index_gpr, InstFlag:$eop),
104 "STORE_RAW $rw_gpr.XY, $index_gpr, $eop",
105 [(global_store v2i32:$rw_gpr, i32:$index_gpr)]
106>;
107
108//128-bit store
109def RAT_WRITE_CACHELESS_128_eg : CF_MEM_RAT_CACHELESS <0x2, 0, 0xf,
110 (ins R600_Reg128:$rw_gpr, R600_TReg32_X:$index_gpr, InstFlag:$eop),
111 "STORE_RAW $rw_gpr.XYZW, $index_gpr, $eop",
112 [(global_store v4i32:$rw_gpr, i32:$index_gpr)]
113>;
114
Tom Stellarde0e582c2015-10-01 17:51:34 +0000115def RAT_STORE_TYPED_eg: CF_MEM_RAT_STORE_TYPED<1>;
116
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000117} // End usesCustomInserter = 1
118
119class VTX_READ_eg <string name, bits<8> buffer_id, dag outs, list<dag> pattern>
120 : VTX_WORD0_eg, VTX_READ<name, buffer_id, outs, pattern> {
121
122 // Static fields
123 let VC_INST = 0;
124 let FETCH_TYPE = 2;
125 let FETCH_WHOLE_QUAD = 0;
126 let BUFFER_ID = buffer_id;
127 let SRC_REL = 0;
128 // XXX: We can infer this field based on the SRC_GPR. This would allow us
129 // to store vertex addresses in any channel, not just X.
130 let SRC_SEL_X = 0;
131
132 let Inst{31-0} = Word0;
133}
134
135class VTX_READ_8_eg <bits<8> buffer_id, list<dag> pattern>
136 : VTX_READ_eg <"VTX_READ_8 $dst_gpr, $src_gpr", buffer_id,
137 (outs R600_TReg32_X:$dst_gpr), pattern> {
138
139 let MEGA_FETCH_COUNT = 1;
140 let DST_SEL_X = 0;
141 let DST_SEL_Y = 7; // Masked
142 let DST_SEL_Z = 7; // Masked
143 let DST_SEL_W = 7; // Masked
144 let DATA_FORMAT = 1; // FMT_8
145}
146
147class VTX_READ_16_eg <bits<8> buffer_id, list<dag> pattern>
148 : VTX_READ_eg <"VTX_READ_16 $dst_gpr, $src_gpr", buffer_id,
149 (outs R600_TReg32_X:$dst_gpr), pattern> {
150 let MEGA_FETCH_COUNT = 2;
151 let DST_SEL_X = 0;
152 let DST_SEL_Y = 7; // Masked
153 let DST_SEL_Z = 7; // Masked
154 let DST_SEL_W = 7; // Masked
155 let DATA_FORMAT = 5; // FMT_16
156
157}
158
159class VTX_READ_32_eg <bits<8> buffer_id, list<dag> pattern>
160 : VTX_READ_eg <"VTX_READ_32 $dst_gpr, $src_gpr", buffer_id,
161 (outs R600_TReg32_X:$dst_gpr), pattern> {
162
163 let MEGA_FETCH_COUNT = 4;
164 let DST_SEL_X = 0;
165 let DST_SEL_Y = 7; // Masked
166 let DST_SEL_Z = 7; // Masked
167 let DST_SEL_W = 7; // Masked
168 let DATA_FORMAT = 0xD; // COLOR_32
169
170 // This is not really necessary, but there were some GPU hangs that appeared
171 // to be caused by ALU instructions in the next instruction group that wrote
172 // to the $src_gpr registers of the VTX_READ.
173 // e.g.
174 // %T3_X<def> = VTX_READ_PARAM_32_eg %T2_X<kill>, 24
175 // %T2_X<def> = MOV %ZERO
176 //Adding this constraint prevents this from happening.
177 let Constraints = "$src_gpr.ptr = $dst_gpr";
178}
179
180class VTX_READ_64_eg <bits<8> buffer_id, list<dag> pattern>
181 : VTX_READ_eg <"VTX_READ_64 $dst_gpr.XY, $src_gpr", buffer_id,
182 (outs R600_Reg64:$dst_gpr), pattern> {
183
184 let MEGA_FETCH_COUNT = 8;
185 let DST_SEL_X = 0;
186 let DST_SEL_Y = 1;
187 let DST_SEL_Z = 7;
188 let DST_SEL_W = 7;
189 let DATA_FORMAT = 0x1D; // COLOR_32_32
190}
191
192class VTX_READ_128_eg <bits<8> buffer_id, list<dag> pattern>
193 : VTX_READ_eg <"VTX_READ_128 $dst_gpr.XYZW, $src_gpr", buffer_id,
194 (outs R600_Reg128:$dst_gpr), pattern> {
195
196 let MEGA_FETCH_COUNT = 16;
197 let DST_SEL_X = 0;
198 let DST_SEL_Y = 1;
199 let DST_SEL_Z = 2;
200 let DST_SEL_W = 3;
201 let DATA_FORMAT = 0x22; // COLOR_32_32_32_32
202
203 // XXX: Need to force VTX_READ_128 instructions to write to the same register
204 // that holds its buffer address to avoid potential hangs. We can't use
205 // the same constraint as VTX_READ_32_eg, because the $src_gpr.ptr and $dst
206 // registers are different sizes.
207}
208
209//===----------------------------------------------------------------------===//
210// VTX Read from parameter memory space
211//===----------------------------------------------------------------------===//
212
Jan Vesely2fa28c32016-07-10 21:20:29 +0000213def VTX_READ_PARAM_8_eg : VTX_READ_8_eg <3,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000214 [(set i32:$dst_gpr, (load_param_exti8 ADDRVTX_READ:$src_gpr))]
215>;
216
Jan Vesely2fa28c32016-07-10 21:20:29 +0000217def VTX_READ_PARAM_16_eg : VTX_READ_16_eg <3,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000218 [(set i32:$dst_gpr, (load_param_exti16 ADDRVTX_READ:$src_gpr))]
219>;
220
Jan Vesely2fa28c32016-07-10 21:20:29 +0000221def VTX_READ_PARAM_32_eg : VTX_READ_32_eg <3,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000222 [(set i32:$dst_gpr, (load_param ADDRVTX_READ:$src_gpr))]
223>;
224
Jan Vesely2fa28c32016-07-10 21:20:29 +0000225def VTX_READ_PARAM_64_eg : VTX_READ_64_eg <3,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000226 [(set v2i32:$dst_gpr, (load_param ADDRVTX_READ:$src_gpr))]
227>;
228
Jan Vesely2fa28c32016-07-10 21:20:29 +0000229def VTX_READ_PARAM_128_eg : VTX_READ_128_eg <3,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000230 [(set v4i32:$dst_gpr, (load_param ADDRVTX_READ:$src_gpr))]
231>;
232
233//===----------------------------------------------------------------------===//
234// VTX Read from global memory space
235//===----------------------------------------------------------------------===//
236
237// 8-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000238def VTX_READ_ID1_8_eg : VTX_READ_8_eg <1,
239 [(set i32:$dst_gpr, (vtx_id1_az_extloadi8 ADDRVTX_READ:$src_gpr))]
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000240>;
241
Jan Vesely81f1b302016-05-13 20:39:16 +0000242// 16-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000243def VTX_READ_ID1_16_eg : VTX_READ_16_eg <1,
244 [(set i32:$dst_gpr, (vtx_id1_az_extloadi16 ADDRVTX_READ:$src_gpr))]
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000245>;
246
247// 32-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000248def VTX_READ_ID1_32_eg : VTX_READ_32_eg <1,
249 [(set i32:$dst_gpr, (vtx_id1_load ADDRVTX_READ:$src_gpr))]
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000250>;
251
252// 64-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000253def VTX_READ_ID1_64_eg : VTX_READ_64_eg <1,
254 [(set v2i32:$dst_gpr, (vtx_id1_load ADDRVTX_READ:$src_gpr))]
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000255>;
256
257// 128-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000258def VTX_READ_ID1_128_eg : VTX_READ_128_eg <1,
259 [(set v4i32:$dst_gpr, (vtx_id1_load ADDRVTX_READ:$src_gpr))]
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000260>;
261
Jan Vesely81f1b302016-05-13 20:39:16 +0000262// 8-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000263def VTX_READ_ID2_8_eg : VTX_READ_8_eg <2,
264 [(set i32:$dst_gpr, (vtx_id2_az_extloadi8 ADDRVTX_READ:$src_gpr))]
Jan Vesely81f1b302016-05-13 20:39:16 +0000265>;
266
267// 16-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000268def VTX_READ_ID2_16_eg : VTX_READ_16_eg <2,
269 [(set i32:$dst_gpr, (vtx_id2_az_extloadi16 ADDRVTX_READ:$src_gpr))]
Jan Vesely81f1b302016-05-13 20:39:16 +0000270>;
271
272// 32-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000273def VTX_READ_ID2_32_eg : VTX_READ_32_eg <2,
274 [(set i32:$dst_gpr, (vtx_id2_load ADDRVTX_READ:$src_gpr))]
Jan Vesely81f1b302016-05-13 20:39:16 +0000275>;
276
277// 64-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000278def VTX_READ_ID2_64_eg : VTX_READ_64_eg <2,
279 [(set v2i32:$dst_gpr, (vtx_id2_load ADDRVTX_READ:$src_gpr))]
Jan Vesely81f1b302016-05-13 20:39:16 +0000280>;
281
282// 128-bit reads
Tom Stellard4a105d72016-07-05 00:12:51 +0000283def VTX_READ_ID2_128_eg : VTX_READ_128_eg <2,
284 [(set v4i32:$dst_gpr, (vtx_id2_load ADDRVTX_READ:$src_gpr))]
Jan Vesely81f1b302016-05-13 20:39:16 +0000285>;
286
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000287} // End Predicates = [isEG]
288
289//===----------------------------------------------------------------------===//
290// Evergreen / Cayman Instructions
291//===----------------------------------------------------------------------===//
292
293let Predicates = [isEGorCayman] in {
294
Matt Arsenault83592a22014-07-24 17:41:01 +0000295// Should be predicated on FeatureFP64
296// def FMA_64 : R600_3OP <
297// 0xA, "FMA_64",
298// [(set f64:$dst, (fma f64:$src0, f64:$src1, f64:$src2))]
299// >;
300
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000301// BFE_UINT - bit_extract, an optimization for mask and shift
302// Src0 = Input
303// Src1 = Offset
304// Src2 = Width
305//
306// bit_extract = (Input << (32 - Offset - Width)) >> (32 - Width)
307//
308// Example Usage:
309// (Offset, Width)
310//
311// (0, 8) = (Input << 24) >> 24 = (Input & 0xff) >> 0
312// (8, 8) = (Input << 16) >> 24 = (Input & 0xffff) >> 8
313// (16, 8) = (Input << 8) >> 24 = (Input & 0xffffff) >> 16
314// (24, 8) = (Input << 0) >> 24 = (Input & 0xffffffff) >> 24
315def BFE_UINT_eg : R600_3OP <0x4, "BFE_UINT",
316 [(set i32:$dst, (AMDGPUbfe_u32 i32:$src0, i32:$src1, i32:$src2))],
317 VecALU
318>;
319
Tom Stellarda0150cb2014-04-03 20:19:29 +0000320def BFE_INT_eg : R600_3OP <0x5, "BFE_INT",
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000321 [(set i32:$dst, (AMDGPUbfe_i32 i32:$src0, i32:$src1, i32:$src2))],
322 VecALU
323>;
324
Marek Olsak949f5da2015-03-24 13:40:34 +0000325def : BFEPattern <BFE_UINT_eg, MOV_IMM_I32>;
326
Matt Arsenaultb3458362014-03-31 18:21:13 +0000327def BFI_INT_eg : R600_3OP <0x06, "BFI_INT",
328 [(set i32:$dst, (AMDGPUbfi i32:$src0, i32:$src1, i32:$src2))],
329 VecALU
330>;
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000331
Matt Arsenault4e466652014-04-16 01:41:30 +0000332def : Pat<(i32 (sext_inreg i32:$src, i1)),
333 (BFE_INT_eg i32:$src, (i32 ZERO), (i32 ONE_INT))>;
334def : Pat<(i32 (sext_inreg i32:$src, i8)),
335 (BFE_INT_eg i32:$src, (i32 ZERO), (MOV_IMM_I32 8))>;
336def : Pat<(i32 (sext_inreg i32:$src, i16)),
337 (BFE_INT_eg i32:$src, (i32 ZERO), (MOV_IMM_I32 16))>;
338
Matt Arsenault7d858d82014-11-02 23:46:54 +0000339defm : BFIPatterns <BFI_INT_eg, MOV_IMM_I32, R600_Reg64>;
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000340
Matt Arsenault4c537172014-03-31 18:21:18 +0000341def BFM_INT_eg : R600_2OP <0xA0, "BFM_INT",
342 [(set i32:$dst, (AMDGPUbfm i32:$src0, i32:$src1))],
343 VecALU
344>;
345
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000346def MULADD_UINT24_eg : R600_3OP <0x10, "MULADD_UINT24",
Matt Arsenaultf15a0562014-05-22 18:00:20 +0000347 [(set i32:$dst, (AMDGPUmad_u24 i32:$src0, i32:$src1, i32:$src2))], VecALU
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000348>;
Matt Arsenaultf15a0562014-05-22 18:00:20 +0000349
350def : UMad24Pat<MULADD_UINT24_eg>;
351
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000352def BIT_ALIGN_INT_eg : R600_3OP <0xC, "BIT_ALIGN_INT", [], VecALU>;
353def : ROTRPattern <BIT_ALIGN_INT_eg>;
354def MULADD_eg : MULADD_Common<0x14>;
355def MULADD_IEEE_eg : MULADD_IEEE_Common<0x18>;
Matt Arsenault83592a22014-07-24 17:41:01 +0000356def FMA_eg : FMA_Common<0x7>;
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000357def ASHR_eg : ASHR_Common<0x15>;
358def LSHR_eg : LSHR_Common<0x16>;
359def LSHL_eg : LSHL_Common<0x17>;
360def CNDE_eg : CNDE_Common<0x19>;
361def CNDGT_eg : CNDGT_Common<0x1A>;
362def CNDGE_eg : CNDGE_Common<0x1B>;
363def MUL_LIT_eg : MUL_LIT_Common<0x1F>;
364def LOG_CLAMPED_eg : LOG_CLAMPED_Common<0x82>;
365def MUL_UINT24_eg : R600_2OP <0xB5, "MUL_UINT24",
Tom Stellard50122a52014-04-07 19:45:41 +0000366 [(set i32:$dst, (AMDGPUmul_u24 i32:$src0, i32:$src1))], VecALU
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000367>;
368def DOT4_eg : DOT4_Common<0xBE>;
369defm CUBE_eg : CUBE_Common<0xC0>;
370
Tom Stellard3fe21f82014-06-11 20:51:39 +0000371def BCNT_INT : R600_1OP_Helper <0xAA, "BCNT_INT", ctpop, VecALU>;
Matt Arsenault60425062014-06-10 19:18:28 +0000372
Jan Vesely808fff52015-04-30 17:15:56 +0000373def ADDC_UINT : R600_2OP_Helper <0x52, "ADDC_UINT", AMDGPUcarry>;
374def SUBB_UINT : R600_2OP_Helper <0x53, "SUBB_UINT", AMDGPUborrow>;
375
Matt Arsenaultde5fbe92016-01-11 17:02:00 +0000376def FFBH_UINT : R600_1OP_Helper <0xAB, "FFBH_UINT", AMDGPUffbh_u32, VecALU>;
Jan Vesely6ddb8dd2014-07-15 15:51:09 +0000377def FFBL_INT : R600_1OP_Helper <0xAC, "FFBL_INT", cttz_zero_undef, VecALU>;
378
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000379let hasSideEffects = 1 in {
380 def MOVA_INT_eg : R600_1OP <0xCC, "MOVA_INT", [], VecALU>;
381}
382
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000383def FLT_TO_INT_eg : FLT_TO_INT_Common<0x50> {
384 let Pattern = [];
385 let Itinerary = AnyALU;
386}
387
388def INT_TO_FLT_eg : INT_TO_FLT_Common<0x9B>;
389
390def FLT_TO_UINT_eg : FLT_TO_UINT_Common<0x9A> {
391 let Pattern = [];
392}
393
394def UINT_TO_FLT_eg : UINT_TO_FLT_Common<0x9C>;
395
396def GROUP_BARRIER : InstR600 <
Matt Arsenault4c519d32016-07-18 18:34:59 +0000397 (outs), (ins), " GROUP_BARRIER", [(int_r600_group_barrier)], AnyALU>,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000398 R600ALU_Word0,
399 R600ALU_Word1_OP2 <0x54> {
400
401 let dst = 0;
402 let dst_rel = 0;
403 let src0 = 0;
404 let src0_rel = 0;
405 let src0_neg = 0;
406 let src0_abs = 0;
407 let src1 = 0;
408 let src1_rel = 0;
409 let src1_neg = 0;
410 let src1_abs = 0;
411 let write = 0;
412 let omod = 0;
413 let clamp = 0;
414 let last = 1;
415 let bank_swizzle = 0;
416 let pred_sel = 0;
417 let update_exec_mask = 0;
418 let update_pred = 0;
419
420 let Inst{31-0} = Word0;
421 let Inst{63-32} = Word1;
422
423 let ALUInst = 1;
424}
425
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000426//===----------------------------------------------------------------------===//
427// LDS Instructions
428//===----------------------------------------------------------------------===//
429class R600_LDS <bits<6> op, dag outs, dag ins, string asm,
430 list<dag> pattern = []> :
431
432 InstR600 <outs, ins, asm, pattern, XALU>,
433 R600_ALU_LDS_Word0,
434 R600LDS_Word1 {
435
436 bits<6> offset = 0;
437 let lds_op = op;
438
439 let Word1{27} = offset{0};
440 let Word1{12} = offset{1};
441 let Word1{28} = offset{2};
442 let Word1{31} = offset{3};
443 let Word0{12} = offset{4};
444 let Word0{25} = offset{5};
445
446
447 let Inst{31-0} = Word0;
448 let Inst{63-32} = Word1;
449
450 let ALUInst = 1;
451 let HasNativeOperands = 1;
452 let UseNamedOperandTable = 1;
453}
454
455class R600_LDS_1A <bits<6> lds_op, string name, list<dag> pattern> : R600_LDS <
456 lds_op,
457 (outs R600_Reg32:$dst),
458 (ins R600_Reg32:$src0, REL:$src0_rel, SEL:$src0_sel,
459 LAST:$last, R600_Pred:$pred_sel,
460 BANK_SWIZZLE:$bank_swizzle),
461 " "#name#" $last OQAP, $src0$src0_rel $pred_sel",
462 pattern
463 > {
464
465 let src1 = 0;
466 let src1_rel = 0;
467 let src2 = 0;
468 let src2_rel = 0;
469
470 let usesCustomInserter = 1;
471 let LDS_1A = 1;
472 let DisableEncoding = "$dst";
473}
474
475class R600_LDS_1A1D <bits<6> lds_op, dag outs, string name, list<dag> pattern,
476 string dst =""> :
477 R600_LDS <
478 lds_op, outs,
479 (ins R600_Reg32:$src0, REL:$src0_rel, SEL:$src0_sel,
480 R600_Reg32:$src1, REL:$src1_rel, SEL:$src1_sel,
481 LAST:$last, R600_Pred:$pred_sel,
482 BANK_SWIZZLE:$bank_swizzle),
483 " "#name#" $last "#dst#"$src0$src0_rel, $src1$src1_rel, $pred_sel",
484 pattern
485 > {
486
487 field string BaseOp;
488
489 let src2 = 0;
490 let src2_rel = 0;
491 let LDS_1A1D = 1;
492}
493
494class R600_LDS_1A1D_NORET <bits<6> lds_op, string name, list<dag> pattern> :
495 R600_LDS_1A1D <lds_op, (outs), name, pattern> {
496 let BaseOp = name;
497}
498
499class R600_LDS_1A1D_RET <bits<6> lds_op, string name, list<dag> pattern> :
500 R600_LDS_1A1D <lds_op, (outs R600_Reg32:$dst), name##"_RET", pattern, "OQAP, "> {
501
502 let BaseOp = name;
503 let usesCustomInserter = 1;
504 let DisableEncoding = "$dst";
505}
506
Aaron Watry1885e532014-09-11 15:02:54 +0000507class R600_LDS_1A2D <bits<6> lds_op, dag outs, string name, list<dag> pattern,
508 string dst =""> :
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000509 R600_LDS <
Aaron Watry1885e532014-09-11 15:02:54 +0000510 lds_op, outs,
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000511 (ins R600_Reg32:$src0, REL:$src0_rel, SEL:$src0_sel,
512 R600_Reg32:$src1, REL:$src1_rel, SEL:$src1_sel,
513 R600_Reg32:$src2, REL:$src2_rel, SEL:$src2_sel,
514 LAST:$last, R600_Pred:$pred_sel, BANK_SWIZZLE:$bank_swizzle),
Aaron Watry1885e532014-09-11 15:02:54 +0000515 " "#name# "$last "#dst#"$src0$src0_rel, $src1$src1_rel, $src2$src2_rel, $pred_sel",
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000516 pattern> {
Aaron Watry1885e532014-09-11 15:02:54 +0000517
518 field string BaseOp;
519
520 let LDS_1A1D = 0;
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000521 let LDS_1A2D = 1;
522}
523
Aaron Watry1885e532014-09-11 15:02:54 +0000524class R600_LDS_1A2D_NORET <bits<6> lds_op, string name, list<dag> pattern> :
525 R600_LDS_1A2D <lds_op, (outs), name, pattern> {
526 let BaseOp = name;
527}
528
529class R600_LDS_1A2D_RET <bits<6> lds_op, string name, list<dag> pattern> :
530 R600_LDS_1A2D <lds_op, (outs R600_Reg32:$dst), name, pattern> {
531
532 let BaseOp = name;
533 let usesCustomInserter = 1;
534 let DisableEncoding = "$dst";
535}
536
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000537def LDS_ADD : R600_LDS_1A1D_NORET <0x0, "LDS_ADD", [] >;
538def LDS_SUB : R600_LDS_1A1D_NORET <0x1, "LDS_SUB", [] >;
Aaron Watrya7f122d2014-09-11 15:02:43 +0000539def LDS_AND : R600_LDS_1A1D_NORET <0x9, "LDS_AND", [] >;
Aaron Watrycffa0112014-09-11 15:02:44 +0000540def LDS_OR : R600_LDS_1A1D_NORET <0xa, "LDS_OR", [] >;
Aaron Watrye51794f2014-09-11 15:02:46 +0000541def LDS_XOR : R600_LDS_1A1D_NORET <0xb, "LDS_XOR", [] >;
Aaron Watry21591672014-09-11 15:02:49 +0000542def LDS_WRXCHG: R600_LDS_1A1D_NORET <0xd, "LDS_WRXCHG", [] >;
Aaron Watry1885e532014-09-11 15:02:54 +0000543def LDS_CMPST: R600_LDS_1A2D_NORET <0x10, "LDS_CMPST", [] >;
Aaron Watry564a22e2014-09-11 15:02:47 +0000544def LDS_MIN_INT : R600_LDS_1A1D_NORET <0x5, "LDS_MIN_INT", [] >;
Aaron Watry62a0af42014-09-11 15:02:41 +0000545def LDS_MAX_INT : R600_LDS_1A1D_NORET <0x6, "LDS_MAX_INT", [] >;
Aaron Watry564a22e2014-09-11 15:02:47 +0000546def LDS_MIN_UINT : R600_LDS_1A1D_NORET <0x7, "LDS_MIN_UINT", [] >;
Aaron Watry62a0af42014-09-11 15:02:41 +0000547def LDS_MAX_UINT : R600_LDS_1A1D_NORET <0x8, "LDS_MAX_UINT", [] >;
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000548def LDS_WRITE : R600_LDS_1A1D_NORET <0xD, "LDS_WRITE",
549 [(local_store (i32 R600_Reg32:$src1), R600_Reg32:$src0)]
550>;
551def LDS_BYTE_WRITE : R600_LDS_1A1D_NORET<0x12, "LDS_BYTE_WRITE",
552 [(truncstorei8_local i32:$src1, i32:$src0)]
553>;
554def LDS_SHORT_WRITE : R600_LDS_1A1D_NORET<0x13, "LDS_SHORT_WRITE",
555 [(truncstorei16_local i32:$src1, i32:$src0)]
556>;
557def LDS_ADD_RET : R600_LDS_1A1D_RET <0x20, "LDS_ADD",
558 [(set i32:$dst, (atomic_load_add_local i32:$src0, i32:$src1))]
559>;
560def LDS_SUB_RET : R600_LDS_1A1D_RET <0x21, "LDS_SUB",
561 [(set i32:$dst, (atomic_load_sub_local i32:$src0, i32:$src1))]
562>;
Aaron Watrya7f122d2014-09-11 15:02:43 +0000563def LDS_AND_RET : R600_LDS_1A1D_RET <0x29, "LDS_AND",
564 [(set i32:$dst, (atomic_load_and_local i32:$src0, i32:$src1))]
565>;
Aaron Watrycffa0112014-09-11 15:02:44 +0000566def LDS_OR_RET : R600_LDS_1A1D_RET <0x2a, "LDS_OR",
567 [(set i32:$dst, (atomic_load_or_local i32:$src0, i32:$src1))]
568>;
Aaron Watrye51794f2014-09-11 15:02:46 +0000569def LDS_XOR_RET : R600_LDS_1A1D_RET <0x2b, "LDS_XOR",
570 [(set i32:$dst, (atomic_load_xor_local i32:$src0, i32:$src1))]
571>;
Aaron Watry564a22e2014-09-11 15:02:47 +0000572def LDS_MIN_INT_RET : R600_LDS_1A1D_RET <0x25, "LDS_MIN_INT",
573 [(set i32:$dst, (atomic_load_min_local i32:$src0, i32:$src1))]
574>;
Aaron Watry62a0af42014-09-11 15:02:41 +0000575def LDS_MAX_INT_RET : R600_LDS_1A1D_RET <0x26, "LDS_MAX_INT",
576 [(set i32:$dst, (atomic_load_max_local i32:$src0, i32:$src1))]
577>;
Aaron Watry564a22e2014-09-11 15:02:47 +0000578def LDS_MIN_UINT_RET : R600_LDS_1A1D_RET <0x27, "LDS_MIN_UINT",
579 [(set i32:$dst, (atomic_load_umin_local i32:$src0, i32:$src1))]
580>;
Aaron Watry62a0af42014-09-11 15:02:41 +0000581def LDS_MAX_UINT_RET : R600_LDS_1A1D_RET <0x28, "LDS_MAX_UINT",
582 [(set i32:$dst, (atomic_load_umax_local i32:$src0, i32:$src1))]
583>;
Aaron Watry21591672014-09-11 15:02:49 +0000584def LDS_WRXCHG_RET : R600_LDS_1A1D_RET <0x2d, "LDS_WRXCHG",
585 [(set i32:$dst, (atomic_swap_local i32:$src0, i32:$src1))]
586>;
Aaron Watry1885e532014-09-11 15:02:54 +0000587def LDS_CMPST_RET : R600_LDS_1A2D_RET <0x30, "LDS_CMPST",
588 [(set i32:$dst, (atomic_cmp_swap_32_local i32:$src0, i32:$src1, i32:$src2))]
589>;
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000590def LDS_READ_RET : R600_LDS_1A <0x32, "LDS_READ_RET",
591 [(set (i32 R600_Reg32:$dst), (local_load R600_Reg32:$src0))]
592>;
593def LDS_BYTE_READ_RET : R600_LDS_1A <0x36, "LDS_BYTE_READ_RET",
594 [(set i32:$dst, (sextloadi8_local i32:$src0))]
595>;
596def LDS_UBYTE_READ_RET : R600_LDS_1A <0x37, "LDS_UBYTE_READ_RET",
597 [(set i32:$dst, (az_extloadi8_local i32:$src0))]
598>;
599def LDS_SHORT_READ_RET : R600_LDS_1A <0x38, "LDS_SHORT_READ_RET",
600 [(set i32:$dst, (sextloadi16_local i32:$src0))]
601>;
602def LDS_USHORT_READ_RET : R600_LDS_1A <0x39, "LDS_USHORT_READ_RET",
603 [(set i32:$dst, (az_extloadi16_local i32:$src0))]
604>;
605
606// TRUNC is used for the FLT_TO_INT instructions to work around a
607// perceived problem where the rounding modes are applied differently
608// depending on the instruction and the slot they are in.
609// See:
610// https://bugs.freedesktop.org/show_bug.cgi?id=50232
611// Mesa commit: a1a0974401c467cb86ef818f22df67c21774a38c
612//
613// XXX: Lowering SELECT_CC will sometimes generate fp_to_[su]int nodes,
614// which do not need to be truncated since the fp values are 0.0f or 1.0f.
615// We should look into handling these cases separately.
616def : Pat<(fp_to_sint f32:$src0), (FLT_TO_INT_eg (TRUNC $src0))>;
617
618def : Pat<(fp_to_uint f32:$src0), (FLT_TO_UINT_eg (TRUNC $src0))>;
619
620// SHA-256 Patterns
621def : SHA256MaPattern <BFI_INT_eg, XOR_INT>;
622
Tom Stellard2c1c9de2014-03-24 16:07:25 +0000623def EG_ExportSwz : ExportSwzInst {
624 let Word1{19-16} = 0; // BURST_COUNT
625 let Word1{20} = 0; // VALID_PIXEL_MODE
626 let Word1{21} = eop;
627 let Word1{29-22} = inst;
628 let Word1{30} = 0; // MARK
629 let Word1{31} = 1; // BARRIER
630}
631defm : ExportPattern<EG_ExportSwz, 83>;
632
633def EG_ExportBuf : ExportBufInst {
634 let Word1{19-16} = 0; // BURST_COUNT
635 let Word1{20} = 0; // VALID_PIXEL_MODE
636 let Word1{21} = eop;
637 let Word1{29-22} = inst;
638 let Word1{30} = 0; // MARK
639 let Word1{31} = 1; // BARRIER
640}
641defm : SteamOutputExportPattern<EG_ExportBuf, 0x40, 0x41, 0x42, 0x43>;
642
643def CF_TC_EG : CF_CLAUSE_EG<1, (ins i32imm:$ADDR, i32imm:$COUNT),
644 "TEX $COUNT @$ADDR"> {
645 let POP_COUNT = 0;
646}
647def CF_VC_EG : CF_CLAUSE_EG<2, (ins i32imm:$ADDR, i32imm:$COUNT),
648 "VTX $COUNT @$ADDR"> {
649 let POP_COUNT = 0;
650}
651def WHILE_LOOP_EG : CF_CLAUSE_EG<6, (ins i32imm:$ADDR),
652 "LOOP_START_DX10 @$ADDR"> {
653 let POP_COUNT = 0;
654 let COUNT = 0;
655}
656def END_LOOP_EG : CF_CLAUSE_EG<5, (ins i32imm:$ADDR), "END_LOOP @$ADDR"> {
657 let POP_COUNT = 0;
658 let COUNT = 0;
659}
660def LOOP_BREAK_EG : CF_CLAUSE_EG<9, (ins i32imm:$ADDR),
661 "LOOP_BREAK @$ADDR"> {
662 let POP_COUNT = 0;
663 let COUNT = 0;
664}
665def CF_CONTINUE_EG : CF_CLAUSE_EG<8, (ins i32imm:$ADDR),
666 "CONTINUE @$ADDR"> {
667 let POP_COUNT = 0;
668 let COUNT = 0;
669}
670def CF_JUMP_EG : CF_CLAUSE_EG<10, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
671 "JUMP @$ADDR POP:$POP_COUNT"> {
672 let COUNT = 0;
673}
674def CF_PUSH_EG : CF_CLAUSE_EG<11, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
675 "PUSH @$ADDR POP:$POP_COUNT"> {
676 let COUNT = 0;
677}
678def CF_ELSE_EG : CF_CLAUSE_EG<13, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
679 "ELSE @$ADDR POP:$POP_COUNT"> {
680 let COUNT = 0;
681}
682def CF_CALL_FS_EG : CF_CLAUSE_EG<19, (ins), "CALL_FS"> {
683 let ADDR = 0;
684 let COUNT = 0;
685 let POP_COUNT = 0;
686}
687def POP_EG : CF_CLAUSE_EG<14, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
688 "POP @$ADDR POP:$POP_COUNT"> {
689 let COUNT = 0;
690}
691def CF_END_EG : CF_CLAUSE_EG<0, (ins), "CF_END"> {
692 let COUNT = 0;
693 let POP_COUNT = 0;
694 let ADDR = 0;
695 let END_OF_PROGRAM = 1;
696}
697
698} // End Predicates = [isEGorCayman]