1 /**************************************************************************
3 * Copyright 2007-2008 Tungsten Graphics, Inc., Cedar Park, Texas.
6 * Permission is hereby granted, free of charge, to any person obtaining a
7 * copy of this software and associated documentation files (the
8 * "Software"), to deal in the Software without restriction, including
9 * without limitation the rights to use, copy, modify, merge, publish,
10 * distribute, sub license, and/or sell copies of the Software, and to
11 * permit persons to whom the Software is furnished to do so, subject to
12 * the following conditions:
14 * The above copyright notice and this permission notice (including the
15 * next paragraph) shall be included in all copies or substantial portions
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
19 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
21 * IN NO EVENT SHALL TUNGSTEN GRAPHICS AND/OR ITS SUPPLIERS BE LIABLE FOR
22 * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
23 * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
24 * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26 **************************************************************************/
34 #include "pipe/p_compiler.h"
35 #include "pipe/p_shader_tokens.h"
36 #include "pipe/p_state.h"
37 #include "tgsi/tgsi_ureg.h"
38 #include "st_mesa_to_tgsi.h"
39 #include "shader/prog_instruction.h"
40 #include "shader/prog_parameter.h"
41 #include "shader/prog_print.h"
42 #include "util/u_debug.h"
43 #include "util/u_math.h"
44 #include "util/u_memory.h"
47 unsigned branch_target
;
52 struct ureg_program
*ureg
;
54 struct ureg_dst temps
[MAX_PROGRAM_TEMPS
];
55 struct ureg_src
*constants
;
56 struct ureg_dst outputs
[PIPE_MAX_SHADER_OUTPUTS
];
57 struct ureg_src inputs
[PIPE_MAX_SHADER_INPUTS
];
58 struct ureg_dst address
[1];
59 struct ureg_src samplers
[PIPE_MAX_SAMPLERS
];
61 const GLuint
*inputMapping
;
62 const GLuint
*outputMapping
;
64 /* For every instruction that contains a label (eg CALL), keep
65 * details so that we can go back afterwards and emit the correct
66 * tgsi instruction number for each label.
70 unsigned labels_count
;
72 /* Keep a record of the tgsi instruction number that each mesa
73 * instruction starts at, will be used to fix up labels after
80 unsigned procType
; /**< TGSI_PROCESSOR_VERTEX/FRAGMENT */
86 static unsigned *get_label( struct st_translate
*t
,
87 unsigned branch_target
)
91 if (t
->labels_count
+ 1 >= t
->labels_size
) {
92 unsigned old_size
= t
->labels_size
;
93 t
->labels_size
= 1 << (util_logbase2(t
->labels_size
) + 1);
94 t
->labels
= REALLOC( t
->labels
,
95 old_size
* sizeof t
->labels
[0],
96 t
->labels_size
* sizeof t
->labels
[0] );
97 if (t
->labels
== NULL
) {
98 static unsigned dummy
;
104 i
= t
->labels_count
++;
105 t
->labels
[i
].branch_target
= branch_target
;
106 return &t
->labels
[i
].token
;
110 static void set_insn_start( struct st_translate
*t
,
113 if (t
->insn_count
+ 1 >= t
->insn_size
) {
114 unsigned old_size
= t
->insn_size
;
115 t
->insn_size
= 1 << (util_logbase2(t
->insn_size
) + 1);
116 t
->insn
= REALLOC( t
->insn
,
117 old_size
* sizeof t
->insn
[0],
118 t
->insn_size
* sizeof t
->insn
[0] );
119 if (t
->insn
== NULL
) {
125 t
->insn
[t
->insn_count
++] = start
;
130 * Map mesa register file to TGSI register file.
132 static struct ureg_dst
133 dst_register( struct st_translate
*t
,
134 gl_register_file file
,
138 case PROGRAM_UNDEFINED
:
139 return ureg_dst_undef();
141 case PROGRAM_TEMPORARY
:
142 if (ureg_dst_is_undef(t
->temps
[index
]))
143 t
->temps
[index
] = ureg_DECL_temporary( t
->ureg
);
145 return t
->temps
[index
];
148 return t
->outputs
[t
->outputMapping
[index
]];
150 case PROGRAM_ADDRESS
:
151 return t
->address
[index
];
155 return ureg_dst_undef();
160 static struct ureg_src
161 src_register( struct st_translate
*t
,
162 gl_register_file file
,
166 case PROGRAM_UNDEFINED
:
167 return ureg_src_undef();
169 case PROGRAM_TEMPORARY
:
170 if (ureg_dst_is_undef(t
->temps
[index
]))
171 t
->temps
[index
] = ureg_DECL_temporary( t
->ureg
);
172 return ureg_src(t
->temps
[index
]);
174 case PROGRAM_STATE_VAR
:
175 case PROGRAM_NAMED_PARAM
:
176 case PROGRAM_ENV_PARAM
:
177 case PROGRAM_LOCAL_PARAM
:
178 case PROGRAM_UNIFORM
:
179 case PROGRAM_CONSTANT
: /* ie, immediate */
180 return t
->constants
[index
];
183 return t
->inputs
[t
->inputMapping
[index
]];
186 return ureg_src(t
->outputs
[t
->outputMapping
[index
]]); /* not needed? */
188 case PROGRAM_ADDRESS
:
189 return ureg_src(t
->address
[index
]);
193 return ureg_src_undef();
199 * Map mesa texture target to TGSI texture target.
202 translate_texture_target( GLuint textarget
,
206 switch( textarget
) {
207 case TEXTURE_1D_INDEX
: return TGSI_TEXTURE_SHADOW1D
;
208 case TEXTURE_2D_INDEX
: return TGSI_TEXTURE_SHADOW2D
;
209 case TEXTURE_RECT_INDEX
: return TGSI_TEXTURE_SHADOWRECT
;
214 switch( textarget
) {
215 case TEXTURE_1D_INDEX
: return TGSI_TEXTURE_1D
;
216 case TEXTURE_2D_INDEX
: return TGSI_TEXTURE_2D
;
217 case TEXTURE_3D_INDEX
: return TGSI_TEXTURE_3D
;
218 case TEXTURE_CUBE_INDEX
: return TGSI_TEXTURE_CUBE
;
219 case TEXTURE_RECT_INDEX
: return TGSI_TEXTURE_RECT
;
222 return TGSI_TEXTURE_1D
;
227 static struct ureg_dst
228 translate_dst( struct st_translate
*t
,
229 const struct prog_dst_register
*DstReg
,
232 struct ureg_dst dst
= dst_register( t
,
236 dst
= ureg_writemask( dst
,
240 dst
= ureg_saturate( dst
);
243 dst
= ureg_dst_indirect( dst
, ureg_src(t
->address
[0]) );
249 static struct ureg_src
250 translate_src( struct st_translate
*t
,
251 const struct prog_src_register
*SrcReg
)
253 struct ureg_src src
= src_register( t
, SrcReg
->File
, SrcReg
->Index
);
255 src
= ureg_swizzle( src
,
256 GET_SWZ( SrcReg
->Swizzle
, 0 ) & 0x3,
257 GET_SWZ( SrcReg
->Swizzle
, 1 ) & 0x3,
258 GET_SWZ( SrcReg
->Swizzle
, 2 ) & 0x3,
259 GET_SWZ( SrcReg
->Swizzle
, 3 ) & 0x3);
261 if (SrcReg
->Negate
== NEGATE_XYZW
)
262 src
= ureg_negate(src
);
268 src
= ureg_src_indirect( src
, ureg_src(t
->address
[0]));
274 static struct ureg_src
swizzle_4v( struct ureg_src src
,
275 const unsigned *swz
)
277 return ureg_swizzle( src
, swz
[0], swz
[1], swz
[2], swz
[3] );
282 * Translate a SWZ instruction into a MOV, MUL or MAD instruction. EG:
288 * MAD dst {1,-1,0,0}, src.xyxx, {0,0,1,0}
290 static void emit_swz( struct st_translate
*t
,
292 const struct prog_src_register
*SrcReg
)
294 struct ureg_program
*ureg
= t
->ureg
;
295 struct ureg_src src
= src_register( t
, SrcReg
->File
, SrcReg
->Index
);
297 unsigned negate_mask
= SrcReg
->Negate
;
299 unsigned one_mask
= ((GET_SWZ(SrcReg
->Swizzle
, 0) == SWIZZLE_ONE
) << 0 |
300 (GET_SWZ(SrcReg
->Swizzle
, 1) == SWIZZLE_ONE
) << 1 |
301 (GET_SWZ(SrcReg
->Swizzle
, 2) == SWIZZLE_ONE
) << 2 |
302 (GET_SWZ(SrcReg
->Swizzle
, 3) == SWIZZLE_ONE
) << 3);
304 unsigned zero_mask
= ((GET_SWZ(SrcReg
->Swizzle
, 0) == SWIZZLE_ZERO
) << 0 |
305 (GET_SWZ(SrcReg
->Swizzle
, 1) == SWIZZLE_ZERO
) << 1 |
306 (GET_SWZ(SrcReg
->Swizzle
, 2) == SWIZZLE_ZERO
) << 2 |
307 (GET_SWZ(SrcReg
->Swizzle
, 3) == SWIZZLE_ZERO
) << 3);
309 unsigned negative_one_mask
= one_mask
& negate_mask
;
310 unsigned positive_one_mask
= one_mask
& ~negate_mask
;
314 unsigned mul_swizzle
[4] = {0,0,0,0};
315 unsigned add_swizzle
[4] = {0,0,0,0};
316 unsigned src_swizzle
[4] = {0,0,0,0};
317 boolean need_add
= FALSE
;
318 boolean need_mul
= FALSE
;
320 if (dst
.WriteMask
== 0)
323 /* Is this just a MOV?
325 if (zero_mask
== 0 &&
327 (negate_mask
== 0 || negate_mask
== TGSI_WRITEMASK_XYZW
))
329 ureg_MOV( ureg
, dst
, translate_src( t
, SrcReg
));
335 #define IMM_NEG_ONE 2
337 imm
= ureg_imm3f( ureg
, 0, 1, -1 );
339 for (i
= 0; i
< 4; i
++) {
340 unsigned bit
= 1 << i
;
342 if (dst
.WriteMask
& bit
) {
343 if (positive_one_mask
& bit
) {
344 mul_swizzle
[i
] = IMM_ZERO
;
345 add_swizzle
[i
] = IMM_ONE
;
348 else if (negative_one_mask
& bit
) {
349 mul_swizzle
[i
] = IMM_ZERO
;
350 add_swizzle
[i
] = IMM_NEG_ONE
;
353 else if (zero_mask
& bit
) {
354 mul_swizzle
[i
] = IMM_ZERO
;
355 add_swizzle
[i
] = IMM_ZERO
;
359 add_swizzle
[i
] = IMM_ZERO
;
360 src_swizzle
[i
] = GET_SWZ(SrcReg
->Swizzle
, i
);
362 if (negate_mask
& bit
) {
363 mul_swizzle
[i
] = IMM_NEG_ONE
;
366 mul_swizzle
[i
] = IMM_ONE
;
372 if (need_mul
&& need_add
) {
375 swizzle_4v( src
, src_swizzle
),
376 swizzle_4v( imm
, mul_swizzle
),
377 swizzle_4v( imm
, add_swizzle
) );
382 swizzle_4v( src
, src_swizzle
),
383 swizzle_4v( imm
, mul_swizzle
) );
388 swizzle_4v( imm
, add_swizzle
) );
402 translate_opcode( unsigned op
)
406 return TGSI_OPCODE_ARL
;
408 return TGSI_OPCODE_ABS
;
410 return TGSI_OPCODE_ADD
;
412 return TGSI_OPCODE_BGNLOOP
;
414 return TGSI_OPCODE_BGNSUB
;
416 return TGSI_OPCODE_BRA
;
418 return TGSI_OPCODE_BRK
;
420 return TGSI_OPCODE_CAL
;
422 return TGSI_OPCODE_CMP
;
424 return TGSI_OPCODE_CONT
;
426 return TGSI_OPCODE_COS
;
428 return TGSI_OPCODE_DDX
;
430 return TGSI_OPCODE_DDY
;
432 return TGSI_OPCODE_DP2
;
434 return TGSI_OPCODE_DP2A
;
436 return TGSI_OPCODE_DP3
;
438 return TGSI_OPCODE_DP4
;
440 return TGSI_OPCODE_DPH
;
442 return TGSI_OPCODE_DST
;
444 return TGSI_OPCODE_ELSE
;
446 return TGSI_OPCODE_ENDIF
;
448 return TGSI_OPCODE_ENDLOOP
;
450 return TGSI_OPCODE_ENDSUB
;
452 return TGSI_OPCODE_EX2
;
454 return TGSI_OPCODE_EXP
;
456 return TGSI_OPCODE_FLR
;
458 return TGSI_OPCODE_FRC
;
460 return TGSI_OPCODE_IF
;
462 return TGSI_OPCODE_TRUNC
;
464 return TGSI_OPCODE_KIL
;
466 return TGSI_OPCODE_KILP
;
468 return TGSI_OPCODE_LG2
;
470 return TGSI_OPCODE_LOG
;
472 return TGSI_OPCODE_LIT
;
474 return TGSI_OPCODE_LRP
;
476 return TGSI_OPCODE_MAD
;
478 return TGSI_OPCODE_MAX
;
480 return TGSI_OPCODE_MIN
;
482 return TGSI_OPCODE_MOV
;
484 return TGSI_OPCODE_MUL
;
486 return TGSI_OPCODE_NOP
;
488 return TGSI_OPCODE_NRM
;
490 return TGSI_OPCODE_NRM4
;
492 return TGSI_OPCODE_POW
;
494 return TGSI_OPCODE_RCP
;
496 return TGSI_OPCODE_RET
;
498 return TGSI_OPCODE_RSQ
;
500 return TGSI_OPCODE_SCS
;
502 return TGSI_OPCODE_SEQ
;
504 return TGSI_OPCODE_SGE
;
506 return TGSI_OPCODE_SGT
;
508 return TGSI_OPCODE_SIN
;
510 return TGSI_OPCODE_SLE
;
512 return TGSI_OPCODE_SLT
;
514 return TGSI_OPCODE_SNE
;
516 return TGSI_OPCODE_SSG
;
518 return TGSI_OPCODE_SUB
;
520 return TGSI_OPCODE_TEX
;
522 return TGSI_OPCODE_TXB
;
524 return TGSI_OPCODE_TXD
;
526 return TGSI_OPCODE_TXL
;
528 return TGSI_OPCODE_TXP
;
530 return TGSI_OPCODE_XPD
;
532 return TGSI_OPCODE_END
;
535 return TGSI_OPCODE_NOP
;
542 struct st_translate
*t
,
543 const struct prog_instruction
*inst
)
545 struct ureg_program
*ureg
= t
->ureg
;
547 struct ureg_dst dst
[1];
548 struct ureg_src src
[4];
552 num_dst
= _mesa_num_inst_dst_regs( inst
->Opcode
);
553 num_src
= _mesa_num_inst_src_regs( inst
->Opcode
);
556 dst
[0] = translate_dst( t
,
558 inst
->SaturateMode
);
560 for (i
= 0; i
< num_src
; i
++)
561 src
[i
] = translate_src( t
, &inst
->SrcReg
[i
] );
563 switch( inst
->Opcode
) {
565 emit_swz( t
, dst
[0], &inst
->SrcReg
[0] );
573 debug_assert(num_dst
== 0);
574 ureg_label_insn( ureg
,
575 translate_opcode( inst
->Opcode
),
577 get_label( t
, inst
->BranchTarget
));
585 src
[num_src
++] = t
->samplers
[inst
->TexSrcUnit
];
587 translate_opcode( inst
->Opcode
),
589 translate_texture_target( inst
->TexSrcTarget
,
595 dst
[0] = ureg_writemask(dst
[0], TGSI_WRITEMASK_XY
);
597 translate_opcode( inst
->Opcode
),
603 dst
[0] = ureg_writemask(dst
[0], TGSI_WRITEMASK_XYZ
);
605 translate_opcode( inst
->Opcode
),
614 /* At some point, a motivated person could add a better
615 * implementation of noise. Currently not even the nvidia
616 * binary drivers do anything more than this. In any case, the
617 * place to do this is in the GL state tracker, not the poor
620 ureg_MOV( ureg
, dst
[0], ureg_imm1f(ureg
, 0.5) );
627 translate_opcode( inst
->Opcode
),
636 * Emit the TGSI instructions for inverting the WPOS y coordinate.
639 emit_inverted_wpos( struct st_translate
*t
,
640 const struct gl_program
*program
)
642 struct ureg_program
*ureg
= t
->ureg
;
644 /* Fragment program uses fragment position input.
645 * Need to replace instances of INPUT[WPOS] with temp T
646 * where T = INPUT[WPOS] by y is inverted.
648 static const gl_state_index winSizeState
[STATE_LENGTH
]
649 = { STATE_INTERNAL
, STATE_FB_SIZE
, 0, 0, 0 };
651 /* XXX: note we are modifying the incoming shader here! Need to
652 * do this before emitting the constant decls below, or this
655 unsigned winHeightConst
= _mesa_add_state_reference(program
->Parameters
,
658 struct ureg_src winsize
= ureg_DECL_constant( ureg
, winHeightConst
);
659 struct ureg_dst wpos_temp
= ureg_DECL_temporary( ureg
);
660 struct ureg_src wpos_input
= t
->inputs
[t
->inputMapping
[FRAG_ATTRIB_WPOS
]];
662 /* MOV wpos_temp, input[wpos]
664 ureg_MOV( ureg
, wpos_temp
, wpos_input
);
666 /* SUB wpos_temp.y, winsize_const, wpos_input
669 ureg_writemask(wpos_temp
, TGSI_WRITEMASK_Y
),
673 /* Use wpos_temp as position input from here on:
675 t
->inputs
[t
->inputMapping
[FRAG_ATTRIB_WPOS
]] = ureg_src(wpos_temp
);
680 * Translate Mesa program to TGSI format.
681 * \param program the program to translate
682 * \param numInputs number of input registers used
683 * \param inputMapping maps Mesa fragment program inputs to TGSI generic
685 * \param inputSemanticName the TGSI_SEMANTIC flag for each input
686 * \param inputSemanticIndex the semantic index (ex: which texcoord) for
688 * \param interpMode the TGSI_INTERPOLATE_LINEAR/PERSP mode for each input
689 * \param numOutputs number of output registers used
690 * \param outputMapping maps Mesa fragment program outputs to TGSI
692 * \param outputSemanticName the TGSI_SEMANTIC flag for each output
693 * \param outputSemanticIndex the semantic index (ex: which texcoord) for
696 * \return array of translated tokens, caller's responsibility to free
698 const struct tgsi_token
*
699 st_translate_mesa_program(
702 const struct gl_program
*program
,
704 const GLuint inputMapping
[],
705 const ubyte inputSemanticName
[],
706 const ubyte inputSemanticIndex
[],
707 const GLuint interpMode
[],
708 const GLbitfield inputFlags
[],
710 const GLuint outputMapping
[],
711 const ubyte outputSemanticName
[],
712 const ubyte outputSemanticIndex
[],
713 const GLbitfield outputFlags
[] )
715 struct st_translate translate
, *t
;
716 struct ureg_program
*ureg
;
717 const struct tgsi_token
*tokens
= NULL
;
721 memset(t
, 0, sizeof *t
);
723 t
->procType
= procType
;
724 t
->inputMapping
= inputMapping
;
725 t
->outputMapping
= outputMapping
;
726 t
->ureg
= ureg_create( procType
);
732 /*_mesa_print_program(program);*/
735 * Declare input attributes.
737 if (procType
== TGSI_PROCESSOR_FRAGMENT
) {
738 for (i
= 0; i
< numInputs
; i
++) {
739 t
->inputs
[i
] = ureg_DECL_fs_input(ureg
,
740 inputSemanticName
[i
],
741 inputSemanticIndex
[i
],
745 if (program
->InputsRead
& FRAG_BIT_WPOS
) {
746 /* Must do this after setting up t->inputs, and before
747 * emitting constant references, below:
749 emit_inverted_wpos( t
, program
);
753 * Declare output attributes.
755 for (i
= 0; i
< numOutputs
; i
++) {
756 switch (outputSemanticName
[i
]) {
757 case TGSI_SEMANTIC_POSITION
:
758 t
->outputs
[i
] = ureg_DECL_output( ureg
,
759 TGSI_SEMANTIC_POSITION
, /* Z / Depth */
760 outputSemanticIndex
[i
] );
762 t
->outputs
[i
] = ureg_writemask( t
->outputs
[i
],
765 case TGSI_SEMANTIC_COLOR
:
766 t
->outputs
[i
] = ureg_DECL_output( ureg
,
768 outputSemanticIndex
[i
] );
777 for (i
= 0; i
< numInputs
; i
++) {
778 t
->inputs
[i
] = ureg_DECL_vs_input(ureg
, i
);
781 for (i
= 0; i
< numOutputs
; i
++) {
782 t
->outputs
[i
] = ureg_DECL_output( ureg
,
783 outputSemanticName
[i
],
784 outputSemanticIndex
[i
] );
788 /* Declare address register.
790 if (program
->NumAddressRegs
> 0) {
791 debug_assert( program
->NumAddressRegs
== 1 );
792 t
->address
[0] = ureg_DECL_address( ureg
);
796 /* Emit constants and immediates. Mesa uses a single index space
797 * for these, so we put all the translated regs in t->constants.
799 if (program
->Parameters
) {
801 t
->constants
= CALLOC( program
->Parameters
->NumParameters
,
802 sizeof t
->constants
[0] );
803 if (t
->constants
== NULL
)
806 for (i
= 0; i
< program
->Parameters
->NumParameters
; i
++) {
807 switch (program
->Parameters
->Parameters
[i
].Type
) {
808 case PROGRAM_ENV_PARAM
:
809 case PROGRAM_STATE_VAR
:
810 case PROGRAM_NAMED_PARAM
:
811 case PROGRAM_UNIFORM
:
812 t
->constants
[i
] = ureg_DECL_constant( ureg
, i
);
815 /* Emit immediates only when there is no address register
816 * in use. FIXME: Be smarter and recognize param arrays:
817 * indirect addressing is only valid within the referenced
820 case PROGRAM_CONSTANT
:
821 if (program
->NumAddressRegs
> 0)
822 t
->constants
[i
] = ureg_DECL_constant( ureg
, i
);
825 ureg_DECL_immediate( ureg
,
826 program
->Parameters
->ParameterValues
[i
],
835 /* texture samplers */
836 for (i
= 0; i
< ctx
->Const
.MaxTextureImageUnits
; i
++) {
837 if (program
->SamplersUsed
& (1 << i
)) {
838 t
->samplers
[i
] = ureg_DECL_sampler( ureg
, i
);
842 /* Emit each instruction in turn:
844 for (i
= 0; i
< program
->NumInstructions
; i
++) {
845 set_insn_start( t
, ureg_get_instruction_number( ureg
));
846 compile_instruction( t
, &program
->Instructions
[i
] );
849 /* Fix up all emitted labels:
851 for (i
= 0; i
< t
->labels_count
; i
++) {
852 ureg_fixup_label( ureg
,
854 t
->insn
[t
->labels
[i
].branch_target
] );
857 tokens
= ureg_get_tokens( ureg
, NULL
);
858 ureg_destroy( ureg
);
866 debug_printf("%s: translate error flag set\n", __FUNCTION__
);
867 FREE((void *)tokens
);
872 debug_printf("%s: failed to translate Mesa program:\n", __FUNCTION__
);
873 _mesa_print_program(program
);
882 * Tokens cannot be free with _mesa_free otherwise the builtin gallium
883 * malloc debugging will get confused.
886 st_free_tokens(const struct tgsi_token
*tokens
)
888 FREE((void *)tokens
);