i965/fs: Communicate the pull constant block read parameters through fs_regs.
[mesa.git] / src / mesa / drivers / dri / i965 / brw_fs_emit.cpp
1 /*
2 * Copyright © 2010 Intel Corporation
3 *
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
10 *
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
13 * Software.
14 *
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21 * IN THE SOFTWARE.
22 */
23
24 /** @file brw_fs_emit.cpp
25 *
26 * This file supports emitting code from the FS LIR to the actual
27 * native instructions.
28 */
29
30 extern "C" {
31 #include "main/macros.h"
32 #include "brw_context.h"
33 #include "brw_eu.h"
34 } /* extern "C" */
35
36 #include "brw_fs.h"
37 #include "brw_fs_cfg.h"
38 #include "glsl/ir_print_visitor.h"
39
40 void
41 fs_visitor::generate_fb_write(fs_inst *inst)
42 {
43 bool eot = inst->eot;
44 struct brw_reg implied_header;
45 uint32_t msg_control;
46
47 /* Header is 2 regs, g0 and g1 are the contents. g0 will be implied
48 * move, here's g1.
49 */
50 brw_push_insn_state(p);
51 brw_set_mask_control(p, BRW_MASK_DISABLE);
52 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
53
54 if (inst->header_present) {
55 if (intel->gen >= 6) {
56 brw_set_compression_control(p, BRW_COMPRESSION_COMPRESSED);
57 brw_MOV(p,
58 retype(brw_message_reg(inst->base_mrf), BRW_REGISTER_TYPE_UD),
59 retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD));
60 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
61
62 if (inst->target > 0) {
63 /* Set the render target index for choosing BLEND_STATE. */
64 brw_MOV(p, retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE,
65 inst->base_mrf, 2),
66 BRW_REGISTER_TYPE_UD),
67 brw_imm_ud(inst->target));
68 }
69
70 implied_header = brw_null_reg();
71 } else {
72 implied_header = retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UW);
73
74 brw_MOV(p,
75 brw_message_reg(inst->base_mrf + 1),
76 brw_vec8_grf(1, 0));
77 }
78 } else {
79 implied_header = brw_null_reg();
80 }
81
82 if (this->dual_src_output.file != BAD_FILE)
83 msg_control = BRW_DATAPORT_RENDER_TARGET_WRITE_SIMD8_DUAL_SOURCE_SUBSPAN01;
84 else if (c->dispatch_width == 16)
85 msg_control = BRW_DATAPORT_RENDER_TARGET_WRITE_SIMD16_SINGLE_SOURCE;
86 else
87 msg_control = BRW_DATAPORT_RENDER_TARGET_WRITE_SIMD8_SINGLE_SOURCE_SUBSPAN01;
88
89 brw_pop_insn_state(p);
90
91 brw_fb_WRITE(p,
92 c->dispatch_width,
93 inst->base_mrf,
94 implied_header,
95 msg_control,
96 inst->target,
97 inst->mlen,
98 0,
99 eot,
100 inst->header_present);
101 }
102
103 /* Computes the integer pixel x,y values from the origin.
104 *
105 * This is the basis of gl_FragCoord computation, but is also used
106 * pre-gen6 for computing the deltas from v0 for computing
107 * interpolation.
108 */
109 void
110 fs_visitor::generate_pixel_xy(struct brw_reg dst, bool is_x)
111 {
112 struct brw_reg g1_uw = retype(brw_vec1_grf(1, 0), BRW_REGISTER_TYPE_UW);
113 struct brw_reg src;
114 struct brw_reg deltas;
115
116 if (is_x) {
117 src = stride(suboffset(g1_uw, 4), 2, 4, 0);
118 deltas = brw_imm_v(0x10101010);
119 } else {
120 src = stride(suboffset(g1_uw, 5), 2, 4, 0);
121 deltas = brw_imm_v(0x11001100);
122 }
123
124 if (c->dispatch_width == 16) {
125 dst = vec16(dst);
126 }
127
128 /* We do this 8 or 16-wide, but since the destination is UW we
129 * don't do compression in the 16-wide case.
130 */
131 brw_push_insn_state(p);
132 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
133 brw_ADD(p, dst, src, deltas);
134 brw_pop_insn_state(p);
135 }
136
137 void
138 fs_visitor::generate_linterp(fs_inst *inst,
139 struct brw_reg dst, struct brw_reg *src)
140 {
141 struct brw_reg delta_x = src[0];
142 struct brw_reg delta_y = src[1];
143 struct brw_reg interp = src[2];
144
145 if (brw->has_pln &&
146 delta_y.nr == delta_x.nr + 1 &&
147 (intel->gen >= 6 || (delta_x.nr & 1) == 0)) {
148 brw_PLN(p, dst, interp, delta_x);
149 } else {
150 brw_LINE(p, brw_null_reg(), interp, delta_x);
151 brw_MAC(p, dst, suboffset(interp, 1), delta_y);
152 }
153 }
154
155 void
156 fs_visitor::generate_math1_gen7(fs_inst *inst,
157 struct brw_reg dst,
158 struct brw_reg src0)
159 {
160 assert(inst->mlen == 0);
161 brw_math(p, dst,
162 brw_math_function(inst->opcode),
163 inst->saturate ? BRW_MATH_SATURATE_SATURATE
164 : BRW_MATH_SATURATE_NONE,
165 0, src0,
166 BRW_MATH_DATA_VECTOR,
167 BRW_MATH_PRECISION_FULL);
168 }
169
170 void
171 fs_visitor::generate_math2_gen7(fs_inst *inst,
172 struct brw_reg dst,
173 struct brw_reg src0,
174 struct brw_reg src1)
175 {
176 assert(inst->mlen == 0);
177 brw_math2(p, dst, brw_math_function(inst->opcode), src0, src1);
178 }
179
180 void
181 fs_visitor::generate_math1_gen6(fs_inst *inst,
182 struct brw_reg dst,
183 struct brw_reg src0)
184 {
185 int op = brw_math_function(inst->opcode);
186
187 assert(inst->mlen == 0);
188
189 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
190 brw_math(p, dst,
191 op,
192 inst->saturate ? BRW_MATH_SATURATE_SATURATE :
193 BRW_MATH_SATURATE_NONE,
194 0, src0,
195 BRW_MATH_DATA_VECTOR,
196 BRW_MATH_PRECISION_FULL);
197
198 if (c->dispatch_width == 16) {
199 brw_set_compression_control(p, BRW_COMPRESSION_2NDHALF);
200 brw_math(p, sechalf(dst),
201 op,
202 inst->saturate ? BRW_MATH_SATURATE_SATURATE :
203 BRW_MATH_SATURATE_NONE,
204 0, sechalf(src0),
205 BRW_MATH_DATA_VECTOR,
206 BRW_MATH_PRECISION_FULL);
207 brw_set_compression_control(p, BRW_COMPRESSION_COMPRESSED);
208 }
209 }
210
211 void
212 fs_visitor::generate_math2_gen6(fs_inst *inst,
213 struct brw_reg dst,
214 struct brw_reg src0,
215 struct brw_reg src1)
216 {
217 int op = brw_math_function(inst->opcode);
218
219 assert(inst->mlen == 0);
220
221 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
222 brw_math2(p, dst, op, src0, src1);
223
224 if (c->dispatch_width == 16) {
225 brw_set_compression_control(p, BRW_COMPRESSION_2NDHALF);
226 brw_math2(p, sechalf(dst), op, sechalf(src0), sechalf(src1));
227 brw_set_compression_control(p, BRW_COMPRESSION_COMPRESSED);
228 }
229 }
230
231 void
232 fs_visitor::generate_math_gen4(fs_inst *inst,
233 struct brw_reg dst,
234 struct brw_reg src)
235 {
236 int op = brw_math_function(inst->opcode);
237
238 assert(inst->mlen >= 1);
239
240 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
241 brw_math(p, dst,
242 op,
243 inst->saturate ? BRW_MATH_SATURATE_SATURATE :
244 BRW_MATH_SATURATE_NONE,
245 inst->base_mrf, src,
246 BRW_MATH_DATA_VECTOR,
247 BRW_MATH_PRECISION_FULL);
248
249 if (c->dispatch_width == 16) {
250 brw_set_compression_control(p, BRW_COMPRESSION_2NDHALF);
251 brw_math(p, sechalf(dst),
252 op,
253 inst->saturate ? BRW_MATH_SATURATE_SATURATE :
254 BRW_MATH_SATURATE_NONE,
255 inst->base_mrf + 1, sechalf(src),
256 BRW_MATH_DATA_VECTOR,
257 BRW_MATH_PRECISION_FULL);
258
259 brw_set_compression_control(p, BRW_COMPRESSION_COMPRESSED);
260 }
261 }
262
263 void
264 fs_visitor::generate_tex(fs_inst *inst, struct brw_reg dst, struct brw_reg src)
265 {
266 int msg_type = -1;
267 int rlen = 4;
268 uint32_t simd_mode = BRW_SAMPLER_SIMD_MODE_SIMD8;
269 uint32_t return_format;
270
271 switch (dst.type) {
272 case BRW_REGISTER_TYPE_D:
273 return_format = BRW_SAMPLER_RETURN_FORMAT_SINT32;
274 break;
275 case BRW_REGISTER_TYPE_UD:
276 return_format = BRW_SAMPLER_RETURN_FORMAT_UINT32;
277 break;
278 default:
279 return_format = BRW_SAMPLER_RETURN_FORMAT_FLOAT32;
280 break;
281 }
282
283 if (c->dispatch_width == 16)
284 simd_mode = BRW_SAMPLER_SIMD_MODE_SIMD16;
285
286 if (intel->gen >= 5) {
287 switch (inst->opcode) {
288 case SHADER_OPCODE_TEX:
289 if (inst->shadow_compare) {
290 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_COMPARE;
291 } else {
292 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE;
293 }
294 break;
295 case FS_OPCODE_TXB:
296 if (inst->shadow_compare) {
297 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_BIAS_COMPARE;
298 } else {
299 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_BIAS;
300 }
301 break;
302 case SHADER_OPCODE_TXL:
303 if (inst->shadow_compare) {
304 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_LOD_COMPARE;
305 } else {
306 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_LOD;
307 }
308 break;
309 case SHADER_OPCODE_TXS:
310 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_RESINFO;
311 break;
312 case SHADER_OPCODE_TXD:
313 /* There is no sample_d_c message; comparisons are done manually */
314 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_DERIVS;
315 break;
316 case SHADER_OPCODE_TXF:
317 msg_type = GEN5_SAMPLER_MESSAGE_SAMPLE_LD;
318 break;
319 default:
320 assert(!"not reached");
321 break;
322 }
323 } else {
324 switch (inst->opcode) {
325 case SHADER_OPCODE_TEX:
326 /* Note that G45 and older determines shadow compare and dispatch width
327 * from message length for most messages.
328 */
329 assert(c->dispatch_width == 8);
330 msg_type = BRW_SAMPLER_MESSAGE_SIMD8_SAMPLE;
331 if (inst->shadow_compare) {
332 assert(inst->mlen == 6);
333 } else {
334 assert(inst->mlen <= 4);
335 }
336 break;
337 case FS_OPCODE_TXB:
338 if (inst->shadow_compare) {
339 assert(inst->mlen == 6);
340 msg_type = BRW_SAMPLER_MESSAGE_SIMD8_SAMPLE_BIAS_COMPARE;
341 } else {
342 assert(inst->mlen == 9);
343 msg_type = BRW_SAMPLER_MESSAGE_SIMD16_SAMPLE_BIAS;
344 simd_mode = BRW_SAMPLER_SIMD_MODE_SIMD16;
345 }
346 break;
347 case SHADER_OPCODE_TXL:
348 if (inst->shadow_compare) {
349 assert(inst->mlen == 6);
350 msg_type = BRW_SAMPLER_MESSAGE_SIMD8_SAMPLE_LOD_COMPARE;
351 } else {
352 assert(inst->mlen == 9);
353 msg_type = BRW_SAMPLER_MESSAGE_SIMD16_SAMPLE_LOD;
354 simd_mode = BRW_SAMPLER_SIMD_MODE_SIMD16;
355 }
356 break;
357 case SHADER_OPCODE_TXD:
358 /* There is no sample_d_c message; comparisons are done manually */
359 assert(inst->mlen == 7 || inst->mlen == 10);
360 msg_type = BRW_SAMPLER_MESSAGE_SIMD8_SAMPLE_GRADIENTS;
361 break;
362 case SHADER_OPCODE_TXF:
363 assert(inst->mlen == 9);
364 msg_type = BRW_SAMPLER_MESSAGE_SIMD16_LD;
365 simd_mode = BRW_SAMPLER_SIMD_MODE_SIMD16;
366 break;
367 case SHADER_OPCODE_TXS:
368 assert(inst->mlen == 3);
369 msg_type = BRW_SAMPLER_MESSAGE_SIMD16_RESINFO;
370 simd_mode = BRW_SAMPLER_SIMD_MODE_SIMD16;
371 break;
372 default:
373 assert(!"not reached");
374 break;
375 }
376 }
377 assert(msg_type != -1);
378
379 if (simd_mode == BRW_SAMPLER_SIMD_MODE_SIMD16) {
380 rlen = 8;
381 dst = vec16(dst);
382 }
383
384 /* Load the message header if present. If there's a texture offset,
385 * we need to set it up explicitly and load the offset bitfield.
386 * Otherwise, we can use an implied move from g0 to the first message reg.
387 */
388 if (inst->texture_offset) {
389 brw_push_insn_state(p);
390 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
391 /* Explicitly set up the message header by copying g0 to the MRF. */
392 brw_MOV(p, retype(brw_message_reg(inst->base_mrf), BRW_REGISTER_TYPE_UD),
393 retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD));
394
395 /* Then set the offset bits in DWord 2. */
396 brw_MOV(p, retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE,
397 inst->base_mrf, 2), BRW_REGISTER_TYPE_UD),
398 brw_imm_ud(inst->texture_offset));
399 brw_pop_insn_state(p);
400 } else if (inst->header_present) {
401 /* Set up an implied move from g0 to the MRF. */
402 src = retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UW);
403 }
404
405 brw_SAMPLE(p,
406 retype(dst, BRW_REGISTER_TYPE_UW),
407 inst->base_mrf,
408 src,
409 SURF_INDEX_TEXTURE(inst->sampler),
410 inst->sampler,
411 WRITEMASK_XYZW,
412 msg_type,
413 rlen,
414 inst->mlen,
415 inst->header_present,
416 simd_mode,
417 return_format);
418 }
419
420
421 /* For OPCODE_DDX and OPCODE_DDY, per channel of output we've got input
422 * looking like:
423 *
424 * arg0: ss0.tl ss0.tr ss0.bl ss0.br ss1.tl ss1.tr ss1.bl ss1.br
425 *
426 * and we're trying to produce:
427 *
428 * DDX DDY
429 * dst: (ss0.tr - ss0.tl) (ss0.tl - ss0.bl)
430 * (ss0.tr - ss0.tl) (ss0.tr - ss0.br)
431 * (ss0.br - ss0.bl) (ss0.tl - ss0.bl)
432 * (ss0.br - ss0.bl) (ss0.tr - ss0.br)
433 * (ss1.tr - ss1.tl) (ss1.tl - ss1.bl)
434 * (ss1.tr - ss1.tl) (ss1.tr - ss1.br)
435 * (ss1.br - ss1.bl) (ss1.tl - ss1.bl)
436 * (ss1.br - ss1.bl) (ss1.tr - ss1.br)
437 *
438 * and add another set of two more subspans if in 16-pixel dispatch mode.
439 *
440 * For DDX, it ends up being easy: width = 2, horiz=0 gets us the same result
441 * for each pair, and vertstride = 2 jumps us 2 elements after processing a
442 * pair. But for DDY, it's harder, as we want to produce the pairs swizzled
443 * between each other. We could probably do it like ddx and swizzle the right
444 * order later, but bail for now and just produce
445 * ((ss0.tl - ss0.bl)x4 (ss1.tl - ss1.bl)x4)
446 */
447 void
448 fs_visitor::generate_ddx(fs_inst *inst, struct brw_reg dst, struct brw_reg src)
449 {
450 struct brw_reg src0 = brw_reg(src.file, src.nr, 1,
451 BRW_REGISTER_TYPE_F,
452 BRW_VERTICAL_STRIDE_2,
453 BRW_WIDTH_2,
454 BRW_HORIZONTAL_STRIDE_0,
455 BRW_SWIZZLE_XYZW, WRITEMASK_XYZW);
456 struct brw_reg src1 = brw_reg(src.file, src.nr, 0,
457 BRW_REGISTER_TYPE_F,
458 BRW_VERTICAL_STRIDE_2,
459 BRW_WIDTH_2,
460 BRW_HORIZONTAL_STRIDE_0,
461 BRW_SWIZZLE_XYZW, WRITEMASK_XYZW);
462 brw_ADD(p, dst, src0, negate(src1));
463 }
464
465 /* The negate_value boolean is used to negate the derivative computation for
466 * FBOs, since they place the origin at the upper left instead of the lower
467 * left.
468 */
469 void
470 fs_visitor::generate_ddy(fs_inst *inst, struct brw_reg dst, struct brw_reg src,
471 bool negate_value)
472 {
473 struct brw_reg src0 = brw_reg(src.file, src.nr, 0,
474 BRW_REGISTER_TYPE_F,
475 BRW_VERTICAL_STRIDE_4,
476 BRW_WIDTH_4,
477 BRW_HORIZONTAL_STRIDE_0,
478 BRW_SWIZZLE_XYZW, WRITEMASK_XYZW);
479 struct brw_reg src1 = brw_reg(src.file, src.nr, 2,
480 BRW_REGISTER_TYPE_F,
481 BRW_VERTICAL_STRIDE_4,
482 BRW_WIDTH_4,
483 BRW_HORIZONTAL_STRIDE_0,
484 BRW_SWIZZLE_XYZW, WRITEMASK_XYZW);
485 if (negate_value)
486 brw_ADD(p, dst, src1, negate(src0));
487 else
488 brw_ADD(p, dst, src0, negate(src1));
489 }
490
491 void
492 fs_visitor::generate_discard(fs_inst *inst)
493 {
494 struct brw_reg f0 = brw_flag_reg();
495
496 if (intel->gen >= 6) {
497 struct brw_reg g1 = retype(brw_vec1_grf(1, 7), BRW_REGISTER_TYPE_UW);
498 struct brw_reg some_register;
499
500 /* As of gen6, we no longer have the mask register to look at,
501 * so life gets a bit more complicated.
502 */
503
504 /* Load the flag register with all ones. */
505 brw_push_insn_state(p);
506 brw_set_mask_control(p, BRW_MASK_DISABLE);
507 brw_MOV(p, f0, brw_imm_uw(0xffff));
508 brw_pop_insn_state(p);
509
510 /* Do a comparison that should always fail, to produce 0s in the flag
511 * reg where we have active channels.
512 */
513 some_register = retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UW);
514 brw_CMP(p, retype(brw_null_reg(), BRW_REGISTER_TYPE_UD),
515 BRW_CONDITIONAL_NZ, some_register, some_register);
516
517 /* Undo CMP's whacking of predication*/
518 brw_set_predicate_control(p, BRW_PREDICATE_NONE);
519
520 brw_push_insn_state(p);
521 brw_set_mask_control(p, BRW_MASK_DISABLE);
522 brw_AND(p, g1, f0, g1);
523 brw_pop_insn_state(p);
524 } else {
525 struct brw_reg g0 = retype(brw_vec1_grf(0, 0), BRW_REGISTER_TYPE_UW);
526
527 brw_push_insn_state(p);
528 brw_set_mask_control(p, BRW_MASK_DISABLE);
529 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
530
531 /* Unlike the 965, we have the mask reg, so we just need
532 * somewhere to invert that (containing channels to be disabled)
533 * so it can be ANDed with the mask of pixels still to be
534 * written. Use the flag reg for consistency with gen6+.
535 */
536 brw_NOT(p, f0, brw_mask_reg(1)); /* IMASK */
537 brw_AND(p, g0, f0, g0);
538
539 brw_pop_insn_state(p);
540 }
541 }
542
543 void
544 fs_visitor::generate_spill(fs_inst *inst, struct brw_reg src)
545 {
546 assert(inst->mlen != 0);
547
548 brw_MOV(p,
549 retype(brw_message_reg(inst->base_mrf + 1), BRW_REGISTER_TYPE_UD),
550 retype(src, BRW_REGISTER_TYPE_UD));
551 brw_oword_block_write_scratch(p, brw_message_reg(inst->base_mrf), 1,
552 inst->offset);
553 }
554
555 void
556 fs_visitor::generate_unspill(fs_inst *inst, struct brw_reg dst)
557 {
558 assert(inst->mlen != 0);
559
560 /* Clear any post destination dependencies that would be ignored by
561 * the block read. See the B-Spec for pre-gen5 send instruction.
562 *
563 * This could use a better solution, since texture sampling and
564 * math reads could potentially run into it as well -- anywhere
565 * that we have a SEND with a destination that is a register that
566 * was written but not read within the last N instructions (what's
567 * N? unsure). This is rare because of dead code elimination, but
568 * not impossible.
569 */
570 if (intel->gen == 4 && !intel->is_g4x)
571 brw_MOV(p, brw_null_reg(), dst);
572
573 brw_oword_block_read_scratch(p, dst, brw_message_reg(inst->base_mrf), 1,
574 inst->offset);
575
576 if (intel->gen == 4 && !intel->is_g4x) {
577 /* gen4 errata: destination from a send can't be used as a
578 * destination until it's been read. Just read it so we don't
579 * have to worry.
580 */
581 brw_MOV(p, brw_null_reg(), dst);
582 }
583 }
584
585 void
586 fs_visitor::generate_pull_constant_load(fs_inst *inst, struct brw_reg dst,
587 struct brw_reg index,
588 struct brw_reg offset)
589 {
590 assert(inst->mlen != 0);
591
592 /* Clear any post destination dependencies that would be ignored by
593 * the block read. See the B-Spec for pre-gen5 send instruction.
594 *
595 * This could use a better solution, since texture sampling and
596 * math reads could potentially run into it as well -- anywhere
597 * that we have a SEND with a destination that is a register that
598 * was written but not read within the last N instructions (what's
599 * N? unsure). This is rare because of dead code elimination, but
600 * not impossible.
601 */
602 if (intel->gen == 4 && !intel->is_g4x)
603 brw_MOV(p, brw_null_reg(), dst);
604
605 assert(index.file == BRW_IMMEDIATE_VALUE &&
606 index.type == BRW_REGISTER_TYPE_UD);
607 uint32_t surf_index = index.dw1.ud;
608
609 assert(offset.file == BRW_IMMEDIATE_VALUE &&
610 offset.type == BRW_REGISTER_TYPE_UD);
611 uint32_t read_offset = offset.dw1.ud;
612
613 brw_oword_block_read(p, dst, brw_message_reg(inst->base_mrf),
614 read_offset, surf_index);
615
616 if (intel->gen == 4 && !intel->is_g4x) {
617 /* gen4 errata: destination from a send can't be used as a
618 * destination until it's been read. Just read it so we don't
619 * have to worry.
620 */
621 brw_MOV(p, brw_null_reg(), dst);
622 }
623 }
624
625
626 /**
627 * Cause the current pixel/sample mask (from R1.7 bits 15:0) to be transferred
628 * into the flags register (f0.0).
629 *
630 * Used only on Gen6 and above.
631 */
632 void
633 fs_visitor::generate_mov_dispatch_to_flags()
634 {
635 struct brw_reg f0 = brw_flag_reg();
636 struct brw_reg g1 = retype(brw_vec1_grf(1, 7), BRW_REGISTER_TYPE_UW);
637
638 assert (intel->gen >= 6);
639 brw_push_insn_state(p);
640 brw_set_mask_control(p, BRW_MASK_DISABLE);
641 brw_MOV(p, f0, g1);
642 brw_pop_insn_state(p);
643 }
644
645
646 static uint32_t brw_file_from_reg(fs_reg *reg)
647 {
648 switch (reg->file) {
649 case ARF:
650 return BRW_ARCHITECTURE_REGISTER_FILE;
651 case GRF:
652 return BRW_GENERAL_REGISTER_FILE;
653 case MRF:
654 return BRW_MESSAGE_REGISTER_FILE;
655 case IMM:
656 return BRW_IMMEDIATE_VALUE;
657 default:
658 assert(!"not reached");
659 return BRW_GENERAL_REGISTER_FILE;
660 }
661 }
662
663 static struct brw_reg
664 brw_reg_from_fs_reg(fs_reg *reg)
665 {
666 struct brw_reg brw_reg;
667
668 switch (reg->file) {
669 case GRF:
670 case ARF:
671 case MRF:
672 if (reg->smear == -1) {
673 brw_reg = brw_vec8_reg(brw_file_from_reg(reg), reg->reg, 0);
674 } else {
675 brw_reg = brw_vec1_reg(brw_file_from_reg(reg), reg->reg, reg->smear);
676 }
677 brw_reg = retype(brw_reg, reg->type);
678 if (reg->sechalf)
679 brw_reg = sechalf(brw_reg);
680 break;
681 case IMM:
682 switch (reg->type) {
683 case BRW_REGISTER_TYPE_F:
684 brw_reg = brw_imm_f(reg->imm.f);
685 break;
686 case BRW_REGISTER_TYPE_D:
687 brw_reg = brw_imm_d(reg->imm.i);
688 break;
689 case BRW_REGISTER_TYPE_UD:
690 brw_reg = brw_imm_ud(reg->imm.u);
691 break;
692 default:
693 assert(!"not reached");
694 brw_reg = brw_null_reg();
695 break;
696 }
697 break;
698 case FIXED_HW_REG:
699 brw_reg = reg->fixed_hw_reg;
700 break;
701 case BAD_FILE:
702 /* Probably unused. */
703 brw_reg = brw_null_reg();
704 break;
705 case UNIFORM:
706 assert(!"not reached");
707 brw_reg = brw_null_reg();
708 break;
709 default:
710 assert(!"not reached");
711 brw_reg = brw_null_reg();
712 break;
713 }
714 if (reg->abs)
715 brw_reg = brw_abs(brw_reg);
716 if (reg->negate)
717 brw_reg = negate(brw_reg);
718
719 return brw_reg;
720 }
721
722 void
723 fs_visitor::generate_code()
724 {
725 int last_native_inst = p->nr_insn;
726 const char *last_annotation_string = NULL;
727 ir_instruction *last_annotation_ir = NULL;
728
729 if (unlikely(INTEL_DEBUG & DEBUG_WM)) {
730 printf("Native code for fragment shader %d (%d-wide dispatch):\n",
731 prog->Name, c->dispatch_width);
732 }
733
734 fs_cfg *cfg = NULL;
735 if (unlikely(INTEL_DEBUG & DEBUG_WM))
736 cfg = new(mem_ctx) fs_cfg(this);
737
738 foreach_list(node, &this->instructions) {
739 fs_inst *inst = (fs_inst *)node;
740 struct brw_reg src[3], dst;
741
742 if (unlikely(INTEL_DEBUG & DEBUG_WM)) {
743 foreach_list(node, &cfg->block_list) {
744 fs_bblock_link *link = (fs_bblock_link *)node;
745 fs_bblock *block = link->block;
746
747 if (block->start == inst) {
748 printf(" START B%d", block->block_num);
749 foreach_list(predecessor_node, &block->parents) {
750 fs_bblock_link *predecessor_link =
751 (fs_bblock_link *)predecessor_node;
752 fs_bblock *predecessor_block = predecessor_link->block;
753 printf(" <-B%d", predecessor_block->block_num);
754 }
755 printf("\n");
756 }
757 }
758
759 if (last_annotation_ir != inst->ir) {
760 last_annotation_ir = inst->ir;
761 if (last_annotation_ir) {
762 printf(" ");
763 last_annotation_ir->print();
764 printf("\n");
765 }
766 }
767 if (last_annotation_string != inst->annotation) {
768 last_annotation_string = inst->annotation;
769 if (last_annotation_string)
770 printf(" %s\n", last_annotation_string);
771 }
772 }
773
774 for (unsigned int i = 0; i < 3; i++) {
775 src[i] = brw_reg_from_fs_reg(&inst->src[i]);
776
777 /* The accumulator result appears to get used for the
778 * conditional modifier generation. When negating a UD
779 * value, there is a 33rd bit generated for the sign in the
780 * accumulator value, so now you can't check, for example,
781 * equality with a 32-bit value. See piglit fs-op-neg-uvec4.
782 */
783 assert(!inst->conditional_mod ||
784 inst->src[i].type != BRW_REGISTER_TYPE_UD ||
785 !inst->src[i].negate);
786 }
787 dst = brw_reg_from_fs_reg(&inst->dst);
788
789 brw_set_conditionalmod(p, inst->conditional_mod);
790 brw_set_predicate_control(p, inst->predicated);
791 brw_set_predicate_inverse(p, inst->predicate_inverse);
792 brw_set_saturate(p, inst->saturate);
793
794 if (inst->force_uncompressed || c->dispatch_width == 8) {
795 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
796 } else if (inst->force_sechalf) {
797 brw_set_compression_control(p, BRW_COMPRESSION_2NDHALF);
798 } else {
799 brw_set_compression_control(p, BRW_COMPRESSION_COMPRESSED);
800 }
801
802 switch (inst->opcode) {
803 case BRW_OPCODE_MOV:
804 brw_MOV(p, dst, src[0]);
805 break;
806 case BRW_OPCODE_ADD:
807 brw_ADD(p, dst, src[0], src[1]);
808 break;
809 case BRW_OPCODE_MUL:
810 brw_MUL(p, dst, src[0], src[1]);
811 break;
812 case BRW_OPCODE_MACH:
813 brw_set_acc_write_control(p, 1);
814 brw_MACH(p, dst, src[0], src[1]);
815 brw_set_acc_write_control(p, 0);
816 break;
817
818 case BRW_OPCODE_MAD:
819 brw_set_access_mode(p, BRW_ALIGN_16);
820 if (c->dispatch_width == 16) {
821 brw_set_compression_control(p, BRW_COMPRESSION_NONE);
822 brw_MAD(p, dst, src[0], src[1], src[2]);
823 brw_set_compression_control(p, BRW_COMPRESSION_2NDHALF);
824 brw_MAD(p, sechalf(dst), sechalf(src[0]), sechalf(src[1]), sechalf(src[2]));
825 brw_set_compression_control(p, BRW_COMPRESSION_COMPRESSED);
826 } else {
827 brw_MAD(p, dst, src[0], src[1], src[2]);
828 }
829 brw_set_access_mode(p, BRW_ALIGN_1);
830 break;
831
832 case BRW_OPCODE_FRC:
833 brw_FRC(p, dst, src[0]);
834 break;
835 case BRW_OPCODE_RNDD:
836 brw_RNDD(p, dst, src[0]);
837 break;
838 case BRW_OPCODE_RNDE:
839 brw_RNDE(p, dst, src[0]);
840 break;
841 case BRW_OPCODE_RNDZ:
842 brw_RNDZ(p, dst, src[0]);
843 break;
844
845 case BRW_OPCODE_AND:
846 brw_AND(p, dst, src[0], src[1]);
847 break;
848 case BRW_OPCODE_OR:
849 brw_OR(p, dst, src[0], src[1]);
850 break;
851 case BRW_OPCODE_XOR:
852 brw_XOR(p, dst, src[0], src[1]);
853 break;
854 case BRW_OPCODE_NOT:
855 brw_NOT(p, dst, src[0]);
856 break;
857 case BRW_OPCODE_ASR:
858 brw_ASR(p, dst, src[0], src[1]);
859 break;
860 case BRW_OPCODE_SHR:
861 brw_SHR(p, dst, src[0], src[1]);
862 break;
863 case BRW_OPCODE_SHL:
864 brw_SHL(p, dst, src[0], src[1]);
865 break;
866
867 case BRW_OPCODE_CMP:
868 brw_CMP(p, dst, inst->conditional_mod, src[0], src[1]);
869 break;
870 case BRW_OPCODE_SEL:
871 brw_SEL(p, dst, src[0], src[1]);
872 break;
873
874 case BRW_OPCODE_IF:
875 if (inst->src[0].file != BAD_FILE) {
876 /* The instruction has an embedded compare (only allowed on gen6) */
877 assert(intel->gen == 6);
878 gen6_IF(p, inst->conditional_mod, src[0], src[1]);
879 } else {
880 brw_IF(p, c->dispatch_width == 16 ? BRW_EXECUTE_16 : BRW_EXECUTE_8);
881 }
882 break;
883
884 case BRW_OPCODE_ELSE:
885 brw_ELSE(p);
886 break;
887 case BRW_OPCODE_ENDIF:
888 brw_ENDIF(p);
889 break;
890
891 case BRW_OPCODE_DO:
892 brw_DO(p, BRW_EXECUTE_8);
893 break;
894
895 case BRW_OPCODE_BREAK:
896 brw_BREAK(p);
897 brw_set_predicate_control(p, BRW_PREDICATE_NONE);
898 break;
899 case BRW_OPCODE_CONTINUE:
900 /* FINISHME: We need to write the loop instruction support still. */
901 if (intel->gen >= 6)
902 gen6_CONT(p);
903 else
904 brw_CONT(p);
905 brw_set_predicate_control(p, BRW_PREDICATE_NONE);
906 break;
907
908 case BRW_OPCODE_WHILE:
909 brw_WHILE(p);
910 break;
911
912 case SHADER_OPCODE_RCP:
913 case SHADER_OPCODE_RSQ:
914 case SHADER_OPCODE_SQRT:
915 case SHADER_OPCODE_EXP2:
916 case SHADER_OPCODE_LOG2:
917 case SHADER_OPCODE_SIN:
918 case SHADER_OPCODE_COS:
919 if (intel->gen >= 7) {
920 generate_math1_gen7(inst, dst, src[0]);
921 } else if (intel->gen == 6) {
922 generate_math1_gen6(inst, dst, src[0]);
923 } else {
924 generate_math_gen4(inst, dst, src[0]);
925 }
926 break;
927 case SHADER_OPCODE_INT_QUOTIENT:
928 case SHADER_OPCODE_INT_REMAINDER:
929 case SHADER_OPCODE_POW:
930 if (intel->gen >= 7) {
931 generate_math2_gen7(inst, dst, src[0], src[1]);
932 } else if (intel->gen == 6) {
933 generate_math2_gen6(inst, dst, src[0], src[1]);
934 } else {
935 generate_math_gen4(inst, dst, src[0]);
936 }
937 break;
938 case FS_OPCODE_PIXEL_X:
939 generate_pixel_xy(dst, true);
940 break;
941 case FS_OPCODE_PIXEL_Y:
942 generate_pixel_xy(dst, false);
943 break;
944 case FS_OPCODE_CINTERP:
945 brw_MOV(p, dst, src[0]);
946 break;
947 case FS_OPCODE_LINTERP:
948 generate_linterp(inst, dst, src);
949 break;
950 case SHADER_OPCODE_TEX:
951 case FS_OPCODE_TXB:
952 case SHADER_OPCODE_TXD:
953 case SHADER_OPCODE_TXF:
954 case SHADER_OPCODE_TXL:
955 case SHADER_OPCODE_TXS:
956 generate_tex(inst, dst, src[0]);
957 break;
958 case FS_OPCODE_DISCARD:
959 generate_discard(inst);
960 break;
961 case FS_OPCODE_DDX:
962 generate_ddx(inst, dst, src[0]);
963 break;
964 case FS_OPCODE_DDY:
965 /* Make sure fp->UsesDFdy flag got set (otherwise there's no
966 * guarantee that c->key.render_to_fbo is set).
967 */
968 assert(fp->UsesDFdy);
969 generate_ddy(inst, dst, src[0], c->key.render_to_fbo);
970 break;
971
972 case FS_OPCODE_SPILL:
973 generate_spill(inst, src[0]);
974 break;
975
976 case FS_OPCODE_UNSPILL:
977 generate_unspill(inst, dst);
978 break;
979
980 case FS_OPCODE_PULL_CONSTANT_LOAD:
981 generate_pull_constant_load(inst, dst, src[0], src[1]);
982 break;
983
984 case FS_OPCODE_FB_WRITE:
985 generate_fb_write(inst);
986 break;
987
988 case FS_OPCODE_MOV_DISPATCH_TO_FLAGS:
989 generate_mov_dispatch_to_flags();
990 break;
991
992 default:
993 if (inst->opcode < (int)ARRAY_SIZE(brw_opcodes)) {
994 _mesa_problem(ctx, "Unsupported opcode `%s' in FS",
995 brw_opcodes[inst->opcode].name);
996 } else {
997 _mesa_problem(ctx, "Unsupported opcode %d in FS", inst->opcode);
998 }
999 fail("unsupported opcode in FS\n");
1000 }
1001
1002 if (unlikely(INTEL_DEBUG & DEBUG_WM)) {
1003 for (unsigned int i = last_native_inst; i < p->nr_insn; i++) {
1004 if (0) {
1005 printf("0x%08x 0x%08x 0x%08x 0x%08x ",
1006 ((uint32_t *)&p->store[i])[3],
1007 ((uint32_t *)&p->store[i])[2],
1008 ((uint32_t *)&p->store[i])[1],
1009 ((uint32_t *)&p->store[i])[0]);
1010 }
1011 brw_disasm(stdout, &p->store[i], intel->gen);
1012 }
1013
1014 foreach_list(node, &cfg->block_list) {
1015 fs_bblock_link *link = (fs_bblock_link *)node;
1016 fs_bblock *block = link->block;
1017
1018 if (block->end == inst) {
1019 printf(" END B%d", block->block_num);
1020 foreach_list(successor_node, &block->children) {
1021 fs_bblock_link *successor_link =
1022 (fs_bblock_link *)successor_node;
1023 fs_bblock *successor_block = successor_link->block;
1024 printf(" ->B%d", successor_block->block_num);
1025 }
1026 printf("\n");
1027 }
1028 }
1029 }
1030
1031 last_native_inst = p->nr_insn;
1032 }
1033
1034 if (unlikely(INTEL_DEBUG & DEBUG_WM)) {
1035 printf("\n");
1036 }
1037
1038 brw_set_uip_jip(p);
1039
1040 /* OK, while the INTEL_DEBUG=wm above is very nice for debugging FS
1041 * emit issues, it doesn't get the jump distances into the output,
1042 * which is often something we want to debug. So this is here in
1043 * case you're doing that.
1044 */
1045 if (0) {
1046 if (unlikely(INTEL_DEBUG & DEBUG_WM)) {
1047 for (unsigned int i = 0; i < p->nr_insn; i++) {
1048 printf("0x%08x 0x%08x 0x%08x 0x%08x ",
1049 ((uint32_t *)&p->store[i])[3],
1050 ((uint32_t *)&p->store[i])[2],
1051 ((uint32_t *)&p->store[i])[1],
1052 ((uint32_t *)&p->store[i])[0]);
1053 brw_disasm(stdout, &p->store[i], intel->gen);
1054 }
1055 }
1056 }
1057 }