1 //===-- R600Instructions.td - TODO: Add brief description -------===//
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 // TODO: Add full description
12 //===----------------------------------------------------------------------===//
14 include "R600Intrinsics.td"
16 class InstR600 <bits<32> inst, dag outs, dag ins, string asm, list<dag> pattern,
18 : AMDGPUInst <outs, ins, asm, pattern> {
25 let Namespace = "AMDIL";
26 let OutOperandList = outs;
27 let InOperandList = ins;
29 let Pattern = pattern;
32 let TSFlags{4} = Trig;
36 class InstR600ISA <dag outs, dag ins, string asm, list<dag> pattern> :
37 AMDGPUInst <outs, ins, asm, pattern>
41 let Namespace = "AMDIL";
44 def MEMri : Operand<iPTRAny> {
45 let MIOperandInfo = (ops R600_Reg32:$ptr, R600_Reg32:$index);
48 def ADDRParam : ComplexPattern<i32, 2, "SelectADDRParam", [], []>;
62 class R600_1OP <bits<32> inst, string opName, list<dag> pattern,
63 InstrItinClass itin = AnyALU> :
65 (outs R600_Reg32:$dst),
66 (ins R600_Reg32:$src, variable_ops),
67 !strconcat(opName, " $dst, $src"),
72 class R600_2OP <bits<32> inst, string opName, list<dag> pattern,
73 InstrItinClass itin = AnyALU> :
75 (outs R600_Reg32:$dst),
76 (ins R600_Reg32:$src0, R600_Reg32:$src1, variable_ops),
77 !strconcat(opName, " $dst, $src0, $src1"),
82 class R600_3OP <bits<32> inst, string opName, list<dag> pattern,
83 InstrItinClass itin = AnyALU> :
85 (outs R600_Reg32:$dst),
86 (ins R600_Reg32:$src0, R600_Reg32:$src1, R600_Reg32:$src2, variable_ops),
87 !strconcat(opName, " $dst, $src0, $src1, $src2"),
94 class R600_REDUCTION <bits<32> inst, dag ins, string asm, list<dag> pattern,
95 InstrItinClass itin = VecALU> :
97 (outs R600_Reg32:$dst),
105 class R600_TEX <bits<32> inst, string opName, list<dag> pattern,
106 InstrItinClass itin = AnyALU> :
108 (outs R600_Reg128:$dst),
109 (ins R600_Reg128:$src0, i32imm:$src1, i32imm:$src2),
110 !strconcat(opName, "$dst, $src0, $src1, $src2"),
115 def TEX_SHADOW : PatLeaf<
117 [{uint32_t TType = (uint32_t)N->getZExtValue();
118 return (TType >= 6 && TType <= 8) || TType == 11 || TType == 12;
122 class EG_CF_RAT <bits <8> cf_inst, bits <6> rat_inst, dag outs, dag ins,
124 InstR600ISA <outs, ins, asm, []>
143 /* CF_ALLOC_EXPORT_WORD0_RAT */
144 let Inst{3-0} = RAT_ID;
145 let Inst{9-4} = rat_inst;
146 let Inst{10} = 0; /* Reserved */
147 let Inst{12-11} = RIM;
148 let Inst{14-13} = TYPE;
149 let Inst{21-15} = RW_GPR;
150 let Inst{22} = RW_REL;
151 let Inst{29-23} = INDEX_GPR;
152 let Inst{31-30} = ELEM_SIZE;
154 /* CF_ALLOC_EXPORT_WORD1_BUF */
155 /* XXX: We can't have auto encoding of 64-bit instructions until LLVM 3.1 :( */
157 let Inst{43-32} = ARRAY_SIZE;
158 let Inst{47-44} = COMP_MASK;
159 let Inst{51-48} = BURST_COUNT;
162 let Inst{61-54} = cf_inst;
164 let Inst{63} = BARRIER;
169 def store_global : PatFrag<(ops node:$value, node:$ptr),
170 (store node:$value, node:$ptr),
173 const PointerType *Type;
174 if ((src = cast<StoreSDNode>(N)->getSrcValue() &&
175 PT = dyn_cast<PointerType>(Src->getType()))) {
176 return PT->getAddressSpace() == 1;
183 def load_param : PatFrag<(ops node:$ptr),
187 const Value *Src = cast<LoadSDNode>(N)->getSrcValue();
189 PointerType * PT = dyn_cast<PointerType>(Src->getType());
190 return PT && PT->getAddressSpace() == AMDILAS::PARAM_I_ADDRESS;
195 //class EG_CF <bits<32> inst, string asm> :
196 // InstR600 <inst, (outs), (ins), asm, []>;
198 /* XXX: We will use this when we emit the real ISA.
212 let Inst{23-0} = ADDR;
213 let Inst{26-24} = JTS;
214 let Inst{34-32} = PC;
215 let Inst{39-35} = CF_CONST;
216 let Inst{41-40} = COND;
217 let Inst{47-42} = COUNT;
220 let Inst{61-54} = CF_INST;
225 def isR600 : Predicate<"Subtarget.device()"
226 "->getGeneration() == AMDILDeviceInfo::HD4XXX">;
227 def isEG : Predicate<"Subtarget.device()"
228 "->getGeneration() >= AMDILDeviceInfo::HD5XXX && "
229 "Subtarget.device()->getDeviceFlag() != OCL_DEVICE_CAYMAN">;
230 def isCayman : Predicate<"Subtarget.device()"
231 "->getDeviceFlag() == OCL_DEVICE_CAYMAN">;
232 def isEGorCayman : Predicate<"Subtarget.device()"
233 "->getGeneration() >= AMDILDeviceInfo::HD5XXX">;
235 def isR600toCayman : Predicate<
236 "Subtarget.device()->getGeneration() <= AMDILDeviceInfo::HD6XXX">;
239 let Predicates = [isR600toCayman] in {
241 /* ------------------------------------------- */
242 /* Common Instructions R600, R700, Evergreen, Cayman */
243 /* ------------------------------------------- */
244 let Gen = AMDGPUGen.R600_CAYMAN in {
248 [(set R600_Reg32:$dst, (fadd R600_Reg32:$src0, R600_Reg32:$src1))] > {
249 let AMDILOp = AMDILInst.ADD_f32;
251 // Non-IEEE MUL: 0 * anything = 0
254 [(set R600_Reg32:$dst, (int_AMDGPU_mul R600_Reg32:$src0, R600_Reg32:$src1))]
257 def MUL_IEEE : R600_2OP <
259 [(set R600_Reg32:$dst, (fmul R600_Reg32:$src0, R600_Reg32:$src1))]> {
260 let AMDILOp = AMDILInst.MUL_IEEE_f32;
265 [(set R600_Reg32:$dst, (int_AMDIL_max R600_Reg32:$src0, R600_Reg32:$src1))]> {
266 let AMDILOp = AMDILInst.MAX_f32;
271 [(set R600_Reg32:$dst, (int_AMDIL_min R600_Reg32:$src0, R600_Reg32:$src1))]> {
272 let AMDILOp = AMDILInst.MIN_f32;
275 /* For the SET* instructions there is a naming conflict in TargetSelectionDAG.td,
276 * so some of the instruction names don't match the asm string.
277 * XXX: Use the defs in TargetSelectionDAG.td instead of intrinsics.
280 def SETE : R600_2OP <
282 [(set R600_Reg32:$dst, (int_AMDGPU_seq R600_Reg32:$src0, R600_Reg32:$src1))]> {
283 let AMDILOp = AMDILInst.FEQ;
288 [(set R600_Reg32:$dst, (int_AMDGPU_sgt R600_Reg32:$src0, R600_Reg32:$src1))]
293 [(set R600_Reg32:$dst, (int_AMDGPU_sge R600_Reg32:$src0, R600_Reg32:$src1))]> {
294 let AMDILOp = AMDILInst.FGE;
299 [(set R600_Reg32:$dst, (int_AMDGPU_sne R600_Reg32:$src0, R600_Reg32:$src1))]> {
300 let AMDILOp = AMDILInst.FNE;
303 def FRACT : R600_1OP <
306 let AMDILOp = AMDILInst.FRAC_f32;
309 def TRUNC : R600_1OP <
311 [(set R600_Reg32:$dst, (int_AMDGPU_trunc R600_Reg32:$src))]
314 def CEIL : R600_1OP <
316 [(set R600_Reg32:$dst, (int_AMDIL_round_neginf R600_Reg32:$src))]> {
317 let AMDILOp = AMDILInst.ROUND_NEGINF_f32;
320 def RNDNE : R600_1OP <
322 [(set R600_Reg32:$dst, (int_AMDIL_round_nearest R600_Reg32:$src))]> {
323 let AMDILOp = AMDILInst.ROUND_NEAREST_f32;
326 def FLOOR : R600_1OP <
328 [(set R600_Reg32:$dst, (int_AMDGPU_floor R600_Reg32:$src))]
331 def MOV : R600_1OP <0x19, "MOV", []>;
333 def KILLGT : R600_2OP <
338 def AND_INT : R600_2OP <
341 let AMDILOp = AMDILInst.AND_i32;
344 def OR_INT : R600_2OP <
347 let AMDILOp = AMDILInst.BINARY_OR_i32;
350 def XOR_INT : R600_2OP <
355 def NOT_INT : R600_1OP <
358 let AMDILOp = AMDILInst.BINARY_NOT_i32;
361 def ADD_INT : R600_2OP <
364 let AMDILOp = AMDILInst.ADD_i32;
367 def SUB_INT : R600_2OP <
372 def MAX_INT : R600_2OP <
374 [(set R600_Reg32:$dst, (int_AMDGPU_imax R600_Reg32:$src0, R600_Reg32:$src1))]>;
376 def MIN_INT : R600_2OP <
378 [(set R600_Reg32:$dst, (int_AMDGPU_imin R600_Reg32:$src0, R600_Reg32:$src1))]>;
380 def MAX_UINT : R600_2OP <
382 [(set R600_Reg32:$dst, (int_AMDGPU_umax R600_Reg32:$src0, R600_Reg32:$src1))]>;
384 def MIN_UINT : R600_2OP <
386 [(set R600_Reg32:$dst, (int_AMDGPU_umin R600_Reg32:$src0, R600_Reg32:$src1))]>;
389 def SETE_INT : R600_2OP <
392 let AMDILOp = AMDILInst.IEQ;
395 def SETGT_INT : R600_2OP <
400 def SETGE_INT : R600_2OP <
403 let AMDILOp = AMDILInst.IGE;
406 def SETNE_INT : R600_2OP <
409 let AMDILOp = AMDILInst.INE;
412 def SETGT_UINT : R600_2OP <
415 let AMDILOp = AMDILInst.UGT;
418 def SETGE_UINT : R600_2OP <
421 let AMDILOp = AMDILInst.UGE;
424 def CNDE_INT : R600_3OP <
429 /* Texture instructions */
432 def TEX_LD : R600_TEX <
434 [(set R600_Reg128:$dst, (int_AMDGPU_txf R600_Reg128:$src0, imm:$src1, imm:$src2))]
437 def TEX_GET_TEXTURE_RESINFO : R600_TEX <
438 0x04, "TEX_GET_TEXTURE_RESINFO",
439 [(set R600_Reg128:$dst, (int_AMDGPU_txq R600_Reg128:$src0, imm:$src1, imm:$src2))]
442 def TEX_GET_GRADIENTS_H : R600_TEX <
443 0x07, "TEX_GET_GRADIENTS_H",
444 [(set R600_Reg128:$dst, (int_AMDGPU_ddx R600_Reg128:$src0, imm:$src1, imm:$src2))]
447 def TEX_GET_GRADIENTS_V : R600_TEX <
448 0x08, "TEX_GET_GRADIENTS_V",
449 [(set R600_Reg128:$dst, (int_AMDGPU_ddy R600_Reg128:$src0, imm:$src1, imm:$src2))]
452 def TEX_SAMPLE : R600_TEX <
454 [(set R600_Reg128:$dst, (int_AMDGPU_tex R600_Reg128:$src0, imm:$src1, imm:$src2))]
457 def TEX_SAMPLE_C : R600_TEX <
458 0x18, "TEX_SAMPLE_C",
459 [(set R600_Reg128:$dst, (int_AMDGPU_tex R600_Reg128:$src0, imm:$src1, TEX_SHADOW:$src2))]
462 def TEX_SAMPLE_L : R600_TEX <
463 0x11, "TEX_SAMPLE_L",
464 [(set R600_Reg128:$dst, (int_AMDGPU_txl R600_Reg128:$src0, imm:$src1, imm:$src2))]
467 def TEX_SAMPLE_C_L : R600_TEX <
468 0x19, "TEX_SAMPLE_C_L",
469 [(set R600_Reg128:$dst, (int_AMDGPU_txl R600_Reg128:$src0, imm:$src1, TEX_SHADOW:$src2))]
472 def TEX_SAMPLE_LB : R600_TEX <
473 0x12, "TEX_SAMPLE_LB",
474 [(set R600_Reg128:$dst, (int_AMDGPU_txb R600_Reg128:$src0, imm:$src1, imm:$src2))]
477 def TEX_SAMPLE_C_LB : R600_TEX <
478 0x1A, "TEX_SAMPLE_C_LB",
479 [(set R600_Reg128:$dst, (int_AMDGPU_txb R600_Reg128:$src0, imm:$src1, TEX_SHADOW:$src2))]
482 def TEX_SAMPLE_G : R600_TEX <
483 0x14, "TEX_SAMPLE_G",
484 [(set R600_Reg128:$dst, (int_AMDGPU_txd R600_Reg128:$src0, imm:$src1, imm:$src2))]
487 def TEX_SAMPLE_C_G : R600_TEX <
488 0x1C, "TEX_SAMPLE_C_G",
489 [(set R600_Reg128:$dst, (int_AMDGPU_txd R600_Reg128:$src0, imm:$src1, TEX_SHADOW:$src2))]
492 } // End Gen R600_CAYMAN
496 (MASK_WRITE (KILLGT (f32 ONE), (f32 ZERO)))
500 (int_AMDGPU_kill R600_Reg32:$src0),
501 (MASK_WRITE (KILLGT (f32 ZERO), (f32 R600_Reg32:$src0)))
504 /* Helper classes for common instructions */
506 class MUL_LIT_Common <bits<32> inst> : R600_3OP <
511 class MULADD_Common <bits<32> inst> : R600_3OP <
514 let AMDILOp = AMDILInst.MAD_f32;
517 class CNDE_Common <bits<32> inst> : R600_3OP <
520 let AMDILOp = AMDILInst.CMOVLOG_f32;
523 class CNDGT_Common <bits<32> inst> : R600_3OP <
528 class CNDGE_Common <bits<32> inst> : R600_3OP <
530 [(set R600_Reg32:$dst, (int_AMDGPU_cndlt R600_Reg32:$src0, R600_Reg32:$src2, R600_Reg32:$src1))]
533 class DOT4_Common <bits<32> inst> : R600_REDUCTION <
535 (ins R600_Reg128:$src0, R600_Reg128:$src1),
536 "DOT4 $dst $src0, $src1",
537 [(set R600_Reg32:$dst, (int_AMDGPU_dp4 R600_Reg128:$src0, R600_Reg128:$src1))]
540 class CUBE_Common <bits<32> inst> : InstR600 <
542 (outs R600_Reg128:$dst),
543 (ins R600_Reg128:$src),
545 [(set R600_Reg128:$dst, (int_AMDGPU_cube R600_Reg128:$src))],
549 class EXP_IEEE_Common <bits<32> inst> : R600_1OP <
552 let AMDILOp = AMDILInst.EXP_f32;
555 class FLT_TO_INT_Common <bits<32> inst> : R600_1OP <
556 inst, "FLT_TO_INT", []> {
557 let AMDILOp = AMDILInst.FTOI;
560 class INT_TO_FLT_Common <bits<32> inst> : R600_1OP <
561 inst, "INT_TO_FLT", []> {
562 let AMDILOp = AMDILInst.ITOF;
565 class LOG_CLAMPED_Common <bits<32> inst> : R600_1OP <
570 class LOG_IEEE_Common <bits<32> inst> : R600_1OP <
573 let AMDILOp = AMDILInst.LOG_f32;
576 class LSHL_Common <bits<32> inst> : R600_2OP <
577 inst, "LSHL $dst, $src0, $src1",
579 let AMDILOp = AMDILInst.SHL_i32;
582 class LSHR_Common <bits<32> inst> : R600_2OP <
583 inst, "LSHR $dst, $src0, $src1",
585 let AMDILOp = AMDILInst.USHR_i32;
588 class ASHR_Common <bits<32> inst> : R600_2OP <
589 inst, "ASHR $dst, $src0, $src1",
591 let AMDILOp = AMDILInst.SHR_i32;
594 class MULHI_INT_Common <bits<32> inst> : R600_2OP <
595 inst, "MULHI_INT $dst, $src0, $src1",
597 let AMDILOp = AMDILInst.SMULHI_i32;
600 class MULHI_UINT_Common <bits<32> inst> : R600_2OP <
601 inst, "MULHI $dst, $src0, $src1",
605 class MULLO_INT_Common <bits<32> inst> : R600_2OP <
606 inst, "MULLO_INT $dst, $src0, $src1",
608 let AMDILOp = AMDILInst.SMUL_i32;
611 class MULLO_UINT_Common <bits<32> inst> : R600_2OP <
612 inst, "MULLO_UINT $dst, $src0, $src1",
616 class RECIP_CLAMPED_Common <bits<32> inst> : R600_1OP <
617 inst, "RECIP_CLAMPED",
621 class RECIP_IEEE_Common <bits<32> inst> : R600_1OP <
623 [(set R600_Reg32:$dst, (int_AMDGPU_rcp R600_Reg32:$src))]> {
624 let AMDILOp = AMDILInst.RSQ_f32;
627 class RECIP_UINT_Common <bits<32> inst> : R600_1OP <
628 inst, "RECIP_INT $dst, $src",
632 class RECIPSQRT_CLAMPED_Common <bits<32> inst> : R600_1OP <
633 inst, "RECIPSQRT_CLAMPED",
634 [(set R600_Reg32:$dst, (int_AMDGPU_rsq R600_Reg32:$src))]
637 class RECIPSQRT_IEEE_Common <bits<32> inst> : R600_1OP <
638 inst, "RECIPSQRT_IEEE",
642 class SIN_Common <bits<32> inst> : R600_1OP <
645 let AMDILOp = AMDILInst.SIN_f32;
649 class COS_Common <bits<32> inst> : R600_1OP <
652 let AMDILOp = AMDILInst.COS_f32;
656 /* Helper patterns for complex intrinsics */
657 /* -------------------------------------- */
659 class DIV_Common <InstR600 recip_ieee> : Pat<
660 (int_AMDGPU_div R600_Reg32:$src0, R600_Reg32:$src1),
661 (MUL R600_Reg32:$src0, (recip_ieee R600_Reg32:$src1))
664 class LRP_Common <InstR600 muladd> : Pat <
665 (int_AMDGPU_lrp R600_Reg32:$src0, R600_Reg32:$src1, R600_Reg32:$src2),
666 (muladd R600_Reg32:$src0, R600_Reg32:$src1, (MUL (SUB_f32 ONE, R600_Reg32:$src0), R600_Reg32:$src2))
669 class SSG_Common <InstR600 cndgt, InstR600 cndge> : Pat <
670 (int_AMDGPU_ssg R600_Reg32:$src),
671 (cndgt R600_Reg32:$src, (f32 ONE), (cndge R600_Reg32:$src, (f32 ZERO), (f32 NEG_ONE)))
674 class TGSI_LIT_Z_Common <InstR600 mul_lit, InstR600 log_clamped, InstR600 exp_ieee> : Pat <
675 (int_TGSI_lit_z R600_Reg32:$src_x, R600_Reg32:$src_y, R600_Reg32:$src_w),
676 (exp_ieee (mul_lit (log_clamped (MAX R600_Reg32:$src_y, (f32 ZERO))), R600_Reg32:$src_w, R600_Reg32:$src_x))
679 /* ---------------------- */
680 /* R600 / R700 Only Instructions */
681 /* ---------------------- */
683 let Predicates = [isR600] in {
685 let Gen = AMDGPUGen.R600 in {
687 def MUL_LIT_r600 : MUL_LIT_Common<0x0C>;
688 def MULADD_r600 : MULADD_Common<0x10>;
689 def CNDE_r600 : CNDE_Common<0x18>;
690 def CNDGT_r600 : CNDGT_Common<0x19>;
691 def CNDGE_r600 : CNDGE_Common<0x1A>;
692 def DOT4_r600 : DOT4_Common<0x50>;
693 def CUBE_r600 : CUBE_Common<0x52>;
694 def EXP_IEEE_r600 : EXP_IEEE_Common<0x61>;
695 def LOG_CLAMPED_r600 : LOG_CLAMPED_Common<0x62>;
696 def LOG_IEEE_r600 : LOG_IEEE_Common<0x63>;
697 def RECIP_CLAMPED_r600 : RECIP_CLAMPED_Common<0x64>;
698 def RECIP_IEEE_r600 : RECIP_IEEE_Common<0x66>;
699 def RECIPSQRT_CLAMPED_r600 : RECIPSQRT_CLAMPED_Common<0x67>;
700 def RECIPSQRT_IEEE_r600 : RECIPSQRT_IEEE_Common<0x69>;
701 def FLT_TO_INT_r600 : FLT_TO_INT_Common<0x6b>;
702 def INT_TO_FLT_r600 : INT_TO_FLT_Common<0x6c>;
703 def SIN_r600 : SIN_Common<0x6E>;
704 def COS_r600 : COS_Common<0x6F>;
705 def ASHR_r600 : ASHR_Common<0x70>;
706 def LSHR_r600 : LSHR_Common<0x71>;
707 def LSHL_r600 : LSHL_Common<0x72>;
708 def MULLO_INT_r600 : MULLO_INT_Common<0x73>;
709 def MULHI_INT_r600 : MULHI_INT_Common<0x74>;
710 def MULLO_UINT_r600 : MULLO_UINT_Common<0x75>;
711 def MULHI_UINT_r600 : MULHI_UINT_Common<0x76>;
712 def RECIP_UINT_r600 : RECIP_UINT_Common <0x77>;
714 } // End AMDGPUGen.R600
716 def DIV_r600 : DIV_Common<RECIP_IEEE_r600>;
717 def LRP_r600 : LRP_Common<MULADD_r600>;
718 def POW_r600 : POW_Common<LOG_IEEE_r600, EXP_IEEE_r600, MUL, GPRF32>;
719 def SSG_r600 : SSG_Common<CNDGT_r600, CNDGE_r600>;
720 def TGSI_LIT_Z_r600 : TGSI_LIT_Z_Common<MUL_LIT_r600, LOG_CLAMPED_r600, EXP_IEEE_r600>;
724 /* ----------------- */
725 /* R700+ Trig helper */
726 /* ----------------- */
729 class TRIG_HELPER_r700 <InstR600 trig_inst>: Pat <
730 (trig_inst R600_Reg32:$src),
731 (trig_inst (fmul R600_Reg32:$src, (PI))))
735 /* ---------------------- */
736 /* Evergreen Instructions */
737 /* ---------------------- */
740 let Predicates = [isEG] in {
742 let Gen = AMDGPUGen.EG in {
744 def RAT_WRITE_CACHELESS_eg :
745 EG_CF_RAT <0x57, 0x2, (outs), (ins R600_TReg32_X:$rw_gpr,
746 R600_TReg32_X:$index_gpr, i32imm:$rat_id), "">
749 let Inst{3-0} = RAT_ID;
750 let Inst{21-15} = RW_GPR;
751 let Inst{29-23} = INDEX_GPR;
752 /* Propery of the UAV */
753 let Inst{31-30} = ELEM_SIZE;
756 /* XXX: Have a separate instruction for non-indexed writes. */
772 def VTX_READ_eg : InstR600ISA < (outs R600_TReg32_X:$dst),
773 (ins R600_TReg32_X:$src, i32imm:$buffer_id),
774 "VTX_READ_eg $dst, $src", []>
781 /* If any of these field below need to be calculated at compile time, and
782 * a ins operand for them and move them to the list of operands above. */
784 /* XXX: This instruction is manual encoded, so none of these values are used.
787 bits<5> VC_INST = 0; //VC_INST_FETCH
788 bits<2> FETCH_TYPE = 2;
789 bits<1> FETCH_WHOLE_QUAD = 1;
791 bits<2> SRC_SEL_X = 0;
792 bits<6> MEGA_FETCH_COUNT = 4;
797 bits<3> DST_SEL_X = 0;
798 bits<3> DST_SEL_Y = 7; //Masked
799 bits<3> DST_SEL_Z = 7; //Masked
800 bits<3> DST_SEL_W = 7; //Masked
801 bits<1> USE_CONST_FIELDS = 1; //Masked
802 bits<6> DATA_FORMAT = 0;
803 bits<2> NUM_FORMAT_ALL = 0;
804 bits<1> FORMAT_COMP_ALL = 0;
805 bits<1> SRF_MODE_ALL = 0;
809 let Inst{4-0} = VC_INST;
810 let Inst{6-5} = FETCH_TYPE;
811 let Inst{7} = FETCH_WHOLE_QUAD;
812 let Inst{15-8} = BUFFER_ID;
813 let Inst{22-16} = SRC_GPR;
814 let Inst{23} = SRC_REL;
815 let Inst{25-24} = SRC_SEL_X;
816 let Inst{31-26} = MEGA_FETCH_COUNT;
818 /* DST_GPR is OK to leave uncommented, because LLVM 3.0 only prevents you
819 * from statically setting bits > 31. This field will be set by
820 * getMachineValueOp which can set bits > 31.
822 // let Inst{32-38} = DST_GPR;
824 /* XXX: Uncomment for LLVM 3.1 which supports 64-bit instructions */
827 let Inst{39} = DST_REL;
828 let Inst{40} = 0; //Reserved
829 let Inst{43-41} = DST_SEL_X;
830 let Inst{46-44} = DST_SEL_Y;
831 let Inst{49-47} = DST_SEL_Z;
832 let Inst{52-50} = DST_SEL_W;
833 let Inst{53} = USE_CONST_FIELDS;
834 let Inst{59-54} = DATA_FORMAT;
835 let Inst{61-60} = NUM_FORMAT_ALL;
836 let Inst{62} = FORMAT_COMP_ALL;
837 let Inst{63} = SRF_MODE_ALL;
843 } // End AMDGPUGen.EG
844 /* XXX: Need to convert PTR to rat_id */
846 def : Pat <(store_global (f32 R600_Reg32:$value), node:$ptr),
847 (RAT_WRITE_CACHELESS_eg (INSERT_SUBREG (v4f32 (IMPLICIT_DEF)),
848 (f32 R600_Reg32:$value),
850 (f32 ZERO), 0, R600_Reg32:$ptr)>;
853 class VTX_Param_Read_Pattern <ValueType vt> : Pat <
854 (vt (load_param ADDRParam:$mem)),
855 (VTX_READ_eg (i32 R600_Reg32:$mem), 0)>;
857 def : VTX_Param_Read_Pattern <f32>;
858 def : VTX_Param_Read_Pattern <i32>;
860 } // End isEG Predicate
862 /* ------------------------------- */
863 /* Evergreen / Cayman Instructions */
864 /* ------------------------------- */
866 let Predicates = [isEGorCayman] in {
868 class TRIG_eg <InstR600 trig, Intrinsic intr> : Pat<
869 (intr R600_Reg32:$src),
870 (trig (MUL (MOV (LOADCONST_i32 CONST.TWO_PI_INV)), R600_Reg32:$src))
873 let Gen = AMDGPUGen.EG_CAYMAN in {
875 def MULADD_eg : MULADD_Common<0x14>;
876 def ASHR_eg : ASHR_Common<0x15>;
877 def LSHR_eg : LSHR_Common<0x16>;
878 def LSHL_eg : LSHL_Common<0x17>;
879 def CNDE_eg : CNDE_Common<0x19>;
880 def CNDGT_eg : CNDGT_Common<0x1A>;
881 def CNDGE_eg : CNDGE_Common<0x1B>;
882 def MUL_LIT_eg : MUL_LIT_Common<0x1F>;
883 def FLT_TO_INT_eg : FLT_TO_INT_Common<0x50>;
884 def EXP_IEEE_eg : EXP_IEEE_Common<0x81>;
885 def LOG_CLAMPED_eg : LOG_CLAMPED_Common<0x82>;
886 def LOG_IEEE_eg : LOG_IEEE_Common<0x83>;
887 def RECIP_CLAMPED_eg : RECIP_CLAMPED_Common<0x84>;
888 def RECIP_IEEE_eg : RECIP_IEEE_Common<0x86>;
889 def RECIPSQRT_CLAMPED_eg : RECIPSQRT_CLAMPED_Common<0x87>;
890 def RECIPSQRT_IEEE_eg : RECIPSQRT_IEEE_Common<0x89>;
891 def SIN_eg : SIN_Common<0x8D>;
892 def COS_eg : COS_Common<0x8E>;
893 def MULLO_INT_eg : MULLO_INT_Common<0x8F>;
894 def MULHI_INT_eg : MULHI_INT_Common<0x90>;
895 def MULLO_UINT_eg : MULLO_UINT_Common<0x91>;
896 def MULHI_UINT_eg : MULHI_UINT_Common<0x92>;
897 def RECIP_UINT_eg : RECIP_UINT_Common<0x94>;
898 def INT_TO_FLT_eg : INT_TO_FLT_Common<0x9B>;
899 def DOT4_eg : DOT4_Common<0xBE>;
900 def CUBE_eg : CUBE_Common<0xC0>;
902 } // End AMDGPUGen.EG_CAYMAN
904 def DIV_eg : DIV_Common<RECIP_IEEE_eg>;
905 def LRP_eg : LRP_Common<MULADD_eg>;
906 def POW_eg : POW_Common<LOG_IEEE_eg, EXP_IEEE_eg, MUL, GPRF32>;
907 def SSG_eg : SSG_Common<CNDGT_eg, CNDGE_eg>;
908 def TGSI_LIT_Z_eg : TGSI_LIT_Z_Common<MUL_LIT_eg, LOG_CLAMPED_eg, EXP_IEEE_eg>;
910 def : TRIG_eg <SIN_eg, int_AMDGPU_sin>;
911 def : TRIG_eg <COS_eg, int_AMDGPU_cos>;
915 let Predicates = [isCayman] in {
917 let Gen = AMDGPUGen.CAYMAN in {
919 /* XXX: I'm not sure if this opcode is correct. */
920 def RECIP_UINT_cm : RECIP_UINT_Common<0x77>;
922 } // End AMDGPUGen.CAYMAN
926 /* Other Instructions */
928 let isCodeGenOnly = 1 in {
930 def SWIZZLE : AMDGPUShaderInst <
931 (outs GPRV4F32:$dst),
932 (ins GPRV4F32:$src0, i32imm:$src1),
933 "SWIZZLE $dst, $src0, $src1",
934 [(set GPRV4F32:$dst, (int_AMDGPU_swizzle GPRV4F32:$src0, imm:$src1))]
938 def LAST : AMDGPUShaderInst <
945 def GET_CHAN : AMDGPUShaderInst <
946 (outs R600_Reg32:$dst),
947 (ins R600_Reg128:$src0, i32imm:$src1),
948 "GET_CHAN $dst, $src0, $src1",
952 def MULLIT : AMDGPUShaderInst <
953 (outs R600_Reg128:$dst),
954 (ins R600_Reg32:$src0, R600_Reg32:$src1, R600_Reg32:$src2),
955 "MULLIT $dst, $src0, $src1",
956 [(set R600_Reg128:$dst, (int_AMDGPU_mullit R600_Reg32:$src0, R600_Reg32:$src1, R600_Reg32:$src2))]
959 let usesCustomInserter = 1, isPseudo = 1 in {
961 class R600PreloadInst <string asm, Intrinsic intr> : AMDGPUInst <
962 (outs R600_TReg32:$dst),
965 [(set R600_TReg32:$dst, (intr))]
968 def TGID_X : R600PreloadInst <"TGID_X", int_r600_read_tgid_x>;
969 def TGID_Y : R600PreloadInst <"TGID_Y", int_r600_read_tgid_y>;
970 def TGID_Z : R600PreloadInst <"TGID_Z", int_r600_read_tgid_z>;
972 def TIDIG_X : R600PreloadInst <"TIDIG_X", int_r600_read_tidig_x>;
973 def TIDIG_Y : R600PreloadInst <"TIDIG_Y", int_r600_read_tidig_y>;
974 def TIDIG_Z : R600PreloadInst <"TIDIG_Z", int_r600_read_tidig_z>;
976 def NGROUPS_X : R600PreloadInst <"NGROUPS_X", int_r600_read_ngroups_x>;
977 def NGROUPS_Y : R600PreloadInst <"NGROUPS_Y", int_r600_read_ngroups_y>;
978 def NGROUPS_Z : R600PreloadInst <"NGROUPS_Z", int_r600_read_ngroups_z>;
980 def GLOBAL_SIZE_X : R600PreloadInst <"GLOBAL_SIZE_X",
981 int_r600_read_global_size_x>;
982 def GLOBAL_SIZE_Y : R600PreloadInst <"GLOBAL_SIZE_Y",
983 int_r600_read_global_size_y>;
984 def GLOBAL_SIZE_Z : R600PreloadInst <"GLOBAL_SIZE_Z",
985 int_r600_read_global_size_z>;
987 def LOCAL_SIZE_X : R600PreloadInst <"LOCAL_SIZE_X",
988 int_r600_read_local_size_x>;
989 def LOCAL_SIZE_Y : R600PreloadInst <"LOCAL_SIZE_Y",
990 int_r600_read_local_size_y>;
991 def LOCAL_SIZE_Z : R600PreloadInst <"LOCAL_SIZE_Z",
992 int_r600_read_local_size_z>;
994 } // End usesCustomInserter = 1, isPseudo = 1
996 } // End isCodeGenOnly = 1
1000 let isPseudo = 1 in {
1002 def LOAD_VTX : AMDGPUShaderInst <
1003 (outs R600_Reg32:$dst),
1006 [(set (i32 R600_Reg32:$dst), (load_param ADDRParam:$mem))]
1012 def : Extract_Element <f32, v4f32, R600_Reg128, 0, sel_x>;
1013 def : Extract_Element <f32, v4f32, R600_Reg128, 1, sel_y>;
1014 def : Extract_Element <f32, v4f32, R600_Reg128, 2, sel_z>;
1015 def : Extract_Element <f32, v4f32, R600_Reg128, 3, sel_w>;
1017 def : Insert_Element <f32, v4f32, R600_Reg32, R600_Reg128, 4, sel_x>;
1018 def : Insert_Element <f32, v4f32, R600_Reg32, R600_Reg128, 5, sel_y>;
1019 def : Insert_Element <f32, v4f32, R600_Reg32, R600_Reg128, 6, sel_z>;
1020 def : Insert_Element <f32, v4f32, R600_Reg32, R600_Reg128, 7, sel_w>;
1022 def : Extract_Element <i32, v4i32, R600_Reg128, 0, sel_x>;
1023 def : Extract_Element <i32, v4i32, R600_Reg128, 1, sel_y>;
1024 def : Extract_Element <i32, v4i32, R600_Reg128, 2, sel_z>;
1025 def : Extract_Element <i32, v4i32, R600_Reg128, 3, sel_w>;
1027 def : Insert_Element <i32, v4i32, R600_Reg32, R600_Reg128, 4, sel_x>;
1028 def : Insert_Element <i32, v4i32, R600_Reg32, R600_Reg128, 5, sel_y>;
1029 def : Insert_Element <i32, v4i32, R600_Reg32, R600_Reg128, 6, sel_z>;
1030 def : Insert_Element <i32, v4i32, R600_Reg32, R600_Reg128, 7, sel_w>;
1033 include "R600ShaderPatterns.td"
1035 // We need this pattern to avoid having real registers in PHI nodes.
1036 // For some reason this pattern only works when it comes after the other
1037 // instruction defs.
1039 (int_R600_load_input imm:$src),
1040 (LOAD_INPUT imm:$src)
1043 } // End isR600toCayman Predicate