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
),
267 BRW_MATH_DATA_VECTOR
,
268 BRW_MATH_PRECISION_FULL
);
272 check_gen6_math_src_arg(struct brw_reg src
)
274 /* Source swizzles are ignored. */
277 assert(src
.dw1
.bits
.swizzle
== BRW_SWIZZLE_XYZW
);
281 vec4_visitor::generate_math1_gen6(vec4_instruction
*inst
,
285 /* Can't do writemask because math can't be align16. */
286 assert(dst
.dw1
.bits
.writemask
== WRITEMASK_XYZW
);
287 check_gen6_math_src_arg(src
);
289 brw_set_access_mode(p
, BRW_ALIGN_1
);
292 brw_math_function(inst
->opcode
),
295 BRW_MATH_DATA_SCALAR
,
296 BRW_MATH_PRECISION_FULL
);
297 brw_set_access_mode(p
, BRW_ALIGN_16
);
301 vec4_visitor::generate_math2_gen7(vec4_instruction
*inst
,
308 brw_math_function(inst
->opcode
),
313 vec4_visitor::generate_math2_gen6(vec4_instruction
*inst
,
318 /* Can't do writemask because math can't be align16. */
319 assert(dst
.dw1
.bits
.writemask
== WRITEMASK_XYZW
);
320 /* Source swizzles are ignored. */
321 check_gen6_math_src_arg(src0
);
322 check_gen6_math_src_arg(src1
);
324 brw_set_access_mode(p
, BRW_ALIGN_1
);
327 brw_math_function(inst
->opcode
),
329 brw_set_access_mode(p
, BRW_ALIGN_16
);
333 vec4_visitor::generate_math2_gen4(vec4_instruction
*inst
,
338 /* From the Ironlake PRM, Volume 4, Part 1, Section 6.1.13
341 * "Operand0[7]. For the INT DIV functions, this operand is the
344 * "Operand1[7]. For the INT DIV functions, this operand is the
347 bool is_int_div
= inst
->opcode
!= SHADER_OPCODE_POW
;
348 struct brw_reg
&op0
= is_int_div
? src1
: src0
;
349 struct brw_reg
&op1
= is_int_div
? src0
: src1
;
351 brw_MOV(p
, retype(brw_message_reg(inst
->base_mrf
+ 1), op1
.type
), op1
);
355 brw_math_function(inst
->opcode
),
358 BRW_MATH_DATA_VECTOR
,
359 BRW_MATH_PRECISION_FULL
);
363 vec4_visitor::generate_tex(vec4_instruction
*inst
,
369 if (intel
->gen
>= 5) {
370 switch (inst
->opcode
) {
371 case SHADER_OPCODE_TEX
:
372 case SHADER_OPCODE_TXL
:
373 if (inst
->shadow_compare
) {
374 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_LOD_COMPARE
;
376 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_LOD
;
379 case SHADER_OPCODE_TXD
:
380 /* There is no sample_d_c message; comparisons are done manually. */
381 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_DERIVS
;
383 case SHADER_OPCODE_TXF
:
384 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_LD
;
386 case SHADER_OPCODE_TXS
:
387 msg_type
= GEN5_SAMPLER_MESSAGE_SAMPLE_RESINFO
;
390 assert(!"should not get here: invalid VS texture opcode");
394 switch (inst
->opcode
) {
395 case SHADER_OPCODE_TEX
:
396 case SHADER_OPCODE_TXL
:
397 if (inst
->shadow_compare
) {
398 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_SAMPLE_LOD_COMPARE
;
399 assert(inst
->mlen
== 3);
401 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_SAMPLE_LOD
;
402 assert(inst
->mlen
== 2);
405 case SHADER_OPCODE_TXD
:
406 /* There is no sample_d_c message; comparisons are done manually. */
407 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_SAMPLE_GRADIENTS
;
408 assert(inst
->mlen
== 4);
410 case SHADER_OPCODE_TXF
:
411 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_LD
;
412 assert(inst
->mlen
== 2);
414 case SHADER_OPCODE_TXS
:
415 msg_type
= BRW_SAMPLER_MESSAGE_SIMD4X2_RESINFO
;
416 assert(inst
->mlen
== 2);
419 assert(!"should not get here: invalid VS texture opcode");
424 assert(msg_type
!= -1);
426 /* Load the message header if present. If there's a texture offset, we need
427 * to set it up explicitly and load the offset bitfield. Otherwise, we can
428 * use an implied move from g0 to the first message register.
430 if (inst
->texture_offset
) {
431 /* Explicitly set up the message header by copying g0 to the MRF. */
432 brw_MOV(p
, retype(brw_message_reg(inst
->base_mrf
), BRW_REGISTER_TYPE_UD
),
433 retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD
));
435 /* Then set the offset bits in DWord 2. */
436 brw_set_access_mode(p
, BRW_ALIGN_1
);
438 retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE
, inst
->base_mrf
, 2),
439 BRW_REGISTER_TYPE_UD
),
440 brw_imm_uw(inst
->texture_offset
));
441 brw_set_access_mode(p
, BRW_ALIGN_16
);
442 } else if (inst
->header_present
) {
443 /* Set up an implied move from g0 to the MRF. */
444 src
= brw_vec8_grf(0, 0);
447 uint32_t return_format
;
450 case BRW_REGISTER_TYPE_D
:
451 return_format
= BRW_SAMPLER_RETURN_FORMAT_SINT32
;
453 case BRW_REGISTER_TYPE_UD
:
454 return_format
= BRW_SAMPLER_RETURN_FORMAT_UINT32
;
457 return_format
= BRW_SAMPLER_RETURN_FORMAT_FLOAT32
;
465 SURF_INDEX_VS_TEXTURE(inst
->sampler
),
469 1, /* response length */
471 inst
->header_present
,
472 BRW_SAMPLER_SIMD_MODE_SIMD4X2
,
477 vec4_visitor::generate_urb_write(vec4_instruction
*inst
)
480 brw_null_reg(), /* dest */
481 inst
->base_mrf
, /* starting mrf reg nr */
482 brw_vec8_grf(0, 0), /* src */
483 false, /* allocate */
486 0, /* response len */
488 inst
->eot
, /* writes complete */
489 inst
->offset
, /* urb destination offset */
490 BRW_URB_SWIZZLE_INTERLEAVE
);
494 vec4_visitor::generate_oword_dual_block_offsets(struct brw_reg m1
,
495 struct brw_reg index
)
497 int second_vertex_offset
;
500 second_vertex_offset
= 1;
502 second_vertex_offset
= 16;
504 m1
= retype(m1
, BRW_REGISTER_TYPE_D
);
506 /* Set up M1 (message payload). Only the block offsets in M1.0 and
507 * M1.4 are used, and the rest are ignored.
509 struct brw_reg m1_0
= suboffset(vec1(m1
), 0);
510 struct brw_reg m1_4
= suboffset(vec1(m1
), 4);
511 struct brw_reg index_0
= suboffset(vec1(index
), 0);
512 struct brw_reg index_4
= suboffset(vec1(index
), 4);
514 brw_push_insn_state(p
);
515 brw_set_mask_control(p
, BRW_MASK_DISABLE
);
516 brw_set_access_mode(p
, BRW_ALIGN_1
);
518 brw_MOV(p
, m1_0
, index_0
);
520 brw_set_predicate_inverse(p
, true);
521 if (index
.file
== BRW_IMMEDIATE_VALUE
) {
522 index_4
.dw1
.ud
+= second_vertex_offset
;
523 brw_MOV(p
, m1_4
, index_4
);
525 brw_ADD(p
, m1_4
, index_4
, brw_imm_d(second_vertex_offset
));
528 brw_pop_insn_state(p
);
532 vec4_visitor::generate_scratch_read(vec4_instruction
*inst
,
534 struct brw_reg index
)
536 struct brw_reg header
= brw_vec8_grf(0, 0);
538 gen6_resolve_implied_move(p
, &header
, inst
->base_mrf
);
540 generate_oword_dual_block_offsets(brw_message_reg(inst
->base_mrf
+ 1),
546 msg_type
= GEN6_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
547 else if (intel
->gen
== 5 || intel
->is_g4x
)
548 msg_type
= G45_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
550 msg_type
= BRW_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
552 /* Each of the 8 channel enables is considered for whether each
555 struct brw_instruction
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
556 brw_set_dest(p
, send
, dst
);
557 brw_set_src0(p
, send
, header
);
559 send
->header
.destreg__conditionalmod
= inst
->base_mrf
;
560 brw_set_dp_read_message(p
, send
,
561 255, /* binding table index: stateless access */
562 BRW_DATAPORT_OWORD_DUAL_BLOCK_1OWORD
,
564 BRW_DATAPORT_READ_TARGET_RENDER_CACHE
,
570 vec4_visitor::generate_scratch_write(vec4_instruction
*inst
,
573 struct brw_reg index
)
575 struct brw_reg header
= brw_vec8_grf(0, 0);
578 /* If the instruction is predicated, we'll predicate the send, not
581 brw_set_predicate_control(p
, false);
583 gen6_resolve_implied_move(p
, &header
, inst
->base_mrf
);
585 generate_oword_dual_block_offsets(brw_message_reg(inst
->base_mrf
+ 1),
589 retype(brw_message_reg(inst
->base_mrf
+ 2), BRW_REGISTER_TYPE_D
),
590 retype(src
, BRW_REGISTER_TYPE_D
));
595 msg_type
= GEN7_DATAPORT_WRITE_MESSAGE_OWORD_DUAL_BLOCK_WRITE
;
596 else if (intel
->gen
== 6)
597 msg_type
= GEN6_DATAPORT_WRITE_MESSAGE_OWORD_DUAL_BLOCK_WRITE
;
599 msg_type
= BRW_DATAPORT_WRITE_MESSAGE_OWORD_DUAL_BLOCK_WRITE
;
601 brw_set_predicate_control(p
, inst
->predicate
);
603 /* Pre-gen6, we have to specify write commits to ensure ordering
604 * between reads and writes within a thread. Afterwards, that's
605 * guaranteed and write commits only matter for inter-thread
608 if (intel
->gen
>= 6) {
609 write_commit
= false;
611 /* The visitor set up our destination register to be g0. This
612 * means that when the next read comes along, we will end up
613 * reading from g0 and causing a block on the write commit. For
614 * write-after-read, we are relying on the value of the previous
615 * read being used (and thus blocking on completion) before our
616 * write is executed. This means we have to be careful in
617 * instruction scheduling to not violate this assumption.
622 /* Each of the 8 channel enables is considered for whether each
625 struct brw_instruction
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
626 brw_set_dest(p
, send
, dst
);
627 brw_set_src0(p
, send
, header
);
629 send
->header
.destreg__conditionalmod
= inst
->base_mrf
;
630 brw_set_dp_write_message(p
, send
,
631 255, /* binding table index: stateless access */
632 BRW_DATAPORT_OWORD_DUAL_BLOCK_1OWORD
,
635 true, /* header present */
636 false, /* not a render target write */
637 write_commit
, /* rlen */
643 vec4_visitor::generate_pull_constant_load(vec4_instruction
*inst
,
645 struct brw_reg index
,
646 struct brw_reg offset
)
648 assert(index
.file
== BRW_IMMEDIATE_VALUE
&&
649 index
.type
== BRW_REGISTER_TYPE_UD
);
650 uint32_t surf_index
= index
.dw1
.ud
;
652 if (intel
->gen
== 7) {
653 gen6_resolve_implied_move(p
, &offset
, inst
->base_mrf
);
654 brw_instruction
*insn
= brw_next_insn(p
, BRW_OPCODE_SEND
);
655 brw_set_dest(p
, insn
, dst
);
656 brw_set_src0(p
, insn
, offset
);
657 brw_set_sampler_message(p
, insn
,
659 0, /* LD message ignores sampler unit */
660 GEN5_SAMPLER_MESSAGE_SAMPLE_LD
,
663 false, /* no header */
664 BRW_SAMPLER_SIMD_MODE_SIMD4X2
,
669 struct brw_reg header
= brw_vec8_grf(0, 0);
671 gen6_resolve_implied_move(p
, &header
, inst
->base_mrf
);
673 brw_MOV(p
, retype(brw_message_reg(inst
->base_mrf
+ 1), BRW_REGISTER_TYPE_D
),
679 msg_type
= GEN6_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
680 else if (intel
->gen
== 5 || intel
->is_g4x
)
681 msg_type
= G45_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
683 msg_type
= BRW_DATAPORT_READ_MESSAGE_OWORD_DUAL_BLOCK_READ
;
685 /* Each of the 8 channel enables is considered for whether each
688 struct brw_instruction
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
689 brw_set_dest(p
, send
, dst
);
690 brw_set_src0(p
, send
, header
);
692 send
->header
.destreg__conditionalmod
= inst
->base_mrf
;
693 brw_set_dp_read_message(p
, send
,
695 BRW_DATAPORT_OWORD_DUAL_BLOCK_1OWORD
,
697 BRW_DATAPORT_READ_TARGET_DATA_CACHE
,
703 vec4_visitor::generate_vs_instruction(vec4_instruction
*instruction
,
707 vec4_instruction
*inst
= (vec4_instruction
*)instruction
;
709 switch (inst
->opcode
) {
710 case SHADER_OPCODE_RCP
:
711 case SHADER_OPCODE_RSQ
:
712 case SHADER_OPCODE_SQRT
:
713 case SHADER_OPCODE_EXP2
:
714 case SHADER_OPCODE_LOG2
:
715 case SHADER_OPCODE_SIN
:
716 case SHADER_OPCODE_COS
:
717 if (intel
->gen
== 6) {
718 generate_math1_gen6(inst
, dst
, src
[0]);
720 /* Also works for Gen7. */
721 generate_math1_gen4(inst
, dst
, src
[0]);
725 case SHADER_OPCODE_POW
:
726 case SHADER_OPCODE_INT_QUOTIENT
:
727 case SHADER_OPCODE_INT_REMAINDER
:
728 if (intel
->gen
>= 7) {
729 generate_math2_gen7(inst
, dst
, src
[0], src
[1]);
730 } else if (intel
->gen
== 6) {
731 generate_math2_gen6(inst
, dst
, src
[0], src
[1]);
733 generate_math2_gen4(inst
, dst
, src
[0], src
[1]);
737 case SHADER_OPCODE_TEX
:
738 case SHADER_OPCODE_TXD
:
739 case SHADER_OPCODE_TXF
:
740 case SHADER_OPCODE_TXL
:
741 case SHADER_OPCODE_TXS
:
742 generate_tex(inst
, dst
, src
[0]);
745 case VS_OPCODE_URB_WRITE
:
746 generate_urb_write(inst
);
749 case VS_OPCODE_SCRATCH_READ
:
750 generate_scratch_read(inst
, dst
, src
[0]);
753 case VS_OPCODE_SCRATCH_WRITE
:
754 generate_scratch_write(inst
, dst
, src
[0], src
[1]);
757 case VS_OPCODE_PULL_CONSTANT_LOAD
:
758 generate_pull_constant_load(inst
, dst
, src
[0], src
[1]);
762 if (inst
->opcode
< (int)ARRAY_SIZE(brw_opcodes
)) {
763 fail("unsupported opcode in `%s' in VS\n",
764 brw_opcodes
[inst
->opcode
].name
);
766 fail("Unsupported opcode %d in VS", inst
->opcode
);
774 if (c
->key
.userclip_active
&& !c
->key
.uses_clip_distance
)
775 setup_uniform_clipplane_values();
777 /* Generate VS IR for main(). (the visitor only descends into
778 * functions called "main").
780 visit_instructions(shader
->ir
);
784 /* Before any optimization, push array accesses out to scratch
785 * space where we need them to be. This pass may allocate new
786 * virtual GRFs, so we want to do it early. It also makes sure
787 * that we have reladdr computations available for CSE, since we'll
788 * often do repeated subexpressions for those.
790 move_grf_array_access_to_scratch();
791 move_uniform_array_access_to_pull_constants();
792 pack_uniform_registers();
793 move_push_constants_to_pull_constants();
798 progress
= dead_code_eliminate() || progress
;
799 progress
= opt_copy_propagation() || progress
;
800 progress
= opt_algebraic() || progress
;
801 progress
= opt_compute_to_mrf() || progress
;
814 brw_set_access_mode(p
, BRW_ALIGN_16
);
822 vec4_visitor::generate_code()
824 int last_native_inst
= 0;
825 const char *last_annotation_string
= NULL
;
826 ir_instruction
*last_annotation_ir
= NULL
;
828 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
829 printf("Native code for vertex shader %d:\n", prog
->Name
);
832 foreach_list(node
, &this->instructions
) {
833 vec4_instruction
*inst
= (vec4_instruction
*)node
;
834 struct brw_reg src
[3], dst
;
836 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
837 if (last_annotation_ir
!= inst
->ir
) {
838 last_annotation_ir
= inst
->ir
;
839 if (last_annotation_ir
) {
841 last_annotation_ir
->print();
845 if (last_annotation_string
!= inst
->annotation
) {
846 last_annotation_string
= inst
->annotation
;
847 if (last_annotation_string
)
848 printf(" %s\n", last_annotation_string
);
852 for (unsigned int i
= 0; i
< 3; i
++) {
853 src
[i
] = inst
->get_src(i
);
855 dst
= inst
->get_dst();
857 brw_set_conditionalmod(p
, inst
->conditional_mod
);
858 brw_set_predicate_control(p
, inst
->predicate
);
859 brw_set_predicate_inverse(p
, inst
->predicate_inverse
);
860 brw_set_saturate(p
, inst
->saturate
);
862 switch (inst
->opcode
) {
864 brw_MOV(p
, dst
, src
[0]);
867 brw_ADD(p
, dst
, src
[0], src
[1]);
870 brw_MUL(p
, dst
, src
[0], src
[1]);
872 case BRW_OPCODE_MACH
:
873 brw_set_acc_write_control(p
, 1);
874 brw_MACH(p
, dst
, src
[0], src
[1]);
875 brw_set_acc_write_control(p
, 0);
879 brw_FRC(p
, dst
, src
[0]);
881 case BRW_OPCODE_RNDD
:
882 brw_RNDD(p
, dst
, src
[0]);
884 case BRW_OPCODE_RNDE
:
885 brw_RNDE(p
, dst
, src
[0]);
887 case BRW_OPCODE_RNDZ
:
888 brw_RNDZ(p
, dst
, src
[0]);
892 brw_AND(p
, dst
, src
[0], src
[1]);
895 brw_OR(p
, dst
, src
[0], src
[1]);
898 brw_XOR(p
, dst
, src
[0], src
[1]);
901 brw_NOT(p
, dst
, src
[0]);
904 brw_ASR(p
, dst
, src
[0], src
[1]);
907 brw_SHR(p
, dst
, src
[0], src
[1]);
910 brw_SHL(p
, dst
, src
[0], src
[1]);
914 brw_CMP(p
, dst
, inst
->conditional_mod
, src
[0], src
[1]);
917 brw_SEL(p
, dst
, src
[0], src
[1]);
921 brw_DP4(p
, dst
, src
[0], src
[1]);
925 brw_DP3(p
, dst
, src
[0], src
[1]);
929 brw_DP2(p
, dst
, src
[0], src
[1]);
933 if (inst
->src
[0].file
!= BAD_FILE
) {
934 /* The instruction has an embedded compare (only allowed on gen6) */
935 assert(intel
->gen
== 6);
936 gen6_IF(p
, inst
->conditional_mod
, src
[0], src
[1]);
938 struct brw_instruction
*brw_inst
= brw_IF(p
, BRW_EXECUTE_8
);
939 brw_inst
->header
.predicate_control
= inst
->predicate
;
943 case BRW_OPCODE_ELSE
:
946 case BRW_OPCODE_ENDIF
:
951 brw_DO(p
, BRW_EXECUTE_8
);
954 case BRW_OPCODE_BREAK
:
956 brw_set_predicate_control(p
, BRW_PREDICATE_NONE
);
958 case BRW_OPCODE_CONTINUE
:
959 /* FINISHME: We need to write the loop instruction support still. */
964 brw_set_predicate_control(p
, BRW_PREDICATE_NONE
);
967 case BRW_OPCODE_WHILE
:
972 generate_vs_instruction(inst
, dst
, src
);
976 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
977 for (unsigned int i
= last_native_inst
; i
< p
->nr_insn
; i
++) {
979 printf("0x%08x 0x%08x 0x%08x 0x%08x ",
980 ((uint32_t *)&p
->store
[i
])[3],
981 ((uint32_t *)&p
->store
[i
])[2],
982 ((uint32_t *)&p
->store
[i
])[1],
983 ((uint32_t *)&p
->store
[i
])[0]);
985 brw_disasm(stdout
, &p
->store
[i
], intel
->gen
);
989 last_native_inst
= p
->nr_insn
;
992 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
998 /* OK, while the INTEL_DEBUG=vs above is very nice for debugging VS
999 * emit issues, it doesn't get the jump distances into the output,
1000 * which is often something we want to debug. So this is here in
1001 * case you're doing that.
1004 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
1005 for (unsigned int i
= 0; i
< p
->nr_insn
; i
++) {
1006 printf("0x%08x 0x%08x 0x%08x 0x%08x ",
1007 ((uint32_t *)&p
->store
[i
])[3],
1008 ((uint32_t *)&p
->store
[i
])[2],
1009 ((uint32_t *)&p
->store
[i
])[1],
1010 ((uint32_t *)&p
->store
[i
])[0]);
1011 brw_disasm(stdout
, &p
->store
[i
], intel
->gen
);
1020 brw_vs_emit(struct gl_shader_program
*prog
, struct brw_vs_compile
*c
)
1025 struct brw_shader
*shader
=
1026 (brw_shader
*) prog
->_LinkedShaders
[MESA_SHADER_VERTEX
];
1030 if (unlikely(INTEL_DEBUG
& DEBUG_VS
)) {
1031 printf("GLSL IR for native vertex shader %d:\n", prog
->Name
);
1032 _mesa_print_ir(shader
->ir
, NULL
);
1036 vec4_visitor
v(c
, prog
, shader
);
1038 prog
->LinkStatus
= false;
1039 ralloc_strcat(&prog
->InfoLog
, v
.fail_msg
);
1048 } /* namespace brw */