i965/fs: Replace fs_reg::reg_offset with fs_reg::offset expressed in bytes.
[mesa.git] / src / mesa / drivers / dri / i965 / brw_fs_visitor.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_visitor.cpp
25 *
26 * This file supports generating the FS LIR from the GLSL IR. The LIR
27 * makes it easier to do backend-specific optimizations than doing so
28 * in the GLSL IR or in the native code.
29 */
30 #include "brw_fs.h"
31 #include "compiler/glsl_types.h"
32
33 using namespace brw;
34
35 fs_reg *
36 fs_visitor::emit_vs_system_value(int location)
37 {
38 fs_reg *reg = new(this->mem_ctx)
39 fs_reg(ATTR, 4 * (_mesa_bitcount_64(nir->info.inputs_read) +
40 _mesa_bitcount_64(nir->info.double_inputs_read)),
41 BRW_REGISTER_TYPE_D);
42 brw_vs_prog_data *vs_prog_data = (brw_vs_prog_data *) prog_data;
43
44 switch (location) {
45 case SYSTEM_VALUE_BASE_VERTEX:
46 reg->offset = 0;
47 vs_prog_data->uses_basevertex = true;
48 break;
49 case SYSTEM_VALUE_BASE_INSTANCE:
50 reg->offset = REG_SIZE;
51 vs_prog_data->uses_baseinstance = true;
52 break;
53 case SYSTEM_VALUE_VERTEX_ID:
54 unreachable("should have been lowered");
55 case SYSTEM_VALUE_VERTEX_ID_ZERO_BASE:
56 reg->offset = 2 * REG_SIZE;
57 vs_prog_data->uses_vertexid = true;
58 break;
59 case SYSTEM_VALUE_INSTANCE_ID:
60 reg->offset = 3 * REG_SIZE;
61 vs_prog_data->uses_instanceid = true;
62 break;
63 case SYSTEM_VALUE_DRAW_ID:
64 if (nir->info.system_values_read &
65 (BITFIELD64_BIT(SYSTEM_VALUE_BASE_VERTEX) |
66 BITFIELD64_BIT(SYSTEM_VALUE_BASE_INSTANCE) |
67 BITFIELD64_BIT(SYSTEM_VALUE_VERTEX_ID_ZERO_BASE) |
68 BITFIELD64_BIT(SYSTEM_VALUE_INSTANCE_ID)))
69 reg->nr += 4;
70 reg->offset = 0;
71 vs_prog_data->uses_drawid = true;
72 break;
73 default:
74 unreachable("not reached");
75 }
76
77 return reg;
78 }
79
80 /* Sample from the MCS surface attached to this multisample texture. */
81 fs_reg
82 fs_visitor::emit_mcs_fetch(const fs_reg &coordinate, unsigned components,
83 const fs_reg &texture)
84 {
85 const fs_reg dest = vgrf(glsl_type::uvec4_type);
86
87 fs_reg srcs[TEX_LOGICAL_NUM_SRCS];
88 srcs[TEX_LOGICAL_SRC_COORDINATE] = coordinate;
89 srcs[TEX_LOGICAL_SRC_SURFACE] = texture;
90 srcs[TEX_LOGICAL_SRC_SAMPLER] = texture;
91 srcs[TEX_LOGICAL_SRC_COORD_COMPONENTS] = brw_imm_d(components);
92 srcs[TEX_LOGICAL_SRC_GRAD_COMPONENTS] = brw_imm_d(0);
93
94 fs_inst *inst = bld.emit(SHADER_OPCODE_TXF_MCS_LOGICAL, dest, srcs,
95 ARRAY_SIZE(srcs));
96
97 /* We only care about one or two regs of response, but the sampler always
98 * writes 4/8.
99 */
100 inst->regs_written = 4 * dispatch_width / 8;
101
102 return dest;
103 }
104
105 /**
106 * Apply workarounds for Gen6 gather with UINT/SINT
107 */
108 void
109 fs_visitor::emit_gen6_gather_wa(uint8_t wa, fs_reg dst)
110 {
111 if (!wa)
112 return;
113
114 int width = (wa & WA_8BIT) ? 8 : 16;
115
116 for (int i = 0; i < 4; i++) {
117 fs_reg dst_f = retype(dst, BRW_REGISTER_TYPE_F);
118 /* Convert from UNORM to UINT */
119 bld.MUL(dst_f, dst_f, brw_imm_f((1 << width) - 1));
120 bld.MOV(dst, dst_f);
121
122 if (wa & WA_SIGN) {
123 /* Reinterpret the UINT value as a signed INT value by
124 * shifting the sign bit into place, then shifting back
125 * preserving sign.
126 */
127 bld.SHL(dst, dst, brw_imm_d(32 - width));
128 bld.ASR(dst, dst, brw_imm_d(32 - width));
129 }
130
131 dst = offset(dst, bld, 1);
132 }
133 }
134
135 /** Emits a dummy fragment shader consisting of magenta for bringup purposes. */
136 void
137 fs_visitor::emit_dummy_fs()
138 {
139 int reg_width = dispatch_width / 8;
140
141 /* Everyone's favorite color. */
142 const float color[4] = { 1.0, 0.0, 1.0, 0.0 };
143 for (int i = 0; i < 4; i++) {
144 bld.MOV(fs_reg(MRF, 2 + i * reg_width, BRW_REGISTER_TYPE_F),
145 brw_imm_f(color[i]));
146 }
147
148 fs_inst *write;
149 write = bld.emit(FS_OPCODE_FB_WRITE);
150 write->eot = true;
151 if (devinfo->gen >= 6) {
152 write->base_mrf = 2;
153 write->mlen = 4 * reg_width;
154 } else {
155 write->header_size = 2;
156 write->base_mrf = 0;
157 write->mlen = 2 + 4 * reg_width;
158 }
159
160 /* Tell the SF we don't have any inputs. Gen4-5 require at least one
161 * varying to avoid GPU hangs, so set that.
162 */
163 brw_wm_prog_data *wm_prog_data = (brw_wm_prog_data *) this->prog_data;
164 wm_prog_data->num_varying_inputs = devinfo->gen < 6 ? 1 : 0;
165 memset(wm_prog_data->urb_setup, -1,
166 sizeof(wm_prog_data->urb_setup[0]) * VARYING_SLOT_MAX);
167
168 /* We don't have any uniforms. */
169 stage_prog_data->nr_params = 0;
170 stage_prog_data->nr_pull_params = 0;
171 stage_prog_data->curb_read_length = 0;
172 stage_prog_data->dispatch_grf_start_reg = 2;
173 wm_prog_data->dispatch_grf_start_reg_2 = 2;
174 grf_used = 1; /* Gen4-5 don't allow zero GRF blocks */
175
176 calculate_cfg();
177 }
178
179 /* The register location here is relative to the start of the URB
180 * data. It will get adjusted to be a real location before
181 * generate_code() time.
182 */
183 struct brw_reg
184 fs_visitor::interp_reg(int location, int channel)
185 {
186 assert(stage == MESA_SHADER_FRAGMENT);
187 brw_wm_prog_data *prog_data = (brw_wm_prog_data*) this->prog_data;
188 int regnr = prog_data->urb_setup[location] * 2 + channel / 2;
189 int stride = (channel & 1) * 4;
190
191 assert(prog_data->urb_setup[location] != -1);
192
193 return brw_vec1_grf(regnr, stride);
194 }
195
196 /** Emits the interpolation for the varying inputs. */
197 void
198 fs_visitor::emit_interpolation_setup_gen4()
199 {
200 struct brw_reg g1_uw = retype(brw_vec1_grf(1, 0), BRW_REGISTER_TYPE_UW);
201
202 fs_builder abld = bld.annotate("compute pixel centers");
203 this->pixel_x = vgrf(glsl_type::uint_type);
204 this->pixel_y = vgrf(glsl_type::uint_type);
205 this->pixel_x.type = BRW_REGISTER_TYPE_UW;
206 this->pixel_y.type = BRW_REGISTER_TYPE_UW;
207 abld.ADD(this->pixel_x,
208 fs_reg(stride(suboffset(g1_uw, 4), 2, 4, 0)),
209 fs_reg(brw_imm_v(0x10101010)));
210 abld.ADD(this->pixel_y,
211 fs_reg(stride(suboffset(g1_uw, 5), 2, 4, 0)),
212 fs_reg(brw_imm_v(0x11001100)));
213
214 abld = bld.annotate("compute pixel deltas from v0");
215
216 this->delta_xy[BRW_BARYCENTRIC_PERSPECTIVE_PIXEL] =
217 vgrf(glsl_type::vec2_type);
218 const fs_reg &delta_xy = this->delta_xy[BRW_BARYCENTRIC_PERSPECTIVE_PIXEL];
219 const fs_reg xstart(negate(brw_vec1_grf(1, 0)));
220 const fs_reg ystart(negate(brw_vec1_grf(1, 1)));
221
222 if (devinfo->has_pln && dispatch_width == 16) {
223 for (unsigned i = 0; i < 2; i++) {
224 abld.half(i).ADD(half(offset(delta_xy, abld, i), 0),
225 half(this->pixel_x, i), xstart);
226 abld.half(i).ADD(half(offset(delta_xy, abld, i), 1),
227 half(this->pixel_y, i), ystart);
228 }
229 } else {
230 abld.ADD(offset(delta_xy, abld, 0), this->pixel_x, xstart);
231 abld.ADD(offset(delta_xy, abld, 1), this->pixel_y, ystart);
232 }
233
234 abld = bld.annotate("compute pos.w and 1/pos.w");
235 /* Compute wpos.w. It's always in our setup, since it's needed to
236 * interpolate the other attributes.
237 */
238 this->wpos_w = vgrf(glsl_type::float_type);
239 abld.emit(FS_OPCODE_LINTERP, wpos_w, delta_xy,
240 interp_reg(VARYING_SLOT_POS, 3));
241 /* Compute the pixel 1/W value from wpos.w. */
242 this->pixel_w = vgrf(glsl_type::float_type);
243 abld.emit(SHADER_OPCODE_RCP, this->pixel_w, wpos_w);
244 }
245
246 /** Emits the interpolation for the varying inputs. */
247 void
248 fs_visitor::emit_interpolation_setup_gen6()
249 {
250 struct brw_reg g1_uw = retype(brw_vec1_grf(1, 0), BRW_REGISTER_TYPE_UW);
251
252 fs_builder abld = bld.annotate("compute pixel centers");
253 if (devinfo->gen >= 8 || dispatch_width == 8) {
254 /* The "Register Region Restrictions" page says for BDW (and newer,
255 * presumably):
256 *
257 * "When destination spans two registers, the source may be one or
258 * two registers. The destination elements must be evenly split
259 * between the two registers."
260 *
261 * Thus we can do a single add(16) in SIMD8 or an add(32) in SIMD16 to
262 * compute our pixel centers.
263 */
264 fs_reg int_pixel_xy(VGRF, alloc.allocate(dispatch_width / 8),
265 BRW_REGISTER_TYPE_UW);
266
267 const fs_builder dbld = abld.exec_all().group(dispatch_width * 2, 0);
268 dbld.ADD(int_pixel_xy,
269 fs_reg(stride(suboffset(g1_uw, 4), 1, 4, 0)),
270 fs_reg(brw_imm_v(0x11001010)));
271
272 this->pixel_x = vgrf(glsl_type::float_type);
273 this->pixel_y = vgrf(glsl_type::float_type);
274 abld.emit(FS_OPCODE_PIXEL_X, this->pixel_x, int_pixel_xy);
275 abld.emit(FS_OPCODE_PIXEL_Y, this->pixel_y, int_pixel_xy);
276 } else {
277 /* The "Register Region Restrictions" page says for SNB, IVB, HSW:
278 *
279 * "When destination spans two registers, the source MUST span two
280 * registers."
281 *
282 * Since the GRF source of the ADD will only read a single register, we
283 * must do two separate ADDs in SIMD16.
284 */
285 fs_reg int_pixel_x = vgrf(glsl_type::uint_type);
286 fs_reg int_pixel_y = vgrf(glsl_type::uint_type);
287 int_pixel_x.type = BRW_REGISTER_TYPE_UW;
288 int_pixel_y.type = BRW_REGISTER_TYPE_UW;
289 abld.ADD(int_pixel_x,
290 fs_reg(stride(suboffset(g1_uw, 4), 2, 4, 0)),
291 fs_reg(brw_imm_v(0x10101010)));
292 abld.ADD(int_pixel_y,
293 fs_reg(stride(suboffset(g1_uw, 5), 2, 4, 0)),
294 fs_reg(brw_imm_v(0x11001100)));
295
296 /* As of gen6, we can no longer mix float and int sources. We have
297 * to turn the integer pixel centers into floats for their actual
298 * use.
299 */
300 this->pixel_x = vgrf(glsl_type::float_type);
301 this->pixel_y = vgrf(glsl_type::float_type);
302 abld.MOV(this->pixel_x, int_pixel_x);
303 abld.MOV(this->pixel_y, int_pixel_y);
304 }
305
306 abld = bld.annotate("compute pos.w");
307 this->pixel_w = fs_reg(brw_vec8_grf(payload.source_w_reg, 0));
308 this->wpos_w = vgrf(glsl_type::float_type);
309 abld.emit(SHADER_OPCODE_RCP, this->wpos_w, this->pixel_w);
310
311 brw_wm_prog_data *wm_prog_data = (brw_wm_prog_data *) prog_data;
312 uint32_t centroid_modes = wm_prog_data->barycentric_interp_modes &
313 (1 << BRW_BARYCENTRIC_PERSPECTIVE_CENTROID |
314 1 << BRW_BARYCENTRIC_NONPERSPECTIVE_CENTROID);
315
316 for (int i = 0; i < BRW_BARYCENTRIC_MODE_COUNT; ++i) {
317 uint8_t reg = payload.barycentric_coord_reg[i];
318 this->delta_xy[i] = fs_reg(brw_vec16_grf(reg, 0));
319
320 if (devinfo->needs_unlit_centroid_workaround &&
321 (centroid_modes & (1 << i))) {
322 /* Get the pixel/sample mask into f0 so that we know which
323 * pixels are lit. Then, for each channel that is unlit,
324 * replace the centroid data with non-centroid data.
325 */
326 bld.emit(FS_OPCODE_MOV_DISPATCH_TO_FLAGS);
327
328 uint8_t pixel_reg = payload.barycentric_coord_reg[i - 1];
329
330 set_predicate_inv(BRW_PREDICATE_NORMAL, true,
331 bld.half(0).MOV(brw_vec8_grf(reg, 0),
332 brw_vec8_grf(pixel_reg, 0)));
333 set_predicate_inv(BRW_PREDICATE_NORMAL, true,
334 bld.half(0).MOV(brw_vec8_grf(reg + 1, 0),
335 brw_vec8_grf(pixel_reg + 1, 0)));
336 if (dispatch_width == 16) {
337 set_predicate_inv(BRW_PREDICATE_NORMAL, true,
338 bld.half(1).MOV(brw_vec8_grf(reg + 2, 0),
339 brw_vec8_grf(pixel_reg + 2, 0)));
340 set_predicate_inv(BRW_PREDICATE_NORMAL, true,
341 bld.half(1).MOV(brw_vec8_grf(reg + 3, 0),
342 brw_vec8_grf(pixel_reg + 3, 0)));
343 }
344 assert(dispatch_width != 32); /* not implemented yet */
345 }
346 }
347 }
348
349 static enum brw_conditional_mod
350 cond_for_alpha_func(GLenum func)
351 {
352 switch(func) {
353 case GL_GREATER:
354 return BRW_CONDITIONAL_G;
355 case GL_GEQUAL:
356 return BRW_CONDITIONAL_GE;
357 case GL_LESS:
358 return BRW_CONDITIONAL_L;
359 case GL_LEQUAL:
360 return BRW_CONDITIONAL_LE;
361 case GL_EQUAL:
362 return BRW_CONDITIONAL_EQ;
363 case GL_NOTEQUAL:
364 return BRW_CONDITIONAL_NEQ;
365 default:
366 unreachable("Not reached");
367 }
368 }
369
370 /**
371 * Alpha test support for when we compile it into the shader instead
372 * of using the normal fixed-function alpha test.
373 */
374 void
375 fs_visitor::emit_alpha_test()
376 {
377 assert(stage == MESA_SHADER_FRAGMENT);
378 brw_wm_prog_key *key = (brw_wm_prog_key*) this->key;
379 const fs_builder abld = bld.annotate("Alpha test");
380
381 fs_inst *cmp;
382 if (key->alpha_test_func == GL_ALWAYS)
383 return;
384
385 if (key->alpha_test_func == GL_NEVER) {
386 /* f0.1 = 0 */
387 fs_reg some_reg = fs_reg(retype(brw_vec8_grf(0, 0),
388 BRW_REGISTER_TYPE_UW));
389 cmp = abld.CMP(bld.null_reg_f(), some_reg, some_reg,
390 BRW_CONDITIONAL_NEQ);
391 } else {
392 /* RT0 alpha */
393 fs_reg color = offset(outputs[0], bld, 3);
394
395 /* f0.1 &= func(color, ref) */
396 cmp = abld.CMP(bld.null_reg_f(), color, brw_imm_f(key->alpha_test_ref),
397 cond_for_alpha_func(key->alpha_test_func));
398 }
399 cmp->predicate = BRW_PREDICATE_NORMAL;
400 cmp->flag_subreg = 1;
401 }
402
403 fs_inst *
404 fs_visitor::emit_single_fb_write(const fs_builder &bld,
405 fs_reg color0, fs_reg color1,
406 fs_reg src0_alpha, unsigned components)
407 {
408 assert(stage == MESA_SHADER_FRAGMENT);
409 brw_wm_prog_data *prog_data = (brw_wm_prog_data*) this->prog_data;
410
411 /* Hand over gl_FragDepth or the payload depth. */
412 const fs_reg dst_depth = (payload.dest_depth_reg ?
413 fs_reg(brw_vec8_grf(payload.dest_depth_reg, 0)) :
414 fs_reg());
415 fs_reg src_depth, src_stencil;
416
417 if (source_depth_to_render_target) {
418 if (nir->info.outputs_written & BITFIELD64_BIT(FRAG_RESULT_DEPTH))
419 src_depth = frag_depth;
420 else
421 src_depth = fs_reg(brw_vec8_grf(payload.source_depth_reg, 0));
422 }
423
424 if (nir->info.outputs_written & BITFIELD64_BIT(FRAG_RESULT_STENCIL))
425 src_stencil = frag_stencil;
426
427 const fs_reg sources[] = {
428 color0, color1, src0_alpha, src_depth, dst_depth, src_stencil,
429 (prog_data->uses_omask ? sample_mask : fs_reg()),
430 brw_imm_ud(components)
431 };
432 assert(ARRAY_SIZE(sources) - 1 == FB_WRITE_LOGICAL_SRC_COMPONENTS);
433 fs_inst *write = bld.emit(FS_OPCODE_FB_WRITE_LOGICAL, fs_reg(),
434 sources, ARRAY_SIZE(sources));
435
436 if (prog_data->uses_kill) {
437 write->predicate = BRW_PREDICATE_NORMAL;
438 write->flag_subreg = 1;
439 }
440
441 return write;
442 }
443
444 void
445 fs_visitor::emit_fb_writes()
446 {
447 assert(stage == MESA_SHADER_FRAGMENT);
448 brw_wm_prog_data *prog_data = (brw_wm_prog_data*) this->prog_data;
449 brw_wm_prog_key *key = (brw_wm_prog_key*) this->key;
450
451 fs_inst *inst = NULL;
452
453 if (source_depth_to_render_target && devinfo->gen == 6) {
454 /* For outputting oDepth on gen6, SIMD8 writes have to be used. This
455 * would require SIMD8 moves of each half to message regs, e.g. by using
456 * the SIMD lowering pass. Unfortunately this is more difficult than it
457 * sounds because the SIMD8 single-source message lacks channel selects
458 * for the second and third subspans.
459 */
460 limit_dispatch_width(8, "Depth writes unsupported in SIMD16+ mode.\n");
461 }
462
463 if (nir->info.outputs_written & BITFIELD64_BIT(FRAG_RESULT_STENCIL)) {
464 /* From the 'Render Target Write message' section of the docs:
465 * "Output Stencil is not supported with SIMD16 Render Target Write
466 * Messages."
467 */
468 limit_dispatch_width(8, "gl_FragStencilRefARB unsupported "
469 "in SIMD16+ mode.\n");
470 }
471
472 for (int target = 0; target < key->nr_color_regions; target++) {
473 /* Skip over outputs that weren't written. */
474 if (this->outputs[target].file == BAD_FILE)
475 continue;
476
477 const fs_builder abld = bld.annotate(
478 ralloc_asprintf(this->mem_ctx, "FB write target %d", target));
479
480 fs_reg src0_alpha;
481 if (devinfo->gen >= 6 && key->replicate_alpha && target != 0)
482 src0_alpha = offset(outputs[0], bld, 3);
483
484 inst = emit_single_fb_write(abld, this->outputs[target],
485 this->dual_src_output, src0_alpha, 4);
486 inst->target = target;
487 }
488
489 prog_data->dual_src_blend = (this->dual_src_output.file != BAD_FILE);
490 assert(!prog_data->dual_src_blend || key->nr_color_regions == 1);
491
492 if (inst == NULL) {
493 /* Even if there's no color buffers enabled, we still need to send
494 * alpha out the pipeline to our null renderbuffer to support
495 * alpha-testing, alpha-to-coverage, and so on.
496 */
497 /* FINISHME: Factor out this frequently recurring pattern into a
498 * helper function.
499 */
500 const fs_reg srcs[] = { reg_undef, reg_undef,
501 reg_undef, offset(this->outputs[0], bld, 3) };
502 const fs_reg tmp = bld.vgrf(BRW_REGISTER_TYPE_UD, 4);
503 bld.LOAD_PAYLOAD(tmp, srcs, 4, 0);
504
505 inst = emit_single_fb_write(bld, tmp, reg_undef, reg_undef, 4);
506 inst->target = 0;
507 }
508
509 inst->eot = true;
510 }
511
512 void
513 fs_visitor::setup_uniform_clipplane_values(gl_clip_plane *clip_planes)
514 {
515 const struct brw_vs_prog_key *key =
516 (const struct brw_vs_prog_key *) this->key;
517
518 for (int i = 0; i < key->nr_userclip_plane_consts; i++) {
519 this->userplane[i] = fs_reg(UNIFORM, uniforms);
520 for (int j = 0; j < 4; ++j) {
521 stage_prog_data->param[uniforms + j] =
522 (gl_constant_value *) &clip_planes[i][j];
523 }
524 uniforms += 4;
525 }
526 }
527
528 /**
529 * Lower legacy fixed-function and gl_ClipVertex clipping to clip distances.
530 *
531 * This does nothing if the shader uses gl_ClipDistance or user clipping is
532 * disabled altogether.
533 */
534 void fs_visitor::compute_clip_distance(gl_clip_plane *clip_planes)
535 {
536 struct brw_vue_prog_data *vue_prog_data =
537 (struct brw_vue_prog_data *) prog_data;
538 const struct brw_vs_prog_key *key =
539 (const struct brw_vs_prog_key *) this->key;
540
541 /* Bail unless some sort of legacy clipping is enabled */
542 if (key->nr_userclip_plane_consts == 0)
543 return;
544
545 /* From the GLSL 1.30 spec, section 7.1 (Vertex Shader Special Variables):
546 *
547 * "If a linked set of shaders forming the vertex stage contains no
548 * static write to gl_ClipVertex or gl_ClipDistance, but the
549 * application has requested clipping against user clip planes through
550 * the API, then the coordinate written to gl_Position is used for
551 * comparison against the user clip planes."
552 *
553 * This function is only called if the shader didn't write to
554 * gl_ClipDistance. Accordingly, we use gl_ClipVertex to perform clipping
555 * if the user wrote to it; otherwise we use gl_Position.
556 */
557
558 gl_varying_slot clip_vertex = VARYING_SLOT_CLIP_VERTEX;
559 if (!(vue_prog_data->vue_map.slots_valid & VARYING_BIT_CLIP_VERTEX))
560 clip_vertex = VARYING_SLOT_POS;
561
562 /* If the clip vertex isn't written, skip this. Typically this means
563 * the GS will set up clipping. */
564 if (outputs[clip_vertex].file == BAD_FILE)
565 return;
566
567 setup_uniform_clipplane_values(clip_planes);
568
569 const fs_builder abld = bld.annotate("user clip distances");
570
571 this->outputs[VARYING_SLOT_CLIP_DIST0] = vgrf(glsl_type::vec4_type);
572 this->outputs[VARYING_SLOT_CLIP_DIST1] = vgrf(glsl_type::vec4_type);
573
574 for (int i = 0; i < key->nr_userclip_plane_consts; i++) {
575 fs_reg u = userplane[i];
576 fs_reg output = outputs[VARYING_SLOT_CLIP_DIST0 + i / 4];
577 output.offset = output.offset % REG_SIZE + (i & 3) * REG_SIZE;
578
579 abld.MUL(output, outputs[clip_vertex], u);
580 for (int j = 1; j < 4; j++) {
581 u.nr = userplane[i].nr + j;
582 abld.MAD(output, output, offset(outputs[clip_vertex], bld, j), u);
583 }
584 }
585 }
586
587 void
588 fs_visitor::emit_urb_writes(const fs_reg &gs_vertex_count)
589 {
590 int slot, urb_offset, length;
591 int starting_urb_offset = 0;
592 const struct brw_vue_prog_data *vue_prog_data =
593 (const struct brw_vue_prog_data *) this->prog_data;
594 const struct brw_vs_prog_key *vs_key =
595 (const struct brw_vs_prog_key *) this->key;
596 const GLbitfield64 psiz_mask =
597 VARYING_BIT_LAYER | VARYING_BIT_VIEWPORT | VARYING_BIT_PSIZ;
598 const struct brw_vue_map *vue_map = &vue_prog_data->vue_map;
599 bool flush;
600 fs_reg sources[8];
601 fs_reg urb_handle;
602
603 if (stage == MESA_SHADER_TESS_EVAL)
604 urb_handle = fs_reg(retype(brw_vec8_grf(4, 0), BRW_REGISTER_TYPE_UD));
605 else
606 urb_handle = fs_reg(retype(brw_vec8_grf(1, 0), BRW_REGISTER_TYPE_UD));
607
608 /* If we don't have any valid slots to write, just do a minimal urb write
609 * send to terminate the shader. This includes 1 slot of undefined data,
610 * because it's invalid to write 0 data:
611 *
612 * From the Broadwell PRM, Volume 7: 3D Media GPGPU, Shared Functions -
613 * Unified Return Buffer (URB) > URB_SIMD8_Write and URB_SIMD8_Read >
614 * Write Data Payload:
615 *
616 * "The write data payload can be between 1 and 8 message phases long."
617 */
618 if (vue_map->slots_valid == 0) {
619 /* For GS, just turn EmitVertex() into a no-op. We don't want it to
620 * end the thread, and emit_gs_thread_end() already emits a SEND with
621 * EOT at the end of the program for us.
622 */
623 if (stage == MESA_SHADER_GEOMETRY)
624 return;
625
626 fs_reg payload = fs_reg(VGRF, alloc.allocate(2), BRW_REGISTER_TYPE_UD);
627 bld.exec_all().MOV(payload, urb_handle);
628
629 fs_inst *inst = bld.emit(SHADER_OPCODE_URB_WRITE_SIMD8, reg_undef, payload);
630 inst->eot = true;
631 inst->mlen = 2;
632 inst->offset = 1;
633 return;
634 }
635
636 opcode opcode = SHADER_OPCODE_URB_WRITE_SIMD8;
637 int header_size = 1;
638 fs_reg per_slot_offsets;
639
640 if (stage == MESA_SHADER_GEOMETRY) {
641 const struct brw_gs_prog_data *gs_prog_data =
642 (const struct brw_gs_prog_data *) this->prog_data;
643
644 /* We need to increment the Global Offset to skip over the control data
645 * header and the extra "Vertex Count" field (1 HWord) at the beginning
646 * of the VUE. We're counting in OWords, so the units are doubled.
647 */
648 starting_urb_offset = 2 * gs_prog_data->control_data_header_size_hwords;
649 if (gs_prog_data->static_vertex_count == -1)
650 starting_urb_offset += 2;
651
652 /* We also need to use per-slot offsets. The per-slot offset is the
653 * Vertex Count. SIMD8 mode processes 8 different primitives at a
654 * time; each may output a different number of vertices.
655 */
656 opcode = SHADER_OPCODE_URB_WRITE_SIMD8_PER_SLOT;
657 header_size++;
658
659 /* The URB offset is in 128-bit units, so we need to multiply by 2 */
660 const int output_vertex_size_owords =
661 gs_prog_data->output_vertex_size_hwords * 2;
662
663 if (gs_vertex_count.file == IMM) {
664 per_slot_offsets = brw_imm_ud(output_vertex_size_owords *
665 gs_vertex_count.ud);
666 } else {
667 per_slot_offsets = vgrf(glsl_type::int_type);
668 bld.MUL(per_slot_offsets, gs_vertex_count,
669 brw_imm_ud(output_vertex_size_owords));
670 }
671 }
672
673 length = 0;
674 urb_offset = starting_urb_offset;
675 flush = false;
676 for (slot = 0; slot < vue_map->num_slots; slot++) {
677 int varying = vue_map->slot_to_varying[slot];
678 switch (varying) {
679 case VARYING_SLOT_PSIZ: {
680 /* The point size varying slot is the vue header and is always in the
681 * vue map. But often none of the special varyings that live there
682 * are written and in that case we can skip writing to the vue
683 * header, provided the corresponding state properly clamps the
684 * values further down the pipeline. */
685 if ((vue_map->slots_valid & psiz_mask) == 0) {
686 assert(length == 0);
687 urb_offset++;
688 break;
689 }
690
691 fs_reg zero(VGRF, alloc.allocate(1), BRW_REGISTER_TYPE_UD);
692 bld.MOV(zero, brw_imm_ud(0u));
693
694 sources[length++] = zero;
695 if (vue_map->slots_valid & VARYING_BIT_LAYER)
696 sources[length++] = this->outputs[VARYING_SLOT_LAYER];
697 else
698 sources[length++] = zero;
699
700 if (vue_map->slots_valid & VARYING_BIT_VIEWPORT)
701 sources[length++] = this->outputs[VARYING_SLOT_VIEWPORT];
702 else
703 sources[length++] = zero;
704
705 if (vue_map->slots_valid & VARYING_BIT_PSIZ)
706 sources[length++] = this->outputs[VARYING_SLOT_PSIZ];
707 else
708 sources[length++] = zero;
709 break;
710 }
711 case BRW_VARYING_SLOT_NDC:
712 case VARYING_SLOT_EDGE:
713 unreachable("unexpected scalar vs output");
714 break;
715
716 default:
717 /* gl_Position is always in the vue map, but isn't always written by
718 * the shader. Other varyings (clip distances) get added to the vue
719 * map but don't always get written. In those cases, the
720 * corresponding this->output[] slot will be invalid we and can skip
721 * the urb write for the varying. If we've already queued up a vue
722 * slot for writing we flush a mlen 5 urb write, otherwise we just
723 * advance the urb_offset.
724 */
725 if (varying == BRW_VARYING_SLOT_PAD ||
726 this->outputs[varying].file == BAD_FILE) {
727 if (length > 0)
728 flush = true;
729 else
730 urb_offset++;
731 break;
732 }
733
734 if (stage == MESA_SHADER_VERTEX && vs_key->clamp_vertex_color &&
735 (varying == VARYING_SLOT_COL0 ||
736 varying == VARYING_SLOT_COL1 ||
737 varying == VARYING_SLOT_BFC0 ||
738 varying == VARYING_SLOT_BFC1)) {
739 /* We need to clamp these guys, so do a saturating MOV into a
740 * temp register and use that for the payload.
741 */
742 for (int i = 0; i < 4; i++) {
743 fs_reg reg = fs_reg(VGRF, alloc.allocate(1), outputs[varying].type);
744 fs_reg src = offset(this->outputs[varying], bld, i);
745 set_saturate(true, bld.MOV(reg, src));
746 sources[length++] = reg;
747 }
748 } else {
749 for (unsigned i = 0; i < 4; i++)
750 sources[length++] = offset(this->outputs[varying], bld, i);
751 }
752 break;
753 }
754
755 const fs_builder abld = bld.annotate("URB write");
756
757 /* If we've queued up 8 registers of payload (2 VUE slots), if this is
758 * the last slot or if we need to flush (see BAD_FILE varying case
759 * above), emit a URB write send now to flush out the data.
760 */
761 int last = slot == vue_map->num_slots - 1;
762 if (length == 8 || last)
763 flush = true;
764 if (flush) {
765 fs_reg *payload_sources =
766 ralloc_array(mem_ctx, fs_reg, length + header_size);
767 fs_reg payload = fs_reg(VGRF, alloc.allocate(length + header_size),
768 BRW_REGISTER_TYPE_F);
769 payload_sources[0] = urb_handle;
770
771 if (opcode == SHADER_OPCODE_URB_WRITE_SIMD8_PER_SLOT)
772 payload_sources[1] = per_slot_offsets;
773
774 memcpy(&payload_sources[header_size], sources,
775 length * sizeof sources[0]);
776
777 abld.LOAD_PAYLOAD(payload, payload_sources, length + header_size,
778 header_size);
779
780 fs_inst *inst = abld.emit(opcode, reg_undef, payload);
781 inst->eot = last && stage != MESA_SHADER_GEOMETRY;
782 inst->mlen = length + header_size;
783 inst->offset = urb_offset;
784 urb_offset = starting_urb_offset + slot + 1;
785 length = 0;
786 flush = false;
787 }
788 }
789 }
790
791 void
792 fs_visitor::emit_cs_terminate()
793 {
794 assert(devinfo->gen >= 7);
795
796 /* We are getting the thread ID from the compute shader header */
797 assert(stage == MESA_SHADER_COMPUTE);
798
799 /* We can't directly send from g0, since sends with EOT have to use
800 * g112-127. So, copy it to a virtual register, The register allocator will
801 * make sure it uses the appropriate register range.
802 */
803 struct brw_reg g0 = retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD);
804 fs_reg payload = fs_reg(VGRF, alloc.allocate(1), BRW_REGISTER_TYPE_UD);
805 bld.group(8, 0).exec_all().MOV(payload, g0);
806
807 /* Send a message to the thread spawner to terminate the thread. */
808 fs_inst *inst = bld.exec_all()
809 .emit(CS_OPCODE_CS_TERMINATE, reg_undef, payload);
810 inst->eot = true;
811 }
812
813 void
814 fs_visitor::emit_barrier()
815 {
816 assert(devinfo->gen >= 7);
817 const uint32_t barrier_id_mask =
818 devinfo->gen >= 9 ? 0x8f000000u : 0x0f000000u;
819
820 /* We are getting the barrier ID from the compute shader header */
821 assert(stage == MESA_SHADER_COMPUTE);
822
823 fs_reg payload = fs_reg(VGRF, alloc.allocate(1), BRW_REGISTER_TYPE_UD);
824
825 const fs_builder pbld = bld.exec_all().group(8, 0);
826
827 /* Clear the message payload */
828 pbld.MOV(payload, brw_imm_ud(0u));
829
830 /* Copy the barrier id from r0.2 to the message payload reg.2 */
831 fs_reg r0_2 = fs_reg(retype(brw_vec1_grf(0, 2), BRW_REGISTER_TYPE_UD));
832 pbld.AND(component(payload, 2), r0_2, brw_imm_ud(barrier_id_mask));
833
834 /* Emit a gateway "barrier" message using the payload we set up, followed
835 * by a wait instruction.
836 */
837 bld.exec_all().emit(SHADER_OPCODE_BARRIER, reg_undef, payload);
838 }
839
840 fs_visitor::fs_visitor(const struct brw_compiler *compiler, void *log_data,
841 void *mem_ctx,
842 const void *key,
843 struct brw_stage_prog_data *prog_data,
844 struct gl_program *prog,
845 const nir_shader *shader,
846 unsigned dispatch_width,
847 int shader_time_index,
848 const struct brw_vue_map *input_vue_map)
849 : backend_shader(compiler, log_data, mem_ctx, shader, prog_data),
850 key(key), gs_compile(NULL), prog_data(prog_data), prog(prog),
851 input_vue_map(input_vue_map),
852 dispatch_width(dispatch_width),
853 shader_time_index(shader_time_index),
854 bld(fs_builder(this, dispatch_width).at_end())
855 {
856 init();
857 }
858
859 fs_visitor::fs_visitor(const struct brw_compiler *compiler, void *log_data,
860 void *mem_ctx,
861 struct brw_gs_compile *c,
862 struct brw_gs_prog_data *prog_data,
863 const nir_shader *shader,
864 int shader_time_index)
865 : backend_shader(compiler, log_data, mem_ctx, shader,
866 &prog_data->base.base),
867 key(&c->key), gs_compile(c),
868 prog_data(&prog_data->base.base), prog(NULL),
869 dispatch_width(8),
870 shader_time_index(shader_time_index),
871 bld(fs_builder(this, dispatch_width).at_end())
872 {
873 init();
874 }
875
876
877 void
878 fs_visitor::init()
879 {
880 switch (stage) {
881 case MESA_SHADER_FRAGMENT:
882 key_tex = &((const brw_wm_prog_key *) key)->tex;
883 break;
884 case MESA_SHADER_VERTEX:
885 key_tex = &((const brw_vs_prog_key *) key)->tex;
886 break;
887 case MESA_SHADER_TESS_CTRL:
888 key_tex = &((const brw_tcs_prog_key *) key)->tex;
889 break;
890 case MESA_SHADER_TESS_EVAL:
891 key_tex = &((const brw_tes_prog_key *) key)->tex;
892 break;
893 case MESA_SHADER_GEOMETRY:
894 key_tex = &((const brw_gs_prog_key *) key)->tex;
895 break;
896 case MESA_SHADER_COMPUTE:
897 key_tex = &((const brw_cs_prog_key*) key)->tex;
898 break;
899 default:
900 unreachable("unhandled shader stage");
901 }
902
903 if (stage == MESA_SHADER_COMPUTE) {
904 const brw_cs_prog_data *cs_prog_data =
905 (const brw_cs_prog_data *) prog_data;
906 unsigned size = cs_prog_data->local_size[0] *
907 cs_prog_data->local_size[1] *
908 cs_prog_data->local_size[2];
909 size = DIV_ROUND_UP(size, devinfo->max_cs_threads);
910 min_dispatch_width = size > 16 ? 32 : (size > 8 ? 16 : 8);
911 } else {
912 min_dispatch_width = 8;
913 }
914
915 this->max_dispatch_width = 32;
916 this->prog_data = this->stage_prog_data;
917
918 this->failed = false;
919
920 this->nir_locals = NULL;
921 this->nir_ssa_values = NULL;
922
923 memset(&this->payload, 0, sizeof(this->payload));
924 this->source_depth_to_render_target = false;
925 this->runtime_check_aads_emit = false;
926 this->first_non_payload_grf = 0;
927 this->max_grf = devinfo->gen >= 7 ? GEN7_MRF_HACK_START : BRW_MAX_GRF;
928
929 this->virtual_grf_start = NULL;
930 this->virtual_grf_end = NULL;
931 this->live_intervals = NULL;
932 this->regs_live_at_ip = NULL;
933
934 this->uniforms = 0;
935 this->last_scratch = 0;
936 this->pull_constant_loc = NULL;
937 this->push_constant_loc = NULL;
938
939 this->promoted_constants = 0,
940
941 this->spilled_any_registers = false;
942 }
943
944 fs_visitor::~fs_visitor()
945 {
946 }