r300/compiler: r500 hw support for break and continue in loops.
[mesa.git] / src / mesa / drivers / dri / r300 / compiler / r500_fragprog.c
1 /*
2 * Copyright 2008 Corbin Simpson <MostAwesomeDude@gmail.com>
3 *
4 * All Rights Reserved.
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining
7 * a 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, sublicense, 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:
13 *
14 * The above copyright notice and this permission notice (including the
15 * next paragraph) shall be included in all copies or substantial
16 * portions of the Software.
17 *
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
19 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
21 * IN NO EVENT SHALL THE COPYRIGHT OWNER(S) AND/OR ITS SUPPLIERS BE
22 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
23 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
24 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
25 *
26 */
27
28 #include "r500_fragprog.h"
29
30 #include <stdio.h>
31
32 #include "../r300_reg.h"
33 #include "radeon_emulate_loops.h"
34
35 /**
36 * Rewrite IF instructions to use the ALU result special register.
37 */
38 int r500_transform_IF(
39 struct radeon_compiler * c,
40 struct rc_instruction * inst,
41 void* data)
42 {
43 if (inst->U.I.Opcode != RC_OPCODE_IF)
44 return 0;
45
46 struct rc_instruction * inst_mov = rc_insert_new_instruction(c, inst->Prev);
47 inst_mov->U.I.Opcode = RC_OPCODE_MOV;
48 inst_mov->U.I.DstReg.WriteMask = 0;
49 inst_mov->U.I.WriteALUResult = RC_ALURESULT_W;
50 inst_mov->U.I.ALUResultCompare = RC_COMPARE_FUNC_NOTEQUAL;
51 inst_mov->U.I.SrcReg[0] = inst->U.I.SrcReg[0];
52 inst_mov->U.I.SrcReg[0].Swizzle = combine_swizzles4(inst_mov->U.I.SrcReg[0].Swizzle,
53 RC_SWIZZLE_UNUSED, RC_SWIZZLE_UNUSED, RC_SWIZZLE_UNUSED, RC_SWIZZLE_X);
54
55 inst->U.I.SrcReg[0].File = RC_FILE_SPECIAL;
56 inst->U.I.SrcReg[0].Index = RC_SPECIAL_ALU_RESULT;
57 inst->U.I.SrcReg[0].Swizzle = RC_SWIZZLE_XYZW;
58 inst->U.I.SrcReg[0].Negate = 0;
59
60 return 1;
61 }
62
63 static int r500_swizzle_is_native(rc_opcode opcode, struct rc_src_register reg)
64 {
65 unsigned int relevant;
66 int i;
67
68 if (opcode == RC_OPCODE_TEX ||
69 opcode == RC_OPCODE_TXB ||
70 opcode == RC_OPCODE_TXP ||
71 opcode == RC_OPCODE_KIL) {
72 if (reg.Abs)
73 return 0;
74
75 if (opcode == RC_OPCODE_KIL && (reg.Swizzle != RC_SWIZZLE_XYZW || reg.Negate != RC_MASK_NONE))
76 return 0;
77
78 if (reg.Negate)
79 reg.Negate ^= RC_MASK_XYZW;
80
81 for(i = 0; i < 4; ++i) {
82 unsigned int swz = GET_SWZ(reg.Swizzle, i);
83 if (swz == RC_SWIZZLE_UNUSED) {
84 reg.Negate &= ~(1 << i);
85 continue;
86 }
87 if (swz >= 4)
88 return 0;
89 }
90
91 if (reg.Negate)
92 return 0;
93
94 return 1;
95 } else if (opcode == RC_OPCODE_DDX || opcode == RC_OPCODE_DDY) {
96 /* DDX/MDH and DDY/MDV explicitly ignore incoming swizzles;
97 * if it doesn't fit perfectly into a .xyzw case... */
98 if (reg.Swizzle == RC_SWIZZLE_XYZW && !reg.Abs && !reg.Negate)
99 return 1;
100
101 return 0;
102 } else {
103 /* ALU instructions support almost everything */
104 if (reg.Abs)
105 return 1;
106
107 relevant = 0;
108 for(i = 0; i < 3; ++i) {
109 unsigned int swz = GET_SWZ(reg.Swizzle, i);
110 if (swz != RC_SWIZZLE_UNUSED && swz != RC_SWIZZLE_ZERO)
111 relevant |= 1 << i;
112 }
113 if ((reg.Negate & relevant) && ((reg.Negate & relevant) != relevant))
114 return 0;
115
116 return 1;
117 }
118 }
119
120 /**
121 * Split source register access.
122 *
123 * The only thing we *cannot* do in an ALU instruction is per-component
124 * negation.
125 */
126 static void r500_swizzle_split(struct rc_src_register src, unsigned int usemask,
127 struct rc_swizzle_split * split)
128 {
129 unsigned int negatebase[2] = { 0, 0 };
130 int i;
131
132 for(i = 0; i < 4; ++i) {
133 unsigned int swz = GET_SWZ(src.Swizzle, i);
134 if (swz == RC_SWIZZLE_UNUSED || !GET_BIT(usemask, i))
135 continue;
136 negatebase[GET_BIT(src.Negate, i)] |= 1 << i;
137 }
138
139 split->NumPhases = 0;
140
141 for(i = 0; i <= 1; ++i) {
142 if (!negatebase[i])
143 continue;
144
145 split->Phase[split->NumPhases++] = negatebase[i];
146 }
147 }
148
149 struct rc_swizzle_caps r500_swizzle_caps = {
150 .IsNative = r500_swizzle_is_native,
151 .Split = r500_swizzle_split
152 };
153
154 static char *toswiz(int swiz_val) {
155 switch(swiz_val) {
156 case 0: return "R";
157 case 1: return "G";
158 case 2: return "B";
159 case 3: return "A";
160 case 4: return "0";
161 case 5: return "H";
162 case 6: return "1";
163 case 7: return "U";
164 }
165 return NULL;
166 }
167
168 static char *toop(int op_val)
169 {
170 char *str = NULL;
171 switch (op_val) {
172 case 0: str = "MAD"; break;
173 case 1: str = "DP3"; break;
174 case 2: str = "DP4"; break;
175 case 3: str = "D2A"; break;
176 case 4: str = "MIN"; break;
177 case 5: str = "MAX"; break;
178 case 6: str = "Reserved"; break;
179 case 7: str = "CND"; break;
180 case 8: str = "CMP"; break;
181 case 9: str = "FRC"; break;
182 case 10: str = "SOP"; break;
183 case 11: str = "MDH"; break;
184 case 12: str = "MDV"; break;
185 }
186 return str;
187 }
188
189 static char *to_alpha_op(int op_val)
190 {
191 char *str = NULL;
192 switch (op_val) {
193 case 0: str = "MAD"; break;
194 case 1: str = "DP"; break;
195 case 2: str = "MIN"; break;
196 case 3: str = "MAX"; break;
197 case 4: str = "Reserved"; break;
198 case 5: str = "CND"; break;
199 case 6: str = "CMP"; break;
200 case 7: str = "FRC"; break;
201 case 8: str = "EX2"; break;
202 case 9: str = "LN2"; break;
203 case 10: str = "RCP"; break;
204 case 11: str = "RSQ"; break;
205 case 12: str = "SIN"; break;
206 case 13: str = "COS"; break;
207 case 14: str = "MDH"; break;
208 case 15: str = "MDV"; break;
209 }
210 return str;
211 }
212
213 static char *to_mask(int val)
214 {
215 char *str = NULL;
216 switch(val) {
217 case 0: str = "NONE"; break;
218 case 1: str = "R"; break;
219 case 2: str = "G"; break;
220 case 3: str = "RG"; break;
221 case 4: str = "B"; break;
222 case 5: str = "RB"; break;
223 case 6: str = "GB"; break;
224 case 7: str = "RGB"; break;
225 case 8: str = "A"; break;
226 case 9: str = "AR"; break;
227 case 10: str = "AG"; break;
228 case 11: str = "ARG"; break;
229 case 12: str = "AB"; break;
230 case 13: str = "ARB"; break;
231 case 14: str = "AGB"; break;
232 case 15: str = "ARGB"; break;
233 }
234 return str;
235 }
236
237 static char *to_texop(int val)
238 {
239 switch(val) {
240 case 0: return "NOP";
241 case 1: return "LD";
242 case 2: return "TEXKILL";
243 case 3: return "PROJ";
244 case 4: return "LODBIAS";
245 case 5: return "LOD";
246 case 6: return "DXDY";
247 }
248 return NULL;
249 }
250
251 void r500FragmentProgramDump(struct rX00_fragment_program_code *c)
252 {
253 struct r500_fragment_program_code *code = &c->code.r500;
254 fprintf(stderr, "R500 Fragment Program:\n--------\n");
255
256 int n, i;
257 uint32_t inst;
258 uint32_t inst0;
259 char *str = NULL;
260
261 for (n = 0; n < code->inst_end+1; n++) {
262 inst0 = inst = code->inst[n].inst0;
263 fprintf(stderr,"%d\t0:CMN_INST 0x%08x:", n, inst);
264 switch(inst & 0x3) {
265 case R500_INST_TYPE_ALU: str = "ALU"; break;
266 case R500_INST_TYPE_OUT: str = "OUT"; break;
267 case R500_INST_TYPE_FC: str = "FC"; break;
268 case R500_INST_TYPE_TEX: str = "TEX"; break;
269 };
270 fprintf(stderr,"%s %s %s %s %s ", str,
271 inst & R500_INST_TEX_SEM_WAIT ? "TEX_WAIT" : "",
272 inst & R500_INST_LAST ? "LAST" : "",
273 inst & R500_INST_NOP ? "NOP" : "",
274 inst & R500_INST_ALU_WAIT ? "ALU WAIT" : "");
275 fprintf(stderr,"wmask: %s omask: %s\n", to_mask((inst >> 11) & 0xf),
276 to_mask((inst >> 15) & 0xf));
277
278 switch(inst0 & 0x3) {
279 case R500_INST_TYPE_ALU:
280 case R500_INST_TYPE_OUT:
281 fprintf(stderr,"\t1:RGB_ADDR 0x%08x:", code->inst[n].inst1);
282 inst = code->inst[n].inst1;
283
284 fprintf(stderr,"Addr0: %d%c, Addr1: %d%c, Addr2: %d%c, srcp:%d\n",
285 inst & 0xff, (inst & (1<<8)) ? 'c' : 't',
286 (inst >> 10) & 0xff, (inst & (1<<18)) ? 'c' : 't',
287 (inst >> 20) & 0xff, (inst & (1<<28)) ? 'c' : 't',
288 (inst >> 30));
289
290 fprintf(stderr,"\t2:ALPHA_ADDR 0x%08x:", code->inst[n].inst2);
291 inst = code->inst[n].inst2;
292 fprintf(stderr,"Addr0: %d%c, Addr1: %d%c, Addr2: %d%c, srcp:%d\n",
293 inst & 0xff, (inst & (1<<8)) ? 'c' : 't',
294 (inst >> 10) & 0xff, (inst & (1<<18)) ? 'c' : 't',
295 (inst >> 20) & 0xff, (inst & (1<<28)) ? 'c' : 't',
296 (inst >> 30));
297 fprintf(stderr,"\t3 RGB_INST: 0x%08x:", code->inst[n].inst3);
298 inst = code->inst[n].inst3;
299 fprintf(stderr,"rgb_A_src:%d %s/%s/%s %d rgb_B_src:%d %s/%s/%s %d targ: %d\n",
300 (inst) & 0x3, toswiz((inst >> 2) & 0x7), toswiz((inst >> 5) & 0x7), toswiz((inst >> 8) & 0x7),
301 (inst >> 11) & 0x3,
302 (inst >> 13) & 0x3, toswiz((inst >> 15) & 0x7), toswiz((inst >> 18) & 0x7), toswiz((inst >> 21) & 0x7),
303 (inst >> 24) & 0x3, (inst >> 29) & 0x3);
304
305
306 fprintf(stderr,"\t4 ALPHA_INST:0x%08x:", code->inst[n].inst4);
307 inst = code->inst[n].inst4;
308 fprintf(stderr,"%s dest:%d%s alp_A_src:%d %s %d alp_B_src:%d %s %d targ %d w:%d\n", to_alpha_op(inst & 0xf),
309 (inst >> 4) & 0x7f, inst & (1<<11) ? "(rel)":"",
310 (inst >> 12) & 0x3, toswiz((inst >> 14) & 0x7), (inst >> 17) & 0x3,
311 (inst >> 19) & 0x3, toswiz((inst >> 21) & 0x7), (inst >> 24) & 0x3,
312 (inst >> 29) & 0x3,
313 (inst >> 31) & 0x1);
314
315 fprintf(stderr,"\t5 RGBA_INST: 0x%08x:", code->inst[n].inst5);
316 inst = code->inst[n].inst5;
317 fprintf(stderr,"%s dest:%d%s rgb_C_src:%d %s/%s/%s %d alp_C_src:%d %s %d\n", toop(inst & 0xf),
318 (inst >> 4) & 0x7f, inst & (1<<11) ? "(rel)":"",
319 (inst >> 12) & 0x3, toswiz((inst >> 14) & 0x7), toswiz((inst >> 17) & 0x7), toswiz((inst >> 20) & 0x7),
320 (inst >> 23) & 0x3,
321 (inst >> 25) & 0x3, toswiz((inst >> 27) & 0x7), (inst >> 30) & 0x3);
322 break;
323 case R500_INST_TYPE_FC:
324 fprintf(stderr, "\t2:FC_INST 0x%08x:", code->inst[n].inst2);
325 inst = code->inst[n].inst2;
326 /* JUMP_FUNC JUMP_ANY*/
327 fprintf(stderr, "0x%02x %1x ", inst >> 8 & 0xff,
328 (inst & R500_FC_JUMP_ANY) >> 5);
329
330 /* OP */
331 switch(inst & 0x7){
332 case R500_FC_OP_JUMP:
333 fprintf(stderr, "JUMP");
334 break;
335 case R500_FC_OP_LOOP:
336 fprintf(stderr, "LOOP");
337 break;
338 case R500_FC_OP_ENDLOOP:
339 fprintf(stderr, "ENDLOOP");
340 break;
341 case R500_FC_OP_REP:
342 fprintf(stderr, "REP");
343 break;
344 case R500_FC_OP_ENDREP:
345 fprintf(stderr, "ENDREP");
346 break;
347 case R500_FC_OP_BREAKLOOP:
348 fprintf(stderr, "BREAKLOOP");
349 break;
350 case R500_FC_OP_BREAKREP:
351 fprintf(stderr, "BREAKREP");
352 break;
353 case R500_FC_OP_CONTINUE:
354 fprintf(stderr, "CONTINUE");
355 break;
356 }
357 fprintf(stderr," ");
358 /* A_OP */
359 switch(inst & (0x3 << 6)){
360 case R500_FC_A_OP_NONE:
361 fprintf(stderr, "NONE");
362 break;
363 case R500_FC_A_OP_POP:
364 fprintf(stderr, "POP");
365 break;
366 case R500_FC_A_OP_PUSH:
367 fprintf(stderr, "PUSH");
368 break;
369 }
370 /* B_OP0 B_OP1 */
371 for(i=0; i<2; i++){
372 fprintf(stderr, " ");
373 switch(inst & (0x3 << (24 + (i * 2)))){
374 /* R500_FC_B_OP0_NONE
375 * R500_FC_B_OP1_NONE */
376 case 0:
377 fprintf(stderr, "NONE");
378 break;
379 case R500_FC_B_OP0_DECR:
380 case R500_FC_B_OP1_DECR:
381 fprintf(stderr, "DECR");
382 break;
383 case R500_FC_B_OP0_INCR:
384 case R500_FC_B_OP1_INCR:
385 fprintf(stderr, "INCR");
386 break;
387 }
388 }
389 /*POP_CNT B_ELSE */
390 fprintf(stderr, " %d %1x", (inst >> 16) & 0x1f, (inst & R500_FC_B_ELSE) >> 4);
391 inst = code->inst[n].inst3;
392 /* JUMP_ADDR */
393 fprintf(stderr, " %d", inst >> 16);
394
395 if(code->inst[n].inst2 & R500_FC_IGNORE_UNCOVERED){
396 fprintf(stderr, " IGN_UNC");
397 }
398 inst = code->inst[n].inst3;
399 fprintf(stderr, "\n\t3:FC_ADDR 0x%08x:", inst);
400 fprintf(stderr, "BOOL: 0x%02x, INT: 0x%02x, JUMP_ADDR: %d, JMP_GLBL: %1x\n",
401 inst & 0x1f, (inst >> 8) & 0x1f, (inst >> 16) & 0x1ff, inst >> 31);
402 break;
403 case R500_INST_TYPE_TEX:
404 inst = code->inst[n].inst1;
405 fprintf(stderr,"\t1:TEX_INST: 0x%08x: id: %d op:%s, %s, %s %s\n", inst, (inst >> 16) & 0xf,
406 to_texop((inst >> 22) & 0x7), (inst & (1<<25)) ? "ACQ" : "",
407 (inst & (1<<26)) ? "IGNUNC" : "", (inst & (1<<27)) ? "UNSCALED" : "SCALED");
408 inst = code->inst[n].inst2;
409 fprintf(stderr,"\t2:TEX_ADDR: 0x%08x: src: %d%s %s/%s/%s/%s dst: %d%s %s/%s/%s/%s\n", inst,
410 inst & 127, inst & (1<<7) ? "(rel)" : "",
411 toswiz((inst >> 8) & 0x3), toswiz((inst >> 10) & 0x3),
412 toswiz((inst >> 12) & 0x3), toswiz((inst >> 14) & 0x3),
413 (inst >> 16) & 127, inst & (1<<23) ? "(rel)" : "",
414 toswiz((inst >> 24) & 0x3), toswiz((inst >> 26) & 0x3),
415 toswiz((inst >> 28) & 0x3), toswiz((inst >> 30) & 0x3));
416
417 fprintf(stderr,"\t3:TEX_DXDY: 0x%08x\n", code->inst[n].inst3);
418 break;
419 }
420 fprintf(stderr,"\n");
421 }
422
423 }