1 /**************************************************************************
3 * Copyright 2011 The Chromium OS authors.
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 GOOGLE 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 **************************************************************************/
29 #include "i915_context.h"
32 #include "pipe/p_shader_tokens.h"
33 #include "util/u_math.h"
34 #include "util/u_memory.h"
35 #include "util/u_string.h"
36 #include "tgsi/tgsi_parse.h"
37 #include "tgsi/tgsi_dump.h"
38 #include "tgsi/tgsi_exec.h"
40 struct i915_optimize_context
42 int first_write
[TGSI_EXEC_NUM_TEMPS
];
43 int last_read
[TGSI_EXEC_NUM_TEMPS
];
46 static boolean
same_src_dst_reg(struct i915_full_src_register
*s1
, struct i915_full_dst_register
*d1
)
48 return (s1
->Register
.File
== d1
->Register
.File
&&
49 s1
->Register
.Indirect
== d1
->Register
.Indirect
&&
50 s1
->Register
.Dimension
== d1
->Register
.Dimension
&&
51 s1
->Register
.Index
== d1
->Register
.Index
);
54 static boolean
same_dst_reg(struct i915_full_dst_register
*d1
, struct i915_full_dst_register
*d2
)
56 return (d1
->Register
.File
== d2
->Register
.File
&&
57 d1
->Register
.Indirect
== d2
->Register
.Indirect
&&
58 d1
->Register
.Dimension
== d2
->Register
.Dimension
&&
59 d1
->Register
.Index
== d2
->Register
.Index
);
62 static boolean
same_src_reg(struct i915_full_src_register
*d1
, struct i915_full_src_register
*d2
)
64 return (d1
->Register
.File
== d2
->Register
.File
&&
65 d1
->Register
.Indirect
== d2
->Register
.Indirect
&&
66 d1
->Register
.Dimension
== d2
->Register
.Dimension
&&
67 d1
->Register
.Index
== d2
->Register
.Index
&&
68 d1
->Register
.Absolute
== d2
->Register
.Absolute
&&
69 d1
->Register
.Negate
== d2
->Register
.Negate
);
75 unsigned neutral_element
;
78 } op_table
[TGSI_OPCODE_LAST
] = {
79 [ TGSI_OPCODE_ADD
] = { false, true, TGSI_SWIZZLE_ZERO
, 1, 2 },
80 [ TGSI_OPCODE_CEIL
] = { false, false, 0, 1, 1 },
81 [ TGSI_OPCODE_CMP
] = { false, false, 0, 1, 2 },
82 [ TGSI_OPCODE_COS
] = { false, false, 0, 1, 1 },
83 [ TGSI_OPCODE_DDX
] = { false, false, 0, 1, 0 },
84 [ TGSI_OPCODE_DDY
] = { false, false, 0, 1, 0 },
85 [ TGSI_OPCODE_DP2
] = { false, true, TGSI_SWIZZLE_ONE
, 1, 2 },
86 [ TGSI_OPCODE_DP3
] = { false, true, TGSI_SWIZZLE_ONE
, 1, 2 },
87 [ TGSI_OPCODE_DP4
] = { false, true, TGSI_SWIZZLE_ONE
, 1, 2 },
88 [ TGSI_OPCODE_DPH
] = { false, false, 0, 1, 2 },
89 [ TGSI_OPCODE_DST
] = { false, false, 0, 1, 2 },
90 [ TGSI_OPCODE_END
] = { false, false, 0, 0, 0 },
91 [ TGSI_OPCODE_EX2
] = { false, false, 0, 1, 1 },
92 [ TGSI_OPCODE_FLR
] = { false, false, 0, 1, 1 },
93 [ TGSI_OPCODE_FRC
] = { false, false, 0, 1, 1 },
94 [ TGSI_OPCODE_KILL_IF
] = { false, false, 0, 0, 1 },
95 [ TGSI_OPCODE_KILL
] = { false, false, 0, 0, 0 },
96 [ TGSI_OPCODE_LG2
] = { false, false, 0, 1, 1 },
97 [ TGSI_OPCODE_LIT
] = { false, false, 0, 1, 1 },
98 [ TGSI_OPCODE_LRP
] = { false, false, 0, 1, 3 },
99 [ TGSI_OPCODE_MAX
] = { false, false, 0, 1, 2 },
100 [ TGSI_OPCODE_MAD
] = { false, false, 0, 1, 3 },
101 [ TGSI_OPCODE_MIN
] = { false, false, 0, 1, 2 },
102 [ TGSI_OPCODE_MOV
] = { false, false, 0, 1, 1 },
103 [ TGSI_OPCODE_MUL
] = { false, true, TGSI_SWIZZLE_ONE
, 1, 2 },
104 [ TGSI_OPCODE_NOP
] = { false, false, 0, 0, 0 },
105 [ TGSI_OPCODE_POW
] = { false, false, 0, 1, 2 },
106 [ TGSI_OPCODE_RCP
] = { false, false, 0, 1, 1 },
107 [ TGSI_OPCODE_RET
] = { false, false, 0, 0, 0 },
108 [ TGSI_OPCODE_RSQ
] = { false, false, 0, 1, 1 },
109 [ TGSI_OPCODE_SCS
] = { false, false, 0, 1, 1 },
110 [ TGSI_OPCODE_SEQ
] = { false, false, 0, 1, 2 },
111 [ TGSI_OPCODE_SGE
] = { false, false, 0, 1, 2 },
112 [ TGSI_OPCODE_SGT
] = { false, false, 0, 1, 2 },
113 [ TGSI_OPCODE_SIN
] = { false, false, 0, 1, 1 },
114 [ TGSI_OPCODE_SLE
] = { false, false, 0, 1, 2 },
115 [ TGSI_OPCODE_SLT
] = { false, false, 0, 1, 2 },
116 [ TGSI_OPCODE_SNE
] = { false, false, 0, 1, 2 },
117 [ TGSI_OPCODE_SSG
] = { false, false, 0, 1, 1 },
118 [ TGSI_OPCODE_TEX
] = { true, false, 0, 1, 2 },
119 [ TGSI_OPCODE_TRUNC
] = { false, false, 0, 1, 1 },
120 [ TGSI_OPCODE_TXB
] = { true, false, 0, 1, 2 },
121 [ TGSI_OPCODE_TXP
] = { true, false, 0, 1, 2 },
122 [ TGSI_OPCODE_XPD
] = { false, false, 0, 1, 2 },
125 static boolean
op_has_dst(unsigned opcode
)
127 return (op_table
[opcode
].num_dst
> 0);
130 static int op_num_dst(unsigned opcode
)
132 return op_table
[opcode
].num_dst
;
135 static int op_num_src(unsigned opcode
)
137 return op_table
[opcode
].num_src
;
140 static boolean
op_commutes(unsigned opcode
)
142 return op_table
[opcode
].commutes
;
145 static unsigned mask_for_unswizzled(int num_components
)
148 switch(num_components
)
151 mask
|= TGSI_WRITEMASK_W
;
153 mask
|= TGSI_WRITEMASK_Z
;
155 mask
|= TGSI_WRITEMASK_Y
;
157 mask
|= TGSI_WRITEMASK_X
;
162 static boolean
is_unswizzled(struct i915_full_src_register
*r
,
165 if ( write_mask
& TGSI_WRITEMASK_X
&& r
->Register
.SwizzleX
!= TGSI_SWIZZLE_X
)
167 if ( write_mask
& TGSI_WRITEMASK_Y
&& r
->Register
.SwizzleY
!= TGSI_SWIZZLE_Y
)
169 if ( write_mask
& TGSI_WRITEMASK_Z
&& r
->Register
.SwizzleZ
!= TGSI_SWIZZLE_Z
)
171 if ( write_mask
& TGSI_WRITEMASK_W
&& r
->Register
.SwizzleW
!= TGSI_SWIZZLE_W
)
176 static boolean
op_is_texture(unsigned opcode
)
178 return op_table
[opcode
].is_texture
;
181 static unsigned op_neutral_element(unsigned opcode
)
183 unsigned ne
= op_table
[opcode
].neutral_element
;
185 debug_printf("No neutral element for opcode %d\n",opcode
);
186 ne
= TGSI_SWIZZLE_ZERO
;
192 * Sets the swizzle to the neutral element for the operation for the bits
193 * of writemask which are set, swizzle to identity otherwise.
195 static void set_neutral_element_swizzle(struct i915_full_src_register
*r
,
199 if ( write_mask
& TGSI_WRITEMASK_X
)
200 r
->Register
.SwizzleX
= neutral
;
202 r
->Register
.SwizzleX
= TGSI_SWIZZLE_X
;
204 if ( write_mask
& TGSI_WRITEMASK_Y
)
205 r
->Register
.SwizzleY
= neutral
;
207 r
->Register
.SwizzleY
= TGSI_SWIZZLE_Y
;
209 if ( write_mask
& TGSI_WRITEMASK_Z
)
210 r
->Register
.SwizzleZ
= neutral
;
212 r
->Register
.SwizzleZ
= TGSI_SWIZZLE_Z
;
214 if ( write_mask
& TGSI_WRITEMASK_W
)
215 r
->Register
.SwizzleW
= neutral
;
217 r
->Register
.SwizzleW
= TGSI_SWIZZLE_W
;
220 static void copy_src_reg(struct i915_src_register
*o
, const struct tgsi_src_register
*i
)
223 o
->Indirect
= i
->Indirect
;
224 o
->Dimension
= i
->Dimension
;
226 o
->SwizzleX
= i
->SwizzleX
;
227 o
->SwizzleY
= i
->SwizzleY
;
228 o
->SwizzleZ
= i
->SwizzleZ
;
229 o
->SwizzleW
= i
->SwizzleW
;
230 o
->Absolute
= i
->Absolute
;
231 o
->Negate
= i
->Negate
;
234 static void copy_dst_reg(struct i915_dst_register
*o
, const struct tgsi_dst_register
*i
)
237 o
->WriteMask
= i
->WriteMask
;
238 o
->Indirect
= i
->Indirect
;
239 o
->Dimension
= i
->Dimension
;
243 static void copy_instruction(struct i915_full_instruction
*o
, const struct tgsi_full_instruction
*i
)
245 memcpy(&o
->Instruction
, &i
->Instruction
, sizeof(o
->Instruction
));
246 memcpy(&o
->Texture
, &i
->Texture
, sizeof(o
->Texture
));
248 copy_dst_reg(&o
->Dst
[0].Register
, &i
->Dst
[0].Register
);
250 copy_src_reg(&o
->Src
[0].Register
, &i
->Src
[0].Register
);
251 copy_src_reg(&o
->Src
[1].Register
, &i
->Src
[1].Register
);
252 copy_src_reg(&o
->Src
[2].Register
, &i
->Src
[2].Register
);
255 static void copy_token(union i915_full_token
*o
, union tgsi_full_token
*i
)
257 if (i
->Token
.Type
!= TGSI_TOKEN_TYPE_INSTRUCTION
)
258 memcpy(o
, i
, sizeof(*o
));
260 copy_instruction(&o
->FullInstruction
, &i
->FullInstruction
);
264 static void liveness_mark_written(struct i915_optimize_context
*ctx
,
265 struct i915_full_dst_register
*dst_reg
,
269 if (dst_reg
->Register
.File
== TGSI_FILE_TEMPORARY
) {
270 dst_reg_index
= dst_reg
->Register
.Index
;
271 assert(dst_reg_index
< TGSI_EXEC_NUM_TEMPS
);
272 /* dead -> live transition */
273 if (ctx
->first_write
[dst_reg_index
] != -1)
274 ctx
->first_write
[dst_reg_index
] = pos
;
278 static void liveness_mark_read(struct i915_optimize_context
*ctx
,
279 struct i915_full_src_register
*src_reg
,
283 if (src_reg
->Register
.File
== TGSI_FILE_TEMPORARY
) {
284 src_reg_index
= src_reg
->Register
.Index
;
285 assert(src_reg_index
< TGSI_EXEC_NUM_TEMPS
);
286 /* live -> dead transition */
287 if (ctx
->last_read
[src_reg_index
] != -1)
288 ctx
->last_read
[src_reg_index
] = pos
;
292 static void liveness_analysis(struct i915_optimize_context
*ctx
,
293 struct i915_token_list
*tokens
)
295 struct i915_full_dst_register
*dst_reg
;
296 struct i915_full_src_register
*src_reg
;
297 union i915_full_token
*current
;
299 int num_dst
, num_src
;
302 for(i
= 0; i
< TGSI_EXEC_NUM_TEMPS
; i
++)
304 ctx
->first_write
[i
] = -1;
305 ctx
->last_read
[i
] = -1;
308 for(i
= 0; i
< tokens
->NumTokens
; i
++)
310 current
= &tokens
->Tokens
[i
];
312 if (current
->Token
.Type
!= TGSI_TOKEN_TYPE_INSTRUCTION
)
315 opcode
= current
->FullInstruction
.Instruction
.Opcode
;
316 num_dst
= op_num_dst(opcode
);
321 dst_reg
= ¤t
->FullInstruction
.Dst
[0];
322 liveness_mark_written(ctx
, dst_reg
, i
);
326 debug_printf("Op %d has %d dst regs\n", opcode
, num_dst
);
331 for(i
= tokens
->NumTokens
- 1; i
>= 0; i
--)
333 current
= &tokens
->Tokens
[i
];
335 if (current
->Token
.Type
!= TGSI_TOKEN_TYPE_INSTRUCTION
)
338 opcode
= current
->FullInstruction
.Instruction
.Opcode
;
339 num_src
= op_num_src(opcode
);
344 src_reg
= ¤t
->FullInstruction
.Src
[2];
345 liveness_mark_read(ctx
, src_reg
, i
);
347 src_reg
= ¤t
->FullInstruction
.Src
[1];
348 liveness_mark_read(ctx
, src_reg
, i
);
350 src_reg
= ¤t
->FullInstruction
.Src
[0];
351 liveness_mark_read(ctx
, src_reg
, i
);
355 debug_printf("Op %d has %d src regs\n", opcode
, num_src
);
361 static int unused_from(struct i915_optimize_context
*ctx
, struct i915_full_dst_register
*dst_reg
, int from
)
363 int dst_reg_index
= dst_reg
->Register
.Index
;
364 assert(dst_reg_index
< TGSI_EXEC_NUM_TEMPS
);
365 return (from
>= ctx
->last_read
[dst_reg_index
]);
368 /* Returns a mask with the components used for a texture access instruction */
369 static unsigned i915_tex_mask(union i915_full_token
*instr
)
373 /* Get the number of coords */
374 mask
= mask_for_unswizzled(i915_num_coords(instr
->FullInstruction
.Texture
.Texture
));
376 /* Add the W component if projective */
377 if (instr
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_TXP
)
378 mask
|= TGSI_WRITEMASK_W
;
383 static boolean
target_is_texture2d(uint tex
)
386 case TGSI_TEXTURE_2D
:
387 case TGSI_TEXTURE_RECT
:
396 * Optimize away useless indirect texture reads:
397 * MOV TEMP[0].xy, IN[0].xyyy
398 * TEX TEMP[1], TEMP[0], SAMP[0], 2D
400 * TEX TEMP[1], IN[0], SAMP[0], 2D
402 * note: this only seems to work on 2D/RECT textures, but not SHAADOW2D/1D/..
404 static void i915_fpc_optimize_mov_before_tex(struct i915_optimize_context
*ctx
,
405 struct i915_token_list
*tokens
,
408 union i915_full_token
*current
= &tokens
->Tokens
[index
- 1];
409 union i915_full_token
*next
= &tokens
->Tokens
[index
];
411 if ( current
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
412 next
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
413 current
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
414 op_is_texture(next
->FullInstruction
.Instruction
.Opcode
) &&
415 target_is_texture2d(next
->FullInstruction
.Texture
.Texture
) &&
416 same_src_dst_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Dst
[0]) &&
417 is_unswizzled(¤t
->FullInstruction
.Src
[0], i915_tex_mask(next
)) &&
418 unused_from(ctx
, ¤t
->FullInstruction
.Dst
[0], index
))
420 memcpy(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Src
[0], sizeof(struct i915_src_register
));
421 current
->FullInstruction
.Instruction
.Opcode
= TGSI_OPCODE_NOP
;
426 * Optimize away things like:
427 * MOV TEMP[0].xy, TEMP[1].xyyy (first write for TEMP[0])
428 * MOV TEMP[0].w, TEMP[1].wwww (last write for TEMP[0])
431 * MOV OUT[0].xyw, TEMP[1].xyww
433 static void i915_fpc_optimize_mov_after_mov(union i915_full_token
*current
, union i915_full_token
*next
)
435 struct i915_full_src_register
*src_reg1
, *src_reg2
;
436 struct i915_full_dst_register
*dst_reg1
, *dst_reg2
;
437 unsigned swizzle_x
, swizzle_y
, swizzle_z
, swizzle_w
;
439 if ( current
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
440 next
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
441 current
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
442 next
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
443 current
->FullInstruction
.Instruction
.Saturate
== next
->FullInstruction
.Instruction
.Saturate
&&
444 same_dst_reg(&next
->FullInstruction
.Dst
[0], ¤t
->FullInstruction
.Dst
[0]) &&
445 same_src_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Src
[0]) &&
446 !same_src_dst_reg(¤t
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Dst
[0]) )
448 src_reg1
= ¤t
->FullInstruction
.Src
[0];
449 dst_reg1
= ¤t
->FullInstruction
.Dst
[0];
450 src_reg2
= &next
->FullInstruction
.Src
[0];
451 dst_reg2
= &next
->FullInstruction
.Dst
[0];
453 /* Start with swizzles from the first mov */
454 swizzle_x
= src_reg1
->Register
.SwizzleX
;
455 swizzle_y
= src_reg1
->Register
.SwizzleY
;
456 swizzle_z
= src_reg1
->Register
.SwizzleZ
;
457 swizzle_w
= src_reg1
->Register
.SwizzleW
;
459 /* Pile the second mov on top */
460 if (dst_reg2
->Register
.WriteMask
& TGSI_WRITEMASK_X
)
461 swizzle_x
= src_reg2
->Register
.SwizzleX
;
462 if (dst_reg2
->Register
.WriteMask
& TGSI_WRITEMASK_Y
)
463 swizzle_y
= src_reg2
->Register
.SwizzleY
;
464 if (dst_reg2
->Register
.WriteMask
& TGSI_WRITEMASK_Z
)
465 swizzle_z
= src_reg2
->Register
.SwizzleZ
;
466 if (dst_reg2
->Register
.WriteMask
& TGSI_WRITEMASK_W
)
467 swizzle_w
= src_reg2
->Register
.SwizzleW
;
469 dst_reg2
->Register
.WriteMask
|= dst_reg1
->Register
.WriteMask
;
470 src_reg2
->Register
.SwizzleX
= swizzle_x
;
471 src_reg2
->Register
.SwizzleY
= swizzle_y
;
472 src_reg2
->Register
.SwizzleZ
= swizzle_z
;
473 src_reg2
->Register
.SwizzleW
= swizzle_w
;
475 current
->FullInstruction
.Instruction
.Opcode
= TGSI_OPCODE_NOP
;
482 * Optimize away things like:
483 * MUL OUT[0].xyz, TEMP[1], TEMP[2]
484 * MOV OUT[0].w, TEMP[2]
486 * MUL OUT[0].xyzw, TEMP[1].xyz1, TEMP[2]
487 * This is useful for optimizing texenv.
489 static void i915_fpc_optimize_mov_after_alu(union i915_full_token
*current
, union i915_full_token
*next
)
491 if ( current
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
492 next
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
493 op_commutes(current
->FullInstruction
.Instruction
.Opcode
) &&
494 current
->FullInstruction
.Instruction
.Saturate
== next
->FullInstruction
.Instruction
.Saturate
&&
495 next
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
496 same_dst_reg(&next
->FullInstruction
.Dst
[0], ¤t
->FullInstruction
.Dst
[0]) &&
497 same_src_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Src
[1]) &&
498 !same_src_dst_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Dst
[0]) &&
499 is_unswizzled(¤t
->FullInstruction
.Src
[0], current
->FullInstruction
.Dst
[0].Register
.WriteMask
) &&
500 is_unswizzled(¤t
->FullInstruction
.Src
[1], current
->FullInstruction
.Dst
[0].Register
.WriteMask
) &&
501 is_unswizzled(&next
->FullInstruction
.Src
[0], next
->FullInstruction
.Dst
[0].Register
.WriteMask
) )
503 next
->FullInstruction
.Instruction
.Opcode
= TGSI_OPCODE_NOP
;
505 set_neutral_element_swizzle(¤t
->FullInstruction
.Src
[1], 0, 0);
506 set_neutral_element_swizzle(¤t
->FullInstruction
.Src
[0],
507 next
->FullInstruction
.Dst
[0].Register
.WriteMask
,
508 op_neutral_element(current
->FullInstruction
.Instruction
.Opcode
));
510 current
->FullInstruction
.Dst
[0].Register
.WriteMask
= current
->FullInstruction
.Dst
[0].Register
.WriteMask
|
511 next
->FullInstruction
.Dst
[0].Register
.WriteMask
;
515 if ( current
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
516 next
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
517 op_commutes(current
->FullInstruction
.Instruction
.Opcode
) &&
518 current
->FullInstruction
.Instruction
.Saturate
== next
->FullInstruction
.Instruction
.Saturate
&&
519 next
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
520 same_dst_reg(&next
->FullInstruction
.Dst
[0], ¤t
->FullInstruction
.Dst
[0]) &&
521 same_src_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Src
[0]) &&
522 !same_src_dst_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Dst
[0]) &&
523 is_unswizzled(¤t
->FullInstruction
.Src
[0], current
->FullInstruction
.Dst
[0].Register
.WriteMask
) &&
524 is_unswizzled(¤t
->FullInstruction
.Src
[1], current
->FullInstruction
.Dst
[0].Register
.WriteMask
) &&
525 is_unswizzled(&next
->FullInstruction
.Src
[0], next
->FullInstruction
.Dst
[0].Register
.WriteMask
) )
527 next
->FullInstruction
.Instruction
.Opcode
= TGSI_OPCODE_NOP
;
529 set_neutral_element_swizzle(¤t
->FullInstruction
.Src
[0], 0, 0);
530 set_neutral_element_swizzle(¤t
->FullInstruction
.Src
[1],
531 next
->FullInstruction
.Dst
[0].Register
.WriteMask
,
532 op_neutral_element(current
->FullInstruction
.Instruction
.Opcode
));
534 current
->FullInstruction
.Dst
[0].Register
.WriteMask
= current
->FullInstruction
.Dst
[0].Register
.WriteMask
|
535 next
->FullInstruction
.Dst
[0].Register
.WriteMask
;
541 * Optimize away things like:
542 * MOV TEMP[0].xyz TEMP[0].xyzx
546 static boolean
i915_fpc_useless_mov(union tgsi_full_token
*tgsi_current
)
548 union i915_full_token current
;
549 copy_token(¤t
, tgsi_current
);
550 if ( current
.Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
551 current
.FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
552 op_has_dst(current
.FullInstruction
.Instruction
.Opcode
) &&
553 !current
.FullInstruction
.Instruction
.Saturate
&&
554 current
.FullInstruction
.Src
[0].Register
.Absolute
== 0 &&
555 current
.FullInstruction
.Src
[0].Register
.Negate
== 0 &&
556 is_unswizzled(¤t
.FullInstruction
.Src
[0], current
.FullInstruction
.Dst
[0].Register
.WriteMask
) &&
557 same_src_dst_reg(¤t
.FullInstruction
.Src
[0], ¤t
.FullInstruction
.Dst
[0]) )
565 * Optimize away things like:
566 * *** TEMP[0], TEMP[1], TEMP[2]
569 * *** OUT[0], TEMP[1], TEMP[2]
571 static void i915_fpc_optimize_useless_mov_after_inst(struct i915_optimize_context
*ctx
,
572 struct i915_token_list
*tokens
,
575 union i915_full_token
*current
= &tokens
->Tokens
[index
- 1];
576 union i915_full_token
*next
= &tokens
->Tokens
[index
];
578 // &out_tokens->Tokens[i-1], &out_tokens->Tokens[i]);
579 if ( current
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
580 next
->Token
.Type
== TGSI_TOKEN_TYPE_INSTRUCTION
&&
581 next
->FullInstruction
.Instruction
.Opcode
== TGSI_OPCODE_MOV
&&
582 op_has_dst(current
->FullInstruction
.Instruction
.Opcode
) &&
583 !next
->FullInstruction
.Instruction
.Saturate
&&
584 next
->FullInstruction
.Src
[0].Register
.Absolute
== 0 &&
585 next
->FullInstruction
.Src
[0].Register
.Negate
== 0 &&
586 unused_from(ctx
, ¤t
->FullInstruction
.Dst
[0], index
) &&
587 current
->FullInstruction
.Dst
[0].Register
.WriteMask
== TGSI_WRITEMASK_XYZW
&&
588 is_unswizzled(&next
->FullInstruction
.Src
[0], next
->FullInstruction
.Dst
[0].Register
.WriteMask
) &&
589 current
->FullInstruction
.Dst
[0].Register
.WriteMask
== next
->FullInstruction
.Dst
[0].Register
.WriteMask
&&
590 same_src_dst_reg(&next
->FullInstruction
.Src
[0], ¤t
->FullInstruction
.Dst
[0]) )
592 next
->FullInstruction
.Instruction
.Opcode
= TGSI_OPCODE_NOP
;
594 current
->FullInstruction
.Dst
[0] = next
->FullInstruction
.Dst
[0];
599 struct i915_token_list
* i915_optimize(const struct tgsi_token
*tokens
)
601 struct i915_token_list
*out_tokens
= MALLOC(sizeof(struct i915_token_list
));
602 struct tgsi_parse_context parse
;
603 struct i915_optimize_context
*ctx
;
606 ctx
= malloc(sizeof(*ctx
));
608 out_tokens
->NumTokens
= 0;
610 /* Count the tokens */
611 tgsi_parse_init( &parse
, tokens
);
612 while( !tgsi_parse_end_of_tokens( &parse
) ) {
613 tgsi_parse_token( &parse
);
614 out_tokens
->NumTokens
++;
616 tgsi_parse_free (&parse
);
618 /* Allocate our tokens */
619 out_tokens
->Tokens
= MALLOC(sizeof(union i915_full_token
) * out_tokens
->NumTokens
);
621 tgsi_parse_init( &parse
, tokens
);
622 while( !tgsi_parse_end_of_tokens( &parse
) ) {
623 tgsi_parse_token( &parse
);
625 if (i915_fpc_useless_mov(&parse
.FullToken
)) {
626 out_tokens
->NumTokens
--;
630 copy_token(&out_tokens
->Tokens
[i
] , &parse
.FullToken
);
634 tgsi_parse_free (&parse
);
636 liveness_analysis(ctx
, out_tokens
);
639 while( i
< out_tokens
->NumTokens
) {
640 i915_fpc_optimize_useless_mov_after_inst(ctx
, out_tokens
, i
);
641 i915_fpc_optimize_mov_after_alu(&out_tokens
->Tokens
[i
-1], &out_tokens
->Tokens
[i
]);
642 i915_fpc_optimize_mov_after_mov(&out_tokens
->Tokens
[i
-1], &out_tokens
->Tokens
[i
]);
643 i915_fpc_optimize_mov_before_tex(ctx
, out_tokens
, i
);
652 void i915_optimize_free(struct i915_token_list
*tokens
)
654 free(tokens
->Tokens
);