1 /* Copyright © 2011 Intel Corporation
3 * Permission is hereby granted, free of charge, to any person obtaining a
4 * copy of this software and associated documentation files (the "Software"),
5 * to deal in the Software without restriction, including without limitation
6 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
7 * and/or sell copies of the Software, and to permit persons to whom the
8 * Software is furnished to do so, subject to the following conditions:
10 * The above copyright notice and this permission notice (including the next
11 * paragraph) shall be included in all copies or substantial portions of the
14 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
17 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
19 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
24 #include "glsl/ir_print_visitor.h"
28 #include "main/macros.h"
36 vec4_visitor::setup_attributes(int payload_reg
)
39 int attribute_map
[VERT_ATTRIB_MAX
+ 1];
42 for (int i
= 0; i
< VERT_ATTRIB_MAX
; i
++) {
43 if (prog_data
->inputs_read
& BITFIELD64_BIT(i
)) {
44 attribute_map
[i
] = payload_reg
+ nr_attributes
;
49 /* VertexID is stored by the VF as the last vertex element, but we
50 * don't represent it with a flag in inputs_read, so we call it
53 if (prog_data
->uses_vertexid
) {
54 attribute_map
[VERT_ATTRIB_MAX
] = payload_reg
+ nr_attributes
;
58 foreach_list(node
, &this->instructions
) {
59 vec4_instruction
*inst
= (vec4_instruction
*)node
;
61 /* We have to support ATTR as a destination for GL_FIXED fixup. */
62 if (inst
->dst
.file
== ATTR
) {
63 int grf
= attribute_map
[inst
->dst
.reg
+ inst
->dst
.reg_offset
];
65 struct brw_reg reg
= brw_vec8_grf(grf
, 0);
66 reg
.dw1
.bits
.writemask
= inst
->dst
.writemask
;
68 inst
->dst
.file
= HW_REG
;
69 inst
->dst
.fixed_hw_reg
= reg
;
72 for (int i
= 0; i
< 3; i
++) {
73 if (inst
->src
[i
].file
!= ATTR
)
76 int grf
= attribute_map
[inst
->src
[i
].reg
+ inst
->src
[i
].reg_offset
];
78 struct brw_reg reg
= brw_vec8_grf(grf
, 0);
79 reg
.dw1
.bits
.swizzle
= inst
->src
[i
].swizzle
;
80 reg
.type
= inst
->src
[i
].type
;
83 if (inst
->src
[i
].negate
)
86 inst
->src
[i
].file
= HW_REG
;
87 inst
->src
[i
].fixed_hw_reg
= reg
;
91 /* The BSpec says we always have to read at least one thing from
92 * the VF, and it appears that the hardware wedges otherwise.
94 if (nr_attributes
== 0)
97 prog_data
->urb_read_length
= (nr_attributes
+ 1) / 2;
99 unsigned vue_entries
= MAX2(nr_attributes
, c
->prog_data
.vue_map
.num_slots
);
102 c
->prog_data
.urb_entry_size
= ALIGN(vue_entries
, 8) / 8;
104 c
->prog_data
.urb_entry_size
= ALIGN(vue_entries
, 4) / 4;
106 return payload_reg
+ nr_attributes
;
110 vec4_visitor::setup_uniforms(int reg
)
112 /* The pre-gen6 VS requires that some push constants get loaded no
113 * matter what, or the GPU would hang.
115 if (intel
->gen
< 6 && this->uniforms
== 0) {
116 this->uniform_vector_size
[this->uniforms
] = 1;
118 for (unsigned int i
= 0; i
< 4; i
++) {
119 unsigned int slot
= this->uniforms
* 4 + i
;
120 static float zero
= 0.0;
121 c
->prog_data
.param
[slot
] = &zero
;
127 reg
+= ALIGN(uniforms
, 2) / 2;
130 c
->prog_data
.nr_params
= this->uniforms
* 4;
132 c
->prog_data
.curb_read_length
= reg
- 1;
133 c
->prog_data
.uses_new_param_layout
= true;
139 vec4_visitor::setup_payload(void)
143 /* The payload always contains important data in g0, which contains
144 * the URB handles that are passed on to the URB write at the end
145 * of the thread. So, we always start push constants at g1.
149 reg
= setup_uniforms(reg
);
151 reg
= setup_attributes(reg
);
153 this->first_non_payload_grf
= reg
;
157 vec4_instruction::get_dst(void)
159 struct brw_reg brw_reg
;
163 brw_reg
= brw_vec8_grf(dst
.reg
+ dst
.reg_offset
, 0);
164 brw_reg
= retype(brw_reg
, dst
.type
);
165 brw_reg
.dw1
.bits
.writemask
= dst
.writemask
;
169 brw_reg
= brw_message_reg(dst
.reg
+ dst
.reg_offset
);
170 brw_reg
= retype(brw_reg
, dst
.type
);
171 brw_reg
.dw1
.bits
.writemask
= dst
.writemask
;
175 brw_reg
= dst
.fixed_hw_reg
;
179 brw_reg
= brw_null_reg();
183 assert(!"not reached");
184 brw_reg
= brw_null_reg();
191 vec4_instruction::get_src(int i
)
193 struct brw_reg brw_reg
;
195 switch (src
[i
].file
) {
197 brw_reg
= brw_vec8_grf(src
[i
].reg
+ src
[i
].reg_offset
, 0);
198 brw_reg
= retype(brw_reg
, src
[i
].type
);
199 brw_reg
.dw1
.bits
.swizzle
= src
[i
].swizzle
;
201 brw_reg
= brw_abs(brw_reg
);
203 brw_reg
= negate(brw_reg
);
207 switch (src
[i
].type
) {
208 case BRW_REGISTER_TYPE_F
:
209 brw_reg
= brw_imm_f(src
[i
].imm
.f
);
211 case BRW_REGISTER_TYPE_D
:
212 brw_reg
= brw_imm_d(src
[i
].imm
.i
);
214 case BRW_REGISTER_TYPE_UD
:
215 brw_reg
= brw_imm_ud(src
[i
].imm
.u
);
218 assert(!"not reached");
219 brw_reg
= brw_null_reg();
225 brw_reg
= stride(brw_vec4_grf(1 + (src
[i
].reg
+ src
[i
].reg_offset
) / 2,
226 ((src
[i
].reg
+ src
[i
].reg_offset
) % 2) * 4),
228 brw_reg
= retype(brw_reg
, src
[i
].type
);
229 brw_reg
.dw1
.bits
.swizzle
= src
[i
].swizzle
;
231 brw_reg
= brw_abs(brw_reg
);
233 brw_reg
= negate(brw_reg
);
235 /* This should have been moved to pull constants. */
236 assert(!src
[i
].reladdr
);
240 brw_reg
= src
[i
].fixed_hw_reg
;
244 /* Probably unused. */
245 brw_reg
= brw_null_reg();
249 assert(!"not reached");
250 brw_reg
= brw_null_reg();
258 vec4_visitor::generate_math1_gen4(vec4_instruction
*inst
,
264 brw_math_function(inst
->opcode
),
265 BRW_MATH_SATURATE_NONE
,
268 BRW_MATH_DATA_VECTOR
,
269 BRW_MATH_PRECISION_FULL
);
273 check_gen6_math_src_arg(struct brw_reg src
)
275 /* Source swizzles are ignored. */
278 assert(src
.dw1
.bits
.swizzle
== BRW_SWIZZLE_XYZW
);
282 vec4_visitor::generate_math1_gen6(vec4_instruction
*inst
,
286 /* Can't do writemask because math can't be align16. */
287 assert(dst
.dw1
.bits
.writemask
== WRITEMASK_XYZW
);
288 check_gen6_math_src_arg(src
);
290 brw_set_access_mode(p
, BRW_ALIGN_1
);
293 brw_math_function(inst
->opcode
),
294 BRW_MATH_SATURATE_NONE
,
297 BRW_MATH_DATA_SCALAR
,
298 BRW_MATH_PRECISION_FULL
);
299 brw_set_access_mode(p
, BRW_ALIGN_16
);
303 vec4_visitor::generate_math2_gen7(vec4_instruction
*inst
,
310 brw_math_function(inst
->opcode
),
315 vec4_visitor::generate_math2_gen6(vec4_instruction
*inst
,
320 /* Can't do writemask because math can't be align16. */
321 assert(dst
.dw1
.bits
.writemask
== WRITEMASK_XYZW
);
322 /* Source swizzles are ignored. */
323 check_gen6_math_src_arg(src0
);
324 check_gen6_math_src_arg(src1
);
326 brw_set_access_mode(p
, BRW_ALIGN_1
);
329 brw_math_function(inst
->opcode
),
331 brw_set_access_mode(p
, BRW_ALIGN_16
);
335 vec4_visitor::generate_math2_gen4(vec4_instruction
*inst
,
340 /* From the Ironlake PRM, Volume 4, Part 1, Section 6.1.13
343 * "Operand0[7]. For the INT DIV functions, this operand is the
346 * "Operand1[7]. For the INT DIV functions, this operand is the
349 bool is_int_div
= inst
->opcode
!= SHADER_OPCODE_POW
;
350 struct brw_reg
&op0
= is_int_div
? src1
: src0
;
351 struct brw_reg
&op1
= is_int_div
? src0
: src1
;
353 brw_MOV(p
, retype(brw_message_reg(inst
->base_mrf
+ 1), op1
.type
), op1
);
357 brw_math_function(inst
->opcode
),
358 BRW_MATH_SATURATE_NONE
,
361 BRW_MATH_DATA_VECTOR
,
362 BRW_MATH_PRECISION_FULL
);
366 vec4_visitor::generate_tex(vec4_instruction
*inst
,
372 if (intel
->gen
>= 5) {
373 switch (inst
->opcode
) {
374 case SHADER_OPCODE_TEX
:
375 case SHADER_OPCODE_TXL
:
376 if (inst
->shadow_compare
) {
377 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_LOD_COMPARE
;
379 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_LOD
;
382 case SHADER_OPCODE_TXD
:
383 /* There is no sample_d_c message; comparisons are done manually. */
384 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_DERIVS
;
386 case SHADER_OPCODE_TXF
:
387 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_LD
;
389 case SHADER_OPCODE_TXS
:
390 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_RESINFO
;
393 assert(!"should not get here: invalid VS texture opcode");
397 switch (inst
->opcode
) {
398 case SHADER_OPCODE_TEX
:
399 case SHADER_OPCODE_TXL
:
400 if (inst
->shadow_compare
) {
401 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_SAMPLE_LOD_COMPARE
;
402 assert(inst
->mlen
== 3);
404 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_SAMPLE_LOD
;
405 assert(inst
->mlen
== 2);
408 case SHADER_OPCODE_TXD
:
409 /* There is no sample_d_c message; comparisons are done manually. */
410 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_SAMPLE_GRADIENTS
;
411 assert(inst
->mlen
== 4);
413 case SHADER_OPCODE_TXF
:
414 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_LD
;
415 assert(inst
->mlen
== 2);
417 case SHADER_OPCODE_TXS
:
418 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_RESINFO
;
419 assert(inst
->mlen
== 2);
422 assert(!"should not get here: invalid VS texture opcode");
427 assert(msg_type
!= -1);
429 /* Load the message header if present. If there's a texture offset, we need
430 * to set it up explicitly and load the offset bitfield. Otherwise, we can
431 * use an implied move from g0 to the first message register.
433 if (inst
->texture_offset
) {
434 /* Explicitly set up the message header by copying g0 to the MRF. */
435 brw_MOV(p
, retype(brw_message_reg(inst
->base_mrf
), BRW_REGISTER_TYPE_UD
),
436 retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD
));
438 /* Then set the offset bits in DWord 2. */
439 brw_set_access_mode(p
, BRW_ALIGN_1
);
441 retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE
, inst
->base_mrf
, 2),
442 BRW_REGISTER_TYPE_UD
),
443 brw_imm_uw(inst
->texture_offset
));
444 brw_set_access_mode(p
, BRW_ALIGN_16
);
445 } else if (inst
->header_present
) {
446 /* Set up an implied move from g0 to the MRF. */
447 src
= brw_vec8_grf(0, 0);
450 uint32_t return_format
;
453 case BRW_REGISTER_TYPE_D
:
454 return_format
= BRW_SAMPLER_RETURN_FORMAT_SINT32
;
456 case BRW_REGISTER_TYPE_UD
:
457 return_format
= BRW_SAMPLER_RETURN_FORMAT_UINT32
;
460 return_format
= BRW_SAMPLER_RETURN_FORMAT_FLOAT32
;
468 SURF_INDEX_TEXTURE(inst
->sampler
),
472 1, /* response length */
474 inst
->header_present
,
475 BRW_SAMPLER_SIMD_MODE_SIMD4X2
,
480 vec4_visitor::generate_urb_write(vec4_instruction
*inst
)
483 brw_null_reg(), /* dest */
484 inst
->base_mrf
, /* starting mrf reg nr */
485 brw_vec8_grf(0, 0), /* src */
486 false, /* allocate */
489 0, /* response len */
491 inst
->eot
, /* writes complete */
492 inst
->offset
, /* urb destination offset */
493 BRW_URB_SWIZZLE_INTERLEAVE
);
497 vec4_visitor::generate_oword_dual_block_offsets(struct brw_reg m1
,
498 struct brw_reg index
)
500 int second_vertex_offset
;
503 second_vertex_offset
= 1;
505 second_vertex_offset
= 16;
507 m1
= retype(m1
, BRW_REGISTER_TYPE_D
);
509 /* Set up M1 (message payload). Only the block offsets in M1.0 and
510 * M1.4 are used, and the rest are ignored.
512 struct brw_reg m1_0
= suboffset(vec1(m1
), 0);
513 struct brw_reg m1_4
= suboffset(vec1(m1
), 4);
514 struct brw_reg index_0
= suboffset(vec1(index
), 0);
515 struct brw_reg index_4
= suboffset(vec1(index
), 4);
517 brw_push_insn_state(p
);
518 brw_set_mask_control(p
, BRW_MASK_DISABLE
);
519 brw_set_access_mode(p
, BRW_ALIGN_1
);
521 brw_MOV(p
, m1_0
, index_0
);
523 brw_set_predicate_inverse(p
, true);
524 if (index
.file
== BRW_IMMEDIATE_VALUE
) {
525 index_4
.dw1
.ud
+= second_vertex_offset
;
526 brw_MOV(p
, m1_4
, index_4
);
528 brw_ADD(p
, m1_4
, index_4
, brw_imm_d(second_vertex_offset
));
531 brw_pop_insn_state(p
);
535 vec4_visitor::generate_scratch_read(vec4_instruction
*inst
,
537 struct brw_reg index
)
539 struct brw_reg header
= brw_vec8_grf(0, 0);
541 gen6_resolve_implied_move(p
, &header
, inst
->base_mrf
);
543 generate_oword_dual_block_offsets(brw_message_reg(inst
->base_mrf
+ 1),
549 msg_type
= GEN6_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
550 else if (intel
->gen
== 5 || intel
->is_g4x
)
551 msg_type
= G45_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
553 msg_type
= BRW_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
555 /* Each of the 8 channel enables is considered for whether each
558 struct brw_instruction
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
559 brw_set_dest(p
, send
, dst
);
560 brw_set_src0(p
, send
, header
);
562 send
->header
.destreg__conditionalmod
= inst
->base_mrf
;
563 brw_set_dp_read_message(p
, send
,
564 255, /* binding table index: stateless access */
565 BRW_DATAPORT_OWORD_DUAL_BLOCK_1OWORD
,
567 BRW_DATAPORT_READ_TARGET_RENDER_CACHE
,
573 vec4_visitor::generate_scratch_write(vec4_instruction
*inst
,
576 struct brw_reg index
)
578 struct brw_reg header
= brw_vec8_grf(0, 0);
581 /* If the instruction is predicated, we'll predicate the send, not
584 brw_set_predicate_control(p
, false);
586 gen6_resolve_implied_move(p
, &header
, inst
->base_mrf
);
588 generate_oword_dual_block_offsets(brw_message_reg(inst
->base_mrf
+ 1),
592 retype(brw_message_reg(inst
->base_mrf
+ 2), BRW_REGISTER_TYPE_D
),
593 retype(src
, BRW_REGISTER_TYPE_D
));
598 msg_type
= GEN7_DATAPORT_WRITE_MESSAGE_OWORD_DUAL_BLOCK_WRITE
;
599 else if (intel
->gen
== 6)
600 msg_type
= GEN6_DATAPORT_WRITE_MESSAGE_OWORD_DUAL_BLOCK_WRITE
;
602 msg_type
= BRW_DATAPORT_WRITE_MESSAGE_OWORD_DUAL_BLOCK_WRITE
;
604 brw_set_predicate_control(p
, inst
->predicate
);
606 /* Pre-gen6, we have to specify write commits to ensure ordering
607 * between reads and writes within a thread. Afterwards, that's
608 * guaranteed and write commits only matter for inter-thread
611 if (intel
->gen
>= 6) {
612 write_commit
= false;
614 /* The visitor set up our destination register to be g0. This
615 * means that when the next read comes along, we will end up
616 * reading from g0 and causing a block on the write commit. For
617 * write-after-read, we are relying on the value of the previous
618 * read being used (and thus blocking on completion) before our
619 * write is executed. This means we have to be careful in
620 * instruction scheduling to not violate this assumption.
625 /* Each of the 8 channel enables is considered for whether each
628 struct brw_instruction
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
629 brw_set_dest(p
, send
, dst
);
630 brw_set_src0(p
, send
, header
);
632 send
->header
.destreg__conditionalmod
= inst
->base_mrf
;
633 brw_set_dp_write_message(p
, send
,
634 255, /* binding table index: stateless access */
635 BRW_DATAPORT_OWORD_DUAL_BLOCK_1OWORD
,
638 true, /* header present */
639 false, /* not a render target write */
640 write_commit
, /* rlen */
646 vec4_visitor::generate_pull_constant_load(vec4_instruction
*inst
,
648 struct brw_reg index
)
650 if (intel
->gen
== 7) {
651 gen6_resolve_implied_move(p
, &index
, inst
->base_mrf
);
652 brw_instruction
*insn
= brw_next_insn(p
, BRW_OPCODE_SEND
);
653 brw_set_dest(p
, insn
, dst
);
654 brw_set_src0(p
, insn
, index
);
655 brw_set_sampler_message(p
, insn
,
656 SURF_INDEX_VERT_CONST_BUFFER
,
657 0, /* LD message ignores sampler unit */
658 GEN5_SAMPLER_MESSAGE_SAMPLE_LD
,
661 false, /* no header */
662 BRW_SAMPLER_SIMD_MODE_SIMD4X2
,
667 struct brw_reg header
= brw_vec8_grf(0, 0);
669 gen6_resolve_implied_move(p
, &header
, inst
->base_mrf
);
671 brw_MOV(p
, retype(brw_message_reg(inst
->base_mrf
+ 1), BRW_REGISTER_TYPE_D
),
677 msg_type
= GEN6_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
678 else if (intel
->gen
== 5 || intel
->is_g4x
)
679 msg_type
= G45_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
681 msg_type
= BRW_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
683 /* Each of the 8 channel enables is considered for whether each
686 struct brw_instruction
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
687 brw_set_dest(p
, send
, dst
);
688 brw_set_src0(p
, send
, header
);
690 send
->header
.destreg__conditionalmod
= inst
->base_mrf
;
691 brw_set_dp_read_message(p
, send
,
692 SURF_INDEX_VERT_CONST_BUFFER
,
693 BRW_DATAPORT_OWORD_DUAL_BLOCK_1OWORD
,
695 BRW_DATAPORT_READ_TARGET_DATA_CACHE
,
701 vec4_visitor::generate_vs_instruction(vec4_instruction
*instruction
,
705 vec4_instruction
*inst
= (vec4_instruction
*)instruction
;
707 switch (inst
->opcode
) {
708 case SHADER_OPCODE_RCP
:
709 case SHADER_OPCODE_RSQ
:
710 case SHADER_OPCODE_SQRT
:
711 case SHADER_OPCODE_EXP2
:
712 case SHADER_OPCODE_LOG2
:
713 case SHADER_OPCODE_SIN
:
714 case SHADER_OPCODE_COS
:
715 if (intel
->gen
== 6) {
716 generate_math1_gen6(inst
, dst
, src
[0]);
718 /* Also works for Gen7. */
719 generate_math1_gen4(inst
, dst
, src
[0]);
723 case SHADER_OPCODE_POW
:
724 case SHADER_OPCODE_INT_QUOTIENT
:
725 case SHADER_OPCODE_INT_REMAINDER
:
726 if (intel
->gen
>= 7) {
727 generate_math2_gen7(inst
, dst
, src
[0], src
[1]);
728 } else if (intel
->gen
== 6) {
729 generate_math2_gen6(inst
, dst
, src
[0], src
[1]);
731 generate_math2_gen4(inst
, dst
, src
[0], src
[1]);
735 case SHADER_OPCODE_TEX
:
736 case SHADER_OPCODE_TXD
:
737 case SHADER_OPCODE_TXF
:
738 case SHADER_OPCODE_TXL
:
739 case SHADER_OPCODE_TXS
:
740 generate_tex(inst
, dst
, src
[0]);
743 case VS_OPCODE_URB_WRITE
:
744 generate_urb_write(inst
);
747 case VS_OPCODE_SCRATCH_READ
:
748 generate_scratch_read(inst
, dst
, src
[0]);
751 case VS_OPCODE_SCRATCH_WRITE
:
752 generate_scratch_write(inst
, dst
, src
[0], src
[1]);
755 case VS_OPCODE_PULL_CONSTANT_LOAD
:
756 generate_pull_constant_load(inst
, dst
, src
[0]);
760 if (inst
->opcode
< (int)ARRAY_SIZE(brw_opcodes
)) {
761 fail("unsupported opcode in `%s' in VS\n",
762 brw_opcodes
[inst
->opcode
].name
);
764 fail("Unsupported opcode %d in VS", inst
->opcode
);
772 if (c
->key
.userclip_active
&& !c
->key
.uses_clip_distance
)
773 setup_uniform_clipplane_values();
775 /* Generate VS IR for main(). (the visitor only descends into
776 * functions called "main").
778 visit_instructions(shader
->ir
);
782 /* Before any optimization, push array accesses out to scratch
783 * space where we need them to be. This pass may allocate new
784 * virtual GRFs, so we want to do it early. It also makes sure
785 * that we have reladdr computations available for CSE, since we'll
786 * often do repeated subexpressions for those.
788 move_grf_array_access_to_scratch();
789 move_uniform_array_access_to_pull_constants();
790 pack_uniform_registers();
791 move_push_constants_to_pull_constants();
796 progress
= dead_code_eliminate() || progress
;
797 progress
= opt_copy_propagation() || progress
;
798 progress
= opt_algebraic() || progress
;
799 progress
= opt_compute_to_mrf() || progress
;
812 brw_set_access_mode(p
, BRW_ALIGN_16
);
820 vec4_visitor::generate_code()
822 int last_native_inst
= 0;
823 const char *last_annotation_string
= NULL
;
824 ir_instruction
*last_annotation_ir
= NULL
;
826 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
827 printf("Native code for vertex shader %d:\n", prog
->Name
);
830 foreach_list(node
, &this->instructions
) {
831 vec4_instruction
*inst
= (vec4_instruction
*)node
;
832 struct brw_reg src
[3], dst
;
834 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
835 if (last_annotation_ir
!= inst
->ir
) {
836 last_annotation_ir
= inst
->ir
;
837 if (last_annotation_ir
) {
839 last_annotation_ir
->print();
843 if (last_annotation_string
!= inst
->annotation
) {
844 last_annotation_string
= inst
->annotation
;
845 if (last_annotation_string
)
846 printf(" %s\n", last_annotation_string
);
850 for (unsigned int i
= 0; i
< 3; i
++) {
851 src
[i
] = inst
->get_src(i
);
853 dst
= inst
->get_dst();
855 brw_set_conditionalmod(p
, inst
->conditional_mod
);
856 brw_set_predicate_control(p
, inst
->predicate
);
857 brw_set_predicate_inverse(p
, inst
->predicate_inverse
);
858 brw_set_saturate(p
, inst
->saturate
);
860 switch (inst
->opcode
) {
862 brw_MOV(p
, dst
, src
[0]);
865 brw_ADD(p
, dst
, src
[0], src
[1]);
868 brw_MUL(p
, dst
, src
[0], src
[1]);
870 case BRW_OPCODE_MACH
:
871 brw_set_acc_write_control(p
, 1);
872 brw_MACH(p
, dst
, src
[0], src
[1]);
873 brw_set_acc_write_control(p
, 0);
877 brw_FRC(p
, dst
, src
[0]);
879 case BRW_OPCODE_RNDD
:
880 brw_RNDD(p
, dst
, src
[0]);
882 case BRW_OPCODE_RNDE
:
883 brw_RNDE(p
, dst
, src
[0]);
885 case BRW_OPCODE_RNDZ
:
886 brw_RNDZ(p
, dst
, src
[0]);
890 brw_AND(p
, dst
, src
[0], src
[1]);
893 brw_OR(p
, dst
, src
[0], src
[1]);
896 brw_XOR(p
, dst
, src
[0], src
[1]);
899 brw_NOT(p
, dst
, src
[0]);
902 brw_ASR(p
, dst
, src
[0], src
[1]);
905 brw_SHR(p
, dst
, src
[0], src
[1]);
908 brw_SHL(p
, dst
, src
[0], src
[1]);
912 brw_CMP(p
, dst
, inst
->conditional_mod
, src
[0], src
[1]);
915 brw_SEL(p
, dst
, src
[0], src
[1]);
919 brw_DP4(p
, dst
, src
[0], src
[1]);
923 brw_DP3(p
, dst
, src
[0], src
[1]);
927 brw_DP2(p
, dst
, src
[0], src
[1]);
931 if (inst
->src
[0].file
!= BAD_FILE
) {
932 /* The instruction has an embedded compare (only allowed on gen6) */
933 assert(intel
->gen
== 6);
934 gen6_IF(p
, inst
->conditional_mod
, src
[0], src
[1]);
936 struct brw_instruction
*brw_inst
= brw_IF(p
, BRW_EXECUTE_8
);
937 brw_inst
->header
.predicate_control
= inst
->predicate
;
941 case BRW_OPCODE_ELSE
:
944 case BRW_OPCODE_ENDIF
:
949 brw_DO(p
, BRW_EXECUTE_8
);
952 case BRW_OPCODE_BREAK
:
954 brw_set_predicate_control(p
, BRW_PREDICATE_NONE
);
956 case BRW_OPCODE_CONTINUE
:
957 /* FINISHME: We need to write the loop instruction support still. */
962 brw_set_predicate_control(p
, BRW_PREDICATE_NONE
);
965 case BRW_OPCODE_WHILE
:
970 generate_vs_instruction(inst
, dst
, src
);
974 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
975 for (unsigned int i
= last_native_inst
; i
< p
->nr_insn
; i
++) {
977 printf("0x%08x 0x%08x 0x%08x 0x%08x ",
978 ((uint32_t *)&p
->store
[i
])[3],
979 ((uint32_t *)&p
->store
[i
])[2],
980 ((uint32_t *)&p
->store
[i
])[1],
981 ((uint32_t *)&p
->store
[i
])[0]);
983 brw_disasm(stdout
, &p
->store
[i
], intel
->gen
);
987 last_native_inst
= p
->nr_insn
;
990 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
996 /* OK, while the INTEL_DEBUG=vs above is very nice for debugging VS
997 * emit issues, it doesn't get the jump distances into the output,
998 * which is often something we want to debug. So this is here in
999 * case you're doing that.
1002 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
1003 for (unsigned int i
= 0; i
< p
->nr_insn
; i
++) {
1004 printf("0x%08x 0x%08x 0x%08x 0x%08x ",
1005 ((uint32_t *)&p
->store
[i
])[3],
1006 ((uint32_t *)&p
->store
[i
])[2],
1007 ((uint32_t *)&p
->store
[i
])[1],
1008 ((uint32_t *)&p
->store
[i
])[0]);
1009 brw_disasm(stdout
, &p
->store
[i
], intel
->gen
);
1018 brw_vs_emit(struct gl_shader_program
*prog
, struct brw_vs_compile
*c
)
1023 struct brw_shader
*shader
=
1024 (brw_shader
*) prog
->_LinkedShaders
[MESA_SHADER_VERTEX
];
1028 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
1029 printf("GLSL IR for native vertex shader %d:\n", prog
->Name
);
1030 _mesa_print_ir(shader
->ir
, NULL
);
1034 vec4_visitor
v(c
, prog
, shader
);
1036 prog
->LinkStatus
= false;
1037 ralloc_strcat(&prog
->InfoLog
, v
.fail_msg
);
1046 } /* namespace brw */