Reuse a lookup in an assert.
[oota-llvm.git] / lib / Target / R600 / EvergreenInstructions.td
1 //===-- 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
16 def isEG : Predicate<
17   "Subtarget->getGeneration() >= AMDGPUSubtarget::EVERGREEN && "
18   "Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS && "
19   "!Subtarget->hasCaymanISA()"
20 >;
21
22 def isEGorCayman : Predicate<
23   "Subtarget->getGeneration() == AMDGPUSubtarget::EVERGREEN ||"
24   "Subtarget->getGeneration() ==AMDGPUSubtarget::NORTHERN_ISLANDS"
25 >;
26
27 //===----------------------------------------------------------------------===//
28 // Evergreen / Cayman store instructions
29 //===----------------------------------------------------------------------===//
30
31 let Predicates = [isEGorCayman] in {
32
33 class 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
38 class 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
43 def RAT_MSKOR : CF_MEM_RAT <0x11, 0,
44   (ins R600_Reg128:$rw_gpr, R600_TReg32_X:$index_gpr),
45   "MSKOR $rw_gpr.XW, $index_gpr",
46   [(mskor_global v4i32:$rw_gpr, i32:$index_gpr)]
47 > {
48   let eop = 0;
49 }
50
51 } // End let Predicates = [isEGorCayman]
52
53 //===----------------------------------------------------------------------===//
54 // Evergreen Only instructions
55 //===----------------------------------------------------------------------===//
56
57 let Predicates = [isEG] in {
58
59 def RECIP_IEEE_eg : RECIP_IEEE_Common<0x86>;
60 defm DIV_eg : DIV_Common<RECIP_IEEE_eg>;
61
62 def MULLO_INT_eg : MULLO_INT_Common<0x8F>;
63 def MULHI_INT_eg : MULHI_INT_Common<0x90>;
64 def MULLO_UINT_eg : MULLO_UINT_Common<0x91>;
65 def MULHI_UINT_eg : MULHI_UINT_Common<0x92>;
66 def RECIP_UINT_eg : RECIP_UINT_Common<0x94>;
67 def RECIPSQRT_CLAMPED_eg : RECIPSQRT_CLAMPED_Common<0x87>;
68 def EXP_IEEE_eg : EXP_IEEE_Common<0x81>;
69 def LOG_IEEE_eg : LOG_IEEE_Common<0x83>;
70 def RECIP_CLAMPED_eg : RECIP_CLAMPED_Common<0x84>;
71 def RECIPSQRT_IEEE_eg : RECIPSQRT_IEEE_Common<0x89>;
72 def : RsqPat<RECIPSQRT_IEEE_eg, f32>;
73 def SIN_eg : SIN_Common<0x8D>;
74 def COS_eg : COS_Common<0x8E>;
75
76 def : POW_Common <LOG_IEEE_eg, EXP_IEEE_eg, MUL>;
77 def : Pat<(fsqrt f32:$src), (MUL $src, (RECIPSQRT_CLAMPED_eg $src))>;
78
79 defm : Expand24IBitOps<MULLO_INT_eg, ADD_INT>;
80
81 //===----------------------------------------------------------------------===//
82 // Memory read/write instructions
83 //===----------------------------------------------------------------------===//
84
85 let usesCustomInserter = 1 in {
86
87 // 32-bit store
88 def RAT_WRITE_CACHELESS_32_eg : CF_MEM_RAT_CACHELESS <0x2, 0, 0x1,
89   (ins R600_TReg32_X:$rw_gpr, R600_TReg32_X:$index_gpr, InstFlag:$eop),
90   "STORE_RAW $rw_gpr, $index_gpr, $eop",
91   [(global_store i32:$rw_gpr, i32:$index_gpr)]
92 >;
93
94 // 64-bit store
95 def RAT_WRITE_CACHELESS_64_eg : CF_MEM_RAT_CACHELESS <0x2, 0, 0x3,
96   (ins R600_Reg64:$rw_gpr, R600_TReg32_X:$index_gpr, InstFlag:$eop),
97   "STORE_RAW $rw_gpr.XY, $index_gpr, $eop",
98   [(global_store v2i32:$rw_gpr, i32:$index_gpr)]
99 >;
100
101 //128-bit store
102 def RAT_WRITE_CACHELESS_128_eg : CF_MEM_RAT_CACHELESS <0x2, 0, 0xf,
103   (ins R600_Reg128:$rw_gpr, R600_TReg32_X:$index_gpr, InstFlag:$eop),
104   "STORE_RAW $rw_gpr.XYZW, $index_gpr, $eop",
105   [(global_store v4i32:$rw_gpr, i32:$index_gpr)]
106 >;
107
108 } // End usesCustomInserter = 1
109
110 class VTX_READ_eg <string name, bits<8> buffer_id, dag outs, list<dag> pattern>
111     : VTX_WORD0_eg, VTX_READ<name, buffer_id, outs, pattern> {
112
113   // Static fields
114   let VC_INST = 0;
115   let FETCH_TYPE = 2;
116   let FETCH_WHOLE_QUAD = 0;
117   let BUFFER_ID = buffer_id;
118   let SRC_REL = 0;
119   // XXX: We can infer this field based on the SRC_GPR.  This would allow us
120   // to store vertex addresses in any channel, not just X.
121   let SRC_SEL_X = 0;
122
123   let Inst{31-0} = Word0;
124 }
125
126 class VTX_READ_8_eg <bits<8> buffer_id, list<dag> pattern>
127     : VTX_READ_eg <"VTX_READ_8 $dst_gpr, $src_gpr", buffer_id,
128                    (outs R600_TReg32_X:$dst_gpr), pattern> {
129
130   let MEGA_FETCH_COUNT = 1;
131   let DST_SEL_X = 0;
132   let DST_SEL_Y = 7;   // Masked
133   let DST_SEL_Z = 7;   // Masked
134   let DST_SEL_W = 7;   // Masked
135   let DATA_FORMAT = 1; // FMT_8
136 }
137
138 class VTX_READ_16_eg <bits<8> buffer_id, list<dag> pattern>
139     : VTX_READ_eg <"VTX_READ_16 $dst_gpr, $src_gpr", buffer_id,
140                    (outs R600_TReg32_X:$dst_gpr), pattern> {
141   let MEGA_FETCH_COUNT = 2;
142   let DST_SEL_X = 0;
143   let DST_SEL_Y = 7;   // Masked
144   let DST_SEL_Z = 7;   // Masked
145   let DST_SEL_W = 7;   // Masked
146   let DATA_FORMAT = 5; // FMT_16
147
148 }
149
150 class VTX_READ_32_eg <bits<8> buffer_id, list<dag> pattern>
151     : VTX_READ_eg <"VTX_READ_32 $dst_gpr, $src_gpr", buffer_id,
152                    (outs R600_TReg32_X:$dst_gpr), pattern> {
153
154   let MEGA_FETCH_COUNT = 4;
155   let DST_SEL_X        = 0;
156   let DST_SEL_Y        = 7;   // Masked
157   let DST_SEL_Z        = 7;   // Masked
158   let DST_SEL_W        = 7;   // Masked
159   let DATA_FORMAT      = 0xD; // COLOR_32
160
161   // This is not really necessary, but there were some GPU hangs that appeared
162   // to be caused by ALU instructions in the next instruction group that wrote
163   // to the $src_gpr registers of the VTX_READ.
164   // e.g.
165   // %T3_X<def> = VTX_READ_PARAM_32_eg %T2_X<kill>, 24
166   // %T2_X<def> = MOV %ZERO
167   //Adding this constraint prevents this from happening.
168   let Constraints = "$src_gpr.ptr = $dst_gpr";
169 }
170
171 class VTX_READ_64_eg <bits<8> buffer_id, list<dag> pattern>
172     : VTX_READ_eg <"VTX_READ_64 $dst_gpr.XY, $src_gpr", buffer_id,
173                    (outs R600_Reg64:$dst_gpr), pattern> {
174
175   let MEGA_FETCH_COUNT = 8;
176   let DST_SEL_X        = 0;
177   let DST_SEL_Y        = 1;
178   let DST_SEL_Z        = 7;
179   let DST_SEL_W        = 7;
180   let DATA_FORMAT      = 0x1D; // COLOR_32_32
181 }
182
183 class VTX_READ_128_eg <bits<8> buffer_id, list<dag> pattern>
184     : VTX_READ_eg <"VTX_READ_128 $dst_gpr.XYZW, $src_gpr", buffer_id,
185                    (outs R600_Reg128:$dst_gpr), pattern> {
186
187   let MEGA_FETCH_COUNT = 16;
188   let DST_SEL_X        =  0;
189   let DST_SEL_Y        =  1;
190   let DST_SEL_Z        =  2;
191   let DST_SEL_W        =  3;
192   let DATA_FORMAT      =  0x22; // COLOR_32_32_32_32
193
194   // XXX: Need to force VTX_READ_128 instructions to write to the same register
195   // that holds its buffer address to avoid potential hangs.  We can't use
196   // the same constraint as VTX_READ_32_eg, because the $src_gpr.ptr and $dst
197   // registers are different sizes.
198 }
199
200 //===----------------------------------------------------------------------===//
201 // VTX Read from parameter memory space
202 //===----------------------------------------------------------------------===//
203
204 def VTX_READ_PARAM_8_eg : VTX_READ_8_eg <0,
205   [(set i32:$dst_gpr, (load_param_exti8 ADDRVTX_READ:$src_gpr))]
206 >;
207
208 def VTX_READ_PARAM_16_eg : VTX_READ_16_eg <0,
209   [(set i32:$dst_gpr, (load_param_exti16 ADDRVTX_READ:$src_gpr))]
210 >;
211
212 def VTX_READ_PARAM_32_eg : VTX_READ_32_eg <0,
213   [(set i32:$dst_gpr, (load_param ADDRVTX_READ:$src_gpr))]
214 >;
215
216 def VTX_READ_PARAM_64_eg : VTX_READ_64_eg <0,
217   [(set v2i32:$dst_gpr, (load_param ADDRVTX_READ:$src_gpr))]
218 >;
219
220 def VTX_READ_PARAM_128_eg : VTX_READ_128_eg <0,
221   [(set v4i32:$dst_gpr, (load_param ADDRVTX_READ:$src_gpr))]
222 >;
223
224 //===----------------------------------------------------------------------===//
225 // VTX Read from global memory space
226 //===----------------------------------------------------------------------===//
227
228 // 8-bit reads
229 def VTX_READ_GLOBAL_8_eg : VTX_READ_8_eg <1,
230   [(set i32:$dst_gpr, (az_extloadi8_global ADDRVTX_READ:$src_gpr))]
231 >;
232
233 def VTX_READ_GLOBAL_16_eg : VTX_READ_16_eg <1,
234   [(set i32:$dst_gpr, (az_extloadi16_global ADDRVTX_READ:$src_gpr))]
235 >;
236
237 // 32-bit reads
238 def VTX_READ_GLOBAL_32_eg : VTX_READ_32_eg <1,
239   [(set i32:$dst_gpr, (global_load ADDRVTX_READ:$src_gpr))]
240 >;
241
242 // 64-bit reads
243 def VTX_READ_GLOBAL_64_eg : VTX_READ_64_eg <1,
244   [(set v2i32:$dst_gpr, (global_load ADDRVTX_READ:$src_gpr))]
245 >;
246
247 // 128-bit reads
248 def VTX_READ_GLOBAL_128_eg : VTX_READ_128_eg <1,
249   [(set v4i32:$dst_gpr, (global_load ADDRVTX_READ:$src_gpr))]
250 >;
251
252 } // End Predicates = [isEG]
253
254 //===----------------------------------------------------------------------===//
255 // Evergreen / Cayman Instructions
256 //===----------------------------------------------------------------------===//
257
258 let Predicates = [isEGorCayman] in {
259
260 // Should be predicated on FeatureFP64
261 // def FMA_64 : R600_3OP <
262 //   0xA, "FMA_64",
263 //   [(set f64:$dst, (fma f64:$src0, f64:$src1, f64:$src2))]
264 // >;
265
266 // BFE_UINT - bit_extract, an optimization for mask and shift
267 // Src0 = Input
268 // Src1 = Offset
269 // Src2 = Width
270 //
271 // bit_extract = (Input << (32 - Offset - Width)) >> (32 - Width)
272 //
273 // Example Usage:
274 // (Offset, Width)
275 //
276 // (0, 8)  = (Input << 24) >> 24 = (Input &  0xff)       >> 0
277 // (8, 8)  = (Input << 16) >> 24 = (Input &  0xffff)     >> 8
278 // (16, 8) = (Input <<  8) >> 24 = (Input &  0xffffff)   >> 16
279 // (24, 8) = (Input <<  0) >> 24 = (Input &  0xffffffff) >> 24
280 def BFE_UINT_eg : R600_3OP <0x4, "BFE_UINT",
281   [(set i32:$dst, (AMDGPUbfe_u32 i32:$src0, i32:$src1, i32:$src2))],
282   VecALU
283 >;
284
285 def BFE_INT_eg : R600_3OP <0x5, "BFE_INT",
286   [(set i32:$dst, (AMDGPUbfe_i32 i32:$src0, i32:$src1, i32:$src2))],
287   VecALU
288 >;
289
290 def : BFEPattern <BFE_UINT_eg, MOV_IMM_I32>;
291
292 def BFI_INT_eg : R600_3OP <0x06, "BFI_INT",
293   [(set i32:$dst, (AMDGPUbfi i32:$src0, i32:$src1, i32:$src2))],
294   VecALU
295 >;
296
297 def : Pat<(i32 (sext_inreg i32:$src, i1)),
298   (BFE_INT_eg i32:$src, (i32 ZERO), (i32 ONE_INT))>;
299 def : Pat<(i32 (sext_inreg i32:$src, i8)),
300   (BFE_INT_eg i32:$src, (i32 ZERO), (MOV_IMM_I32 8))>;
301 def : Pat<(i32 (sext_inreg i32:$src, i16)),
302   (BFE_INT_eg i32:$src, (i32 ZERO), (MOV_IMM_I32 16))>;
303
304 defm : BFIPatterns <BFI_INT_eg, MOV_IMM_I32, R600_Reg64>;
305
306 def BFM_INT_eg : R600_2OP <0xA0, "BFM_INT",
307   [(set i32:$dst, (AMDGPUbfm i32:$src0, i32:$src1))],
308   VecALU
309 >;
310
311 def MULADD_UINT24_eg : R600_3OP <0x10, "MULADD_UINT24",
312   [(set i32:$dst, (AMDGPUmad_u24 i32:$src0, i32:$src1, i32:$src2))], VecALU
313 >;
314
315 def : UMad24Pat<MULADD_UINT24_eg>;
316
317 def BIT_ALIGN_INT_eg : R600_3OP <0xC, "BIT_ALIGN_INT", [], VecALU>;
318 def : ROTRPattern <BIT_ALIGN_INT_eg>;
319 def MULADD_eg : MULADD_Common<0x14>;
320 def MULADD_IEEE_eg : MULADD_IEEE_Common<0x18>;
321 def FMA_eg : FMA_Common<0x7>;
322 def ASHR_eg : ASHR_Common<0x15>;
323 def LSHR_eg : LSHR_Common<0x16>;
324 def LSHL_eg : LSHL_Common<0x17>;
325 def CNDE_eg : CNDE_Common<0x19>;
326 def CNDGT_eg : CNDGT_Common<0x1A>;
327 def CNDGE_eg : CNDGE_Common<0x1B>;
328 def MUL_LIT_eg : MUL_LIT_Common<0x1F>;
329 def LOG_CLAMPED_eg : LOG_CLAMPED_Common<0x82>;
330 def MUL_UINT24_eg : R600_2OP <0xB5, "MUL_UINT24",
331   [(set i32:$dst, (AMDGPUmul_u24 i32:$src0, i32:$src1))], VecALU
332 >;
333 def DOT4_eg : DOT4_Common<0xBE>;
334 defm CUBE_eg : CUBE_Common<0xC0>;
335
336 def BCNT_INT : R600_1OP_Helper <0xAA, "BCNT_INT", ctpop, VecALU>;
337
338 def FFBH_UINT : R600_1OP_Helper <0xAB, "FFBH_UINT", ctlz_zero_undef, VecALU>;
339 def FFBL_INT : R600_1OP_Helper <0xAC, "FFBL_INT", cttz_zero_undef, VecALU>;
340
341 let hasSideEffects = 1 in {
342   def MOVA_INT_eg : R600_1OP <0xCC, "MOVA_INT", [], VecALU>;
343 }
344
345 def TGSI_LIT_Z_eg : TGSI_LIT_Z_Common<MUL_LIT_eg, LOG_CLAMPED_eg, EXP_IEEE_eg>;
346
347 def FLT_TO_INT_eg : FLT_TO_INT_Common<0x50> {
348   let Pattern = [];
349   let Itinerary = AnyALU;
350 }
351
352 def INT_TO_FLT_eg : INT_TO_FLT_Common<0x9B>;
353
354 def FLT_TO_UINT_eg : FLT_TO_UINT_Common<0x9A> {
355   let Pattern = [];
356 }
357
358 def UINT_TO_FLT_eg : UINT_TO_FLT_Common<0x9C>;
359
360 def GROUP_BARRIER : InstR600 <
361     (outs), (ins), "  GROUP_BARRIER", [(int_AMDGPU_barrier_local), (int_AMDGPU_barrier_global)], AnyALU>,
362     R600ALU_Word0,
363     R600ALU_Word1_OP2 <0x54> {
364
365   let dst = 0;
366   let dst_rel = 0;
367   let src0 = 0;
368   let src0_rel = 0;
369   let src0_neg = 0;
370   let src0_abs = 0;
371   let src1 = 0;
372   let src1_rel = 0;
373   let src1_neg = 0;
374   let src1_abs = 0;
375   let write = 0;
376   let omod = 0;
377   let clamp = 0;
378   let last = 1;
379   let bank_swizzle = 0;
380   let pred_sel = 0;
381   let update_exec_mask = 0;
382   let update_pred = 0;
383
384   let Inst{31-0}  = Word0;
385   let Inst{63-32} = Word1;
386
387   let ALUInst = 1;
388 }
389
390 def : Pat <
391         (int_AMDGPU_barrier_global),
392         (GROUP_BARRIER)
393 >;
394
395 //===----------------------------------------------------------------------===//
396 // LDS Instructions
397 //===----------------------------------------------------------------------===//
398 class R600_LDS  <bits<6> op, dag outs, dag ins, string asm,
399                  list<dag> pattern = []> :
400
401     InstR600 <outs, ins, asm, pattern, XALU>,
402     R600_ALU_LDS_Word0,
403     R600LDS_Word1 {
404
405   bits<6>  offset = 0;
406   let lds_op = op;
407
408   let Word1{27} = offset{0};
409   let Word1{12} = offset{1};
410   let Word1{28} = offset{2};
411   let Word1{31} = offset{3};
412   let Word0{12} = offset{4};
413   let Word0{25} = offset{5};
414
415
416   let Inst{31-0}  = Word0;
417   let Inst{63-32} = Word1;
418
419   let ALUInst = 1;
420   let HasNativeOperands = 1;
421   let UseNamedOperandTable = 1;
422 }
423
424 class R600_LDS_1A <bits<6> lds_op, string name, list<dag> pattern> : R600_LDS <
425   lds_op,
426   (outs R600_Reg32:$dst),
427   (ins R600_Reg32:$src0, REL:$src0_rel, SEL:$src0_sel,
428        LAST:$last, R600_Pred:$pred_sel,
429        BANK_SWIZZLE:$bank_swizzle),
430   "  "#name#" $last OQAP, $src0$src0_rel $pred_sel",
431   pattern
432   > {
433
434   let src1 = 0;
435   let src1_rel = 0;
436   let src2 = 0;
437   let src2_rel = 0;
438
439   let usesCustomInserter = 1;
440   let LDS_1A = 1;
441   let DisableEncoding = "$dst";
442 }
443
444 class R600_LDS_1A1D <bits<6> lds_op, dag outs, string name, list<dag> pattern,
445                      string dst =""> :
446     R600_LDS <
447   lds_op, outs,
448   (ins R600_Reg32:$src0, REL:$src0_rel, SEL:$src0_sel,
449        R600_Reg32:$src1, REL:$src1_rel, SEL:$src1_sel,
450        LAST:$last, R600_Pred:$pred_sel,
451        BANK_SWIZZLE:$bank_swizzle),
452   "  "#name#" $last "#dst#"$src0$src0_rel, $src1$src1_rel, $pred_sel",
453   pattern
454   > {
455
456   field string BaseOp;
457
458   let src2 = 0;
459   let src2_rel = 0;
460   let LDS_1A1D = 1;
461 }
462
463 class R600_LDS_1A1D_NORET <bits<6> lds_op, string name, list<dag> pattern> :
464     R600_LDS_1A1D <lds_op, (outs), name, pattern> {
465   let BaseOp = name;
466 }
467
468 class R600_LDS_1A1D_RET <bits<6> lds_op, string name, list<dag> pattern> :
469     R600_LDS_1A1D <lds_op,  (outs R600_Reg32:$dst), name##"_RET", pattern, "OQAP, "> {
470
471   let BaseOp = name;
472   let usesCustomInserter = 1;
473   let DisableEncoding = "$dst";
474 }
475
476 class R600_LDS_1A2D <bits<6> lds_op, dag outs, string name, list<dag> pattern,
477                      string dst =""> :
478     R600_LDS <
479   lds_op, outs,
480   (ins R600_Reg32:$src0, REL:$src0_rel, SEL:$src0_sel,
481        R600_Reg32:$src1, REL:$src1_rel, SEL:$src1_sel,
482        R600_Reg32:$src2, REL:$src2_rel, SEL:$src2_sel,
483        LAST:$last, R600_Pred:$pred_sel, BANK_SWIZZLE:$bank_swizzle),
484   "  "#name# "$last "#dst#"$src0$src0_rel, $src1$src1_rel, $src2$src2_rel, $pred_sel",
485   pattern> {
486
487   field string BaseOp;
488
489   let LDS_1A1D = 0;
490   let LDS_1A2D = 1;
491 }
492
493 class R600_LDS_1A2D_NORET <bits<6> lds_op, string name, list<dag> pattern> :
494     R600_LDS_1A2D <lds_op, (outs), name, pattern> {
495   let BaseOp = name;
496 }
497
498 class R600_LDS_1A2D_RET <bits<6> lds_op, string name, list<dag> pattern> :
499     R600_LDS_1A2D <lds_op, (outs R600_Reg32:$dst), name, pattern> {
500
501   let BaseOp = name;
502   let usesCustomInserter = 1;
503   let DisableEncoding = "$dst";
504 }
505
506 def LDS_ADD : R600_LDS_1A1D_NORET <0x0, "LDS_ADD", [] >;
507 def LDS_SUB : R600_LDS_1A1D_NORET <0x1, "LDS_SUB", [] >;
508 def LDS_AND : R600_LDS_1A1D_NORET <0x9, "LDS_AND", [] >;
509 def LDS_OR : R600_LDS_1A1D_NORET <0xa, "LDS_OR", [] >;
510 def LDS_XOR : R600_LDS_1A1D_NORET <0xb, "LDS_XOR", [] >;
511 def LDS_WRXCHG: R600_LDS_1A1D_NORET <0xd, "LDS_WRXCHG", [] >;
512 def LDS_CMPST: R600_LDS_1A2D_NORET <0x10, "LDS_CMPST", [] >;
513 def LDS_MIN_INT : R600_LDS_1A1D_NORET <0x5, "LDS_MIN_INT", [] >;
514 def LDS_MAX_INT : R600_LDS_1A1D_NORET <0x6, "LDS_MAX_INT", [] >;
515 def LDS_MIN_UINT : R600_LDS_1A1D_NORET <0x7, "LDS_MIN_UINT", [] >;
516 def LDS_MAX_UINT : R600_LDS_1A1D_NORET <0x8, "LDS_MAX_UINT", [] >;
517 def LDS_WRITE : R600_LDS_1A1D_NORET <0xD, "LDS_WRITE",
518   [(local_store (i32 R600_Reg32:$src1), R600_Reg32:$src0)]
519 >;
520 def LDS_BYTE_WRITE : R600_LDS_1A1D_NORET<0x12, "LDS_BYTE_WRITE",
521   [(truncstorei8_local i32:$src1, i32:$src0)]
522 >;
523 def LDS_SHORT_WRITE : R600_LDS_1A1D_NORET<0x13, "LDS_SHORT_WRITE",
524   [(truncstorei16_local i32:$src1, i32:$src0)]
525 >;
526 def LDS_ADD_RET : R600_LDS_1A1D_RET <0x20, "LDS_ADD",
527   [(set i32:$dst, (atomic_load_add_local i32:$src0, i32:$src1))]
528 >;
529 def LDS_SUB_RET : R600_LDS_1A1D_RET <0x21, "LDS_SUB",
530   [(set i32:$dst, (atomic_load_sub_local i32:$src0, i32:$src1))]
531 >;
532 def LDS_AND_RET : R600_LDS_1A1D_RET <0x29, "LDS_AND",
533   [(set i32:$dst, (atomic_load_and_local i32:$src0, i32:$src1))]
534 >;
535 def LDS_OR_RET : R600_LDS_1A1D_RET <0x2a, "LDS_OR",
536   [(set i32:$dst, (atomic_load_or_local i32:$src0, i32:$src1))]
537 >;
538 def LDS_XOR_RET : R600_LDS_1A1D_RET <0x2b, "LDS_XOR",
539   [(set i32:$dst, (atomic_load_xor_local i32:$src0, i32:$src1))]
540 >;
541 def LDS_MIN_INT_RET : R600_LDS_1A1D_RET <0x25, "LDS_MIN_INT",
542   [(set i32:$dst, (atomic_load_min_local i32:$src0, i32:$src1))]
543 >;
544 def LDS_MAX_INT_RET : R600_LDS_1A1D_RET <0x26, "LDS_MAX_INT",
545   [(set i32:$dst, (atomic_load_max_local i32:$src0, i32:$src1))]
546 >;
547 def LDS_MIN_UINT_RET : R600_LDS_1A1D_RET <0x27, "LDS_MIN_UINT",
548   [(set i32:$dst, (atomic_load_umin_local i32:$src0, i32:$src1))]
549 >;
550 def LDS_MAX_UINT_RET : R600_LDS_1A1D_RET <0x28, "LDS_MAX_UINT",
551   [(set i32:$dst, (atomic_load_umax_local i32:$src0, i32:$src1))]
552 >;
553 def LDS_WRXCHG_RET : R600_LDS_1A1D_RET <0x2d, "LDS_WRXCHG",
554   [(set i32:$dst, (atomic_swap_local i32:$src0, i32:$src1))]
555 >;
556 def LDS_CMPST_RET : R600_LDS_1A2D_RET <0x30, "LDS_CMPST",
557   [(set i32:$dst, (atomic_cmp_swap_32_local i32:$src0, i32:$src1, i32:$src2))]
558 >;
559 def LDS_READ_RET : R600_LDS_1A <0x32, "LDS_READ_RET",
560   [(set (i32 R600_Reg32:$dst), (local_load R600_Reg32:$src0))]
561 >;
562 def LDS_BYTE_READ_RET : R600_LDS_1A <0x36, "LDS_BYTE_READ_RET",
563   [(set i32:$dst, (sextloadi8_local i32:$src0))]
564 >;
565 def LDS_UBYTE_READ_RET : R600_LDS_1A <0x37, "LDS_UBYTE_READ_RET",
566   [(set i32:$dst, (az_extloadi8_local i32:$src0))]
567 >;
568 def LDS_SHORT_READ_RET : R600_LDS_1A <0x38, "LDS_SHORT_READ_RET",
569   [(set i32:$dst, (sextloadi16_local i32:$src0))]
570 >;
571 def LDS_USHORT_READ_RET : R600_LDS_1A <0x39, "LDS_USHORT_READ_RET",
572   [(set i32:$dst, (az_extloadi16_local i32:$src0))]
573 >;
574
575 // TRUNC is used for the FLT_TO_INT instructions to work around a
576 // perceived problem where the rounding modes are applied differently
577 // depending on the instruction and the slot they are in.
578 // See:
579 // https://bugs.freedesktop.org/show_bug.cgi?id=50232
580 // Mesa commit: a1a0974401c467cb86ef818f22df67c21774a38c
581 //
582 // XXX: Lowering SELECT_CC will sometimes generate fp_to_[su]int nodes,
583 // which do not need to be truncated since the fp values are 0.0f or 1.0f.
584 // We should look into handling these cases separately.
585 def : Pat<(fp_to_sint f32:$src0), (FLT_TO_INT_eg (TRUNC $src0))>;
586
587 def : Pat<(fp_to_uint f32:$src0), (FLT_TO_UINT_eg (TRUNC $src0))>;
588
589 // SHA-256 Patterns
590 def : SHA256MaPattern <BFI_INT_eg, XOR_INT>;
591
592 def EG_ExportSwz : ExportSwzInst {
593   let Word1{19-16} = 0; // BURST_COUNT
594   let Word1{20} = 0; // VALID_PIXEL_MODE
595   let Word1{21} = eop;
596   let Word1{29-22} = inst;
597   let Word1{30} = 0; // MARK
598   let Word1{31} = 1; // BARRIER
599 }
600 defm : ExportPattern<EG_ExportSwz, 83>;
601
602 def EG_ExportBuf : ExportBufInst {
603   let Word1{19-16} = 0; // BURST_COUNT
604   let Word1{20} = 0; // VALID_PIXEL_MODE
605   let Word1{21} = eop;
606   let Word1{29-22} = inst;
607   let Word1{30} = 0; // MARK
608   let Word1{31} = 1; // BARRIER
609 }
610 defm : SteamOutputExportPattern<EG_ExportBuf, 0x40, 0x41, 0x42, 0x43>;
611
612 def CF_TC_EG : CF_CLAUSE_EG<1, (ins i32imm:$ADDR, i32imm:$COUNT),
613   "TEX $COUNT @$ADDR"> {
614   let POP_COUNT = 0;
615 }
616 def CF_VC_EG : CF_CLAUSE_EG<2, (ins i32imm:$ADDR, i32imm:$COUNT),
617   "VTX $COUNT @$ADDR"> {
618   let POP_COUNT = 0;
619 }
620 def WHILE_LOOP_EG : CF_CLAUSE_EG<6, (ins i32imm:$ADDR),
621   "LOOP_START_DX10 @$ADDR"> {
622   let POP_COUNT = 0;
623   let COUNT = 0;
624 }
625 def END_LOOP_EG : CF_CLAUSE_EG<5, (ins i32imm:$ADDR), "END_LOOP @$ADDR"> {
626   let POP_COUNT = 0;
627   let COUNT = 0;
628 }
629 def LOOP_BREAK_EG : CF_CLAUSE_EG<9, (ins i32imm:$ADDR),
630   "LOOP_BREAK @$ADDR"> {
631   let POP_COUNT = 0;
632   let COUNT = 0;
633 }
634 def CF_CONTINUE_EG : CF_CLAUSE_EG<8, (ins i32imm:$ADDR),
635   "CONTINUE @$ADDR"> {
636   let POP_COUNT = 0;
637   let COUNT = 0;
638 }
639 def CF_JUMP_EG : CF_CLAUSE_EG<10, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
640   "JUMP @$ADDR POP:$POP_COUNT"> {
641   let COUNT = 0;
642 }
643 def CF_PUSH_EG : CF_CLAUSE_EG<11, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
644                               "PUSH @$ADDR POP:$POP_COUNT"> {
645   let COUNT = 0;
646 }
647 def CF_ELSE_EG : CF_CLAUSE_EG<13, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
648   "ELSE @$ADDR POP:$POP_COUNT"> {
649   let COUNT = 0;
650 }
651 def CF_CALL_FS_EG : CF_CLAUSE_EG<19, (ins), "CALL_FS"> {
652   let ADDR = 0;
653   let COUNT = 0;
654   let POP_COUNT = 0;
655 }
656 def POP_EG : CF_CLAUSE_EG<14, (ins i32imm:$ADDR, i32imm:$POP_COUNT),
657   "POP @$ADDR POP:$POP_COUNT"> {
658   let COUNT = 0;
659 }
660 def CF_END_EG :  CF_CLAUSE_EG<0, (ins), "CF_END"> {
661   let COUNT = 0;
662   let POP_COUNT = 0;
663   let ADDR = 0;
664   let END_OF_PROGRAM = 1;
665 }
666
667 } // End Predicates = [isEGorCayman]