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_context.h"
36 #include "pipe/p_screen.h"
37 #include "pipe/p_shader_tokens.h"
38 #include "pipe/p_state.h"
39 #include "tgsi/tgsi_ureg.h"
40 #include "st_mesa_to_tgsi.h"
41 #include "st_context.h"
42 #include "program/prog_instruction.h"
43 #include "program/prog_parameter.h"
44 #include "util/u_debug.h"
45 #include "util/u_math.h"
46 #include "util/u_memory.h"
49 #define PROGRAM_ANY_CONST ((1 << PROGRAM_LOCAL_PARAM) | \
50 (1 << PROGRAM_ENV_PARAM) | \
51 (1 << PROGRAM_STATE_VAR) | \
52 (1 << PROGRAM_CONSTANT) | \
53 (1 << PROGRAM_UNIFORM))
57 unsigned branch_target
;
63 * Intermediate state used during shader translation.
66 struct ureg_program
*ureg
;
68 struct ureg_dst temps
[MAX_PROGRAM_TEMPS
];
69 struct ureg_src
*constants
;
70 struct ureg_dst outputs
[PIPE_MAX_SHADER_OUTPUTS
];
71 struct ureg_src inputs
[PIPE_MAX_SHADER_INPUTS
];
72 struct ureg_dst address
[1];
73 struct ureg_src samplers
[PIPE_MAX_SAMPLERS
];
74 struct ureg_src systemValues
[SYSTEM_VALUE_MAX
];
76 const GLuint
*inputMapping
;
77 const GLuint
*outputMapping
;
79 /* For every instruction that contains a label (eg CALL), keep
80 * details so that we can go back afterwards and emit the correct
81 * tgsi instruction number for each label.
85 unsigned labels_count
;
87 /* Keep a record of the tgsi instruction number that each mesa
88 * instruction starts at, will be used to fix up labels after
95 unsigned procType
; /**< TGSI_PROCESSOR_VERTEX/FRAGMENT */
101 /** Map Mesa's SYSTEM_VALUE_x to TGSI_SEMANTIC_x */
102 static unsigned mesa_sysval_to_semantic
[SYSTEM_VALUE_MAX
] = {
104 TGSI_SEMANTIC_VERTEXID
,
105 TGSI_SEMANTIC_INSTANCEID
110 * Make note of a branch to a label in the TGSI code.
111 * After we've emitted all instructions, we'll go over the list
112 * of labels built here and patch the TGSI code with the actual
113 * location of each label.
115 static unsigned *get_label( struct st_translate
*t
,
116 unsigned branch_target
)
120 if (t
->labels_count
+ 1 >= t
->labels_size
) {
121 t
->labels_size
= 1 << (util_logbase2(t
->labels_size
) + 1);
122 t
->labels
= realloc(t
->labels
, t
->labels_size
* sizeof t
->labels
[0]);
123 if (t
->labels
== NULL
) {
124 static unsigned dummy
;
130 i
= t
->labels_count
++;
131 t
->labels
[i
].branch_target
= branch_target
;
132 return &t
->labels
[i
].token
;
137 * Called prior to emitting the TGSI code for each Mesa instruction.
138 * Allocate additional space for instructions if needed.
139 * Update the insn[] array so the next Mesa instruction points to
140 * the next TGSI instruction.
142 static void set_insn_start( struct st_translate
*t
,
145 if (t
->insn_count
+ 1 >= t
->insn_size
) {
146 t
->insn_size
= 1 << (util_logbase2(t
->insn_size
) + 1);
147 t
->insn
= realloc(t
->insn
, t
->insn_size
* sizeof t
->insn
[0]);
148 if (t
->insn
== NULL
) {
154 t
->insn
[t
->insn_count
++] = start
;
159 * Map a Mesa dst register to a TGSI ureg_dst register.
161 static struct ureg_dst
162 dst_register( struct st_translate
*t
,
163 gl_register_file file
,
167 case PROGRAM_UNDEFINED
:
168 return ureg_dst_undef();
170 case PROGRAM_TEMPORARY
:
171 if (ureg_dst_is_undef(t
->temps
[index
]))
172 t
->temps
[index
] = ureg_DECL_temporary( t
->ureg
);
174 return t
->temps
[index
];
177 if (t
->procType
== TGSI_PROCESSOR_VERTEX
)
178 assert(index
< VARYING_SLOT_MAX
);
179 else if (t
->procType
== TGSI_PROCESSOR_FRAGMENT
)
180 assert(index
< FRAG_RESULT_MAX
);
182 assert(index
< VARYING_SLOT_MAX
);
184 assert(t
->outputMapping
[index
] < Elements(t
->outputs
));
186 return t
->outputs
[t
->outputMapping
[index
]];
188 case PROGRAM_ADDRESS
:
189 return t
->address
[index
];
193 return ureg_dst_undef();
199 * Map a Mesa src register to a TGSI ureg_src register.
201 static struct ureg_src
202 src_register( struct st_translate
*t
,
203 gl_register_file file
,
207 case PROGRAM_UNDEFINED
:
208 return ureg_src_undef();
210 case PROGRAM_TEMPORARY
:
212 assert(index
< Elements(t
->temps
));
213 if (ureg_dst_is_undef(t
->temps
[index
]))
214 t
->temps
[index
] = ureg_DECL_temporary( t
->ureg
);
215 return ureg_src(t
->temps
[index
]);
217 case PROGRAM_ENV_PARAM
:
218 case PROGRAM_LOCAL_PARAM
:
219 case PROGRAM_UNIFORM
:
221 return t
->constants
[index
];
222 case PROGRAM_STATE_VAR
:
223 case PROGRAM_CONSTANT
: /* ie, immediate */
225 return ureg_DECL_constant( t
->ureg
, 0 );
227 return t
->constants
[index
];
230 assert(t
->inputMapping
[index
] < Elements(t
->inputs
));
231 return t
->inputs
[t
->inputMapping
[index
]];
234 assert(t
->outputMapping
[index
] < Elements(t
->outputs
));
235 return ureg_src(t
->outputs
[t
->outputMapping
[index
]]); /* not needed? */
237 case PROGRAM_ADDRESS
:
238 return ureg_src(t
->address
[index
]);
240 case PROGRAM_SYSTEM_VALUE
:
241 assert(index
< Elements(t
->systemValues
));
242 return t
->systemValues
[index
];
246 return ureg_src_undef();
252 * Map mesa texture target to TGSI texture target.
255 st_translate_texture_target( GLuint textarget
,
259 switch( textarget
) {
260 case TEXTURE_1D_INDEX
: return TGSI_TEXTURE_SHADOW1D
;
261 case TEXTURE_2D_INDEX
: return TGSI_TEXTURE_SHADOW2D
;
262 case TEXTURE_RECT_INDEX
: return TGSI_TEXTURE_SHADOWRECT
;
263 case TEXTURE_1D_ARRAY_INDEX
: return TGSI_TEXTURE_SHADOW1D_ARRAY
;
264 case TEXTURE_2D_ARRAY_INDEX
: return TGSI_TEXTURE_SHADOW2D_ARRAY
;
265 case TEXTURE_CUBE_INDEX
: return TGSI_TEXTURE_SHADOWCUBE
;
266 case TEXTURE_CUBE_ARRAY_INDEX
: return TGSI_TEXTURE_SHADOWCUBE_ARRAY
;
271 switch( textarget
) {
272 case TEXTURE_2D_MULTISAMPLE_INDEX
: return TGSI_TEXTURE_2D_MSAA
;
273 case TEXTURE_2D_MULTISAMPLE_ARRAY_INDEX
: return TGSI_TEXTURE_2D_ARRAY_MSAA
;
274 case TEXTURE_BUFFER_INDEX
: return TGSI_TEXTURE_BUFFER
;
275 case TEXTURE_1D_INDEX
: return TGSI_TEXTURE_1D
;
276 case TEXTURE_2D_INDEX
: return TGSI_TEXTURE_2D
;
277 case TEXTURE_3D_INDEX
: return TGSI_TEXTURE_3D
;
278 case TEXTURE_CUBE_INDEX
: return TGSI_TEXTURE_CUBE
;
279 case TEXTURE_CUBE_ARRAY_INDEX
: return TGSI_TEXTURE_CUBE_ARRAY
;
280 case TEXTURE_RECT_INDEX
: return TGSI_TEXTURE_RECT
;
281 case TEXTURE_1D_ARRAY_INDEX
: return TGSI_TEXTURE_1D_ARRAY
;
282 case TEXTURE_2D_ARRAY_INDEX
: return TGSI_TEXTURE_2D_ARRAY
;
283 case TEXTURE_EXTERNAL_INDEX
: return TGSI_TEXTURE_2D
;
286 return TGSI_TEXTURE_1D
;
292 * Create a TGSI ureg_dst register from a Mesa dest register.
294 static struct ureg_dst
295 translate_dst( struct st_translate
*t
,
296 const struct prog_dst_register
*DstReg
,
300 struct ureg_dst dst
= dst_register( t
,
304 dst
= ureg_writemask( dst
,
308 dst
= ureg_saturate( dst
);
309 else if (clamp_color
&& DstReg
->File
== PROGRAM_OUTPUT
) {
310 /* Clamp colors for ARB_color_buffer_float. */
311 switch (t
->procType
) {
312 case TGSI_PROCESSOR_VERTEX
:
313 /* XXX if the geometry shader is present, this must be done there
314 * instead of here. */
315 if (DstReg
->Index
== VARYING_SLOT_COL0
||
316 DstReg
->Index
== VARYING_SLOT_COL1
||
317 DstReg
->Index
== VARYING_SLOT_BFC0
||
318 DstReg
->Index
== VARYING_SLOT_BFC1
) {
319 dst
= ureg_saturate(dst
);
323 case TGSI_PROCESSOR_FRAGMENT
:
324 if (DstReg
->Index
>= FRAG_RESULT_COLOR
) {
325 dst
= ureg_saturate(dst
);
332 dst
= ureg_dst_indirect( dst
, ureg_src(t
->address
[0]) );
339 * Create a TGSI ureg_src register from a Mesa src register.
341 static struct ureg_src
342 translate_src( struct st_translate
*t
,
343 const struct prog_src_register
*SrcReg
)
345 struct ureg_src src
= src_register( t
, SrcReg
->File
, SrcReg
->Index
);
347 if (t
->procType
== TGSI_PROCESSOR_GEOMETRY
&& SrcReg
->HasIndex2
) {
348 src
= src_register( t
, SrcReg
->File
, SrcReg
->Index2
);
349 if (SrcReg
->RelAddr2
)
350 src
= ureg_src_dimension_indirect( src
, ureg_src(t
->address
[0]),
353 src
= ureg_src_dimension( src
, SrcReg
->Index
);
356 src
= ureg_swizzle( src
,
357 GET_SWZ( SrcReg
->Swizzle
, 0 ) & 0x3,
358 GET_SWZ( SrcReg
->Swizzle
, 1 ) & 0x3,
359 GET_SWZ( SrcReg
->Swizzle
, 2 ) & 0x3,
360 GET_SWZ( SrcReg
->Swizzle
, 3 ) & 0x3);
362 if (SrcReg
->Negate
== NEGATE_XYZW
)
363 src
= ureg_negate(src
);
368 if (SrcReg
->RelAddr
) {
369 src
= ureg_src_indirect( src
, ureg_src(t
->address
[0]));
370 if (SrcReg
->File
!= PROGRAM_INPUT
&&
371 SrcReg
->File
!= PROGRAM_OUTPUT
) {
372 /* If SrcReg->Index was negative, it was set to zero in
373 * src_register(). Reassign it now. But don't do this
374 * for input/output regs since they get remapped while
375 * const buffers don't.
377 src
.Index
= SrcReg
->Index
;
385 static struct ureg_src
swizzle_4v( struct ureg_src src
,
386 const unsigned *swz
)
388 return ureg_swizzle( src
, swz
[0], swz
[1], swz
[2], swz
[3] );
393 * Translate a SWZ instruction into a MOV, MUL or MAD instruction. EG:
399 * MAD dst {1,-1,0,0}, src.xyxx, {0,0,1,0}
401 static void emit_swz( struct st_translate
*t
,
403 const struct prog_src_register
*SrcReg
)
405 struct ureg_program
*ureg
= t
->ureg
;
406 struct ureg_src src
= src_register( t
, SrcReg
->File
, SrcReg
->Index
);
408 unsigned negate_mask
= SrcReg
->Negate
;
410 unsigned one_mask
= ((GET_SWZ(SrcReg
->Swizzle
, 0) == SWIZZLE_ONE
) << 0 |
411 (GET_SWZ(SrcReg
->Swizzle
, 1) == SWIZZLE_ONE
) << 1 |
412 (GET_SWZ(SrcReg
->Swizzle
, 2) == SWIZZLE_ONE
) << 2 |
413 (GET_SWZ(SrcReg
->Swizzle
, 3) == SWIZZLE_ONE
) << 3);
415 unsigned zero_mask
= ((GET_SWZ(SrcReg
->Swizzle
, 0) == SWIZZLE_ZERO
) << 0 |
416 (GET_SWZ(SrcReg
->Swizzle
, 1) == SWIZZLE_ZERO
) << 1 |
417 (GET_SWZ(SrcReg
->Swizzle
, 2) == SWIZZLE_ZERO
) << 2 |
418 (GET_SWZ(SrcReg
->Swizzle
, 3) == SWIZZLE_ZERO
) << 3);
420 unsigned negative_one_mask
= one_mask
& negate_mask
;
421 unsigned positive_one_mask
= one_mask
& ~negate_mask
;
425 unsigned mul_swizzle
[4] = {0,0,0,0};
426 unsigned add_swizzle
[4] = {0,0,0,0};
427 unsigned src_swizzle
[4] = {0,0,0,0};
428 boolean need_add
= FALSE
;
429 boolean need_mul
= FALSE
;
431 if (dst
.WriteMask
== 0)
434 /* Is this just a MOV?
436 if (zero_mask
== 0 &&
438 (negate_mask
== 0 || negate_mask
== TGSI_WRITEMASK_XYZW
))
440 ureg_MOV( ureg
, dst
, translate_src( t
, SrcReg
));
446 #define IMM_NEG_ONE 2
448 imm
= ureg_imm3f( ureg
, 0, 1, -1 );
450 for (i
= 0; i
< 4; i
++) {
451 unsigned bit
= 1 << i
;
453 if (dst
.WriteMask
& bit
) {
454 if (positive_one_mask
& bit
) {
455 mul_swizzle
[i
] = IMM_ZERO
;
456 add_swizzle
[i
] = IMM_ONE
;
459 else if (negative_one_mask
& bit
) {
460 mul_swizzle
[i
] = IMM_ZERO
;
461 add_swizzle
[i
] = IMM_NEG_ONE
;
464 else if (zero_mask
& bit
) {
465 mul_swizzle
[i
] = IMM_ZERO
;
466 add_swizzle
[i
] = IMM_ZERO
;
470 add_swizzle
[i
] = IMM_ZERO
;
471 src_swizzle
[i
] = GET_SWZ(SrcReg
->Swizzle
, i
);
473 if (negate_mask
& bit
) {
474 mul_swizzle
[i
] = IMM_NEG_ONE
;
477 mul_swizzle
[i
] = IMM_ONE
;
483 if (need_mul
&& need_add
) {
486 swizzle_4v( src
, src_swizzle
),
487 swizzle_4v( imm
, mul_swizzle
),
488 swizzle_4v( imm
, add_swizzle
) );
493 swizzle_4v( src
, src_swizzle
),
494 swizzle_4v( imm
, mul_swizzle
) );
499 swizzle_4v( imm
, add_swizzle
) );
512 * Negate the value of DDY to match GL semantics where (0,0) is the
513 * lower-left corner of the window.
514 * Note that the GL_ARB_fragment_coord_conventions extension will
515 * effect this someday.
517 static void emit_ddy( struct st_translate
*t
,
519 const struct prog_src_register
*SrcReg
)
521 struct ureg_program
*ureg
= t
->ureg
;
522 struct ureg_src src
= translate_src( t
, SrcReg
);
523 src
= ureg_negate( src
);
524 ureg_DDY( ureg
, dst
, src
);
530 translate_opcode( unsigned op
)
534 return TGSI_OPCODE_ARL
;
536 return TGSI_OPCODE_ABS
;
538 return TGSI_OPCODE_ADD
;
540 return TGSI_OPCODE_BGNLOOP
;
542 return TGSI_OPCODE_BGNSUB
;
544 return TGSI_OPCODE_BRK
;
546 return TGSI_OPCODE_CAL
;
548 return TGSI_OPCODE_CMP
;
550 return TGSI_OPCODE_CONT
;
552 return TGSI_OPCODE_COS
;
554 return TGSI_OPCODE_DDX
;
556 return TGSI_OPCODE_DDY
;
558 return TGSI_OPCODE_DP2
;
560 return TGSI_OPCODE_DP2A
;
562 return TGSI_OPCODE_DP3
;
564 return TGSI_OPCODE_DP4
;
566 return TGSI_OPCODE_DPH
;
568 return TGSI_OPCODE_DST
;
570 return TGSI_OPCODE_ELSE
;
572 return TGSI_OPCODE_ENDIF
;
574 return TGSI_OPCODE_ENDLOOP
;
576 return TGSI_OPCODE_ENDSUB
;
578 return TGSI_OPCODE_EX2
;
580 return TGSI_OPCODE_EXP
;
582 return TGSI_OPCODE_FLR
;
584 return TGSI_OPCODE_FRC
;
586 return TGSI_OPCODE_IF
;
588 return TGSI_OPCODE_TRUNC
;
590 return TGSI_OPCODE_KIL
;
592 return TGSI_OPCODE_KILP
;
594 return TGSI_OPCODE_LG2
;
596 return TGSI_OPCODE_LOG
;
598 return TGSI_OPCODE_LIT
;
600 return TGSI_OPCODE_LRP
;
602 return TGSI_OPCODE_MAD
;
604 return TGSI_OPCODE_MAX
;
606 return TGSI_OPCODE_MIN
;
608 return TGSI_OPCODE_MOV
;
610 return TGSI_OPCODE_MUL
;
612 return TGSI_OPCODE_NOP
;
614 return TGSI_OPCODE_NRM
;
616 return TGSI_OPCODE_NRM4
;
618 return TGSI_OPCODE_POW
;
620 return TGSI_OPCODE_RCP
;
622 return TGSI_OPCODE_RET
;
624 return TGSI_OPCODE_RSQ
;
626 return TGSI_OPCODE_SCS
;
628 return TGSI_OPCODE_SEQ
;
630 return TGSI_OPCODE_SGE
;
632 return TGSI_OPCODE_SGT
;
634 return TGSI_OPCODE_SIN
;
636 return TGSI_OPCODE_SLE
;
638 return TGSI_OPCODE_SLT
;
640 return TGSI_OPCODE_SNE
;
642 return TGSI_OPCODE_SSG
;
644 return TGSI_OPCODE_SUB
;
646 return TGSI_OPCODE_TEX
;
648 return TGSI_OPCODE_TXB
;
650 return TGSI_OPCODE_TXD
;
652 return TGSI_OPCODE_TXL
;
654 return TGSI_OPCODE_TXP
;
656 return TGSI_OPCODE_XPD
;
658 return TGSI_OPCODE_END
;
661 return TGSI_OPCODE_NOP
;
668 struct gl_context
*ctx
,
669 struct st_translate
*t
,
670 const struct prog_instruction
*inst
,
671 boolean clamp_dst_color_output
)
673 struct ureg_program
*ureg
= t
->ureg
;
675 struct ureg_dst dst
[1] = { { 0 } };
676 struct ureg_src src
[4];
680 num_dst
= _mesa_num_inst_dst_regs( inst
->Opcode
);
681 num_src
= _mesa_num_inst_src_regs( inst
->Opcode
);
684 dst
[0] = translate_dst( t
,
687 clamp_dst_color_output
);
689 for (i
= 0; i
< num_src
; i
++)
690 src
[i
] = translate_src( t
, &inst
->SrcReg
[i
] );
692 switch( inst
->Opcode
) {
694 emit_swz( t
, dst
[0], &inst
->SrcReg
[0] );
701 debug_assert(num_dst
== 0);
702 ureg_label_insn( ureg
,
703 translate_opcode( inst
->Opcode
),
705 get_label( t
, inst
->BranchTarget
));
709 debug_assert(num_dst
== 0);
710 ureg_label_insn( ureg
,
711 ctx
->Const
.NativeIntegers
? TGSI_OPCODE_UIF
: TGSI_OPCODE_IF
,
713 get_label( t
, inst
->BranchTarget
));
721 src
[num_src
++] = t
->samplers
[inst
->TexSrcUnit
];
723 translate_opcode( inst
->Opcode
),
725 st_translate_texture_target( inst
->TexSrcTarget
,
732 dst
[0] = ureg_writemask(dst
[0], TGSI_WRITEMASK_XY
);
734 translate_opcode( inst
->Opcode
),
740 dst
[0] = ureg_writemask(dst
[0], TGSI_WRITEMASK_XYZ
);
742 translate_opcode( inst
->Opcode
),
751 /* At some point, a motivated person could add a better
752 * implementation of noise. Currently not even the nvidia
753 * binary drivers do anything more than this. In any case, the
754 * place to do this is in the GL state tracker, not the poor
757 ureg_MOV( ureg
, dst
[0], ureg_imm1f(ureg
, 0.5) );
761 emit_ddy( t
, dst
[0], &inst
->SrcReg
[0] );
766 translate_opcode( inst
->Opcode
),
775 * Emit the TGSI instructions for inverting and adjusting WPOS.
776 * This code is unavoidable because it also depends on whether
777 * a FBO is bound (STATE_FB_WPOS_Y_TRANSFORM).
780 emit_wpos_adjustment( struct st_translate
*t
,
781 const struct gl_program
*program
,
783 GLfloat adjX
, GLfloat adjY
[2])
785 struct ureg_program
*ureg
= t
->ureg
;
787 /* Fragment program uses fragment position input.
788 * Need to replace instances of INPUT[WPOS] with temp T
789 * where T = INPUT[WPOS] by y is inverted.
791 static const gl_state_index wposTransformState
[STATE_LENGTH
]
792 = { STATE_INTERNAL
, STATE_FB_WPOS_Y_TRANSFORM
, 0, 0, 0 };
794 /* XXX: note we are modifying the incoming shader here! Need to
795 * do this before emitting the constant decls below, or this
798 unsigned wposTransConst
= _mesa_add_state_reference(program
->Parameters
,
801 struct ureg_src wpostrans
= ureg_DECL_constant( ureg
, wposTransConst
);
802 struct ureg_dst wpos_temp
= ureg_DECL_temporary( ureg
);
803 struct ureg_src wpos_input
= t
->inputs
[t
->inputMapping
[VARYING_SLOT_POS
]];
805 /* First, apply the coordinate shift: */
806 if (adjX
|| adjY
[0] || adjY
[1]) {
807 if (adjY
[0] != adjY
[1]) {
808 /* Adjust the y coordinate by adjY[1] or adjY[0] respectively
809 * depending on whether inversion is actually going to be applied
810 * or not, which is determined by testing against the inversion
811 * state variable used below, which will be either +1 or -1.
813 struct ureg_dst adj_temp
= ureg_DECL_temporary(ureg
);
815 ureg_CMP(ureg
, adj_temp
,
816 ureg_scalar(wpostrans
, invert
? 2 : 0),
817 ureg_imm4f(ureg
, adjX
, adjY
[0], 0.0f
, 0.0f
),
818 ureg_imm4f(ureg
, adjX
, adjY
[1], 0.0f
, 0.0f
));
819 ureg_ADD(ureg
, wpos_temp
, wpos_input
, ureg_src(adj_temp
));
821 ureg_ADD(ureg
, wpos_temp
, wpos_input
,
822 ureg_imm4f(ureg
, adjX
, adjY
[0], 0.0f
, 0.0f
));
824 wpos_input
= ureg_src(wpos_temp
);
826 /* MOV wpos_temp, input[wpos]
828 ureg_MOV( ureg
, wpos_temp
, wpos_input
);
831 /* Now the conditional y flip: STATE_FB_WPOS_Y_TRANSFORM.xy/zw will be
832 * inversion/identity, or the other way around if we're drawing to an FBO.
835 /* MAD wpos_temp.y, wpos_input, wpostrans.xxxx, wpostrans.yyyy
838 ureg_writemask(wpos_temp
, TGSI_WRITEMASK_Y
),
840 ureg_scalar(wpostrans
, 0),
841 ureg_scalar(wpostrans
, 1));
843 /* MAD wpos_temp.y, wpos_input, wpostrans.zzzz, wpostrans.wwww
846 ureg_writemask(wpos_temp
, TGSI_WRITEMASK_Y
),
848 ureg_scalar(wpostrans
, 2),
849 ureg_scalar(wpostrans
, 3));
852 /* Use wpos_temp as position input from here on:
854 t
->inputs
[t
->inputMapping
[VARYING_SLOT_POS
]] = ureg_src(wpos_temp
);
859 * Emit fragment position/ooordinate code.
862 emit_wpos(struct st_context
*st
,
863 struct st_translate
*t
,
864 const struct gl_program
*program
,
865 struct ureg_program
*ureg
)
867 const struct gl_fragment_program
*fp
=
868 (const struct gl_fragment_program
*) program
;
869 struct pipe_screen
*pscreen
= st
->pipe
->screen
;
871 GLfloat adjY
[2] = { 0.0f
, 0.0f
};
872 boolean invert
= FALSE
;
874 /* Query the pixel center conventions supported by the pipe driver and set
875 * adjX, adjY to help out if it cannot handle the requested one internally.
877 * The bias of the y-coordinate depends on whether y-inversion takes place
878 * (adjY[1]) or not (adjY[0]), which is in turn dependent on whether we are
879 * drawing to an FBO (causes additional inversion), and whether the the pipe
880 * driver origin and the requested origin differ (the latter condition is
881 * stored in the 'invert' variable).
883 * For height = 100 (i = integer, h = half-integer, l = lower, u = upper):
890 * l,i -> u,i: ( 0.0 + 1.0) * -1 + 100 = 99
891 * l,h -> u,h: ( 0.5 + 0.0) * -1 + 100 = 99.5
892 * u,i -> l,i: (99.0 + 1.0) * -1 + 100 = 0
893 * u,h -> l,h: (99.5 + 0.0) * -1 + 100 = 0.5
895 * inversion and center shift:
896 * l,i -> u,h: ( 0.0 + 0.5) * -1 + 100 = 99.5
897 * l,h -> u,i: ( 0.5 + 0.5) * -1 + 100 = 99
898 * u,i -> l,h: (99.0 + 0.5) * -1 + 100 = 0.5
899 * u,h -> l,i: (99.5 + 0.5) * -1 + 100 = 0
901 if (fp
->OriginUpperLeft
) {
902 /* Fragment shader wants origin in upper-left */
903 if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_ORIGIN_UPPER_LEFT
)) {
904 /* the driver supports upper-left origin */
906 else if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_ORIGIN_LOWER_LEFT
)) {
907 /* the driver supports lower-left origin, need to invert Y */
908 ureg_property_fs_coord_origin(ureg
, TGSI_FS_COORD_ORIGIN_LOWER_LEFT
);
915 /* Fragment shader wants origin in lower-left */
916 if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_ORIGIN_LOWER_LEFT
))
917 /* the driver supports lower-left origin */
918 ureg_property_fs_coord_origin(ureg
, TGSI_FS_COORD_ORIGIN_LOWER_LEFT
);
919 else if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_ORIGIN_UPPER_LEFT
))
920 /* the driver supports upper-left origin, need to invert Y */
926 if (fp
->PixelCenterInteger
) {
927 /* Fragment shader wants pixel center integer */
928 if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_PIXEL_CENTER_INTEGER
)) {
929 /* the driver supports pixel center integer */
931 ureg_property_fs_coord_pixel_center(ureg
, TGSI_FS_COORD_PIXEL_CENTER_INTEGER
);
933 else if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_PIXEL_CENTER_HALF_INTEGER
)) {
934 /* the driver supports pixel center half integer, need to bias X,Y */
943 /* Fragment shader wants pixel center half integer */
944 if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_PIXEL_CENTER_HALF_INTEGER
)) {
945 /* the driver supports pixel center half integer */
947 else if (pscreen
->get_param(pscreen
, PIPE_CAP_TGSI_FS_COORD_PIXEL_CENTER_INTEGER
)) {
948 /* the driver supports pixel center integer, need to bias X,Y */
949 adjX
= adjY
[0] = adjY
[1] = 0.5f
;
950 ureg_property_fs_coord_pixel_center(ureg
, TGSI_FS_COORD_PIXEL_CENTER_INTEGER
);
956 /* we invert after adjustment so that we avoid the MOV to temporary,
957 * and reuse the adjustment ADD instead */
958 emit_wpos_adjustment(t
, program
, invert
, adjX
, adjY
);
963 * OpenGL's fragment gl_FrontFace input is 1 for front-facing, 0 for back.
964 * TGSI uses +1 for front, -1 for back.
965 * This function converts the TGSI value to the GL value. Simply clamping/
966 * saturating the value to [0,1] does the job.
969 emit_face_var( struct st_translate
*t
,
970 const struct gl_program
*program
)
972 struct ureg_program
*ureg
= t
->ureg
;
973 struct ureg_dst face_temp
= ureg_DECL_temporary( ureg
);
974 struct ureg_src face_input
= t
->inputs
[t
->inputMapping
[VARYING_SLOT_FACE
]];
976 /* MOV_SAT face_temp, input[face]
978 face_temp
= ureg_saturate( face_temp
);
979 ureg_MOV( ureg
, face_temp
, face_input
);
981 /* Use face_temp as face input from here on:
983 t
->inputs
[t
->inputMapping
[VARYING_SLOT_FACE
]] = ureg_src(face_temp
);
988 emit_edgeflags( struct st_translate
*t
,
989 const struct gl_program
*program
)
991 struct ureg_program
*ureg
= t
->ureg
;
992 struct ureg_dst edge_dst
= t
->outputs
[t
->outputMapping
[VARYING_SLOT_EDGE
]];
993 struct ureg_src edge_src
= t
->inputs
[t
->inputMapping
[VERT_ATTRIB_EDGEFLAG
]];
995 ureg_MOV( ureg
, edge_dst
, edge_src
);
1000 * Translate Mesa program to TGSI format.
1001 * \param program the program to translate
1002 * \param numInputs number of input registers used
1003 * \param inputMapping maps Mesa fragment program inputs to TGSI generic
1005 * \param inputSemanticName the TGSI_SEMANTIC flag for each input
1006 * \param inputSemanticIndex the semantic index (ex: which texcoord) for
1008 * \param interpMode the TGSI_INTERPOLATE_LINEAR/PERSP mode for each input
1009 * \param numOutputs number of output registers used
1010 * \param outputMapping maps Mesa fragment program outputs to TGSI
1012 * \param outputSemanticName the TGSI_SEMANTIC flag for each output
1013 * \param outputSemanticIndex the semantic index (ex: which texcoord) for
1016 * \return PIPE_OK or PIPE_ERROR_OUT_OF_MEMORY
1019 st_translate_mesa_program(
1020 struct gl_context
*ctx
,
1022 struct ureg_program
*ureg
,
1023 const struct gl_program
*program
,
1025 const GLuint inputMapping
[],
1026 const ubyte inputSemanticName
[],
1027 const ubyte inputSemanticIndex
[],
1028 const GLuint interpMode
[],
1030 const GLuint outputMapping
[],
1031 const ubyte outputSemanticName
[],
1032 const ubyte outputSemanticIndex
[],
1033 boolean passthrough_edgeflags
,
1034 boolean clamp_color
)
1036 struct st_translate translate
, *t
;
1038 enum pipe_error ret
= PIPE_OK
;
1040 assert(numInputs
<= Elements(t
->inputs
));
1041 assert(numOutputs
<= Elements(t
->outputs
));
1044 memset(t
, 0, sizeof *t
);
1046 t
->procType
= procType
;
1047 t
->inputMapping
= inputMapping
;
1048 t
->outputMapping
= outputMapping
;
1051 /*_mesa_print_program(program);*/
1054 * Declare input attributes.
1056 if (procType
== TGSI_PROCESSOR_FRAGMENT
) {
1057 for (i
= 0; i
< numInputs
; i
++) {
1058 t
->inputs
[i
] = ureg_DECL_fs_input(ureg
,
1059 inputSemanticName
[i
],
1060 inputSemanticIndex
[i
],
1064 if (program
->InputsRead
& VARYING_BIT_POS
) {
1065 /* Must do this after setting up t->inputs, and before
1066 * emitting constant references, below:
1068 emit_wpos(st_context(ctx
), t
, program
, ureg
);
1071 if (program
->InputsRead
& VARYING_BIT_FACE
) {
1072 emit_face_var( t
, program
);
1076 * Declare output attributes.
1078 for (i
= 0; i
< numOutputs
; i
++) {
1079 switch (outputSemanticName
[i
]) {
1080 case TGSI_SEMANTIC_POSITION
:
1081 t
->outputs
[i
] = ureg_DECL_output( ureg
,
1082 TGSI_SEMANTIC_POSITION
, /* Z / Depth */
1083 outputSemanticIndex
[i
] );
1085 t
->outputs
[i
] = ureg_writemask( t
->outputs
[i
],
1088 case TGSI_SEMANTIC_STENCIL
:
1089 t
->outputs
[i
] = ureg_DECL_output( ureg
,
1090 TGSI_SEMANTIC_STENCIL
, /* Stencil */
1091 outputSemanticIndex
[i
] );
1092 t
->outputs
[i
] = ureg_writemask( t
->outputs
[i
],
1095 case TGSI_SEMANTIC_COLOR
:
1096 t
->outputs
[i
] = ureg_DECL_output( ureg
,
1097 TGSI_SEMANTIC_COLOR
,
1098 outputSemanticIndex
[i
] );
1106 else if (procType
== TGSI_PROCESSOR_GEOMETRY
) {
1107 for (i
= 0; i
< numInputs
; i
++) {
1108 t
->inputs
[i
] = ureg_DECL_gs_input(ureg
,
1110 inputSemanticName
[i
],
1111 inputSemanticIndex
[i
]);
1114 for (i
= 0; i
< numOutputs
; i
++) {
1115 t
->outputs
[i
] = ureg_DECL_output( ureg
,
1116 outputSemanticName
[i
],
1117 outputSemanticIndex
[i
] );
1121 assert(procType
== TGSI_PROCESSOR_VERTEX
);
1123 for (i
= 0; i
< numInputs
; i
++) {
1124 t
->inputs
[i
] = ureg_DECL_vs_input(ureg
, i
);
1127 for (i
= 0; i
< numOutputs
; i
++) {
1128 t
->outputs
[i
] = ureg_DECL_output( ureg
,
1129 outputSemanticName
[i
],
1130 outputSemanticIndex
[i
] );
1132 if (passthrough_edgeflags
)
1133 emit_edgeflags( t
, program
);
1136 /* Declare address register.
1138 if (program
->NumAddressRegs
> 0) {
1139 debug_assert( program
->NumAddressRegs
== 1 );
1140 t
->address
[0] = ureg_DECL_address( ureg
);
1143 /* Declare misc input registers
1146 GLbitfield sysInputs
= program
->SystemValuesRead
;
1147 unsigned numSys
= 0;
1148 for (i
= 0; sysInputs
; i
++) {
1149 if (sysInputs
& (1 << i
)) {
1150 unsigned semName
= mesa_sysval_to_semantic
[i
];
1151 t
->systemValues
[i
] = ureg_DECL_system_value(ureg
, numSys
, semName
, 0);
1152 if (semName
== TGSI_SEMANTIC_INSTANCEID
||
1153 semName
== TGSI_SEMANTIC_VERTEXID
) {
1154 /* From Gallium perspective, these system values are always
1155 * integer, and require native integer support. However, if
1156 * native integer is supported on the vertex stage but not the
1157 * pixel stage (e.g, i915g + draw), Mesa will generate IR that
1158 * assumes these system values are floats. To resolve the
1159 * inconsistency, we insert a U2F.
1161 struct st_context
*st
= st_context(ctx
);
1162 struct pipe_screen
*pscreen
= st
->pipe
->screen
;
1163 assert(procType
== TGSI_PROCESSOR_VERTEX
);
1164 assert(pscreen
->get_shader_param(pscreen
, PIPE_SHADER_VERTEX
, PIPE_SHADER_CAP_INTEGERS
));
1165 (void) pscreen
; /* silence non-debug build warnings */
1166 if (!ctx
->Const
.NativeIntegers
) {
1167 struct ureg_dst temp
= ureg_DECL_local_temporary(t
->ureg
);
1168 ureg_U2F( t
->ureg
, ureg_writemask(temp
, TGSI_WRITEMASK_X
), t
->systemValues
[i
]);
1169 t
->systemValues
[i
] = ureg_scalar(ureg_src(temp
), 0);
1173 sysInputs
&= ~(1 << i
);
1178 if (program
->IndirectRegisterFiles
& (1 << PROGRAM_TEMPORARY
)) {
1179 /* If temps are accessed with indirect addressing, declare temporaries
1180 * in sequential order. Else, we declare them on demand elsewhere.
1182 for (i
= 0; i
< program
->NumTemporaries
; i
++) {
1183 /* XXX use TGSI_FILE_TEMPORARY_ARRAY when it's supported by ureg */
1184 t
->temps
[i
] = ureg_DECL_temporary( t
->ureg
);
1188 /* Emit constants and immediates. Mesa uses a single index space
1189 * for these, so we put all the translated regs in t->constants.
1191 if (program
->Parameters
) {
1192 t
->constants
= calloc( program
->Parameters
->NumParameters
,
1193 sizeof t
->constants
[0] );
1194 if (t
->constants
== NULL
) {
1195 ret
= PIPE_ERROR_OUT_OF_MEMORY
;
1199 for (i
= 0; i
< program
->Parameters
->NumParameters
; i
++) {
1200 switch (program
->Parameters
->Parameters
[i
].Type
) {
1201 case PROGRAM_ENV_PARAM
:
1202 case PROGRAM_LOCAL_PARAM
:
1203 case PROGRAM_STATE_VAR
:
1204 case PROGRAM_UNIFORM
:
1205 t
->constants
[i
] = ureg_DECL_constant( ureg
, i
);
1208 /* Emit immediates only when there's no indirect addressing of
1210 * FIXME: Be smarter and recognize param arrays:
1211 * indirect addressing is only valid within the referenced
1214 case PROGRAM_CONSTANT
:
1215 if (program
->IndirectRegisterFiles
& PROGRAM_ANY_CONST
)
1216 t
->constants
[i
] = ureg_DECL_constant( ureg
, i
);
1219 ureg_DECL_immediate( ureg
,
1220 (const float*) program
->Parameters
->ParameterValues
[i
],
1229 /* texture samplers */
1230 for (i
= 0; i
< ctx
->Const
.MaxTextureImageUnits
; i
++) {
1231 if (program
->SamplersUsed
& (1 << i
)) {
1232 t
->samplers
[i
] = ureg_DECL_sampler( ureg
, i
);
1236 /* Emit each instruction in turn:
1238 for (i
= 0; i
< program
->NumInstructions
; i
++) {
1239 set_insn_start( t
, ureg_get_instruction_number( ureg
));
1240 compile_instruction( ctx
, t
, &program
->Instructions
[i
], clamp_color
);
1243 /* Fix up all emitted labels:
1245 for (i
= 0; i
< t
->labels_count
; i
++) {
1246 ureg_fixup_label( ureg
,
1248 t
->insn
[t
->labels
[i
].branch_target
] );
1257 debug_printf("%s: translate error flag set\n", __FUNCTION__
);
1265 * Tokens cannot be free with free otherwise the builtin gallium
1266 * malloc debugging will get confused.
1269 st_free_tokens(const struct tgsi_token
*tokens
)
1271 ureg_free_tokens(tokens
);