1 /**************************************************************************
3 * Copyright 2007 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 **************************************************************************/
32 #include "i915_context.h"
35 #include "pipe/p_shader_tokens.h"
36 #include "util/u_math.h"
37 #include "util/u_memory.h"
38 #include "util/u_string.h"
39 #include "tgsi/tgsi_parse.h"
40 #include "tgsi/tgsi_dump.h"
42 #include "draw/draw_vertex.h"
46 * Simple pass-through fragment shader to use when we don't have
47 * a real shader (or it fails to compile for some reason).
49 static unsigned passthrough
[] =
51 _3DSTATE_PIXEL_SHADER_PROGRAM
| ((2*3)-1),
53 /* declare input color:
56 (REG_TYPE_T
<< D0_TYPE_SHIFT
) |
57 (T_DIFFUSE
<< D0_NR_SHIFT
) |
62 /* move to output color:
65 (REG_TYPE_OC
<< A0_DEST_TYPE_SHIFT
) |
67 (REG_TYPE_T
<< A0_SRC0_TYPE_SHIFT
) |
68 (T_DIFFUSE
<< A0_SRC0_NR_SHIFT
)),
69 0x01230000, /* .xyzw */
74 /* 1, -1/3!, 1/5!, -1/7! */
75 static const float scs_sin_constants
[4] = { 1.0,
77 1.0f
/ (5 * 4 * 3 * 2 * 1),
78 -1.0f
/ (7 * 6 * 5 * 4 * 3 * 2 * 1)
81 /* 1, -1/2!, 1/4!, -1/6! */
82 static const float scs_cos_constants
[4] = { 1.0,
84 1.0f
/ (4 * 3 * 2 * 1),
85 -1.0f
/ (6 * 5 * 4 * 3 * 2 * 1)
88 /* 1, -1/3!, 1/5!, -1/7! */
89 static const float sin_constants
[4] = { 2.0 * M_PI
,
90 -8.0f
* M_PI
* M_PI
* M_PI
/ (3 * 2 * 1),
91 32.0f
* M_PI
* M_PI
* M_PI
* M_PI
* M_PI
/ (5 * 4 * 3 * 2 * 1),
92 -128.0f
* M_PI
* M_PI
* M_PI
* M_PI
* M_PI
* M_PI
* M_PI
/ (7 * 6 * 5 * 4 * 3 * 2 * 1)
95 /* 1, -1/2!, 1/4!, -1/6! */
96 static const float cos_constants
[4] = { 1.0,
97 -4.0f
* M_PI
* M_PI
/ (2 * 1),
98 16.0f
* M_PI
* M_PI
* M_PI
* M_PI
/ (4 * 3 * 2 * 1),
99 -64.0f
* M_PI
* M_PI
* M_PI
* M_PI
* M_PI
* M_PI
/ (6 * 5 * 4 * 3 * 2 * 1)
105 * component-wise negation of ureg
108 negate(int reg
, int x
, int y
, int z
, int w
)
110 /* Another neat thing about the UREG representation */
111 return reg
^ (((x
& 1) << UREG_CHANNEL_X_NEGATE_SHIFT
) |
112 ((y
& 1) << UREG_CHANNEL_Y_NEGATE_SHIFT
) |
113 ((z
& 1) << UREG_CHANNEL_Z_NEGATE_SHIFT
) |
114 ((w
& 1) << UREG_CHANNEL_W_NEGATE_SHIFT
));
119 * In the event of a translation failure, we'll generate a simple color
120 * pass-through program.
123 i915_use_passthrough_shader(struct i915_fragment_shader
*fs
)
125 fs
->program
= (uint
*) MALLOC(sizeof(passthrough
));
127 memcpy(fs
->program
, passthrough
, sizeof(passthrough
));
128 fs
->program_len
= Elements(passthrough
);
130 fs
->num_constants
= 0;
135 i915_program_error(struct i915_fp_compile
*p
, const char *msg
, ...)
140 debug_printf("i915_program_error: ");
141 va_start( args
, msg
);
142 util_vsnprintf( buffer
, sizeof(buffer
), msg
, args
);
144 debug_printf("%s", buffer
);
150 static uint
get_mapping(struct i915_fragment_shader
* fs
, int unit
)
153 for (i
= 0; i
< I915_TEX_UNITS
; i
++)
155 if (fs
->generic_mapping
[i
] == -1) {
156 fs
->generic_mapping
[i
] = unit
;
159 if (fs
->generic_mapping
[i
] == unit
)
162 debug_printf("Exceeded max generics\n");
167 * Construct a ureg for the given source register. Will emit
168 * constants, apply swizzling and negation as needed.
171 src_vector(struct i915_fp_compile
*p
,
172 const struct tgsi_full_src_register
*source
,
173 struct i915_fragment_shader
* fs
)
175 uint index
= source
->Register
.Index
;
176 uint src
= 0, sem_name
, sem_ind
;
178 switch (source
->Register
.File
) {
179 case TGSI_FILE_TEMPORARY
:
180 if (source
->Register
.Index
>= I915_MAX_TEMPORARY
) {
181 i915_program_error(p
, "Exceeded max temporary reg");
184 src
= UREG(REG_TYPE_R
, index
);
186 case TGSI_FILE_INPUT
:
187 /* XXX: Packing COL1, FOGC into a single attribute works for
188 * texenv programs, but will fail for real fragment programs
189 * that use these attributes and expect them to be a full 4
190 * components wide. Could use a texcoord to pass these
191 * attributes if necessary, but that won't work in the general
194 * We also use a texture coordinate to pass wpos when possible.
197 sem_name
= p
->shader
->info
.input_semantic_name
[index
];
198 sem_ind
= p
->shader
->info
.input_semantic_index
[index
];
201 case TGSI_SEMANTIC_POSITION
:
204 int real_tex_unit
= get_mapping(fs
, I915_SEMANTIC_POS
);
205 src
= i915_emit_decl(p
, REG_TYPE_T
, T_TEX0
+ real_tex_unit
, D0_CHANNEL_ALL
);
208 case TGSI_SEMANTIC_COLOR
:
210 src
= i915_emit_decl(p
, REG_TYPE_T
, T_DIFFUSE
, D0_CHANNEL_ALL
);
213 /* secondary color */
214 assert(sem_ind
== 1);
215 src
= i915_emit_decl(p
, REG_TYPE_T
, T_SPECULAR
, D0_CHANNEL_XYZ
);
216 src
= swizzle(src
, X
, Y
, Z
, ONE
);
219 case TGSI_SEMANTIC_FOG
:
220 src
= i915_emit_decl(p
, REG_TYPE_T
, T_FOG_W
, D0_CHANNEL_W
);
221 src
= swizzle(src
, W
, W
, W
, W
);
223 case TGSI_SEMANTIC_GENERIC
:
225 int real_tex_unit
= get_mapping(fs
, sem_ind
);
226 src
= i915_emit_decl(p
, REG_TYPE_T
, T_TEX0
+ real_tex_unit
, D0_CHANNEL_ALL
);
229 case TGSI_SEMANTIC_FACE
:
231 /* for back/front faces */
232 int real_tex_unit
= get_mapping(fs
, I915_SEMANTIC_FACE
);
233 src
= i915_emit_decl(p
, REG_TYPE_T
, T_TEX0
+ real_tex_unit
, D0_CHANNEL_X
);
237 i915_program_error(p
, "Bad source->Index");
242 case TGSI_FILE_IMMEDIATE
:
243 assert(index
< p
->num_immediates
);
244 index
= p
->immediates_map
[index
];
246 case TGSI_FILE_CONSTANT
:
247 src
= UREG(REG_TYPE_CONST
, index
);
251 i915_program_error(p
, "Bad source->File");
256 source
->Register
.SwizzleX
,
257 source
->Register
.SwizzleY
,
258 source
->Register
.SwizzleZ
,
259 source
->Register
.SwizzleW
);
261 /* There's both negate-all-components and per-component negation.
262 * Try to handle both here.
265 int n
= source
->Register
.Negate
;
266 src
= negate(src
, n
, n
, n
, n
);
271 /* XXX assertions disabled to allow arbfplight.c to run */
272 /* XXX enable these assertions, or fix things */
273 assert(!source
->Register
.Absolute
);
280 * Construct a ureg for a destination register.
283 get_result_vector(struct i915_fp_compile
*p
,
284 const struct tgsi_full_dst_register
*dest
)
286 switch (dest
->Register
.File
) {
287 case TGSI_FILE_OUTPUT
:
289 uint sem_name
= p
->shader
->info
.output_semantic_name
[dest
->Register
.Index
];
291 case TGSI_SEMANTIC_POSITION
:
292 return UREG(REG_TYPE_OD
, 0);
293 case TGSI_SEMANTIC_COLOR
:
294 return UREG(REG_TYPE_OC
, 0);
296 i915_program_error(p
, "Bad inst->DstReg.Index/semantics");
300 case TGSI_FILE_TEMPORARY
:
301 return UREG(REG_TYPE_R
, dest
->Register
.Index
);
303 i915_program_error(p
, "Bad inst->DstReg.File");
310 * Compute flags for saturation and writemask.
313 get_result_flags(const struct tgsi_full_instruction
*inst
)
316 = inst
->Dst
[0].Register
.WriteMask
;
319 if (inst
->Instruction
.Saturate
== TGSI_SAT_ZERO_ONE
)
320 flags
|= A0_DEST_SATURATE
;
322 if (writeMask
& TGSI_WRITEMASK_X
)
323 flags
|= A0_DEST_CHANNEL_X
;
324 if (writeMask
& TGSI_WRITEMASK_Y
)
325 flags
|= A0_DEST_CHANNEL_Y
;
326 if (writeMask
& TGSI_WRITEMASK_Z
)
327 flags
|= A0_DEST_CHANNEL_Z
;
328 if (writeMask
& TGSI_WRITEMASK_W
)
329 flags
|= A0_DEST_CHANNEL_W
;
336 * Convert TGSI_TEXTURE_x token to DO_SAMPLE_TYPE_x token
339 translate_tex_src_target(struct i915_fp_compile
*p
, uint tex
)
342 case TGSI_TEXTURE_SHADOW1D
:
344 case TGSI_TEXTURE_1D
:
345 return D0_SAMPLE_TYPE_2D
;
347 case TGSI_TEXTURE_SHADOW2D
:
349 case TGSI_TEXTURE_2D
:
350 return D0_SAMPLE_TYPE_2D
;
352 case TGSI_TEXTURE_SHADOWRECT
:
354 case TGSI_TEXTURE_RECT
:
355 return D0_SAMPLE_TYPE_2D
;
357 case TGSI_TEXTURE_3D
:
358 return D0_SAMPLE_TYPE_VOLUME
;
360 case TGSI_TEXTURE_CUBE
:
361 return D0_SAMPLE_TYPE_CUBE
;
364 i915_program_error(p
, "TexSrc type");
371 * Generate texel lookup instruction.
374 emit_tex(struct i915_fp_compile
*p
,
375 const struct tgsi_full_instruction
*inst
,
377 struct i915_fragment_shader
* fs
)
379 uint texture
= inst
->Texture
.Texture
;
380 uint unit
= inst
->Src
[1].Register
.Index
;
381 uint tex
= translate_tex_src_target( p
, texture
);
382 uint sampler
= i915_emit_decl(p
, REG_TYPE_S
, unit
, tex
);
383 uint coord
= src_vector( p
, &inst
->Src
[0], fs
);
386 get_result_vector( p
, &inst
->Dst
[0] ),
387 get_result_flags( inst
),
395 * Generate a simple arithmetic instruction
396 * \param opcode the i915 opcode
397 * \param numArgs the number of input/src arguments
400 emit_simple_arith(struct i915_fp_compile
*p
,
401 const struct tgsi_full_instruction
*inst
,
402 uint opcode
, uint numArgs
,
403 struct i915_fragment_shader
* fs
)
405 uint arg1
, arg2
, arg3
;
407 assert(numArgs
<= 3);
409 arg1
= (numArgs
< 1) ? 0 : src_vector( p
, &inst
->Src
[0], fs
);
410 arg2
= (numArgs
< 2) ? 0 : src_vector( p
, &inst
->Src
[1], fs
);
411 arg3
= (numArgs
< 3) ? 0 : src_vector( p
, &inst
->Src
[2], fs
);
415 get_result_vector( p
, &inst
->Dst
[0]),
416 get_result_flags( inst
), 0,
423 /** As above, but swap the first two src regs */
425 emit_simple_arith_swap2(struct i915_fp_compile
*p
,
426 const struct tgsi_full_instruction
*inst
,
427 uint opcode
, uint numArgs
,
428 struct i915_fragment_shader
* fs
)
430 struct tgsi_full_instruction inst2
;
432 assert(numArgs
== 2);
434 /* transpose first two registers */
436 inst2
.Src
[0] = inst
->Src
[1];
437 inst2
.Src
[1] = inst
->Src
[0];
439 emit_simple_arith(p
, &inst2
, opcode
, numArgs
, fs
);
444 #define M_PI 3.14159265358979323846
448 * Translate TGSI instruction to i915 instruction.
452 * SIN, COS -- could use another taylor step?
453 * LIT -- results seem a little different to sw mesa
454 * LOG -- different to mesa on negative numbers, but this is conformant.
457 i915_translate_instruction(struct i915_fp_compile
*p
,
458 const struct tgsi_full_instruction
*inst
,
459 struct i915_fragment_shader
*fs
)
462 uint src0
, src1
, src2
, flags
;
465 switch (inst
->Instruction
.Opcode
) {
466 case TGSI_OPCODE_ABS
:
467 src0
= src_vector(p
, &inst
->Src
[0], fs
);
470 get_result_vector(p
, &inst
->Dst
[0]),
471 get_result_flags(inst
), 0,
472 src0
, negate(src0
, 1, 1, 1, 1), 0);
475 case TGSI_OPCODE_ADD
:
476 emit_simple_arith(p
, inst
, A0_ADD
, 2, fs
);
479 case TGSI_OPCODE_CMP
:
480 src0
= src_vector(p
, &inst
->Src
[0], fs
);
481 src1
= src_vector(p
, &inst
->Src
[1], fs
);
482 src2
= src_vector(p
, &inst
->Src
[2], fs
);
483 i915_emit_arith(p
, A0_CMP
,
484 get_result_vector(p
, &inst
->Dst
[0]),
485 get_result_flags(inst
),
486 0, src0
, src2
, src1
); /* NOTE: order of src2, src1 */
489 case TGSI_OPCODE_COS
:
490 src0
= src_vector(p
, &inst
->Src
[0], fs
);
491 tmp
= i915_get_utemp(p
);
495 tmp
, A0_DEST_CHANNEL_X
, 0,
496 src0
, i915_emit_const1f(p
, 1.0f
/ (float) (M_PI
* 2.0)), 0);
498 i915_emit_arith(p
, A0_MOD
, tmp
, A0_DEST_CHANNEL_X
, 0, tmp
, 0, 0);
501 * t0.xy = MUL x.xx11, x.x1111 ; x^2, x, 1, 1
502 * t0 = MUL t0.xyxy t0.xx11 ; x^4, x^3, x^2, 1
503 * t0 = MUL t0.xxz1 t0.z111 ; x^6 x^4 x^2 1
504 * result = DP4 t0, cos_constants
508 tmp
, A0_DEST_CHANNEL_XY
, 0,
509 swizzle(tmp
, X
, X
, ONE
, ONE
),
510 swizzle(tmp
, X
, ONE
, ONE
, ONE
), 0);
514 tmp
, A0_DEST_CHANNEL_XYZ
, 0,
515 swizzle(tmp
, X
, Y
, X
, ONE
),
516 swizzle(tmp
, X
, X
, ONE
, ONE
), 0);
520 tmp
, A0_DEST_CHANNEL_XYZ
, 0,
521 swizzle(tmp
, X
, X
, Z
, ONE
),
522 swizzle(tmp
, Z
, ONE
, ONE
, ONE
), 0);
526 get_result_vector(p
, &inst
->Dst
[0]),
527 get_result_flags(inst
), 0,
528 swizzle(tmp
, ONE
, Z
, Y
, X
),
529 i915_emit_const4fv(p
, cos_constants
), 0);
532 case TGSI_OPCODE_DDX
:
533 case TGSI_OPCODE_DDY
:
534 /* XXX We just output 0 here */
535 debug_printf("Punting DDX/DDX\n");
536 src0
= get_result_vector(p
, &inst
->Dst
[0]);
539 get_result_vector(p
, &inst
->Dst
[0]),
540 get_result_flags(inst
), 0,
541 swizzle(src0
, ZERO
, ZERO
, ZERO
, ZERO
), 0, 0);
544 case TGSI_OPCODE_DP2
:
545 src0
= src_vector(p
, &inst
->Src
[0], fs
);
546 src1
= src_vector(p
, &inst
->Src
[1], fs
);
550 get_result_vector(p
, &inst
->Dst
[0]),
551 get_result_flags(inst
), 0,
552 swizzle(src0
, X
, Y
, ZERO
, ZERO
), src1
, 0);
555 case TGSI_OPCODE_DP3
:
556 emit_simple_arith(p
, inst
, A0_DP3
, 2, fs
);
559 case TGSI_OPCODE_DP4
:
560 emit_simple_arith(p
, inst
, A0_DP4
, 2, fs
);
563 case TGSI_OPCODE_DPH
:
564 src0
= src_vector(p
, &inst
->Src
[0], fs
);
565 src1
= src_vector(p
, &inst
->Src
[1], fs
);
569 get_result_vector(p
, &inst
->Dst
[0]),
570 get_result_flags(inst
), 0,
571 swizzle(src0
, X
, Y
, Z
, ONE
), src1
, 0);
574 case TGSI_OPCODE_DST
:
575 src0
= src_vector(p
, &inst
->Src
[0], fs
);
576 src1
= src_vector(p
, &inst
->Src
[1], fs
);
578 /* result[0] = 1 * 1;
579 * result[1] = a[1] * b[1];
580 * result[2] = a[2] * 1;
581 * result[3] = 1 * b[3];
585 get_result_vector(p
, &inst
->Dst
[0]),
586 get_result_flags(inst
), 0,
587 swizzle(src0
, ONE
, Y
, Z
, ONE
),
588 swizzle(src1
, ONE
, Y
, ONE
, W
), 0);
591 case TGSI_OPCODE_END
:
595 case TGSI_OPCODE_EX2
:
596 src0
= src_vector(p
, &inst
->Src
[0], fs
);
600 get_result_vector(p
, &inst
->Dst
[0]),
601 get_result_flags(inst
), 0,
602 swizzle(src0
, X
, X
, X
, X
), 0, 0);
605 case TGSI_OPCODE_FLR
:
606 emit_simple_arith(p
, inst
, A0_FLR
, 1, fs
);
609 case TGSI_OPCODE_FRC
:
610 emit_simple_arith(p
, inst
, A0_FRC
, 1, fs
);
613 case TGSI_OPCODE_KIL
:
614 /* kill if src[0].x < 0 || src[0].y < 0 ... */
615 src0
= src_vector(p
, &inst
->Src
[0], fs
);
616 tmp
= i915_get_utemp(p
);
619 tmp
, /* dest reg: a dummy reg */
620 A0_DEST_CHANNEL_ALL
, /* dest writemask */
623 T0_TEXKILL
); /* opcode */
626 case TGSI_OPCODE_KILP
:
627 assert(0); /* not tested yet */
630 case TGSI_OPCODE_LG2
:
631 src0
= src_vector(p
, &inst
->Src
[0], fs
);
635 get_result_vector(p
, &inst
->Dst
[0]),
636 get_result_flags(inst
), 0,
637 swizzle(src0
, X
, X
, X
, X
), 0, 0);
640 case TGSI_OPCODE_LIT
:
641 src0
= src_vector(p
, &inst
->Src
[0], fs
);
642 tmp
= i915_get_utemp(p
);
644 /* tmp = max( a.xyzw, a.00zw )
645 * XXX: Clamp tmp.w to -128..128
647 * tmp.y = tmp.w * tmp.y
649 * result = cmp (a.11-x1, a.1x01, a.1xy1 )
651 i915_emit_arith(p
, A0_MAX
, tmp
, A0_DEST_CHANNEL_ALL
, 0,
652 src0
, swizzle(src0
, ZERO
, ZERO
, Z
, W
), 0);
654 i915_emit_arith(p
, A0_LOG
, tmp
, A0_DEST_CHANNEL_Y
, 0,
655 swizzle(tmp
, Y
, Y
, Y
, Y
), 0, 0);
657 i915_emit_arith(p
, A0_MUL
, tmp
, A0_DEST_CHANNEL_Y
, 0,
658 swizzle(tmp
, ZERO
, Y
, ZERO
, ZERO
),
659 swizzle(tmp
, ZERO
, W
, ZERO
, ZERO
), 0);
661 i915_emit_arith(p
, A0_EXP
, tmp
, A0_DEST_CHANNEL_Y
, 0,
662 swizzle(tmp
, Y
, Y
, Y
, Y
), 0, 0);
664 i915_emit_arith(p
, A0_CMP
,
665 get_result_vector(p
, &inst
->Dst
[0]),
666 get_result_flags(inst
), 0,
667 negate(swizzle(tmp
, ONE
, ONE
, X
, ONE
), 0, 0, 1, 0),
668 swizzle(tmp
, ONE
, X
, ZERO
, ONE
),
669 swizzle(tmp
, ONE
, X
, Y
, ONE
));
673 case TGSI_OPCODE_LRP
:
674 src0
= src_vector(p
, &inst
->Src
[0], fs
);
675 src1
= src_vector(p
, &inst
->Src
[1], fs
);
676 src2
= src_vector(p
, &inst
->Src
[2], fs
);
677 flags
= get_result_flags(inst
);
678 tmp
= i915_get_utemp(p
);
685 * result = (-c)*a + tmp
687 i915_emit_arith(p
, A0_MAD
, tmp
,
688 flags
& A0_DEST_CHANNEL_ALL
, 0, src1
, src0
, src2
);
690 i915_emit_arith(p
, A0_MAD
,
691 get_result_vector(p
, &inst
->Dst
[0]),
692 flags
, 0, negate(src2
, 1, 1, 1, 1), src0
, tmp
);
695 case TGSI_OPCODE_MAD
:
696 emit_simple_arith(p
, inst
, A0_MAD
, 3, fs
);
699 case TGSI_OPCODE_MAX
:
700 emit_simple_arith(p
, inst
, A0_MAX
, 2, fs
);
703 case TGSI_OPCODE_MIN
:
704 src0
= src_vector(p
, &inst
->Src
[0], fs
);
705 src1
= src_vector(p
, &inst
->Src
[1], fs
);
706 tmp
= i915_get_utemp(p
);
707 flags
= get_result_flags(inst
);
711 tmp
, flags
& A0_DEST_CHANNEL_ALL
, 0,
712 negate(src0
, 1, 1, 1, 1),
713 negate(src1
, 1, 1, 1, 1), 0);
717 get_result_vector(p
, &inst
->Dst
[0]),
718 flags
, 0, negate(tmp
, 1, 1, 1, 1), 0, 0);
721 case TGSI_OPCODE_MOV
:
722 emit_simple_arith(p
, inst
, A0_MOV
, 1, fs
);
725 case TGSI_OPCODE_MUL
:
726 emit_simple_arith(p
, inst
, A0_MUL
, 2, fs
);
729 case TGSI_OPCODE_POW
:
730 src0
= src_vector(p
, &inst
->Src
[0], fs
);
731 src1
= src_vector(p
, &inst
->Src
[1], fs
);
732 tmp
= i915_get_utemp(p
);
733 flags
= get_result_flags(inst
);
735 /* XXX: masking on intermediate values, here and elsewhere.
739 tmp
, A0_DEST_CHANNEL_X
, 0,
740 swizzle(src0
, X
, X
, X
, X
), 0, 0);
742 i915_emit_arith(p
, A0_MUL
, tmp
, A0_DEST_CHANNEL_X
, 0, tmp
, src1
, 0);
746 get_result_vector(p
, &inst
->Dst
[0]),
747 flags
, 0, swizzle(tmp
, X
, X
, X
, X
), 0, 0);
750 case TGSI_OPCODE_RET
:
754 case TGSI_OPCODE_RCP
:
755 src0
= src_vector(p
, &inst
->Src
[0], fs
);
759 get_result_vector(p
, &inst
->Dst
[0]),
760 get_result_flags(inst
), 0,
761 swizzle(src0
, X
, X
, X
, X
), 0, 0);
764 case TGSI_OPCODE_RSQ
:
765 src0
= src_vector(p
, &inst
->Src
[0], fs
);
769 get_result_vector(p
, &inst
->Dst
[0]),
770 get_result_flags(inst
), 0,
771 swizzle(src0
, X
, X
, X
, X
), 0, 0);
774 case TGSI_OPCODE_SCS
:
775 src0
= src_vector(p
, &inst
->Src
[0], fs
);
776 tmp
= i915_get_utemp(p
);
779 * t0.xy = MUL x.xx11, x.x1111 ; x^2, x, 1, 1
780 * t0 = MUL t0.xyxy t0.xx11 ; x^4, x^3, x^2, x
781 * t1 = MUL t0.xyyw t0.yz11 ; x^7 x^5 x^3 x
782 * scs.x = DP4 t1, scs_sin_constants
783 * t1 = MUL t0.xxz1 t0.z111 ; x^6 x^4 x^2 1
784 * scs.y = DP4 t1, scs_cos_constants
788 tmp
, A0_DEST_CHANNEL_XY
, 0,
789 swizzle(src0
, X
, X
, ONE
, ONE
),
790 swizzle(src0
, X
, ONE
, ONE
, ONE
), 0);
794 tmp
, A0_DEST_CHANNEL_ALL
, 0,
795 swizzle(tmp
, X
, Y
, X
, Y
),
796 swizzle(tmp
, X
, X
, ONE
, ONE
), 0);
798 writemask
= inst
->Dst
[0].Register
.WriteMask
;
800 if (writemask
& TGSI_WRITEMASK_Y
) {
803 if (writemask
& TGSI_WRITEMASK_X
)
804 tmp1
= i915_get_utemp(p
);
810 tmp1
, A0_DEST_CHANNEL_ALL
, 0,
811 swizzle(tmp
, X
, Y
, Y
, W
),
812 swizzle(tmp
, X
, Z
, ONE
, ONE
), 0);
816 get_result_vector(p
, &inst
->Dst
[0]),
817 A0_DEST_CHANNEL_Y
, 0,
818 swizzle(tmp1
, W
, Z
, Y
, X
),
819 i915_emit_const4fv(p
, scs_sin_constants
), 0);
822 if (writemask
& TGSI_WRITEMASK_X
) {
825 tmp
, A0_DEST_CHANNEL_XYZ
, 0,
826 swizzle(tmp
, X
, X
, Z
, ONE
),
827 swizzle(tmp
, Z
, ONE
, ONE
, ONE
), 0);
831 get_result_vector(p
, &inst
->Dst
[0]),
832 A0_DEST_CHANNEL_X
, 0,
833 swizzle(tmp
, ONE
, Z
, Y
, X
),
834 i915_emit_const4fv(p
, scs_cos_constants
), 0);
838 case TGSI_OPCODE_SEQ
:
839 /* if we're both >= and <= then we're == */
840 src0
= src_vector(p
, &inst
->Src
[0], fs
);
841 src1
= src_vector(p
, &inst
->Src
[1], fs
);
842 tmp
= i915_get_utemp(p
);
846 tmp
, A0_DEST_CHANNEL_ALL
, 0,
852 get_result_vector(p
, &inst
->Dst
[0]),
853 A0_DEST_CHANNEL_ALL
, 0,
859 get_result_vector(p
, &inst
->Dst
[0]),
860 A0_DEST_CHANNEL_ALL
, 0,
861 get_result_vector(p
, &inst
->Dst
[0]),
866 case TGSI_OPCODE_SGE
:
867 emit_simple_arith(p
, inst
, A0_SGE
, 2, fs
);
870 case TGSI_OPCODE_SIN
:
871 src0
= src_vector(p
, &inst
->Src
[0], fs
);
872 tmp
= i915_get_utemp(p
);
876 tmp
, A0_DEST_CHANNEL_X
, 0,
877 src0
, i915_emit_const1f(p
, 1.0f
/ (float) (M_PI
* 2.0)), 0);
879 i915_emit_arith(p
, A0_MOD
, tmp
, A0_DEST_CHANNEL_X
, 0, tmp
, 0, 0);
882 * t0.xy = MUL x.xx11, x.x1111 ; x^2, x, 1, 1
883 * t0 = MUL t0.xyxy t0.xx11 ; x^4, x^3, x^2, x
884 * t1 = MUL t0.xyyw t0.yz11 ; x^7 x^5 x^3 x
885 * result = DP4 t1.wzyx, sin_constants
889 tmp
, A0_DEST_CHANNEL_XY
, 0,
890 swizzle(tmp
, X
, X
, ONE
, ONE
),
891 swizzle(tmp
, X
, ONE
, ONE
, ONE
), 0);
895 tmp
, A0_DEST_CHANNEL_ALL
, 0,
896 swizzle(tmp
, X
, Y
, X
, Y
),
897 swizzle(tmp
, X
, X
, ONE
, ONE
), 0);
901 tmp
, A0_DEST_CHANNEL_ALL
, 0,
902 swizzle(tmp
, X
, Y
, Y
, W
),
903 swizzle(tmp
, X
, Z
, ONE
, ONE
), 0);
907 get_result_vector(p
, &inst
->Dst
[0]),
908 get_result_flags(inst
), 0,
909 swizzle(tmp
, W
, Z
, Y
, X
),
910 i915_emit_const4fv(p
, sin_constants
), 0);
913 case TGSI_OPCODE_SLE
:
914 /* like SGE, but swap reg0, reg1 */
915 emit_simple_arith_swap2(p
, inst
, A0_SGE
, 2, fs
);
918 case TGSI_OPCODE_SLT
:
919 emit_simple_arith(p
, inst
, A0_SLT
, 2, fs
);
922 case TGSI_OPCODE_SGT
:
923 /* like SLT, but swap reg0, reg1 */
924 emit_simple_arith_swap2(p
, inst
, A0_SLT
, 2, fs
);
927 case TGSI_OPCODE_SNE
:
928 /* if we're < or > then we're != */
929 src0
= src_vector(p
, &inst
->Src
[0], fs
);
930 src1
= src_vector(p
, &inst
->Src
[1], fs
);
931 tmp
= i915_get_utemp(p
);
936 A0_DEST_CHANNEL_ALL
, 0,
942 get_result_vector(p
, &inst
->Dst
[0]),
943 A0_DEST_CHANNEL_ALL
, 0,
949 get_result_vector(p
, &inst
->Dst
[0]),
950 A0_DEST_CHANNEL_ALL
, 0,
951 get_result_vector(p
, &inst
->Dst
[0]),
955 case TGSI_OPCODE_SSG
:
956 /* compute (src>0) - (src<0) */
957 src0
= src_vector(p
, &inst
->Src
[0], fs
);
958 tmp
= i915_get_utemp(p
);
963 A0_DEST_CHANNEL_ALL
, 0,
965 swizzle(src0
, ZERO
, ZERO
, ZERO
, ZERO
), 0);
969 get_result_vector(p
, &inst
->Dst
[0]),
970 A0_DEST_CHANNEL_ALL
, 0,
971 swizzle(src0
, ZERO
, ZERO
, ZERO
, ZERO
),
976 get_result_vector(p
, &inst
->Dst
[0]),
977 A0_DEST_CHANNEL_ALL
, 0,
978 get_result_vector(p
, &inst
->Dst
[0]),
979 negate(tmp
, 1, 1, 1, 1), 0);
982 case TGSI_OPCODE_SUB
:
983 src0
= src_vector(p
, &inst
->Src
[0], fs
);
984 src1
= src_vector(p
, &inst
->Src
[1], fs
);
988 get_result_vector(p
, &inst
->Dst
[0]),
989 get_result_flags(inst
), 0,
990 src0
, negate(src1
, 1, 1, 1, 1), 0);
993 case TGSI_OPCODE_TEX
:
994 emit_tex(p
, inst
, T0_TEXLD
, fs
);
997 case TGSI_OPCODE_TRUNC
:
998 emit_simple_arith(p
, inst
, A0_TRC
, 1, fs
);
1001 case TGSI_OPCODE_TXB
:
1002 emit_tex(p
, inst
, T0_TEXLDB
, fs
);
1005 case TGSI_OPCODE_TXP
:
1006 emit_tex(p
, inst
, T0_TEXLDP
, fs
);
1009 case TGSI_OPCODE_XPD
:
1011 * result.x = src0.y * src1.z - src0.z * src1.y;
1012 * result.y = src0.z * src1.x - src0.x * src1.z;
1013 * result.z = src0.x * src1.y - src0.y * src1.x;
1016 src0
= src_vector(p
, &inst
->Src
[0], fs
);
1017 src1
= src_vector(p
, &inst
->Src
[1], fs
);
1018 tmp
= i915_get_utemp(p
);
1022 tmp
, A0_DEST_CHANNEL_ALL
, 0,
1023 swizzle(src0
, Z
, X
, Y
, ONE
),
1024 swizzle(src1
, Y
, Z
, X
, ONE
), 0);
1028 get_result_vector(p
, &inst
->Dst
[0]),
1029 get_result_flags(inst
), 0,
1030 swizzle(src0
, Y
, Z
, X
, ONE
),
1031 swizzle(src1
, Z
, X
, Y
, ONE
),
1032 negate(tmp
, 1, 1, 1, 0));
1036 i915_program_error(p
, "bad opcode %d", inst
->Instruction
.Opcode
);
1041 i915_release_utemps(p
);
1046 * Translate TGSI fragment shader into i915 hardware instructions.
1047 * \param p the translation state
1048 * \param tokens the TGSI token array
1051 i915_translate_instructions(struct i915_fp_compile
*p
,
1052 const struct tgsi_token
*tokens
,
1053 struct i915_fragment_shader
*fs
)
1055 struct i915_fragment_shader
*ifs
= p
->shader
;
1056 struct tgsi_parse_context parse
;
1058 tgsi_parse_init( &parse
, tokens
);
1060 while( !tgsi_parse_end_of_tokens( &parse
) ) {
1062 tgsi_parse_token( &parse
);
1064 switch( parse
.FullToken
.Token
.Type
) {
1065 case TGSI_TOKEN_TYPE_PROPERTY
:
1067 * We only support one cbuf, but we still need to ignore the property
1068 * correctly so we don't hit the assert at the end of the switch case.
1070 assert(parse
.FullToken
.FullProperty
.Property
.PropertyName
==
1071 TGSI_PROPERTY_FS_COLOR0_WRITES_ALL_CBUFS
);
1073 case TGSI_TOKEN_TYPE_DECLARATION
:
1074 if (parse
.FullToken
.FullDeclaration
.Declaration
.File
1075 == TGSI_FILE_CONSTANT
) {
1077 for (i
= parse
.FullToken
.FullDeclaration
.Range
.First
;
1078 i
<= parse
.FullToken
.FullDeclaration
.Range
.Last
;
1080 assert(ifs
->constant_flags
[i
] == 0x0);
1081 ifs
->constant_flags
[i
] = I915_CONSTFLAG_USER
;
1082 ifs
->num_constants
= MAX2(ifs
->num_constants
, i
+ 1);
1085 else if (parse
.FullToken
.FullDeclaration
.Declaration
.File
1086 == TGSI_FILE_TEMPORARY
) {
1088 for (i
= parse
.FullToken
.FullDeclaration
.Range
.First
;
1089 i
<= parse
.FullToken
.FullDeclaration
.Range
.Last
;
1091 assert(i
< I915_MAX_TEMPORARY
);
1092 /* XXX just use shader->info->file_mask[TGSI_FILE_TEMPORARY] */
1093 p
->temp_flag
|= (1 << i
); /* mark temp as used */
1098 case TGSI_TOKEN_TYPE_IMMEDIATE
:
1100 const struct tgsi_full_immediate
*imm
1101 = &parse
.FullToken
.FullImmediate
;
1102 const uint pos
= p
->num_immediates
++;
1104 assert( imm
->Immediate
.NrTokens
<= 4 + 1 );
1105 for (j
= 0; j
< imm
->Immediate
.NrTokens
- 1; j
++) {
1106 p
->immediates
[pos
][j
] = imm
->u
[j
].Float
;
1111 case TGSI_TOKEN_TYPE_INSTRUCTION
:
1112 if (p
->first_instruction
) {
1113 /* resolve location of immediates */
1115 for (i
= 0; i
< p
->num_immediates
; i
++) {
1116 /* find constant slot for this immediate */
1117 for (j
= 0; j
< I915_MAX_CONSTANT
; j
++) {
1118 if (ifs
->constant_flags
[j
] == 0x0) {
1119 memcpy(ifs
->constants
[j
],
1122 /*printf("immediate %d maps to const %d\n", i, j);*/
1123 ifs
->constant_flags
[j
] = 0xf; /* all four comps used */
1124 p
->immediates_map
[i
] = j
;
1125 ifs
->num_constants
= MAX2(ifs
->num_constants
, j
+ 1);
1131 p
->first_instruction
= FALSE
;
1134 i915_translate_instruction(p
, &parse
.FullToken
.FullInstruction
, fs
);
1143 tgsi_parse_free (&parse
);
1147 static struct i915_fp_compile
*
1148 i915_init_compile(struct i915_context
*i915
,
1149 struct i915_fragment_shader
*ifs
)
1151 struct i915_fp_compile
*p
= CALLOC_STRUCT(i915_fp_compile
);
1156 /* Put new constants at end of const buffer, growing downward.
1157 * The problem is we don't know how many user-defined constants might
1158 * be specified with pipe->set_constant_buffer().
1159 * Should pre-scan the user's program to determine the highest-numbered
1160 * constant referenced.
1162 ifs
->num_constants
= 0;
1163 memset(ifs
->constant_flags
, 0, sizeof(ifs
->constant_flags
));
1165 for (i
= 0; i
< I915_TEX_UNITS
; i
++)
1166 ifs
->generic_mapping
[i
] = -1;
1168 p
->first_instruction
= TRUE
;
1170 p
->nr_tex_indirect
= 1; /* correct? */
1173 p
->nr_decl_insn
= 0;
1175 p
->csr
= p
->program
;
1176 p
->decl
= p
->declarations
;
1179 p
->temp_flag
= ~0x0 << I915_MAX_TEMPORARY
;
1180 p
->utemp_flag
= ~0x7;
1182 /* initialize the first program word */
1183 *(p
->decl
++) = _3DSTATE_PIXEL_SHADER_PROGRAM
;
1189 /* Copy compile results to the fragment program struct and destroy the
1190 * compilation context.
1193 i915_fini_compile(struct i915_context
*i915
, struct i915_fp_compile
*p
)
1195 struct i915_fragment_shader
*ifs
= p
->shader
;
1196 unsigned long program_size
= (unsigned long) (p
->csr
- p
->program
);
1197 unsigned long decl_size
= (unsigned long) (p
->decl
- p
->declarations
);
1199 if (p
->nr_tex_indirect
> I915_MAX_TEX_INDIRECT
)
1200 i915_program_error(p
, "Exceeded max nr indirect texture lookups");
1202 if (p
->nr_tex_insn
> I915_MAX_TEX_INSN
)
1203 i915_program_error(p
, "Exceeded max TEX instructions");
1205 if (p
->nr_alu_insn
> I915_MAX_ALU_INSN
)
1206 i915_program_error(p
, "Exceeded max ALU instructions");
1208 if (p
->nr_decl_insn
> I915_MAX_DECL_INSN
)
1209 i915_program_error(p
, "Exceeded max DECL instructions");
1212 p
->NumNativeInstructions
= 0;
1213 p
->NumNativeAluInstructions
= 0;
1214 p
->NumNativeTexInstructions
= 0;
1215 p
->NumNativeTexIndirections
= 0;
1217 i915_use_passthrough_shader(ifs
);
1220 p
->NumNativeInstructions
1221 = p
->nr_alu_insn
+ p
->nr_tex_insn
+ p
->nr_decl_insn
;
1222 p
->NumNativeAluInstructions
= p
->nr_alu_insn
;
1223 p
->NumNativeTexInstructions
= p
->nr_tex_insn
;
1224 p
->NumNativeTexIndirections
= p
->nr_tex_indirect
;
1226 /* patch in the program length */
1227 p
->declarations
[0] |= program_size
+ decl_size
- 2;
1229 /* Copy compilation results to fragment program struct:
1231 assert(!ifs
->program
);
1233 = (uint
*) MALLOC((program_size
+ decl_size
) * sizeof(uint
));
1235 ifs
->program_len
= program_size
+ decl_size
;
1237 memcpy(ifs
->program
,
1239 decl_size
* sizeof(uint
));
1241 memcpy(ifs
->program
+ decl_size
,
1243 program_size
* sizeof(uint
));
1247 /* Release the compilation struct:
1257 * Rather than trying to intercept and jiggle depth writes during
1258 * emit, just move the value into its correct position at the end of
1262 i915_fixup_depth_write(struct i915_fp_compile
*p
)
1264 /* XXX assuming pos/depth is always in output[0] */
1265 if (p
->shader
->info
.output_semantic_name
[0] == TGSI_SEMANTIC_POSITION
) {
1266 const uint depth
= UREG(REG_TYPE_OD
, 0);
1269 A0_MOV
, /* opcode */
1270 depth
, /* dest reg */
1271 A0_DEST_CHANNEL_W
, /* write mask */
1273 swizzle(depth
, X
, Y
, Z
, Z
), /* src0 */
1274 0, 0 /* src1, src2 */);
1280 i915_translate_fragment_program( struct i915_context
*i915
,
1281 struct i915_fragment_shader
*fs
)
1283 struct i915_fp_compile
*p
;
1284 const struct tgsi_token
*tokens
= fs
->state
.tokens
;
1287 tgsi_dump(tokens
, 0);
1290 /* hw doesn't seem to like empty frag programs, even when the depth write
1291 * fixup gets emitted below - may that one is fishy, too? */
1292 if (fs
->info
.num_instructions
== 1) {
1293 i915_use_passthrough_shader(fs
);
1298 p
= i915_init_compile(i915
, fs
);
1300 i915_translate_instructions(p
, tokens
, fs
);
1301 i915_fixup_depth_write(p
);
1303 i915_fini_compile(i915
, p
);