2 Copyright (C) Intel Corp. 2006. All Rights Reserved.
3 Intel funded Tungsten Graphics to
4 develop this 3D driver.
6 Permission is hereby granted, free of charge, to any person obtaining
7 a copy of this software and associated documentation files (the
8 "Software"), to deal in the Software without restriction, including
9 without limitation the rights to use, copy, modify, merge, publish,
10 distribute, sublicense, and/or sell copies of the Software, and to
11 permit persons to whom the Software is furnished to do so, subject to
12 the following conditions:
14 The above copyright notice and this permission notice (including the
15 next paragraph) shall be included in all copies or substantial
16 portions of the Software.
18 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
19 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
21 IN NO EVENT SHALL THE COPYRIGHT OWNER(S) AND/OR ITS SUPPLIERS BE
22 LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
23 OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
24 WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26 **********************************************************************/
29 * Keith Whitwell <keithw@vmware.com>
33 #include "brw_context.h"
34 #include "brw_defines.h"
37 #include "util/ralloc.h"
39 /***********************************************************************
40 * Internal helper for constructing instructions
43 static void guess_execution_size(struct brw_compile
*p
,
47 const struct brw_context
*brw
= p
->brw
;
49 if (reg
.width
== BRW_WIDTH_8
&& p
->compressed
) {
50 brw_inst_set_exec_size(brw
, insn
, BRW_EXECUTE_16
);
52 /* Register width definitions are compatible with BRW_EXECUTE_* enums. */
53 brw_inst_set_exec_size(brw
, insn
, reg
.width
);
59 * Prior to Sandybridge, the SEND instruction accepted non-MRF source
60 * registers, implicitly moving the operand to a message register.
62 * On Sandybridge, this is no longer the case. This function performs the
63 * explicit move; it should be called before emitting a SEND instruction.
66 gen6_resolve_implied_move(struct brw_compile
*p
,
70 struct brw_context
*brw
= p
->brw
;
74 if (src
->file
== BRW_MESSAGE_REGISTER_FILE
)
77 if (src
->file
!= BRW_ARCHITECTURE_REGISTER_FILE
|| src
->nr
!= BRW_ARF_NULL
) {
78 brw_push_insn_state(p
);
79 brw_set_default_mask_control(p
, BRW_MASK_DISABLE
);
80 brw_set_default_compression_control(p
, BRW_COMPRESSION_NONE
);
81 brw_MOV(p
, retype(brw_message_reg(msg_reg_nr
), BRW_REGISTER_TYPE_UD
),
82 retype(*src
, BRW_REGISTER_TYPE_UD
));
83 brw_pop_insn_state(p
);
85 *src
= brw_message_reg(msg_reg_nr
);
89 gen7_convert_mrf_to_grf(struct brw_compile
*p
, struct brw_reg
*reg
)
91 /* From the Ivybridge PRM, Volume 4 Part 3, page 218 ("send"):
92 * "The send with EOT should use register space R112-R127 for <src>. This is
93 * to enable loading of a new thread into the same slot while the message
94 * with EOT for current thread is pending dispatch."
96 * Since we're pretending to have 16 MRFs anyway, we may as well use the
97 * registers required for messages with EOT.
99 struct brw_context
*brw
= p
->brw
;
100 if (brw
->gen
>= 7 && reg
->file
== BRW_MESSAGE_REGISTER_FILE
) {
101 reg
->file
= BRW_GENERAL_REGISTER_FILE
;
102 reg
->nr
+= GEN7_MRF_HACK_START
;
107 * Convert a brw_reg_type enumeration value into the hardware representation.
109 * The hardware encoding may depend on whether the value is an immediate.
112 brw_reg_type_to_hw_type(const struct brw_context
*brw
,
113 enum brw_reg_type type
, unsigned file
)
115 if (file
== BRW_IMMEDIATE_VALUE
) {
116 const static int imm_hw_types
[] = {
117 [BRW_REGISTER_TYPE_UD
] = BRW_HW_REG_TYPE_UD
,
118 [BRW_REGISTER_TYPE_D
] = BRW_HW_REG_TYPE_D
,
119 [BRW_REGISTER_TYPE_UW
] = BRW_HW_REG_TYPE_UW
,
120 [BRW_REGISTER_TYPE_W
] = BRW_HW_REG_TYPE_W
,
121 [BRW_REGISTER_TYPE_F
] = BRW_HW_REG_TYPE_F
,
122 [BRW_REGISTER_TYPE_UB
] = -1,
123 [BRW_REGISTER_TYPE_B
] = -1,
124 [BRW_REGISTER_TYPE_UV
] = BRW_HW_REG_IMM_TYPE_UV
,
125 [BRW_REGISTER_TYPE_VF
] = BRW_HW_REG_IMM_TYPE_VF
,
126 [BRW_REGISTER_TYPE_V
] = BRW_HW_REG_IMM_TYPE_V
,
127 [BRW_REGISTER_TYPE_DF
] = GEN8_HW_REG_IMM_TYPE_DF
,
128 [BRW_REGISTER_TYPE_HF
] = GEN8_HW_REG_IMM_TYPE_HF
,
129 [BRW_REGISTER_TYPE_UQ
] = GEN8_HW_REG_TYPE_UQ
,
130 [BRW_REGISTER_TYPE_Q
] = GEN8_HW_REG_TYPE_Q
,
132 assert(type
< ARRAY_SIZE(imm_hw_types
));
133 assert(imm_hw_types
[type
] != -1);
134 assert(brw
->gen
>= 8 || type
< BRW_REGISTER_TYPE_DF
);
135 return imm_hw_types
[type
];
137 /* Non-immediate registers */
138 const static int hw_types
[] = {
139 [BRW_REGISTER_TYPE_UD
] = BRW_HW_REG_TYPE_UD
,
140 [BRW_REGISTER_TYPE_D
] = BRW_HW_REG_TYPE_D
,
141 [BRW_REGISTER_TYPE_UW
] = BRW_HW_REG_TYPE_UW
,
142 [BRW_REGISTER_TYPE_W
] = BRW_HW_REG_TYPE_W
,
143 [BRW_REGISTER_TYPE_UB
] = BRW_HW_REG_NON_IMM_TYPE_UB
,
144 [BRW_REGISTER_TYPE_B
] = BRW_HW_REG_NON_IMM_TYPE_B
,
145 [BRW_REGISTER_TYPE_F
] = BRW_HW_REG_TYPE_F
,
146 [BRW_REGISTER_TYPE_UV
] = -1,
147 [BRW_REGISTER_TYPE_VF
] = -1,
148 [BRW_REGISTER_TYPE_V
] = -1,
149 [BRW_REGISTER_TYPE_DF
] = GEN7_HW_REG_NON_IMM_TYPE_DF
,
150 [BRW_REGISTER_TYPE_HF
] = GEN8_HW_REG_NON_IMM_TYPE_HF
,
151 [BRW_REGISTER_TYPE_UQ
] = GEN8_HW_REG_TYPE_UQ
,
152 [BRW_REGISTER_TYPE_Q
] = GEN8_HW_REG_TYPE_Q
,
154 assert(type
< ARRAY_SIZE(hw_types
));
155 assert(hw_types
[type
] != -1);
156 assert(brw
->gen
>= 7 || type
< BRW_REGISTER_TYPE_DF
);
157 assert(brw
->gen
>= 8 || type
< BRW_REGISTER_TYPE_HF
);
158 return hw_types
[type
];
163 brw_set_dest(struct brw_compile
*p
, brw_inst
*inst
, struct brw_reg dest
)
165 const struct brw_context
*brw
= p
->brw
;
167 if (dest
.file
!= BRW_ARCHITECTURE_REGISTER_FILE
&&
168 dest
.file
!= BRW_MESSAGE_REGISTER_FILE
)
169 assert(dest
.nr
< 128);
171 gen7_convert_mrf_to_grf(p
, &dest
);
173 brw_inst_set_dst_reg_file(brw
, inst
, dest
.file
);
174 brw_inst_set_dst_reg_type(brw
, inst
, brw_reg_type_to_hw_type(brw
, dest
.type
,
176 brw_inst_set_dst_address_mode(brw
, inst
, dest
.address_mode
);
178 if (dest
.address_mode
== BRW_ADDRESS_DIRECT
) {
179 brw_inst_set_dst_da_reg_nr(brw
, inst
, dest
.nr
);
181 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
182 brw_inst_set_dst_da1_subreg_nr(brw
, inst
, dest
.subnr
);
183 if (dest
.hstride
== BRW_HORIZONTAL_STRIDE_0
)
184 dest
.hstride
= BRW_HORIZONTAL_STRIDE_1
;
185 brw_inst_set_dst_hstride(brw
, inst
, dest
.hstride
);
187 brw_inst_set_dst_da16_subreg_nr(brw
, inst
, dest
.subnr
/ 16);
188 brw_inst_set_da16_writemask(brw
, inst
, dest
.dw1
.bits
.writemask
);
189 if (dest
.file
== BRW_GENERAL_REGISTER_FILE
||
190 dest
.file
== BRW_MESSAGE_REGISTER_FILE
) {
191 assert(dest
.dw1
.bits
.writemask
!= 0);
193 /* From the Ivybridge PRM, Vol 4, Part 3, Section 5.2.4.1:
194 * Although Dst.HorzStride is a don't care for Align16, HW needs
195 * this to be programmed as "01".
197 brw_inst_set_dst_hstride(brw
, inst
, 1);
200 brw_inst_set_dst_ia_subreg_nr(brw
, inst
, dest
.subnr
);
202 /* These are different sizes in align1 vs align16:
204 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
205 brw_inst_set_dst_ia1_addr_imm(brw
, inst
,
206 dest
.dw1
.bits
.indirect_offset
);
207 if (dest
.hstride
== BRW_HORIZONTAL_STRIDE_0
)
208 dest
.hstride
= BRW_HORIZONTAL_STRIDE_1
;
209 brw_inst_set_dst_hstride(brw
, inst
, dest
.hstride
);
211 brw_inst_set_dst_ia16_addr_imm(brw
, inst
,
212 dest
.dw1
.bits
.indirect_offset
);
213 /* even ignored in da16, still need to set as '01' */
214 brw_inst_set_dst_hstride(brw
, inst
, 1);
218 /* NEW: Set the execution size based on dest.width and
219 * inst->compression_control:
221 guess_execution_size(p
, inst
, dest
);
224 extern int reg_type_size
[];
227 validate_reg(const struct brw_context
*brw
, brw_inst
*inst
, struct brw_reg reg
)
229 int hstride_for_reg
[] = {0, 1, 2, 4};
230 int vstride_for_reg
[] = {0, 1, 2, 4, 8, 16, 32, 64, 128, 256};
231 int width_for_reg
[] = {1, 2, 4, 8, 16};
232 int execsize_for_reg
[] = {1, 2, 4, 8, 16};
233 int width
, hstride
, vstride
, execsize
;
235 if (reg
.file
== BRW_IMMEDIATE_VALUE
) {
236 /* 3.3.6: Region Parameters. Restriction: Immediate vectors
237 * mean the destination has to be 128-bit aligned and the
238 * destination horiz stride has to be a word.
240 if (reg
.type
== BRW_REGISTER_TYPE_V
) {
241 assert(hstride_for_reg
[brw_inst_dst_hstride(brw
, inst
)] *
242 reg_type_size
[brw_inst_dst_reg_type(brw
, inst
)] == 2);
248 if (reg
.file
== BRW_ARCHITECTURE_REGISTER_FILE
&&
249 reg
.file
== BRW_ARF_NULL
)
252 assert(reg
.hstride
>= 0 && reg
.hstride
< Elements(hstride_for_reg
));
253 hstride
= hstride_for_reg
[reg
.hstride
];
255 if (reg
.vstride
== 0xf) {
258 assert(reg
.vstride
>= 0 && reg
.vstride
< Elements(vstride_for_reg
));
259 vstride
= vstride_for_reg
[reg
.vstride
];
262 assert(reg
.width
>= 0 && reg
.width
< Elements(width_for_reg
));
263 width
= width_for_reg
[reg
.width
];
265 assert(brw_inst_exec_size(brw
, inst
) >= 0 &&
266 brw_inst_exec_size(brw
, inst
) < Elements(execsize_for_reg
));
267 execsize
= execsize_for_reg
[brw_inst_exec_size(brw
, inst
)];
269 /* Restrictions from 3.3.10: Register Region Restrictions. */
271 assert(execsize
>= width
);
274 if (execsize
== width
&& hstride
!= 0) {
275 assert(vstride
== -1 || vstride
== width
* hstride
);
279 if (execsize
== width
&& hstride
== 0) {
280 /* no restriction on vstride. */
285 assert(hstride
== 0);
289 if (execsize
== 1 && width
== 1) {
290 assert(hstride
== 0);
291 assert(vstride
== 0);
295 if (vstride
== 0 && hstride
== 0) {
299 /* 10. Check destination issues. */
303 is_compactable_immediate(unsigned imm
)
305 /* We get the low 12 bits as-is. */
308 /* We get one bit replicated through the top 20 bits. */
309 return imm
== 0 || imm
== 0xfffff000;
313 brw_set_src0(struct brw_compile
*p
, brw_inst
*inst
, struct brw_reg reg
)
315 struct brw_context
*brw
= p
->brw
;
317 if (reg
.file
!= BRW_ARCHITECTURE_REGISTER_FILE
)
318 assert(reg
.nr
< 128);
320 gen7_convert_mrf_to_grf(p
, ®
);
322 if (brw
->gen
>= 6 && (brw_inst_opcode(brw
, inst
) == BRW_OPCODE_SEND
||
323 brw_inst_opcode(brw
, inst
) == BRW_OPCODE_SENDC
)) {
324 /* Any source modifiers or regions will be ignored, since this just
325 * identifies the MRF/GRF to start reading the message contents from.
326 * Check for some likely failures.
330 assert(reg
.address_mode
== BRW_ADDRESS_DIRECT
);
333 validate_reg(brw
, inst
, reg
);
335 brw_inst_set_src0_reg_file(brw
, inst
, reg
.file
);
336 brw_inst_set_src0_reg_type(brw
, inst
,
337 brw_reg_type_to_hw_type(brw
, reg
.type
, reg
.file
));
338 brw_inst_set_src0_abs(brw
, inst
, reg
.abs
);
339 brw_inst_set_src0_negate(brw
, inst
, reg
.negate
);
340 brw_inst_set_src0_address_mode(brw
, inst
, reg
.address_mode
);
342 if (reg
.file
== BRW_IMMEDIATE_VALUE
) {
343 brw_inst_set_imm_ud(brw
, inst
, reg
.dw1
.ud
);
345 /* The Bspec's section titled "Non-present Operands" claims that if src0
346 * is an immediate that src1's type must be the same as that of src0.
348 * The SNB+ DataTypeIndex instruction compaction tables contain mappings
349 * that do not follow this rule. E.g., from the IVB/HSW table:
351 * DataTypeIndex 18-Bit Mapping Mapped Meaning
352 * 3 001000001011111101 r:f | i:vf | a:ud | <1> | dir |
354 * And from the SNB table:
356 * DataTypeIndex 18-Bit Mapping Mapped Meaning
357 * 8 001000000111101100 a:w | i:w | a:ud | <1> | dir |
359 * Neither of these cause warnings from the simulator when used,
360 * compacted or otherwise. In fact, all compaction mappings that have an
361 * immediate in src0 use a:ud for src1.
363 * The GM45 instruction compaction tables do not contain mapped meanings
364 * so it's not clear whether it has the restriction. We'll assume it was
365 * lifted on SNB. (FINISHME: decode the GM45 tables and check.)
367 brw_inst_set_src1_reg_file(brw
, inst
, BRW_ARCHITECTURE_REGISTER_FILE
);
369 brw_inst_set_src1_reg_type(brw
, inst
,
370 brw_inst_src0_reg_type(brw
, inst
));
372 brw_inst_set_src1_reg_type(brw
, inst
, BRW_HW_REG_TYPE_UD
);
375 /* Compacted instructions only have 12-bits (plus 1 for the other 20)
376 * for immediate values. Presumably the hardware engineers realized
377 * that the only useful floating-point value that could be represented
378 * in this format is 0.0, which can also be represented as a VF-typed
379 * immediate, so they gave us the previously mentioned mapping on IVB+.
381 * Strangely, we do have a mapping for imm:f in src1, so we don't need
384 * If we see a 0.0:F, change the type to VF so that it can be compacted.
386 if (brw_inst_imm_ud(brw
, inst
) == 0x0 &&
387 brw_inst_src0_reg_type(brw
, inst
) == BRW_HW_REG_TYPE_F
) {
388 brw_inst_set_src0_reg_type(brw
, inst
, BRW_HW_REG_IMM_TYPE_VF
);
391 /* There are no mappings for dst:d | i:d, so if the immediate is suitable
392 * set the types to :UD so the instruction can be compacted.
394 if (is_compactable_immediate(brw_inst_imm_ud(brw
, inst
)) &&
395 brw_inst_cond_modifier(brw
, inst
) == BRW_CONDITIONAL_NONE
&&
396 brw_inst_src0_reg_type(brw
, inst
) == BRW_HW_REG_TYPE_D
&&
397 brw_inst_dst_reg_type(brw
, inst
) == BRW_HW_REG_TYPE_D
) {
398 brw_inst_set_src0_reg_type(brw
, inst
, BRW_HW_REG_TYPE_UD
);
399 brw_inst_set_dst_reg_type(brw
, inst
, BRW_HW_REG_TYPE_UD
);
402 if (reg
.address_mode
== BRW_ADDRESS_DIRECT
) {
403 brw_inst_set_src0_da_reg_nr(brw
, inst
, reg
.nr
);
404 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
405 brw_inst_set_src0_da1_subreg_nr(brw
, inst
, reg
.subnr
);
407 brw_inst_set_src0_da16_subreg_nr(brw
, inst
, reg
.subnr
/ 16);
410 brw_inst_set_src0_ia_subreg_nr(brw
, inst
, reg
.subnr
);
412 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
413 brw_inst_set_src0_ia1_addr_imm(brw
, inst
, reg
.dw1
.bits
.indirect_offset
);
415 brw_inst_set_src0_ia_subreg_nr(brw
, inst
, reg
.dw1
.bits
.indirect_offset
);
419 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
420 if (reg
.width
== BRW_WIDTH_1
&&
421 brw_inst_exec_size(brw
, inst
) == BRW_EXECUTE_1
) {
422 brw_inst_set_src0_hstride(brw
, inst
, BRW_HORIZONTAL_STRIDE_0
);
423 brw_inst_set_src0_width(brw
, inst
, BRW_WIDTH_1
);
424 brw_inst_set_src0_vstride(brw
, inst
, BRW_VERTICAL_STRIDE_0
);
426 brw_inst_set_src0_hstride(brw
, inst
, reg
.hstride
);
427 brw_inst_set_src0_width(brw
, inst
, reg
.width
);
428 brw_inst_set_src0_vstride(brw
, inst
, reg
.vstride
);
431 brw_inst_set_src0_da16_swiz_x(brw
, inst
,
432 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_X
));
433 brw_inst_set_src0_da16_swiz_y(brw
, inst
,
434 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_Y
));
435 brw_inst_set_src0_da16_swiz_z(brw
, inst
,
436 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_Z
));
437 brw_inst_set_src0_da16_swiz_w(brw
, inst
,
438 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_W
));
440 /* This is an oddity of the fact we're using the same
441 * descriptions for registers in align_16 as align_1:
443 if (reg
.vstride
== BRW_VERTICAL_STRIDE_8
)
444 brw_inst_set_src0_vstride(brw
, inst
, BRW_VERTICAL_STRIDE_4
);
446 brw_inst_set_src0_vstride(brw
, inst
, reg
.vstride
);
453 brw_set_src1(struct brw_compile
*p
, brw_inst
*inst
, struct brw_reg reg
)
455 const struct brw_context
*brw
= p
->brw
;
456 assert(reg
.file
!= BRW_MESSAGE_REGISTER_FILE
);
458 if (reg
.file
!= BRW_ARCHITECTURE_REGISTER_FILE
)
459 assert(reg
.nr
< 128);
461 gen7_convert_mrf_to_grf(p
, ®
);
463 validate_reg(brw
, inst
, reg
);
465 brw_inst_set_src1_reg_file(brw
, inst
, reg
.file
);
466 brw_inst_set_src1_reg_type(brw
, inst
,
467 brw_reg_type_to_hw_type(brw
, reg
.type
, reg
.file
));
468 brw_inst_set_src1_abs(brw
, inst
, reg
.abs
);
469 brw_inst_set_src1_negate(brw
, inst
, reg
.negate
);
471 /* Only src1 can be immediate in two-argument instructions.
473 assert(brw_inst_src0_reg_file(brw
, inst
) != BRW_IMMEDIATE_VALUE
);
475 if (reg
.file
== BRW_IMMEDIATE_VALUE
) {
476 brw_inst_set_imm_ud(brw
, inst
, reg
.dw1
.ud
);
478 /* This is a hardware restriction, which may or may not be lifted
481 assert (reg
.address_mode
== BRW_ADDRESS_DIRECT
);
482 /* assert (reg.file == BRW_GENERAL_REGISTER_FILE); */
484 brw_inst_set_src1_da_reg_nr(brw
, inst
, reg
.nr
);
485 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
486 brw_inst_set_src1_da1_subreg_nr(brw
, inst
, reg
.subnr
);
488 brw_inst_set_src1_da16_subreg_nr(brw
, inst
, reg
.subnr
/ 16);
491 if (brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_1
) {
492 if (reg
.width
== BRW_WIDTH_1
&&
493 brw_inst_exec_size(brw
, inst
) == BRW_EXECUTE_1
) {
494 brw_inst_set_src1_hstride(brw
, inst
, BRW_HORIZONTAL_STRIDE_0
);
495 brw_inst_set_src1_width(brw
, inst
, BRW_WIDTH_1
);
496 brw_inst_set_src1_vstride(brw
, inst
, BRW_VERTICAL_STRIDE_0
);
498 brw_inst_set_src1_hstride(brw
, inst
, reg
.hstride
);
499 brw_inst_set_src1_width(brw
, inst
, reg
.width
);
500 brw_inst_set_src1_vstride(brw
, inst
, reg
.vstride
);
503 brw_inst_set_src1_da16_swiz_x(brw
, inst
,
504 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_X
));
505 brw_inst_set_src1_da16_swiz_y(brw
, inst
,
506 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_Y
));
507 brw_inst_set_src1_da16_swiz_z(brw
, inst
,
508 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_Z
));
509 brw_inst_set_src1_da16_swiz_w(brw
, inst
,
510 BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, BRW_CHANNEL_W
));
512 /* This is an oddity of the fact we're using the same
513 * descriptions for registers in align_16 as align_1:
515 if (reg
.vstride
== BRW_VERTICAL_STRIDE_8
)
516 brw_inst_set_src1_vstride(brw
, inst
, BRW_VERTICAL_STRIDE_4
);
518 brw_inst_set_src1_vstride(brw
, inst
, reg
.vstride
);
524 * Set the Message Descriptor and Extended Message Descriptor fields
527 * \note This zeroes out the Function Control bits, so it must be called
528 * \b before filling out any message-specific data. Callers can
529 * choose not to fill in irrelevant bits; they will be zero.
532 brw_set_message_descriptor(struct brw_compile
*p
,
534 enum brw_message_target sfid
,
536 unsigned response_length
,
540 struct brw_context
*brw
= p
->brw
;
542 brw_set_src1(p
, inst
, brw_imm_d(0));
544 /* For indirect sends, `inst` will not be the SEND/SENDC instruction
545 * itself; instead, it will be a MOV/OR into the address register.
547 * In this case, we avoid setting the extended message descriptor bits,
548 * since they go on the later SEND/SENDC instead and if set here would
549 * instead clobber the conditionalmod bits.
551 unsigned opcode
= brw_inst_opcode(brw
, inst
);
552 if (opcode
== BRW_OPCODE_SEND
|| opcode
== BRW_OPCODE_SENDC
) {
553 brw_inst_set_sfid(brw
, inst
, sfid
);
556 brw_inst_set_mlen(brw
, inst
, msg_length
);
557 brw_inst_set_rlen(brw
, inst
, response_length
);
558 brw_inst_set_eot(brw
, inst
, end_of_thread
);
561 brw_inst_set_header_present(brw
, inst
, header_present
);
565 static void brw_set_math_message( struct brw_compile
*p
,
568 unsigned integer_type
,
572 struct brw_context
*brw
= p
->brw
;
574 unsigned response_length
;
576 /* Infer message length from the function */
578 case BRW_MATH_FUNCTION_POW
:
579 case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT
:
580 case BRW_MATH_FUNCTION_INT_DIV_REMAINDER
:
581 case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT_AND_REMAINDER
:
589 /* Infer response length from the function */
591 case BRW_MATH_FUNCTION_SINCOS
:
592 case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT_AND_REMAINDER
:
601 brw_set_message_descriptor(p
, inst
, BRW_SFID_MATH
,
602 msg_length
, response_length
, false, false);
603 brw_inst_set_math_msg_function(brw
, inst
, function
);
604 brw_inst_set_math_msg_signed_int(brw
, inst
, integer_type
);
605 brw_inst_set_math_msg_precision(brw
, inst
, low_precision
);
606 brw_inst_set_math_msg_saturate(brw
, inst
, brw_inst_saturate(brw
, inst
));
607 brw_inst_set_math_msg_data_type(brw
, inst
, dataType
);
608 brw_inst_set_saturate(brw
, inst
, 0);
612 static void brw_set_ff_sync_message(struct brw_compile
*p
,
615 unsigned response_length
,
618 const struct brw_context
*brw
= p
->brw
;
620 brw_set_message_descriptor(p
, insn
, BRW_SFID_URB
,
621 1, response_length
, true, end_of_thread
);
622 brw_inst_set_urb_opcode(brw
, insn
, 1); /* FF_SYNC */
623 brw_inst_set_urb_allocate(brw
, insn
, allocate
);
624 /* The following fields are not used by FF_SYNC: */
625 brw_inst_set_urb_global_offset(brw
, insn
, 0);
626 brw_inst_set_urb_swizzle_control(brw
, insn
, 0);
627 brw_inst_set_urb_used(brw
, insn
, 0);
628 brw_inst_set_urb_complete(brw
, insn
, 0);
631 static void brw_set_urb_message( struct brw_compile
*p
,
633 enum brw_urb_write_flags flags
,
635 unsigned response_length
,
637 unsigned swizzle_control
)
639 struct brw_context
*brw
= p
->brw
;
641 assert(brw
->gen
< 7 || swizzle_control
!= BRW_URB_SWIZZLE_TRANSPOSE
);
642 assert(brw
->gen
< 7 || !(flags
& BRW_URB_WRITE_ALLOCATE
));
643 assert(brw
->gen
>= 7 || !(flags
& BRW_URB_WRITE_PER_SLOT_OFFSET
));
645 brw_set_message_descriptor(p
, insn
, BRW_SFID_URB
,
646 msg_length
, response_length
, true,
647 flags
& BRW_URB_WRITE_EOT
);
649 if (flags
& BRW_URB_WRITE_OWORD
) {
650 assert(msg_length
== 2); /* header + one OWORD of data */
651 brw_inst_set_urb_opcode(brw
, insn
, BRW_URB_OPCODE_WRITE_OWORD
);
653 brw_inst_set_urb_opcode(brw
, insn
, BRW_URB_OPCODE_WRITE_HWORD
);
656 brw_inst_set_urb_global_offset(brw
, insn
, offset
);
657 brw_inst_set_urb_swizzle_control(brw
, insn
, swizzle_control
);
660 brw_inst_set_urb_complete(brw
, insn
, !!(flags
& BRW_URB_WRITE_COMPLETE
));
664 brw_inst_set_urb_allocate(brw
, insn
, !!(flags
& BRW_URB_WRITE_ALLOCATE
));
665 brw_inst_set_urb_used(brw
, insn
, !(flags
& BRW_URB_WRITE_UNUSED
));
667 brw_inst_set_urb_per_slot_offset(brw
, insn
,
668 !!(flags
& BRW_URB_WRITE_PER_SLOT_OFFSET
));
673 brw_set_dp_write_message(struct brw_compile
*p
,
675 unsigned binding_table_index
,
676 unsigned msg_control
,
680 unsigned last_render_target
,
681 unsigned response_length
,
682 unsigned end_of_thread
,
683 unsigned send_commit_msg
)
685 struct brw_context
*brw
= p
->brw
;
689 /* Use the Render Cache for RT writes; otherwise use the Data Cache */
690 if (msg_type
== GEN6_DATAPORT_WRITE_MESSAGE_RENDER_TARGET_WRITE
)
691 sfid
= GEN6_SFID_DATAPORT_RENDER_CACHE
;
693 sfid
= GEN7_SFID_DATAPORT_DATA_CACHE
;
694 } else if (brw
->gen
== 6) {
695 /* Use the render cache for all write messages. */
696 sfid
= GEN6_SFID_DATAPORT_RENDER_CACHE
;
698 sfid
= BRW_SFID_DATAPORT_WRITE
;
701 brw_set_message_descriptor(p
, insn
, sfid
, msg_length
, response_length
,
702 header_present
, end_of_thread
);
704 brw_inst_set_binding_table_index(brw
, insn
, binding_table_index
);
705 brw_inst_set_dp_write_msg_type(brw
, insn
, msg_type
);
706 brw_inst_set_dp_write_msg_control(brw
, insn
, msg_control
);
707 brw_inst_set_rt_last(brw
, insn
, last_render_target
);
709 brw_inst_set_dp_write_commit(brw
, insn
, send_commit_msg
);
714 brw_set_dp_read_message(struct brw_compile
*p
,
716 unsigned binding_table_index
,
717 unsigned msg_control
,
719 unsigned target_cache
,
722 unsigned response_length
)
724 struct brw_context
*brw
= p
->brw
;
728 sfid
= GEN7_SFID_DATAPORT_DATA_CACHE
;
729 } else if (brw
->gen
== 6) {
730 if (target_cache
== BRW_DATAPORT_READ_TARGET_RENDER_CACHE
)
731 sfid
= GEN6_SFID_DATAPORT_RENDER_CACHE
;
733 sfid
= GEN6_SFID_DATAPORT_SAMPLER_CACHE
;
735 sfid
= BRW_SFID_DATAPORT_READ
;
738 brw_set_message_descriptor(p
, insn
, sfid
, msg_length
, response_length
,
739 header_present
, false);
741 brw_inst_set_binding_table_index(brw
, insn
, binding_table_index
);
742 brw_inst_set_dp_read_msg_type(brw
, insn
, msg_type
);
743 brw_inst_set_dp_read_msg_control(brw
, insn
, msg_control
);
745 brw_inst_set_dp_read_target_cache(brw
, insn
, target_cache
);
749 brw_set_sampler_message(struct brw_compile
*p
,
751 unsigned binding_table_index
,
754 unsigned response_length
,
756 unsigned header_present
,
758 unsigned return_format
)
760 struct brw_context
*brw
= p
->brw
;
762 brw_set_message_descriptor(p
, inst
, BRW_SFID_SAMPLER
, msg_length
,
763 response_length
, header_present
, false);
765 brw_inst_set_binding_table_index(brw
, inst
, binding_table_index
);
766 brw_inst_set_sampler(brw
, inst
, sampler
);
767 brw_inst_set_sampler_msg_type(brw
, inst
, msg_type
);
769 brw_inst_set_sampler_simd_mode(brw
, inst
, simd_mode
);
770 } else if (brw
->gen
== 4 && !brw
->is_g4x
) {
771 brw_inst_set_sampler_return_format(brw
, inst
, return_format
);
775 void brw_set_indirect_send_descriptor(struct brw_compile
*p
,
778 struct brw_reg descriptor
)
780 /* Only a0.0 may be used as SEND's descriptor operand. */
781 assert(descriptor
.file
== BRW_ARCHITECTURE_REGISTER_FILE
);
782 assert(descriptor
.type
== BRW_REGISTER_TYPE_UD
);
783 assert(descriptor
.nr
== BRW_ARF_ADDRESS
);
784 assert(descriptor
.subnr
== 0);
786 brw_set_message_descriptor(p
, insn
, sfid
, 0, 0, false, false);
787 brw_set_src1(p
, insn
, descriptor
);
791 gen7_set_dp_scratch_message(struct brw_compile
*p
,
795 bool invalidate_after_read
,
797 unsigned addr_offset
,
802 const struct brw_context
*brw
= p
->brw
;
803 assert(num_regs
== 1 || num_regs
== 2 || num_regs
== 4 ||
804 (brw
->gen
>= 8 && num_regs
== 8));
805 brw_set_message_descriptor(p
, inst
, GEN7_SFID_DATAPORT_DATA_CACHE
,
806 mlen
, rlen
, header_present
, false);
807 brw_inst_set_dp_category(brw
, inst
, 1); /* Scratch Block Read/Write msgs */
808 brw_inst_set_scratch_read_write(brw
, inst
, write
);
809 brw_inst_set_scratch_type(brw
, inst
, dword
);
810 brw_inst_set_scratch_invalidate_after_read(brw
, inst
, invalidate_after_read
);
811 brw_inst_set_scratch_block_size(brw
, inst
, ffs(num_regs
) - 1);
812 brw_inst_set_scratch_addr_offset(brw
, inst
, addr_offset
);
815 #define next_insn brw_next_insn
817 brw_next_insn(struct brw_compile
*p
, unsigned opcode
)
819 const struct brw_context
*brw
= p
->brw
;
822 if (p
->nr_insn
+ 1 > p
->store_size
) {
824 p
->store
= reralloc(p
->mem_ctx
, p
->store
, brw_inst
, p
->store_size
);
827 p
->next_insn_offset
+= 16;
828 insn
= &p
->store
[p
->nr_insn
++];
829 memcpy(insn
, p
->current
, sizeof(*insn
));
831 brw_inst_set_opcode(brw
, insn
, opcode
);
836 brw_alu1(struct brw_compile
*p
, unsigned opcode
,
837 struct brw_reg dest
, struct brw_reg src
)
839 brw_inst
*insn
= next_insn(p
, opcode
);
840 brw_set_dest(p
, insn
, dest
);
841 brw_set_src0(p
, insn
, src
);
846 brw_alu2(struct brw_compile
*p
, unsigned opcode
,
847 struct brw_reg dest
, struct brw_reg src0
, struct brw_reg src1
)
849 brw_inst
*insn
= next_insn(p
, opcode
);
850 brw_set_dest(p
, insn
, dest
);
851 brw_set_src0(p
, insn
, src0
);
852 brw_set_src1(p
, insn
, src1
);
857 get_3src_subreg_nr(struct brw_reg reg
)
859 if (reg
.vstride
== BRW_VERTICAL_STRIDE_0
) {
860 assert(brw_is_single_value_swizzle(reg
.dw1
.bits
.swizzle
));
861 return reg
.subnr
/ 4 + BRW_GET_SWZ(reg
.dw1
.bits
.swizzle
, 0);
863 return reg
.subnr
/ 4;
868 brw_alu3(struct brw_compile
*p
, unsigned opcode
, struct brw_reg dest
,
869 struct brw_reg src0
, struct brw_reg src1
, struct brw_reg src2
)
871 struct brw_context
*brw
= p
->brw
;
872 brw_inst
*inst
= next_insn(p
, opcode
);
874 gen7_convert_mrf_to_grf(p
, &dest
);
876 assert(brw_inst_access_mode(brw
, inst
) == BRW_ALIGN_16
);
878 assert(dest
.file
== BRW_GENERAL_REGISTER_FILE
||
879 dest
.file
== BRW_MESSAGE_REGISTER_FILE
);
880 assert(dest
.nr
< 128);
881 assert(dest
.address_mode
== BRW_ADDRESS_DIRECT
);
882 assert(dest
.type
== BRW_REGISTER_TYPE_F
||
883 dest
.type
== BRW_REGISTER_TYPE_D
||
884 dest
.type
== BRW_REGISTER_TYPE_UD
);
886 brw_inst_set_3src_dst_reg_file(brw
, inst
,
887 dest
.file
== BRW_MESSAGE_REGISTER_FILE
);
889 brw_inst_set_3src_dst_reg_nr(brw
, inst
, dest
.nr
);
890 brw_inst_set_3src_dst_subreg_nr(brw
, inst
, dest
.subnr
/ 16);
891 brw_inst_set_3src_dst_writemask(brw
, inst
, dest
.dw1
.bits
.writemask
);
892 guess_execution_size(p
, inst
, dest
);
894 assert(src0
.file
== BRW_GENERAL_REGISTER_FILE
);
895 assert(src0
.address_mode
== BRW_ADDRESS_DIRECT
);
896 assert(src0
.nr
< 128);
897 brw_inst_set_3src_src0_swizzle(brw
, inst
, src0
.dw1
.bits
.swizzle
);
898 brw_inst_set_3src_src0_subreg_nr(brw
, inst
, get_3src_subreg_nr(src0
));
899 brw_inst_set_3src_src0_reg_nr(brw
, inst
, src0
.nr
);
900 brw_inst_set_3src_src0_abs(brw
, inst
, src0
.abs
);
901 brw_inst_set_3src_src0_negate(brw
, inst
, src0
.negate
);
902 brw_inst_set_3src_src0_rep_ctrl(brw
, inst
,
903 src0
.vstride
== BRW_VERTICAL_STRIDE_0
);
905 assert(src1
.file
== BRW_GENERAL_REGISTER_FILE
);
906 assert(src1
.address_mode
== BRW_ADDRESS_DIRECT
);
907 assert(src1
.nr
< 128);
908 brw_inst_set_3src_src1_swizzle(brw
, inst
, src1
.dw1
.bits
.swizzle
);
909 brw_inst_set_3src_src1_subreg_nr(brw
, inst
, get_3src_subreg_nr(src1
));
910 brw_inst_set_3src_src1_reg_nr(brw
, inst
, src1
.nr
);
911 brw_inst_set_3src_src1_abs(brw
, inst
, src1
.abs
);
912 brw_inst_set_3src_src1_negate(brw
, inst
, src1
.negate
);
913 brw_inst_set_3src_src1_rep_ctrl(brw
, inst
,
914 src1
.vstride
== BRW_VERTICAL_STRIDE_0
);
916 assert(src2
.file
== BRW_GENERAL_REGISTER_FILE
);
917 assert(src2
.address_mode
== BRW_ADDRESS_DIRECT
);
918 assert(src2
.nr
< 128);
919 brw_inst_set_3src_src2_swizzle(brw
, inst
, src2
.dw1
.bits
.swizzle
);
920 brw_inst_set_3src_src2_subreg_nr(brw
, inst
, get_3src_subreg_nr(src2
));
921 brw_inst_set_3src_src2_reg_nr(brw
, inst
, src2
.nr
);
922 brw_inst_set_3src_src2_abs(brw
, inst
, src2
.abs
);
923 brw_inst_set_3src_src2_negate(brw
, inst
, src2
.negate
);
924 brw_inst_set_3src_src2_rep_ctrl(brw
, inst
,
925 src2
.vstride
== BRW_VERTICAL_STRIDE_0
);
928 /* Set both the source and destination types based on dest.type,
929 * ignoring the source register types. The MAD and LRP emitters ensure
930 * that all four types are float. The BFE and BFI2 emitters, however,
931 * may send us mixed D and UD types and want us to ignore that and use
932 * the destination type.
935 case BRW_REGISTER_TYPE_F
:
936 brw_inst_set_3src_src_type(brw
, inst
, BRW_3SRC_TYPE_F
);
937 brw_inst_set_3src_dst_type(brw
, inst
, BRW_3SRC_TYPE_F
);
939 case BRW_REGISTER_TYPE_D
:
940 brw_inst_set_3src_src_type(brw
, inst
, BRW_3SRC_TYPE_D
);
941 brw_inst_set_3src_dst_type(brw
, inst
, BRW_3SRC_TYPE_D
);
943 case BRW_REGISTER_TYPE_UD
:
944 brw_inst_set_3src_src_type(brw
, inst
, BRW_3SRC_TYPE_UD
);
945 brw_inst_set_3src_dst_type(brw
, inst
, BRW_3SRC_TYPE_UD
);
954 /***********************************************************************
955 * Convenience routines.
958 brw_inst *brw_##OP(struct brw_compile *p, \
959 struct brw_reg dest, \
960 struct brw_reg src0) \
962 return brw_alu1(p, BRW_OPCODE_##OP, dest, src0); \
966 brw_inst *brw_##OP(struct brw_compile *p, \
967 struct brw_reg dest, \
968 struct brw_reg src0, \
969 struct brw_reg src1) \
971 return brw_alu2(p, BRW_OPCODE_##OP, dest, src0, src1); \
975 brw_inst *brw_##OP(struct brw_compile *p, \
976 struct brw_reg dest, \
977 struct brw_reg src0, \
978 struct brw_reg src1, \
979 struct brw_reg src2) \
981 return brw_alu3(p, BRW_OPCODE_##OP, dest, src0, src1, src2); \
985 brw_inst *brw_##OP(struct brw_compile *p, \
986 struct brw_reg dest, \
987 struct brw_reg src0, \
988 struct brw_reg src1, \
989 struct brw_reg src2) \
991 assert(dest.type == BRW_REGISTER_TYPE_F); \
992 assert(src0.type == BRW_REGISTER_TYPE_F); \
993 assert(src1.type == BRW_REGISTER_TYPE_F); \
994 assert(src2.type == BRW_REGISTER_TYPE_F); \
995 return brw_alu3(p, BRW_OPCODE_##OP, dest, src0, src1, src2); \
998 /* Rounding operations (other than RNDD) require two instructions - the first
999 * stores a rounded value (possibly the wrong way) in the dest register, but
1000 * also sets a per-channel "increment bit" in the flag register. A predicated
1001 * add of 1.0 fixes dest to contain the desired result.
1003 * Sandybridge and later appear to round correctly without an ADD.
1006 void brw_##OP(struct brw_compile *p, \
1007 struct brw_reg dest, \
1008 struct brw_reg src) \
1010 struct brw_context *brw = p->brw; \
1011 brw_inst *rnd, *add; \
1012 rnd = next_insn(p, BRW_OPCODE_##OP); \
1013 brw_set_dest(p, rnd, dest); \
1014 brw_set_src0(p, rnd, src); \
1016 if (brw->gen < 6) { \
1017 /* turn on round-increments */ \
1018 brw_inst_set_cond_modifier(brw, rnd, BRW_CONDITIONAL_R); \
1019 add = brw_ADD(p, dest, dest, brw_imm_f(1.0f)); \
1020 brw_inst_set_pred_control(brw, add, BRW_PREDICATE_NORMAL); \
1062 brw_ADD(struct brw_compile
*p
, struct brw_reg dest
,
1063 struct brw_reg src0
, struct brw_reg src1
)
1066 if (src0
.type
== BRW_REGISTER_TYPE_F
||
1067 (src0
.file
== BRW_IMMEDIATE_VALUE
&&
1068 src0
.type
== BRW_REGISTER_TYPE_VF
)) {
1069 assert(src1
.type
!= BRW_REGISTER_TYPE_UD
);
1070 assert(src1
.type
!= BRW_REGISTER_TYPE_D
);
1073 if (src1
.type
== BRW_REGISTER_TYPE_F
||
1074 (src1
.file
== BRW_IMMEDIATE_VALUE
&&
1075 src1
.type
== BRW_REGISTER_TYPE_VF
)) {
1076 assert(src0
.type
!= BRW_REGISTER_TYPE_UD
);
1077 assert(src0
.type
!= BRW_REGISTER_TYPE_D
);
1080 return brw_alu2(p
, BRW_OPCODE_ADD
, dest
, src0
, src1
);
1084 brw_AVG(struct brw_compile
*p
, struct brw_reg dest
,
1085 struct brw_reg src0
, struct brw_reg src1
)
1087 assert(dest
.type
== src0
.type
);
1088 assert(src0
.type
== src1
.type
);
1089 switch (src0
.type
) {
1090 case BRW_REGISTER_TYPE_B
:
1091 case BRW_REGISTER_TYPE_UB
:
1092 case BRW_REGISTER_TYPE_W
:
1093 case BRW_REGISTER_TYPE_UW
:
1094 case BRW_REGISTER_TYPE_D
:
1095 case BRW_REGISTER_TYPE_UD
:
1098 unreachable("Bad type for brw_AVG");
1101 return brw_alu2(p
, BRW_OPCODE_AVG
, dest
, src0
, src1
);
1105 brw_MUL(struct brw_compile
*p
, struct brw_reg dest
,
1106 struct brw_reg src0
, struct brw_reg src1
)
1109 if (src0
.type
== BRW_REGISTER_TYPE_D
||
1110 src0
.type
== BRW_REGISTER_TYPE_UD
||
1111 src1
.type
== BRW_REGISTER_TYPE_D
||
1112 src1
.type
== BRW_REGISTER_TYPE_UD
) {
1113 assert(dest
.type
!= BRW_REGISTER_TYPE_F
);
1116 if (src0
.type
== BRW_REGISTER_TYPE_F
||
1117 (src0
.file
== BRW_IMMEDIATE_VALUE
&&
1118 src0
.type
== BRW_REGISTER_TYPE_VF
)) {
1119 assert(src1
.type
!= BRW_REGISTER_TYPE_UD
);
1120 assert(src1
.type
!= BRW_REGISTER_TYPE_D
);
1123 if (src1
.type
== BRW_REGISTER_TYPE_F
||
1124 (src1
.file
== BRW_IMMEDIATE_VALUE
&&
1125 src1
.type
== BRW_REGISTER_TYPE_VF
)) {
1126 assert(src0
.type
!= BRW_REGISTER_TYPE_UD
);
1127 assert(src0
.type
!= BRW_REGISTER_TYPE_D
);
1130 assert(src0
.file
!= BRW_ARCHITECTURE_REGISTER_FILE
||
1131 src0
.nr
!= BRW_ARF_ACCUMULATOR
);
1132 assert(src1
.file
!= BRW_ARCHITECTURE_REGISTER_FILE
||
1133 src1
.nr
!= BRW_ARF_ACCUMULATOR
);
1135 return brw_alu2(p
, BRW_OPCODE_MUL
, dest
, src0
, src1
);
1139 brw_F32TO16(struct brw_compile
*p
, struct brw_reg dst
, struct brw_reg src
)
1141 const struct brw_context
*brw
= p
->brw
;
1142 bool align16
= brw_inst_access_mode(brw
, p
->current
) == BRW_ALIGN_16
;
1145 assert(dst
.type
== BRW_REGISTER_TYPE_UD
);
1147 assert(dst
.type
== BRW_REGISTER_TYPE_W
||
1148 dst
.type
== BRW_REGISTER_TYPE_UW
||
1149 dst
.type
== BRW_REGISTER_TYPE_HF
);
1152 if (brw
->gen
>= 8) {
1154 /* Emulate the Gen7 zeroing bug (see comments in vec4_visitor's
1155 * emit_pack_half_2x16 method.)
1157 brw_MOV(p
, retype(dst
, BRW_REGISTER_TYPE_UD
), brw_imm_ud(0u));
1159 return brw_MOV(p
, retype(dst
, BRW_REGISTER_TYPE_HF
), src
);
1161 assert(brw
->gen
== 7);
1162 return brw_alu1(p
, BRW_OPCODE_F32TO16
, dst
, src
);
1167 brw_F16TO32(struct brw_compile
*p
, struct brw_reg dst
, struct brw_reg src
)
1169 const struct brw_context
*brw
= p
->brw
;
1170 bool align16
= brw_inst_access_mode(brw
, p
->current
) == BRW_ALIGN_16
;
1173 assert(src
.type
== BRW_REGISTER_TYPE_UD
);
1175 assert(src
.type
== BRW_REGISTER_TYPE_W
||
1176 src
.type
== BRW_REGISTER_TYPE_UW
||
1177 src
.type
== BRW_REGISTER_TYPE_HF
);
1180 if (brw
->gen
>= 8) {
1181 return brw_MOV(p
, dst
, retype(src
, BRW_REGISTER_TYPE_HF
));
1183 assert(brw
->gen
== 7);
1184 return brw_alu1(p
, BRW_OPCODE_F16TO32
, dst
, src
);
1189 void brw_NOP(struct brw_compile
*p
)
1191 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_NOP
);
1192 brw_set_dest(p
, insn
, retype(brw_vec4_grf(0,0), BRW_REGISTER_TYPE_UD
));
1193 brw_set_src0(p
, insn
, retype(brw_vec4_grf(0,0), BRW_REGISTER_TYPE_UD
));
1194 brw_set_src1(p
, insn
, brw_imm_ud(0x0));
1201 /***********************************************************************
1202 * Comparisons, if/else/endif
1206 brw_JMPI(struct brw_compile
*p
, struct brw_reg index
,
1207 unsigned predicate_control
)
1209 const struct brw_context
*brw
= p
->brw
;
1210 struct brw_reg ip
= brw_ip_reg();
1211 brw_inst
*inst
= brw_alu2(p
, BRW_OPCODE_JMPI
, ip
, ip
, index
);
1213 brw_inst_set_exec_size(brw
, inst
, BRW_EXECUTE_2
);
1214 brw_inst_set_qtr_control(brw
, inst
, BRW_COMPRESSION_NONE
);
1215 brw_inst_set_mask_control(brw
, inst
, BRW_MASK_DISABLE
);
1216 brw_inst_set_pred_control(brw
, inst
, predicate_control
);
1222 push_if_stack(struct brw_compile
*p
, brw_inst
*inst
)
1224 p
->if_stack
[p
->if_stack_depth
] = inst
- p
->store
;
1226 p
->if_stack_depth
++;
1227 if (p
->if_stack_array_size
<= p
->if_stack_depth
) {
1228 p
->if_stack_array_size
*= 2;
1229 p
->if_stack
= reralloc(p
->mem_ctx
, p
->if_stack
, int,
1230 p
->if_stack_array_size
);
1235 pop_if_stack(struct brw_compile
*p
)
1237 p
->if_stack_depth
--;
1238 return &p
->store
[p
->if_stack
[p
->if_stack_depth
]];
1242 push_loop_stack(struct brw_compile
*p
, brw_inst
*inst
)
1244 if (p
->loop_stack_array_size
< p
->loop_stack_depth
) {
1245 p
->loop_stack_array_size
*= 2;
1246 p
->loop_stack
= reralloc(p
->mem_ctx
, p
->loop_stack
, int,
1247 p
->loop_stack_array_size
);
1248 p
->if_depth_in_loop
= reralloc(p
->mem_ctx
, p
->if_depth_in_loop
, int,
1249 p
->loop_stack_array_size
);
1252 p
->loop_stack
[p
->loop_stack_depth
] = inst
- p
->store
;
1253 p
->loop_stack_depth
++;
1254 p
->if_depth_in_loop
[p
->loop_stack_depth
] = 0;
1258 get_inner_do_insn(struct brw_compile
*p
)
1260 return &p
->store
[p
->loop_stack
[p
->loop_stack_depth
- 1]];
1263 /* EU takes the value from the flag register and pushes it onto some
1264 * sort of a stack (presumably merging with any flag value already on
1265 * the stack). Within an if block, the flags at the top of the stack
1266 * control execution on each channel of the unit, eg. on each of the
1267 * 16 pixel values in our wm programs.
1269 * When the matching 'else' instruction is reached (presumably by
1270 * countdown of the instruction count patched in by our ELSE/ENDIF
1271 * functions), the relevent flags are inverted.
1273 * When the matching 'endif' instruction is reached, the flags are
1274 * popped off. If the stack is now empty, normal execution resumes.
1277 brw_IF(struct brw_compile
*p
, unsigned execute_size
)
1279 struct brw_context
*brw
= p
->brw
;
1282 insn
= next_insn(p
, BRW_OPCODE_IF
);
1284 /* Override the defaults for this instruction:
1287 brw_set_dest(p
, insn
, brw_ip_reg());
1288 brw_set_src0(p
, insn
, brw_ip_reg());
1289 brw_set_src1(p
, insn
, brw_imm_d(0x0));
1290 } else if (brw
->gen
== 6) {
1291 brw_set_dest(p
, insn
, brw_imm_w(0));
1292 brw_inst_set_gen6_jump_count(brw
, insn
, 0);
1293 brw_set_src0(p
, insn
, vec1(retype(brw_null_reg(), BRW_REGISTER_TYPE_D
)));
1294 brw_set_src1(p
, insn
, vec1(retype(brw_null_reg(), BRW_REGISTER_TYPE_D
)));
1295 } else if (brw
->gen
== 7) {
1296 brw_set_dest(p
, insn
, vec1(retype(brw_null_reg(), BRW_REGISTER_TYPE_D
)));
1297 brw_set_src0(p
, insn
, vec1(retype(brw_null_reg(), BRW_REGISTER_TYPE_D
)));
1298 brw_set_src1(p
, insn
, brw_imm_ud(0));
1299 brw_inst_set_jip(brw
, insn
, 0);
1300 brw_inst_set_uip(brw
, insn
, 0);
1302 brw_set_dest(p
, insn
, vec1(retype(brw_null_reg(), BRW_REGISTER_TYPE_D
)));
1303 brw_set_src0(p
, insn
, brw_imm_d(0));
1304 brw_inst_set_jip(brw
, insn
, 0);
1305 brw_inst_set_uip(brw
, insn
, 0);
1308 brw_inst_set_exec_size(brw
, insn
, execute_size
);
1309 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1310 brw_inst_set_pred_control(brw
, insn
, BRW_PREDICATE_NORMAL
);
1311 brw_inst_set_mask_control(brw
, insn
, BRW_MASK_ENABLE
);
1312 if (!p
->single_program_flow
&& brw
->gen
< 6)
1313 brw_inst_set_thread_control(brw
, insn
, BRW_THREAD_SWITCH
);
1315 push_if_stack(p
, insn
);
1316 p
->if_depth_in_loop
[p
->loop_stack_depth
]++;
1320 /* This function is only used for gen6-style IF instructions with an
1321 * embedded comparison (conditional modifier). It is not used on gen7.
1324 gen6_IF(struct brw_compile
*p
, enum brw_conditional_mod conditional
,
1325 struct brw_reg src0
, struct brw_reg src1
)
1327 const struct brw_context
*brw
= p
->brw
;
1330 insn
= next_insn(p
, BRW_OPCODE_IF
);
1332 brw_set_dest(p
, insn
, brw_imm_w(0));
1333 brw_inst_set_exec_size(brw
, insn
, p
->compressed
? BRW_EXECUTE_16
1335 brw_inst_set_gen6_jump_count(brw
, insn
, 0);
1336 brw_set_src0(p
, insn
, src0
);
1337 brw_set_src1(p
, insn
, src1
);
1339 assert(brw_inst_qtr_control(brw
, insn
) == BRW_COMPRESSION_NONE
);
1340 assert(brw_inst_pred_control(brw
, insn
) == BRW_PREDICATE_NONE
);
1341 brw_inst_set_cond_modifier(brw
, insn
, conditional
);
1343 push_if_stack(p
, insn
);
1348 * In single-program-flow (SPF) mode, convert IF and ELSE into ADDs.
1351 convert_IF_ELSE_to_ADD(struct brw_compile
*p
,
1352 brw_inst
*if_inst
, brw_inst
*else_inst
)
1354 const struct brw_context
*brw
= p
->brw
;
1356 /* The next instruction (where the ENDIF would be, if it existed) */
1357 brw_inst
*next_inst
= &p
->store
[p
->nr_insn
];
1359 assert(p
->single_program_flow
);
1360 assert(if_inst
!= NULL
&& brw_inst_opcode(brw
, if_inst
) == BRW_OPCODE_IF
);
1361 assert(else_inst
== NULL
|| brw_inst_opcode(brw
, else_inst
) == BRW_OPCODE_ELSE
);
1362 assert(brw_inst_exec_size(brw
, if_inst
) == BRW_EXECUTE_1
);
1364 /* Convert IF to an ADD instruction that moves the instruction pointer
1365 * to the first instruction of the ELSE block. If there is no ELSE
1366 * block, point to where ENDIF would be. Reverse the predicate.
1368 * There's no need to execute an ENDIF since we don't need to do any
1369 * stack operations, and if we're currently executing, we just want to
1370 * continue normally.
1372 brw_inst_set_opcode(brw
, if_inst
, BRW_OPCODE_ADD
);
1373 brw_inst_set_pred_inv(brw
, if_inst
, true);
1375 if (else_inst
!= NULL
) {
1376 /* Convert ELSE to an ADD instruction that points where the ENDIF
1379 brw_inst_set_opcode(brw
, else_inst
, BRW_OPCODE_ADD
);
1381 brw_inst_set_imm_ud(brw
, if_inst
, (else_inst
- if_inst
+ 1) * 16);
1382 brw_inst_set_imm_ud(brw
, else_inst
, (next_inst
- else_inst
) * 16);
1384 brw_inst_set_imm_ud(brw
, if_inst
, (next_inst
- if_inst
) * 16);
1389 * Patch IF and ELSE instructions with appropriate jump targets.
1392 patch_IF_ELSE(struct brw_compile
*p
,
1393 brw_inst
*if_inst
, brw_inst
*else_inst
, brw_inst
*endif_inst
)
1395 struct brw_context
*brw
= p
->brw
;
1397 /* We shouldn't be patching IF and ELSE instructions in single program flow
1398 * mode when gen < 6, because in single program flow mode on those
1399 * platforms, we convert flow control instructions to conditional ADDs that
1400 * operate on IP (see brw_ENDIF).
1402 * However, on Gen6, writing to IP doesn't work in single program flow mode
1403 * (see the SandyBridge PRM, Volume 4 part 2, p79: "When SPF is ON, IP may
1404 * not be updated by non-flow control instructions."). And on later
1405 * platforms, there is no significant benefit to converting control flow
1406 * instructions to conditional ADDs. So we do patch IF and ELSE
1407 * instructions in single program flow mode on those platforms.
1410 assert(!p
->single_program_flow
);
1412 assert(if_inst
!= NULL
&& brw_inst_opcode(brw
, if_inst
) == BRW_OPCODE_IF
);
1413 assert(endif_inst
!= NULL
);
1414 assert(else_inst
== NULL
|| brw_inst_opcode(brw
, else_inst
) == BRW_OPCODE_ELSE
);
1416 unsigned br
= brw_jump_scale(brw
);
1418 assert(brw_inst_opcode(brw
, endif_inst
) == BRW_OPCODE_ENDIF
);
1419 brw_inst_set_exec_size(brw
, endif_inst
, brw_inst_exec_size(brw
, if_inst
));
1421 if (else_inst
== NULL
) {
1422 /* Patch IF -> ENDIF */
1424 /* Turn it into an IFF, which means no mask stack operations for
1425 * all-false and jumping past the ENDIF.
1427 brw_inst_set_opcode(brw
, if_inst
, BRW_OPCODE_IFF
);
1428 brw_inst_set_gen4_jump_count(brw
, if_inst
,
1429 br
* (endif_inst
- if_inst
+ 1));
1430 brw_inst_set_gen4_pop_count(brw
, if_inst
, 0);
1431 } else if (brw
->gen
== 6) {
1432 /* As of gen6, there is no IFF and IF must point to the ENDIF. */
1433 brw_inst_set_gen6_jump_count(brw
, if_inst
, br
*(endif_inst
- if_inst
));
1435 brw_inst_set_uip(brw
, if_inst
, br
* (endif_inst
- if_inst
));
1436 brw_inst_set_jip(brw
, if_inst
, br
* (endif_inst
- if_inst
));
1439 brw_inst_set_exec_size(brw
, else_inst
, brw_inst_exec_size(brw
, if_inst
));
1441 /* Patch IF -> ELSE */
1443 brw_inst_set_gen4_jump_count(brw
, if_inst
,
1444 br
* (else_inst
- if_inst
));
1445 brw_inst_set_gen4_pop_count(brw
, if_inst
, 0);
1446 } else if (brw
->gen
== 6) {
1447 brw_inst_set_gen6_jump_count(brw
, if_inst
,
1448 br
* (else_inst
- if_inst
+ 1));
1451 /* Patch ELSE -> ENDIF */
1453 /* BRW_OPCODE_ELSE pre-gen6 should point just past the
1456 brw_inst_set_gen4_jump_count(brw
, else_inst
,
1457 br
* (endif_inst
- else_inst
+ 1));
1458 brw_inst_set_gen4_pop_count(brw
, else_inst
, 1);
1459 } else if (brw
->gen
== 6) {
1460 /* BRW_OPCODE_ELSE on gen6 should point to the matching ENDIF. */
1461 brw_inst_set_gen6_jump_count(brw
, else_inst
,
1462 br
* (endif_inst
- else_inst
));
1464 /* The IF instruction's JIP should point just past the ELSE */
1465 brw_inst_set_jip(brw
, if_inst
, br
* (else_inst
- if_inst
+ 1));
1466 /* The IF instruction's UIP and ELSE's JIP should point to ENDIF */
1467 brw_inst_set_uip(brw
, if_inst
, br
* (endif_inst
- if_inst
));
1468 brw_inst_set_jip(brw
, else_inst
, br
* (endif_inst
- else_inst
));
1469 if (brw
->gen
>= 8) {
1470 /* Since we don't set branch_ctrl, the ELSE's JIP and UIP both
1471 * should point to ENDIF.
1473 brw_inst_set_uip(brw
, else_inst
, br
* (endif_inst
- else_inst
));
1480 brw_ELSE(struct brw_compile
*p
)
1482 struct brw_context
*brw
= p
->brw
;
1485 insn
= next_insn(p
, BRW_OPCODE_ELSE
);
1488 brw_set_dest(p
, insn
, brw_ip_reg());
1489 brw_set_src0(p
, insn
, brw_ip_reg());
1490 brw_set_src1(p
, insn
, brw_imm_d(0x0));
1491 } else if (brw
->gen
== 6) {
1492 brw_set_dest(p
, insn
, brw_imm_w(0));
1493 brw_inst_set_gen6_jump_count(brw
, insn
, 0);
1494 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1495 brw_set_src1(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1496 } else if (brw
->gen
== 7) {
1497 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1498 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1499 brw_set_src1(p
, insn
, brw_imm_ud(0));
1500 brw_inst_set_jip(brw
, insn
, 0);
1501 brw_inst_set_uip(brw
, insn
, 0);
1503 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1504 brw_set_src0(p
, insn
, brw_imm_d(0));
1505 brw_inst_set_jip(brw
, insn
, 0);
1506 brw_inst_set_uip(brw
, insn
, 0);
1509 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1510 brw_inst_set_mask_control(brw
, insn
, BRW_MASK_ENABLE
);
1511 if (!p
->single_program_flow
&& brw
->gen
< 6)
1512 brw_inst_set_thread_control(brw
, insn
, BRW_THREAD_SWITCH
);
1514 push_if_stack(p
, insn
);
1518 brw_ENDIF(struct brw_compile
*p
)
1520 struct brw_context
*brw
= p
->brw
;
1521 brw_inst
*insn
= NULL
;
1522 brw_inst
*else_inst
= NULL
;
1523 brw_inst
*if_inst
= NULL
;
1525 bool emit_endif
= true;
1527 /* In single program flow mode, we can express IF and ELSE instructions
1528 * equivalently as ADD instructions that operate on IP. On platforms prior
1529 * to Gen6, flow control instructions cause an implied thread switch, so
1530 * this is a significant savings.
1532 * However, on Gen6, writing to IP doesn't work in single program flow mode
1533 * (see the SandyBridge PRM, Volume 4 part 2, p79: "When SPF is ON, IP may
1534 * not be updated by non-flow control instructions."). And on later
1535 * platforms, there is no significant benefit to converting control flow
1536 * instructions to conditional ADDs. So we only do this trick on Gen4 and
1539 if (brw
->gen
< 6 && p
->single_program_flow
)
1543 * A single next_insn() may change the base adress of instruction store
1544 * memory(p->store), so call it first before referencing the instruction
1545 * store pointer from an index
1548 insn
= next_insn(p
, BRW_OPCODE_ENDIF
);
1550 /* Pop the IF and (optional) ELSE instructions from the stack */
1551 p
->if_depth_in_loop
[p
->loop_stack_depth
]--;
1552 tmp
= pop_if_stack(p
);
1553 if (brw_inst_opcode(brw
, tmp
) == BRW_OPCODE_ELSE
) {
1555 tmp
= pop_if_stack(p
);
1560 /* ENDIF is useless; don't bother emitting it. */
1561 convert_IF_ELSE_to_ADD(p
, if_inst
, else_inst
);
1566 brw_set_dest(p
, insn
, retype(brw_vec4_grf(0,0), BRW_REGISTER_TYPE_UD
));
1567 brw_set_src0(p
, insn
, retype(brw_vec4_grf(0,0), BRW_REGISTER_TYPE_UD
));
1568 brw_set_src1(p
, insn
, brw_imm_d(0x0));
1569 } else if (brw
->gen
== 6) {
1570 brw_set_dest(p
, insn
, brw_imm_w(0));
1571 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1572 brw_set_src1(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1573 } else if (brw
->gen
== 7) {
1574 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1575 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1576 brw_set_src1(p
, insn
, brw_imm_ud(0));
1578 brw_set_src0(p
, insn
, brw_imm_d(0));
1581 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1582 brw_inst_set_mask_control(brw
, insn
, BRW_MASK_ENABLE
);
1584 brw_inst_set_thread_control(brw
, insn
, BRW_THREAD_SWITCH
);
1586 /* Also pop item off the stack in the endif instruction: */
1588 brw_inst_set_gen4_jump_count(brw
, insn
, 0);
1589 brw_inst_set_gen4_pop_count(brw
, insn
, 1);
1590 } else if (brw
->gen
== 6) {
1591 brw_inst_set_gen6_jump_count(brw
, insn
, 2);
1593 brw_inst_set_jip(brw
, insn
, 2);
1595 patch_IF_ELSE(p
, if_inst
, else_inst
, insn
);
1599 brw_BREAK(struct brw_compile
*p
)
1601 struct brw_context
*brw
= p
->brw
;
1604 insn
= next_insn(p
, BRW_OPCODE_BREAK
);
1605 if (brw
->gen
>= 8) {
1606 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1607 brw_set_src0(p
, insn
, brw_imm_d(0x0));
1608 } else if (brw
->gen
>= 6) {
1609 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1610 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1611 brw_set_src1(p
, insn
, brw_imm_d(0x0));
1613 brw_set_dest(p
, insn
, brw_ip_reg());
1614 brw_set_src0(p
, insn
, brw_ip_reg());
1615 brw_set_src1(p
, insn
, brw_imm_d(0x0));
1616 brw_inst_set_gen4_pop_count(brw
, insn
,
1617 p
->if_depth_in_loop
[p
->loop_stack_depth
]);
1619 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1620 brw_inst_set_exec_size(brw
, insn
, p
->compressed
? BRW_EXECUTE_16
1627 brw_CONT(struct brw_compile
*p
)
1629 const struct brw_context
*brw
= p
->brw
;
1632 insn
= next_insn(p
, BRW_OPCODE_CONTINUE
);
1633 brw_set_dest(p
, insn
, brw_ip_reg());
1634 if (brw
->gen
>= 8) {
1635 brw_set_src0(p
, insn
, brw_imm_d(0x0));
1637 brw_set_src0(p
, insn
, brw_ip_reg());
1638 brw_set_src1(p
, insn
, brw_imm_d(0x0));
1642 brw_inst_set_gen4_pop_count(brw
, insn
,
1643 p
->if_depth_in_loop
[p
->loop_stack_depth
]);
1645 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1646 brw_inst_set_exec_size(brw
, insn
, p
->compressed
? BRW_EXECUTE_16
1652 gen6_HALT(struct brw_compile
*p
)
1654 const struct brw_context
*brw
= p
->brw
;
1657 insn
= next_insn(p
, BRW_OPCODE_HALT
);
1658 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1659 if (brw
->gen
>= 8) {
1660 brw_set_src0(p
, insn
, brw_imm_d(0x0));
1662 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1663 brw_set_src1(p
, insn
, brw_imm_d(0x0)); /* UIP and JIP, updated later. */
1666 if (p
->compressed
) {
1667 brw_inst_set_exec_size(brw
, insn
, BRW_EXECUTE_16
);
1669 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1670 brw_inst_set_exec_size(brw
, insn
, BRW_EXECUTE_8
);
1677 * The DO/WHILE is just an unterminated loop -- break or continue are
1678 * used for control within the loop. We have a few ways they can be
1681 * For uniform control flow, the WHILE is just a jump, so ADD ip, ip,
1682 * jip and no DO instruction.
1684 * For non-uniform control flow pre-gen6, there's a DO instruction to
1685 * push the mask, and a WHILE to jump back, and BREAK to get out and
1688 * For gen6, there's no more mask stack, so no need for DO. WHILE
1689 * just points back to the first instruction of the loop.
1692 brw_DO(struct brw_compile
*p
, unsigned execute_size
)
1694 struct brw_context
*brw
= p
->brw
;
1696 if (brw
->gen
>= 6 || p
->single_program_flow
) {
1697 push_loop_stack(p
, &p
->store
[p
->nr_insn
]);
1698 return &p
->store
[p
->nr_insn
];
1700 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_DO
);
1702 push_loop_stack(p
, insn
);
1704 /* Override the defaults for this instruction:
1706 brw_set_dest(p
, insn
, brw_null_reg());
1707 brw_set_src0(p
, insn
, brw_null_reg());
1708 brw_set_src1(p
, insn
, brw_null_reg());
1710 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1711 brw_inst_set_exec_size(brw
, insn
, execute_size
);
1712 brw_inst_set_pred_control(brw
, insn
, BRW_PREDICATE_NONE
);
1719 * For pre-gen6, we patch BREAK/CONT instructions to point at the WHILE
1722 * For gen6+, see brw_set_uip_jip(), which doesn't care so much about the loop
1723 * nesting, since it can always just point to the end of the block/current loop.
1726 brw_patch_break_cont(struct brw_compile
*p
, brw_inst
*while_inst
)
1728 struct brw_context
*brw
= p
->brw
;
1729 brw_inst
*do_inst
= get_inner_do_insn(p
);
1731 unsigned br
= brw_jump_scale(brw
);
1733 assert(brw
->gen
< 6);
1735 for (inst
= while_inst
- 1; inst
!= do_inst
; inst
--) {
1736 /* If the jump count is != 0, that means that this instruction has already
1737 * been patched because it's part of a loop inside of the one we're
1740 if (brw_inst_opcode(brw
, inst
) == BRW_OPCODE_BREAK
&&
1741 brw_inst_gen4_jump_count(brw
, inst
) == 0) {
1742 brw_inst_set_gen4_jump_count(brw
, inst
, br
*((while_inst
- inst
) + 1));
1743 } else if (brw_inst_opcode(brw
, inst
) == BRW_OPCODE_CONTINUE
&&
1744 brw_inst_gen4_jump_count(brw
, inst
) == 0) {
1745 brw_inst_set_gen4_jump_count(brw
, inst
, br
* (while_inst
- inst
));
1751 brw_WHILE(struct brw_compile
*p
)
1753 struct brw_context
*brw
= p
->brw
;
1754 brw_inst
*insn
, *do_insn
;
1755 unsigned br
= brw_jump_scale(brw
);
1757 if (brw
->gen
>= 6) {
1758 insn
= next_insn(p
, BRW_OPCODE_WHILE
);
1759 do_insn
= get_inner_do_insn(p
);
1761 if (brw
->gen
>= 8) {
1762 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1763 brw_set_src0(p
, insn
, brw_imm_d(0));
1764 brw_inst_set_jip(brw
, insn
, br
* (do_insn
- insn
));
1765 } else if (brw
->gen
== 7) {
1766 brw_set_dest(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1767 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1768 brw_set_src1(p
, insn
, brw_imm_ud(0));
1769 brw_inst_set_jip(brw
, insn
, br
* (do_insn
- insn
));
1771 brw_set_dest(p
, insn
, brw_imm_w(0));
1772 brw_inst_set_gen6_jump_count(brw
, insn
, br
* (do_insn
- insn
));
1773 brw_set_src0(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1774 brw_set_src1(p
, insn
, retype(brw_null_reg(), BRW_REGISTER_TYPE_D
));
1777 brw_inst_set_exec_size(brw
, insn
, p
->compressed
? BRW_EXECUTE_16
1780 if (p
->single_program_flow
) {
1781 insn
= next_insn(p
, BRW_OPCODE_ADD
);
1782 do_insn
= get_inner_do_insn(p
);
1784 brw_set_dest(p
, insn
, brw_ip_reg());
1785 brw_set_src0(p
, insn
, brw_ip_reg());
1786 brw_set_src1(p
, insn
, brw_imm_d((do_insn
- insn
) * 16));
1787 brw_inst_set_exec_size(brw
, insn
, BRW_EXECUTE_1
);
1789 insn
= next_insn(p
, BRW_OPCODE_WHILE
);
1790 do_insn
= get_inner_do_insn(p
);
1792 assert(brw_inst_opcode(brw
, do_insn
) == BRW_OPCODE_DO
);
1794 brw_set_dest(p
, insn
, brw_ip_reg());
1795 brw_set_src0(p
, insn
, brw_ip_reg());
1796 brw_set_src1(p
, insn
, brw_imm_d(0));
1798 brw_inst_set_exec_size(brw
, insn
, brw_inst_exec_size(brw
, do_insn
));
1799 brw_inst_set_gen4_jump_count(brw
, insn
, br
* (do_insn
- insn
+ 1));
1800 brw_inst_set_gen4_pop_count(brw
, insn
, 0);
1802 brw_patch_break_cont(p
, insn
);
1805 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
1807 p
->loop_stack_depth
--;
1814 void brw_land_fwd_jump(struct brw_compile
*p
, int jmp_insn_idx
)
1816 struct brw_context
*brw
= p
->brw
;
1817 brw_inst
*jmp_insn
= &p
->store
[jmp_insn_idx
];
1823 assert(brw_inst_opcode(brw
, jmp_insn
) == BRW_OPCODE_JMPI
);
1824 assert(brw_inst_src1_reg_file(brw
, jmp_insn
) == BRW_IMMEDIATE_VALUE
);
1826 brw_inst_set_gen4_jump_count(brw
, jmp_insn
,
1827 jmpi
* (p
->nr_insn
- jmp_insn_idx
- 1));
1830 /* To integrate with the above, it makes sense that the comparison
1831 * instruction should populate the flag register. It might be simpler
1832 * just to use the flag reg for most WM tasks?
1834 void brw_CMP(struct brw_compile
*p
,
1835 struct brw_reg dest
,
1836 unsigned conditional
,
1837 struct brw_reg src0
,
1838 struct brw_reg src1
)
1840 struct brw_context
*brw
= p
->brw
;
1841 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_CMP
);
1843 if (brw
->gen
>= 8) {
1844 /* The CMP instruction appears to behave erratically for floating point
1845 * sources unless the destination type is also float. Overriding it to
1846 * match src0 makes it work in all cases.
1848 dest
.type
= src0
.type
;
1851 brw_inst_set_cond_modifier(brw
, insn
, conditional
);
1852 brw_set_dest(p
, insn
, dest
);
1853 brw_set_src0(p
, insn
, src0
);
1854 brw_set_src1(p
, insn
, src1
);
1856 /* Item WaCMPInstNullDstForcesThreadSwitch in the Haswell Bspec workarounds
1858 * "Any CMP instruction with a null destination must use a {switch}."
1860 * It also applies to other Gen7 platforms (IVB, BYT) even though it isn't
1861 * mentioned on their work-arounds pages.
1863 if (brw
->gen
== 7) {
1864 if (dest
.file
== BRW_ARCHITECTURE_REGISTER_FILE
&&
1865 dest
.nr
== BRW_ARF_NULL
) {
1866 brw_inst_set_thread_control(brw
, insn
, BRW_THREAD_SWITCH
);
1871 /***********************************************************************
1872 * Helpers for the various SEND message types:
1875 /** Extended math function, float[8].
1877 void gen4_math(struct brw_compile
*p
,
1878 struct brw_reg dest
,
1880 unsigned msg_reg_nr
,
1883 unsigned precision
)
1885 struct brw_context
*brw
= p
->brw
;
1886 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
1888 assert(brw
->gen
< 6);
1890 /* Example code doesn't set predicate_control for send
1893 brw_inst_set_pred_control(brw
, insn
, 0);
1894 brw_inst_set_base_mrf(brw
, insn
, msg_reg_nr
);
1896 brw_set_dest(p
, insn
, dest
);
1897 brw_set_src0(p
, insn
, src
);
1898 brw_set_math_message(p
,
1901 src
.type
== BRW_REGISTER_TYPE_D
,
1906 void gen6_math(struct brw_compile
*p
,
1907 struct brw_reg dest
,
1909 struct brw_reg src0
,
1910 struct brw_reg src1
)
1912 struct brw_context
*brw
= p
->brw
;
1913 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_MATH
);
1915 assert(brw
->gen
>= 6);
1917 assert(dest
.file
== BRW_GENERAL_REGISTER_FILE
||
1918 (brw
->gen
>= 7 && dest
.file
== BRW_MESSAGE_REGISTER_FILE
));
1919 assert(src0
.file
== BRW_GENERAL_REGISTER_FILE
||
1920 (brw
->gen
>= 8 && src0
.file
== BRW_IMMEDIATE_VALUE
));
1922 assert(dest
.hstride
== BRW_HORIZONTAL_STRIDE_1
);
1923 if (brw
->gen
== 6) {
1924 assert(src0
.hstride
== BRW_HORIZONTAL_STRIDE_1
);
1925 assert(src1
.hstride
== BRW_HORIZONTAL_STRIDE_1
);
1928 if (function
== BRW_MATH_FUNCTION_INT_DIV_QUOTIENT
||
1929 function
== BRW_MATH_FUNCTION_INT_DIV_REMAINDER
||
1930 function
== BRW_MATH_FUNCTION_INT_DIV_QUOTIENT_AND_REMAINDER
) {
1931 assert(src0
.type
!= BRW_REGISTER_TYPE_F
);
1932 assert(src1
.type
!= BRW_REGISTER_TYPE_F
);
1933 assert(src1
.file
== BRW_GENERAL_REGISTER_FILE
||
1934 (brw
->gen
>= 8 && src1
.file
== BRW_IMMEDIATE_VALUE
));
1936 assert(src0
.type
== BRW_REGISTER_TYPE_F
);
1937 assert(src1
.type
== BRW_REGISTER_TYPE_F
);
1938 if (function
== BRW_MATH_FUNCTION_POW
) {
1939 assert(src1
.file
== BRW_GENERAL_REGISTER_FILE
||
1940 (brw
->gen
>= 8 && src1
.file
== BRW_IMMEDIATE_VALUE
));
1942 assert(src1
.file
== BRW_ARCHITECTURE_REGISTER_FILE
&&
1943 src1
.nr
== BRW_ARF_NULL
);
1947 /* Source modifiers are ignored for extended math instructions on Gen6. */
1948 if (brw
->gen
== 6) {
1949 assert(!src0
.negate
);
1951 assert(!src1
.negate
);
1955 brw_inst_set_math_function(brw
, insn
, function
);
1957 brw_set_dest(p
, insn
, dest
);
1958 brw_set_src0(p
, insn
, src0
);
1959 brw_set_src1(p
, insn
, src1
);
1964 * Write a block of OWORDs (half a GRF each) from the scratch buffer,
1965 * using a constant offset per channel.
1967 * The offset must be aligned to oword size (16 bytes). Used for
1968 * register spilling.
1970 void brw_oword_block_write_scratch(struct brw_compile
*p
,
1975 struct brw_context
*brw
= p
->brw
;
1976 uint32_t msg_control
, msg_type
;
1982 mrf
= retype(mrf
, BRW_REGISTER_TYPE_UD
);
1984 if (num_regs
== 1) {
1985 msg_control
= BRW_DATAPORT_OWORD_BLOCK_2_OWORDS
;
1988 msg_control
= BRW_DATAPORT_OWORD_BLOCK_4_OWORDS
;
1992 /* Set up the message header. This is g0, with g0.2 filled with
1993 * the offset. We don't want to leave our offset around in g0 or
1994 * it'll screw up texture samples, so set it up inside the message
1998 brw_push_insn_state(p
);
1999 brw_set_default_mask_control(p
, BRW_MASK_DISABLE
);
2000 brw_set_default_compression_control(p
, BRW_COMPRESSION_NONE
);
2002 brw_MOV(p
, mrf
, retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD
));
2004 /* set message header global offset field (reg 0, element 2) */
2006 retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE
,
2008 2), BRW_REGISTER_TYPE_UD
),
2009 brw_imm_ud(offset
));
2011 brw_pop_insn_state(p
);
2015 struct brw_reg dest
;
2016 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
2017 int send_commit_msg
;
2018 struct brw_reg src_header
= retype(brw_vec8_grf(0, 0),
2019 BRW_REGISTER_TYPE_UW
);
2021 if (brw_inst_qtr_control(brw
, insn
) != BRW_COMPRESSION_NONE
) {
2022 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
2023 src_header
= vec16(src_header
);
2025 assert(brw_inst_pred_control(brw
, insn
) == BRW_PREDICATE_NONE
);
2027 brw_inst_set_base_mrf(brw
, insn
, mrf
.nr
);
2029 /* Until gen6, writes followed by reads from the same location
2030 * are not guaranteed to be ordered unless write_commit is set.
2031 * If set, then a no-op write is issued to the destination
2032 * register to set a dependency, and a read from the destination
2033 * can be used to ensure the ordering.
2035 * For gen6, only writes between different threads need ordering
2036 * protection. Our use of DP writes is all about register
2037 * spilling within a thread.
2039 if (brw
->gen
>= 6) {
2040 dest
= retype(vec16(brw_null_reg()), BRW_REGISTER_TYPE_UW
);
2041 send_commit_msg
= 0;
2044 send_commit_msg
= 1;
2047 brw_set_dest(p
, insn
, dest
);
2048 if (brw
->gen
>= 6) {
2049 brw_set_src0(p
, insn
, mrf
);
2051 brw_set_src0(p
, insn
, brw_null_reg());
2055 msg_type
= GEN6_DATAPORT_WRITE_MESSAGE_OWORD_BLOCK_WRITE
;
2057 msg_type
= BRW_DATAPORT_WRITE_MESSAGE_OWORD_BLOCK_WRITE
;
2059 brw_set_dp_write_message(p
,
2061 255, /* binding table index (255=stateless) */
2065 true, /* header_present */
2066 0, /* not a render target */
2067 send_commit_msg
, /* response_length */
2075 * Read a block of owords (half a GRF each) from the scratch buffer
2076 * using a constant index per channel.
2078 * Offset must be aligned to oword size (16 bytes). Used for register
2082 brw_oword_block_read_scratch(struct brw_compile
*p
,
2083 struct brw_reg dest
,
2088 struct brw_context
*brw
= p
->brw
;
2089 uint32_t msg_control
;
2095 mrf
= retype(mrf
, BRW_REGISTER_TYPE_UD
);
2096 dest
= retype(dest
, BRW_REGISTER_TYPE_UW
);
2098 if (num_regs
== 1) {
2099 msg_control
= BRW_DATAPORT_OWORD_BLOCK_2_OWORDS
;
2102 msg_control
= BRW_DATAPORT_OWORD_BLOCK_4_OWORDS
;
2107 brw_push_insn_state(p
);
2108 brw_set_default_compression_control(p
, BRW_COMPRESSION_NONE
);
2109 brw_set_default_mask_control(p
, BRW_MASK_DISABLE
);
2111 brw_MOV(p
, mrf
, retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD
));
2113 /* set message header global offset field (reg 0, element 2) */
2115 retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE
,
2117 2), BRW_REGISTER_TYPE_UD
),
2118 brw_imm_ud(offset
));
2120 brw_pop_insn_state(p
);
2124 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
2126 assert(brw_inst_pred_control(brw
, insn
) == 0);
2127 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
2129 brw_set_dest(p
, insn
, dest
); /* UW? */
2130 if (brw
->gen
>= 6) {
2131 brw_set_src0(p
, insn
, mrf
);
2133 brw_set_src0(p
, insn
, brw_null_reg());
2134 brw_inst_set_base_mrf(brw
, insn
, mrf
.nr
);
2137 brw_set_dp_read_message(p
,
2139 255, /* binding table index (255=stateless) */
2141 BRW_DATAPORT_READ_MESSAGE_OWORD_BLOCK_READ
, /* msg_type */
2142 BRW_DATAPORT_READ_TARGET_RENDER_CACHE
,
2144 true, /* header_present */
2150 gen7_block_read_scratch(struct brw_compile
*p
,
2151 struct brw_reg dest
,
2155 const struct brw_context
*brw
= p
->brw
;
2156 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
2157 assert(brw_inst_pred_control(brw
, insn
) == BRW_PREDICATE_NONE
);
2159 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
2160 brw_set_dest(p
, insn
, retype(dest
, BRW_REGISTER_TYPE_UW
));
2162 /* The HW requires that the header is present; this is to get the g0.5
2165 brw_set_src0(p
, insn
, brw_vec8_grf(0, 0));
2167 /* According to the docs, offset is "A 12-bit HWord offset into the memory
2168 * Immediate Memory buffer as specified by binding table 0xFF." An HWORD
2169 * is 32 bytes, which happens to be the size of a register.
2172 assert(offset
< (1 << 12));
2174 gen7_set_dp_scratch_message(p
, insn
,
2175 false, /* scratch read */
2177 false, /* invalidate after read */
2180 1, /* mlen: just g0 */
2181 num_regs
, /* rlen */
2182 true); /* header present */
2186 * Read a float[4] vector from the data port Data Cache (const buffer).
2187 * Location (in buffer) should be a multiple of 16.
2188 * Used for fetching shader constants.
2190 void brw_oword_block_read(struct brw_compile
*p
,
2191 struct brw_reg dest
,
2194 uint32_t bind_table_index
)
2196 struct brw_context
*brw
= p
->brw
;
2198 /* On newer hardware, offset is in units of owords. */
2202 mrf
= retype(mrf
, BRW_REGISTER_TYPE_UD
);
2204 brw_push_insn_state(p
);
2205 brw_set_default_predicate_control(p
, BRW_PREDICATE_NONE
);
2206 brw_set_default_compression_control(p
, BRW_COMPRESSION_NONE
);
2207 brw_set_default_mask_control(p
, BRW_MASK_DISABLE
);
2209 brw_MOV(p
, mrf
, retype(brw_vec8_grf(0, 0), BRW_REGISTER_TYPE_UD
));
2211 /* set message header global offset field (reg 0, element 2) */
2213 retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE
,
2215 2), BRW_REGISTER_TYPE_UD
),
2216 brw_imm_ud(offset
));
2218 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
2220 /* cast dest to a uword[8] vector */
2221 dest
= retype(vec8(dest
), BRW_REGISTER_TYPE_UW
);
2223 brw_set_dest(p
, insn
, dest
);
2224 if (brw
->gen
>= 6) {
2225 brw_set_src0(p
, insn
, mrf
);
2227 brw_set_src0(p
, insn
, brw_null_reg());
2228 brw_inst_set_base_mrf(brw
, insn
, mrf
.nr
);
2231 brw_set_dp_read_message(p
,
2234 BRW_DATAPORT_OWORD_BLOCK_1_OWORDLOW
,
2235 BRW_DATAPORT_READ_MESSAGE_OWORD_BLOCK_READ
,
2236 BRW_DATAPORT_READ_TARGET_DATA_CACHE
,
2238 true, /* header_present */
2239 1); /* response_length (1 reg, 2 owords!) */
2241 brw_pop_insn_state(p
);
2245 void brw_fb_WRITE(struct brw_compile
*p
,
2247 unsigned msg_reg_nr
,
2248 struct brw_reg src0
,
2249 unsigned msg_control
,
2250 unsigned binding_table_index
,
2251 unsigned msg_length
,
2252 unsigned response_length
,
2254 bool header_present
)
2256 struct brw_context
*brw
= p
->brw
;
2259 struct brw_reg dest
;
2261 if (dispatch_width
== 16)
2262 dest
= retype(vec16(brw_null_reg()), BRW_REGISTER_TYPE_UW
);
2264 dest
= retype(vec8(brw_null_reg()), BRW_REGISTER_TYPE_UW
);
2266 if (brw
->gen
>= 6) {
2267 insn
= next_insn(p
, BRW_OPCODE_SENDC
);
2269 insn
= next_insn(p
, BRW_OPCODE_SEND
);
2271 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
2273 if (brw
->gen
>= 6) {
2274 /* headerless version, just submit color payload */
2275 src0
= brw_message_reg(msg_reg_nr
);
2277 msg_type
= GEN6_DATAPORT_WRITE_MESSAGE_RENDER_TARGET_WRITE
;
2279 brw_inst_set_base_mrf(brw
, insn
, msg_reg_nr
);
2281 msg_type
= BRW_DATAPORT_WRITE_MESSAGE_RENDER_TARGET_WRITE
;
2284 brw_set_dest(p
, insn
, dest
);
2285 brw_set_src0(p
, insn
, src0
);
2286 brw_set_dp_write_message(p
,
2288 binding_table_index
,
2293 eot
, /* last render target write */
2296 0 /* send_commit_msg */);
2301 * Texture sample instruction.
2302 * Note: the msg_type plus msg_length values determine exactly what kind
2303 * of sampling operation is performed. See volume 4, page 161 of docs.
2305 void brw_SAMPLE(struct brw_compile
*p
,
2306 struct brw_reg dest
,
2307 unsigned msg_reg_nr
,
2308 struct brw_reg src0
,
2309 unsigned binding_table_index
,
2312 unsigned response_length
,
2313 unsigned msg_length
,
2314 unsigned header_present
,
2316 unsigned return_format
)
2318 struct brw_context
*brw
= p
->brw
;
2321 if (msg_reg_nr
!= -1)
2322 gen6_resolve_implied_move(p
, &src0
, msg_reg_nr
);
2324 insn
= next_insn(p
, BRW_OPCODE_SEND
);
2325 brw_inst_set_pred_control(brw
, insn
, BRW_PREDICATE_NONE
); /* XXX */
2327 /* From the 965 PRM (volume 4, part 1, section 14.2.41):
2329 * "Instruction compression is not allowed for this instruction (that
2330 * is, send). The hardware behavior is undefined if this instruction is
2331 * set as compressed. However, compress control can be set to "SecHalf"
2332 * to affect the EMask generation."
2334 * No similar wording is found in later PRMs, but there are examples
2335 * utilizing send with SecHalf. More importantly, SIMD8 sampler messages
2336 * are allowed in SIMD16 mode and they could not work without SecHalf. For
2337 * these reasons, we allow BRW_COMPRESSION_2NDHALF here.
2339 if (brw_inst_qtr_control(brw
, insn
) != BRW_COMPRESSION_2NDHALF
)
2340 brw_inst_set_qtr_control(brw
, insn
, BRW_COMPRESSION_NONE
);
2343 brw_inst_set_base_mrf(brw
, insn
, msg_reg_nr
);
2345 brw_set_dest(p
, insn
, dest
);
2346 brw_set_src0(p
, insn
, src0
);
2347 brw_set_sampler_message(p
, insn
,
2348 binding_table_index
,
2358 /* Adjust the message header's sampler state pointer to
2359 * select the correct group of 16 samplers.
2361 void brw_adjust_sampler_state_pointer(struct brw_compile
*p
,
2362 struct brw_reg header
,
2363 struct brw_reg sampler_index
,
2364 struct brw_reg scratch
)
2366 /* The "Sampler Index" field can only store values between 0 and 15.
2367 * However, we can add an offset to the "Sampler State Pointer"
2368 * field, effectively selecting a different set of 16 samplers.
2370 * The "Sampler State Pointer" needs to be aligned to a 32-byte
2371 * offset, and each sampler state is only 16-bytes, so we can't
2372 * exclusively use the offset - we have to use both.
2375 struct brw_context
*brw
= p
->brw
;
2377 if (sampler_index
.file
== BRW_IMMEDIATE_VALUE
) {
2378 const int sampler_state_size
= 16; /* 16 bytes */
2379 uint32_t sampler
= sampler_index
.dw1
.ud
;
2381 if (sampler
>= 16) {
2382 assert(brw
->is_haswell
|| brw
->gen
>= 8);
2384 get_element_ud(header
, 3),
2385 get_element_ud(brw_vec8_grf(0, 0), 3),
2386 brw_imm_ud(16 * (sampler
/ 16) * sampler_state_size
));
2389 /* Non-const sampler array indexing case */
2390 if (brw
->gen
< 8 && !brw
->is_haswell
) {
2394 struct brw_reg temp
= vec1(retype(scratch
, BRW_REGISTER_TYPE_UD
));
2396 brw_AND(p
, temp
, sampler_index
, brw_imm_ud(0x0f0));
2397 brw_SHL(p
, temp
, temp
, brw_imm_ud(4));
2399 get_element_ud(header
, 3),
2400 get_element_ud(brw_vec8_grf(0, 0), 3),
2405 /* All these variables are pretty confusing - we might be better off
2406 * using bitmasks and macros for this, in the old style. Or perhaps
2407 * just having the caller instantiate the fields in dword3 itself.
2409 void brw_urb_WRITE(struct brw_compile
*p
,
2410 struct brw_reg dest
,
2411 unsigned msg_reg_nr
,
2412 struct brw_reg src0
,
2413 enum brw_urb_write_flags flags
,
2414 unsigned msg_length
,
2415 unsigned response_length
,
2419 struct brw_context
*brw
= p
->brw
;
2422 gen6_resolve_implied_move(p
, &src0
, msg_reg_nr
);
2424 if (brw
->gen
>= 7 && !(flags
& BRW_URB_WRITE_USE_CHANNEL_MASKS
)) {
2425 /* Enable Channel Masks in the URB_WRITE_HWORD message header */
2426 brw_push_insn_state(p
);
2427 brw_set_default_access_mode(p
, BRW_ALIGN_1
);
2428 brw_set_default_mask_control(p
, BRW_MASK_DISABLE
);
2429 brw_OR(p
, retype(brw_vec1_reg(BRW_MESSAGE_REGISTER_FILE
, msg_reg_nr
, 5),
2430 BRW_REGISTER_TYPE_UD
),
2431 retype(brw_vec1_grf(0, 5), BRW_REGISTER_TYPE_UD
),
2432 brw_imm_ud(0xff00));
2433 brw_pop_insn_state(p
);
2436 insn
= next_insn(p
, BRW_OPCODE_SEND
);
2438 assert(msg_length
< BRW_MAX_MRF
);
2440 brw_set_dest(p
, insn
, dest
);
2441 brw_set_src0(p
, insn
, src0
);
2442 brw_set_src1(p
, insn
, brw_imm_d(0));
2445 brw_inst_set_base_mrf(brw
, insn
, msg_reg_nr
);
2447 brw_set_urb_message(p
,
2457 brw_find_next_block_end(struct brw_compile
*p
, int start_offset
)
2460 void *store
= p
->store
;
2461 const struct brw_context
*brw
= p
->brw
;
2463 for (offset
= next_offset(brw
, store
, start_offset
);
2464 offset
< p
->next_insn_offset
;
2465 offset
= next_offset(brw
, store
, offset
)) {
2466 brw_inst
*insn
= store
+ offset
;
2468 switch (brw_inst_opcode(brw
, insn
)) {
2469 case BRW_OPCODE_ENDIF
:
2470 case BRW_OPCODE_ELSE
:
2471 case BRW_OPCODE_WHILE
:
2472 case BRW_OPCODE_HALT
:
2480 /* There is no DO instruction on gen6, so to find the end of the loop
2481 * we have to see if the loop is jumping back before our start
2485 brw_find_loop_end(struct brw_compile
*p
, int start_offset
)
2487 struct brw_context
*brw
= p
->brw
;
2489 int scale
= 16 / brw_jump_scale(brw
);
2490 void *store
= p
->store
;
2492 assert(brw
->gen
>= 6);
2494 /* Always start after the instruction (such as a WHILE) we're trying to fix
2497 for (offset
= next_offset(brw
, store
, start_offset
);
2498 offset
< p
->next_insn_offset
;
2499 offset
= next_offset(brw
, store
, offset
)) {
2500 brw_inst
*insn
= store
+ offset
;
2502 if (brw_inst_opcode(brw
, insn
) == BRW_OPCODE_WHILE
) {
2503 int jip
= brw
->gen
== 6 ? brw_inst_gen6_jump_count(brw
, insn
)
2504 : brw_inst_jip(brw
, insn
);
2505 if (offset
+ jip
* scale
<= start_offset
)
2509 assert(!"not reached");
2510 return start_offset
;
2513 /* After program generation, go back and update the UIP and JIP of
2514 * BREAK, CONT, and HALT instructions to their correct locations.
2517 brw_set_uip_jip(struct brw_compile
*p
)
2519 struct brw_context
*brw
= p
->brw
;
2521 int br
= brw_jump_scale(brw
);
2522 int scale
= 16 / br
;
2523 void *store
= p
->store
;
2528 for (offset
= 0; offset
< p
->next_insn_offset
;
2529 offset
= next_offset(brw
, store
, offset
)) {
2530 brw_inst
*insn
= store
+ offset
;
2532 if (brw_inst_cmpt_control(brw
, insn
)) {
2533 /* Fixups for compacted BREAK/CONTINUE not supported yet. */
2534 assert(brw_inst_opcode(brw
, insn
) != BRW_OPCODE_BREAK
&&
2535 brw_inst_opcode(brw
, insn
) != BRW_OPCODE_CONTINUE
&&
2536 brw_inst_opcode(brw
, insn
) != BRW_OPCODE_HALT
);
2540 int block_end_offset
= brw_find_next_block_end(p
, offset
);
2541 switch (brw_inst_opcode(brw
, insn
)) {
2542 case BRW_OPCODE_BREAK
:
2543 assert(block_end_offset
!= 0);
2544 brw_inst_set_jip(brw
, insn
, (block_end_offset
- offset
) / scale
);
2545 /* Gen7 UIP points to WHILE; Gen6 points just after it */
2546 brw_inst_set_uip(brw
, insn
,
2547 (brw_find_loop_end(p
, offset
) - offset
+
2548 (brw
->gen
== 6 ? 16 : 0)) / scale
);
2550 case BRW_OPCODE_CONTINUE
:
2551 assert(block_end_offset
!= 0);
2552 brw_inst_set_jip(brw
, insn
, (block_end_offset
- offset
) / scale
);
2553 brw_inst_set_uip(brw
, insn
,
2554 (brw_find_loop_end(p
, offset
) - offset
) / scale
);
2556 assert(brw_inst_uip(brw
, insn
) != 0);
2557 assert(brw_inst_jip(brw
, insn
) != 0);
2560 case BRW_OPCODE_ENDIF
:
2561 if (block_end_offset
== 0)
2562 brw_inst_set_jip(brw
, insn
, 1 * br
);
2564 brw_inst_set_jip(brw
, insn
, (block_end_offset
- offset
) / scale
);
2567 case BRW_OPCODE_HALT
:
2568 /* From the Sandy Bridge PRM (volume 4, part 2, section 8.3.19):
2570 * "In case of the halt instruction not inside any conditional
2571 * code block, the value of <JIP> and <UIP> should be the
2572 * same. In case of the halt instruction inside conditional code
2573 * block, the <UIP> should be the end of the program, and the
2574 * <JIP> should be end of the most inner conditional code block."
2576 * The uip will have already been set by whoever set up the
2579 if (block_end_offset
== 0) {
2580 brw_inst_set_jip(brw
, insn
, brw_inst_uip(brw
, insn
));
2582 brw_inst_set_jip(brw
, insn
, (block_end_offset
- offset
) / scale
);
2584 assert(brw_inst_uip(brw
, insn
) != 0);
2585 assert(brw_inst_jip(brw
, insn
) != 0);
2591 void brw_ff_sync(struct brw_compile
*p
,
2592 struct brw_reg dest
,
2593 unsigned msg_reg_nr
,
2594 struct brw_reg src0
,
2596 unsigned response_length
,
2599 struct brw_context
*brw
= p
->brw
;
2602 gen6_resolve_implied_move(p
, &src0
, msg_reg_nr
);
2604 insn
= next_insn(p
, BRW_OPCODE_SEND
);
2605 brw_set_dest(p
, insn
, dest
);
2606 brw_set_src0(p
, insn
, src0
);
2607 brw_set_src1(p
, insn
, brw_imm_d(0));
2610 brw_inst_set_base_mrf(brw
, insn
, msg_reg_nr
);
2612 brw_set_ff_sync_message(p
,
2620 * Emit the SEND instruction necessary to generate stream output data on Gen6
2621 * (for transform feedback).
2623 * If send_commit_msg is true, this is the last piece of stream output data
2624 * from this thread, so send the data as a committed write. According to the
2625 * Sandy Bridge PRM (volume 2 part 1, section 4.5.1):
2627 * "Prior to End of Thread with a URB_WRITE, the kernel must ensure all
2628 * writes are complete by sending the final write as a committed write."
2631 brw_svb_write(struct brw_compile
*p
,
2632 struct brw_reg dest
,
2633 unsigned msg_reg_nr
,
2634 struct brw_reg src0
,
2635 unsigned binding_table_index
,
2636 bool send_commit_msg
)
2640 gen6_resolve_implied_move(p
, &src0
, msg_reg_nr
);
2642 insn
= next_insn(p
, BRW_OPCODE_SEND
);
2643 brw_set_dest(p
, insn
, dest
);
2644 brw_set_src0(p
, insn
, src0
);
2645 brw_set_src1(p
, insn
, brw_imm_d(0));
2646 brw_set_dp_write_message(p
, insn
,
2647 binding_table_index
,
2648 0, /* msg_control: ignored */
2649 GEN6_DATAPORT_WRITE_MESSAGE_STREAMED_VB_WRITE
,
2651 true, /* header_present */
2652 0, /* last_render_target: ignored */
2653 send_commit_msg
, /* response_length */
2654 0, /* end_of_thread */
2655 send_commit_msg
); /* send_commit_msg */
2659 brw_set_dp_untyped_atomic_message(struct brw_compile
*p
,
2662 unsigned bind_table_index
,
2663 unsigned msg_length
,
2664 unsigned response_length
,
2665 bool header_present
)
2667 const struct brw_context
*brw
= p
->brw
;
2669 unsigned msg_control
=
2670 atomic_op
| /* Atomic Operation Type: BRW_AOP_* */
2671 (response_length
? 1 << 5 : 0); /* Return data expected */
2673 if (brw
->gen
>= 8 || brw
->is_haswell
) {
2674 brw_set_message_descriptor(p
, insn
, HSW_SFID_DATAPORT_DATA_CACHE_1
,
2675 msg_length
, response_length
,
2676 header_present
, false);
2679 if (brw_inst_access_mode(brw
, insn
) == BRW_ALIGN_1
) {
2680 if (brw_inst_exec_size(brw
, insn
) != BRW_EXECUTE_16
)
2681 msg_control
|= 1 << 4; /* SIMD8 mode */
2683 brw_inst_set_dp_msg_type(brw
, insn
,
2684 HSW_DATAPORT_DC_PORT1_UNTYPED_ATOMIC_OP
);
2686 brw_inst_set_dp_msg_type(brw
, insn
,
2687 HSW_DATAPORT_DC_PORT1_UNTYPED_ATOMIC_OP_SIMD4X2
);
2690 brw_set_message_descriptor(p
, insn
, GEN7_SFID_DATAPORT_DATA_CACHE
,
2691 msg_length
, response_length
,
2692 header_present
, false);
2694 brw_inst_set_dp_msg_type(brw
, insn
, GEN7_DATAPORT_DC_UNTYPED_ATOMIC_OP
);
2696 if (brw_inst_exec_size(brw
, insn
) != BRW_EXECUTE_16
)
2697 msg_control
|= 1 << 4; /* SIMD8 mode */
2700 brw_inst_set_binding_table_index(brw
, insn
, bind_table_index
);
2701 brw_inst_set_dp_msg_control(brw
, insn
, msg_control
);
2705 brw_untyped_atomic(struct brw_compile
*p
,
2706 struct brw_reg dest
,
2709 unsigned bind_table_index
,
2710 unsigned msg_length
,
2711 unsigned response_length
) {
2712 const struct brw_context
*brw
= p
->brw
;
2713 brw_inst
*insn
= brw_next_insn(p
, BRW_OPCODE_SEND
);
2715 brw_set_dest(p
, insn
, retype(dest
, BRW_REGISTER_TYPE_UD
));
2716 brw_set_src0(p
, insn
, retype(mrf
, BRW_REGISTER_TYPE_UD
));
2717 brw_set_src1(p
, insn
, brw_imm_d(0));
2718 brw_set_dp_untyped_atomic_message(
2719 p
, insn
, atomic_op
, bind_table_index
, msg_length
, response_length
,
2720 brw_inst_access_mode(brw
, insn
) == BRW_ALIGN_1
);
2724 brw_set_dp_untyped_surface_read_message(struct brw_compile
*p
,
2726 unsigned bind_table_index
,
2727 unsigned msg_length
,
2728 unsigned response_length
,
2729 bool header_present
)
2731 const struct brw_context
*brw
= p
->brw
;
2732 const unsigned dispatch_width
=
2733 (brw_inst_exec_size(brw
, insn
) == BRW_EXECUTE_16
? 16 : 8);
2734 const unsigned num_channels
= response_length
/ (dispatch_width
/ 8);
2736 if (brw
->gen
>= 8 || brw
->is_haswell
) {
2737 brw_set_message_descriptor(p
, insn
, HSW_SFID_DATAPORT_DATA_CACHE_1
,
2738 msg_length
, response_length
,
2739 header_present
, false);
2741 brw_inst_set_dp_msg_type(brw
, insn
,
2742 HSW_DATAPORT_DC_PORT1_UNTYPED_SURFACE_READ
);
2744 brw_set_message_descriptor(p
, insn
, GEN7_SFID_DATAPORT_DATA_CACHE
,
2745 msg_length
, response_length
,
2746 header_present
, false);
2748 brw_inst_set_dp_msg_type(brw
, insn
,
2749 GEN7_DATAPORT_DC_UNTYPED_SURFACE_READ
);
2752 /* Set mask of 32-bit channels to drop. */
2753 unsigned msg_control
= (0xf & (0xf << num_channels
));
2755 if (brw_inst_access_mode(brw
, insn
) == BRW_ALIGN_1
) {
2756 if (dispatch_width
== 16)
2757 msg_control
|= 1 << 4; /* SIMD16 mode */
2759 msg_control
|= 2 << 4; /* SIMD8 mode */
2762 brw_inst_set_binding_table_index(brw
, insn
, bind_table_index
);
2763 brw_inst_set_dp_msg_control(brw
, insn
, msg_control
);
2767 brw_untyped_surface_read(struct brw_compile
*p
,
2768 struct brw_reg dest
,
2770 unsigned bind_table_index
,
2771 unsigned msg_length
,
2772 unsigned response_length
)
2774 const struct brw_context
*brw
= p
->brw
;
2775 brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
2777 brw_set_dest(p
, insn
, retype(dest
, BRW_REGISTER_TYPE_UD
));
2778 brw_set_src0(p
, insn
, retype(mrf
, BRW_REGISTER_TYPE_UD
));
2779 brw_set_dp_untyped_surface_read_message(
2780 p
, insn
, bind_table_index
, msg_length
, response_length
,
2781 brw_inst_access_mode(brw
, insn
) == BRW_ALIGN_1
);
2785 brw_pixel_interpolator_query(struct brw_compile
*p
,
2786 struct brw_reg dest
,
2791 unsigned msg_length
,
2792 unsigned response_length
)
2794 const struct brw_context
*brw
= p
->brw
;
2795 struct brw_inst
*insn
= next_insn(p
, BRW_OPCODE_SEND
);
2797 brw_set_dest(p
, insn
, dest
);
2798 brw_set_src0(p
, insn
, mrf
);
2799 brw_set_message_descriptor(p
, insn
, GEN7_SFID_PIXEL_INTERPOLATOR
,
2800 msg_length
, response_length
,
2801 false /* header is never present for PI */,
2804 brw_inst_set_pi_simd_mode(
2805 brw
, insn
, brw_inst_exec_size(brw
, insn
) == BRW_EXECUTE_16
);
2806 brw_inst_set_pi_slot_group(brw
, insn
, 0); /* zero unless 32/64px dispatch */
2807 brw_inst_set_pi_nopersp(brw
, insn
, noperspective
);
2808 brw_inst_set_pi_message_type(brw
, insn
, mode
);
2809 brw_inst_set_pi_message_data(brw
, insn
, data
);
2813 * This instruction is generated as a single-channel align1 instruction by
2814 * both the VS and FS stages when using INTEL_DEBUG=shader_time.
2816 * We can't use the typed atomic op in the FS because that has the execution
2817 * mask ANDed with the pixel mask, but we just want to write the one dword for
2820 * We don't use the SIMD4x2 atomic ops in the VS because want to just write
2821 * one u32. So we use the same untyped atomic write message as the pixel
2824 * The untyped atomic operation requires a BUFFER surface type with RAW
2825 * format, and is only accessible through the legacy DATA_CACHE dataport
2828 void brw_shader_time_add(struct brw_compile
*p
,
2829 struct brw_reg payload
,
2830 uint32_t surf_index
)
2832 assert(p
->brw
->gen
>= 7);
2834 brw_push_insn_state(p
);
2835 brw_set_default_access_mode(p
, BRW_ALIGN_1
);
2836 brw_set_default_mask_control(p
, BRW_MASK_DISABLE
);
2837 brw_inst
*send
= brw_next_insn(p
, BRW_OPCODE_SEND
);
2838 brw_pop_insn_state(p
);
2840 /* We use brw_vec1_reg and unmasked because we want to increment the given
2843 brw_set_dest(p
, send
, brw_vec1_reg(BRW_ARCHITECTURE_REGISTER_FILE
,
2845 brw_set_src0(p
, send
, brw_vec1_reg(payload
.file
,
2847 brw_set_dp_untyped_atomic_message(p
, send
, BRW_AOP_ADD
, surf_index
,
2848 2 /* message length */,
2849 0 /* response length */,
2850 false /* header present */);