2 * Copyright © 2014-2015 Broadcom
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
27 #include "nir_control_flow.h"
31 typedef struct nir_builder
{
34 /* Whether new ALU instructions will be marked "exact" */
38 nir_function_impl
*impl
;
42 nir_builder_init(nir_builder
*build
, nir_function_impl
*impl
)
44 memset(build
, 0, sizeof(*build
));
47 build
->shader
= impl
->function
->shader
;
51 nir_builder_init_simple_shader(nir_builder
*build
, void *mem_ctx
,
52 gl_shader_stage stage
,
53 const nir_shader_compiler_options
*options
)
55 build
->shader
= nir_shader_create(mem_ctx
, stage
, options
, NULL
);
56 nir_function
*func
= nir_function_create(build
->shader
, "main");
58 build
->impl
= nir_function_impl_create(func
);
59 build
->cursor
= nir_after_cf_list(&build
->impl
->body
);
63 nir_builder_instr_insert(nir_builder
*build
, nir_instr
*instr
)
65 nir_instr_insert(build
->cursor
, instr
);
67 /* Move the cursor forward. */
68 build
->cursor
= nir_after_instr(instr
);
71 static inline nir_instr
*
72 nir_builder_last_instr(nir_builder
*build
)
74 assert(build
->cursor
.option
== nir_cursor_after_instr
);
75 return build
->cursor
.instr
;
79 nir_builder_cf_insert(nir_builder
*build
, nir_cf_node
*cf
)
81 nir_cf_node_insert(build
->cursor
, cf
);
85 nir_builder_is_inside_cf(nir_builder
*build
, nir_cf_node
*cf_node
)
87 nir_block
*block
= nir_cursor_current_block(build
->cursor
);
88 for (nir_cf_node
*n
= &block
->cf_node
; n
; n
= n
->parent
) {
95 static inline nir_if
*
96 nir_push_if(nir_builder
*build
, nir_ssa_def
*condition
)
98 nir_if
*nif
= nir_if_create(build
->shader
);
99 nif
->condition
= nir_src_for_ssa(condition
);
100 nir_builder_cf_insert(build
, &nif
->cf_node
);
101 build
->cursor
= nir_before_cf_list(&nif
->then_list
);
105 static inline nir_if
*
106 nir_push_else(nir_builder
*build
, nir_if
*nif
)
109 assert(nir_builder_is_inside_cf(build
, &nif
->cf_node
));
111 nir_block
*block
= nir_cursor_current_block(build
->cursor
);
112 nif
= nir_cf_node_as_if(block
->cf_node
.parent
);
114 build
->cursor
= nir_before_cf_list(&nif
->else_list
);
119 nir_pop_if(nir_builder
*build
, nir_if
*nif
)
122 assert(nir_builder_is_inside_cf(build
, &nif
->cf_node
));
124 nir_block
*block
= nir_cursor_current_block(build
->cursor
);
125 nif
= nir_cf_node_as_if(block
->cf_node
.parent
);
127 build
->cursor
= nir_after_cf_node(&nif
->cf_node
);
130 static inline nir_ssa_def
*
131 nir_if_phi(nir_builder
*build
, nir_ssa_def
*then_def
, nir_ssa_def
*else_def
)
133 nir_block
*block
= nir_cursor_current_block(build
->cursor
);
134 nir_if
*nif
= nir_cf_node_as_if(nir_cf_node_prev(&block
->cf_node
));
136 nir_phi_instr
*phi
= nir_phi_instr_create(build
->shader
);
138 nir_phi_src
*src
= ralloc(phi
, nir_phi_src
);
139 src
->pred
= nir_if_last_then_block(nif
);
140 src
->src
= nir_src_for_ssa(then_def
);
141 exec_list_push_tail(&phi
->srcs
, &src
->node
);
143 src
= ralloc(phi
, nir_phi_src
);
144 src
->pred
= nir_if_last_else_block(nif
);
145 src
->src
= nir_src_for_ssa(else_def
);
146 exec_list_push_tail(&phi
->srcs
, &src
->node
);
148 assert(then_def
->num_components
== else_def
->num_components
);
149 assert(then_def
->bit_size
== else_def
->bit_size
);
150 nir_ssa_dest_init(&phi
->instr
, &phi
->dest
,
151 then_def
->num_components
, then_def
->bit_size
, NULL
);
153 nir_builder_instr_insert(build
, &phi
->instr
);
155 return &phi
->dest
.ssa
;
158 static inline nir_loop
*
159 nir_push_loop(nir_builder
*build
)
161 nir_loop
*loop
= nir_loop_create(build
->shader
);
162 nir_builder_cf_insert(build
, &loop
->cf_node
);
163 build
->cursor
= nir_before_cf_list(&loop
->body
);
168 nir_pop_loop(nir_builder
*build
, nir_loop
*loop
)
171 assert(nir_builder_is_inside_cf(build
, &loop
->cf_node
));
173 nir_block
*block
= nir_cursor_current_block(build
->cursor
);
174 loop
= nir_cf_node_as_loop(block
->cf_node
.parent
);
176 build
->cursor
= nir_after_cf_node(&loop
->cf_node
);
179 static inline nir_ssa_def
*
180 nir_ssa_undef(nir_builder
*build
, unsigned num_components
, unsigned bit_size
)
182 nir_ssa_undef_instr
*undef
=
183 nir_ssa_undef_instr_create(build
->shader
, num_components
, bit_size
);
187 nir_instr_insert(nir_before_cf_list(&build
->impl
->body
), &undef
->instr
);
192 static inline nir_ssa_def
*
193 nir_build_imm(nir_builder
*build
, unsigned num_components
,
194 unsigned bit_size
, nir_const_value value
)
196 nir_load_const_instr
*load_const
=
197 nir_load_const_instr_create(build
->shader
, num_components
, bit_size
);
201 load_const
->value
= value
;
203 nir_builder_instr_insert(build
, &load_const
->instr
);
205 return &load_const
->def
;
208 static inline nir_ssa_def
*
209 nir_imm_float(nir_builder
*build
, float x
)
213 memset(&v
, 0, sizeof(v
));
216 return nir_build_imm(build
, 1, 32, v
);
219 static inline nir_ssa_def
*
220 nir_imm_double(nir_builder
*build
, double x
)
224 memset(&v
, 0, sizeof(v
));
227 return nir_build_imm(build
, 1, 64, v
);
230 static inline nir_ssa_def
*
231 nir_imm_floatN_t(nir_builder
*build
, double x
, unsigned bit_size
)
235 return nir_imm_float(build
, x
);
237 return nir_imm_double(build
, x
);
240 unreachable("unknown float immediate bit size");
243 static inline nir_ssa_def
*
244 nir_imm_vec4(nir_builder
*build
, float x
, float y
, float z
, float w
)
248 memset(&v
, 0, sizeof(v
));
254 return nir_build_imm(build
, 4, 32, v
);
257 static inline nir_ssa_def
*
258 nir_imm_int(nir_builder
*build
, int x
)
262 memset(&v
, 0, sizeof(v
));
265 return nir_build_imm(build
, 1, 32, v
);
268 static inline nir_ssa_def
*
269 nir_imm_int64(nir_builder
*build
, int64_t x
)
273 memset(&v
, 0, sizeof(v
));
276 return nir_build_imm(build
, 1, 64, v
);
279 static inline nir_ssa_def
*
280 nir_imm_intN_t(nir_builder
*build
, uint64_t x
, unsigned bit_size
)
284 memset(&v
, 0, sizeof(v
));
285 assert(bit_size
<= 64);
286 v
.i64
[0] = x
& (~0ull >> (64 - bit_size
));
288 return nir_build_imm(build
, 1, bit_size
, v
);
291 static inline nir_ssa_def
*
292 nir_imm_ivec4(nir_builder
*build
, int x
, int y
, int z
, int w
)
296 memset(&v
, 0, sizeof(v
));
302 return nir_build_imm(build
, 4, 32, v
);
305 static inline nir_ssa_def
*
306 nir_build_alu(nir_builder
*build
, nir_op op
, nir_ssa_def
*src0
,
307 nir_ssa_def
*src1
, nir_ssa_def
*src2
, nir_ssa_def
*src3
)
309 const nir_op_info
*op_info
= &nir_op_infos
[op
];
310 nir_alu_instr
*instr
= nir_alu_instr_create(build
->shader
, op
);
314 instr
->exact
= build
->exact
;
316 instr
->src
[0].src
= nir_src_for_ssa(src0
);
318 instr
->src
[1].src
= nir_src_for_ssa(src1
);
320 instr
->src
[2].src
= nir_src_for_ssa(src2
);
322 instr
->src
[3].src
= nir_src_for_ssa(src3
);
324 /* Guess the number of components the destination temporary should have
325 * based on our input sizes, if it's not fixed for the op.
327 unsigned num_components
= op_info
->output_size
;
328 if (num_components
== 0) {
329 for (unsigned i
= 0; i
< op_info
->num_inputs
; i
++) {
330 if (op_info
->input_sizes
[i
] == 0)
331 num_components
= MAX2(num_components
,
332 instr
->src
[i
].src
.ssa
->num_components
);
335 assert(num_components
!= 0);
337 /* Figure out the bitwidth based on the source bitwidth if the instruction
340 unsigned bit_size
= nir_alu_type_get_type_size(op_info
->output_type
);
342 for (unsigned i
= 0; i
< op_info
->num_inputs
; i
++) {
343 unsigned src_bit_size
= instr
->src
[i
].src
.ssa
->bit_size
;
344 if (nir_alu_type_get_type_size(op_info
->input_types
[i
]) == 0) {
346 assert(src_bit_size
== bit_size
);
348 bit_size
= src_bit_size
;
350 assert(src_bit_size
==
351 nir_alu_type_get_type_size(op_info
->input_types
[i
]));
356 /* When in doubt, assume 32. */
360 /* Make sure we don't swizzle from outside of our source vector (like if a
361 * scalar value was passed into a multiply with a vector).
363 for (unsigned i
= 0; i
< op_info
->num_inputs
; i
++) {
364 for (unsigned j
= instr
->src
[i
].src
.ssa
->num_components
; j
< 4; j
++) {
365 instr
->src
[i
].swizzle
[j
] = instr
->src
[i
].src
.ssa
->num_components
- 1;
369 nir_ssa_dest_init(&instr
->instr
, &instr
->dest
.dest
, num_components
,
371 instr
->dest
.write_mask
= (1 << num_components
) - 1;
373 nir_builder_instr_insert(build
, &instr
->instr
);
375 return &instr
->dest
.dest
.ssa
;
378 #include "nir_builder_opcodes.h"
380 static inline nir_ssa_def
*
381 nir_vec(nir_builder
*build
, nir_ssa_def
**comp
, unsigned num_components
)
383 switch (num_components
) {
385 return nir_vec4(build
, comp
[0], comp
[1], comp
[2], comp
[3]);
387 return nir_vec3(build
, comp
[0], comp
[1], comp
[2]);
389 return nir_vec2(build
, comp
[0], comp
[1]);
393 unreachable("bad component count");
399 * Similar to nir_fmov, but takes a nir_alu_src instead of a nir_ssa_def.
401 static inline nir_ssa_def
*
402 nir_fmov_alu(nir_builder
*build
, nir_alu_src src
, unsigned num_components
)
404 nir_alu_instr
*mov
= nir_alu_instr_create(build
->shader
, nir_op_fmov
);
405 nir_ssa_dest_init(&mov
->instr
, &mov
->dest
.dest
, num_components
,
406 nir_src_bit_size(src
.src
), NULL
);
407 mov
->exact
= build
->exact
;
408 mov
->dest
.write_mask
= (1 << num_components
) - 1;
410 nir_builder_instr_insert(build
, &mov
->instr
);
412 return &mov
->dest
.dest
.ssa
;
415 static inline nir_ssa_def
*
416 nir_imov_alu(nir_builder
*build
, nir_alu_src src
, unsigned num_components
)
418 nir_alu_instr
*mov
= nir_alu_instr_create(build
->shader
, nir_op_imov
);
419 nir_ssa_dest_init(&mov
->instr
, &mov
->dest
.dest
, num_components
,
420 nir_src_bit_size(src
.src
), NULL
);
421 mov
->exact
= build
->exact
;
422 mov
->dest
.write_mask
= (1 << num_components
) - 1;
424 nir_builder_instr_insert(build
, &mov
->instr
);
426 return &mov
->dest
.dest
.ssa
;
430 * Construct an fmov or imov that reswizzles the source's components.
432 static inline nir_ssa_def
*
433 nir_swizzle(nir_builder
*build
, nir_ssa_def
*src
, const unsigned swiz
[4],
434 unsigned num_components
, bool use_fmov
)
436 nir_alu_src alu_src
= { NIR_SRC_INIT
};
437 alu_src
.src
= nir_src_for_ssa(src
);
438 for (unsigned i
= 0; i
< num_components
; i
++)
439 alu_src
.swizzle
[i
] = swiz
[i
];
441 return use_fmov
? nir_fmov_alu(build
, alu_src
, num_components
) :
442 nir_imov_alu(build
, alu_src
, num_components
);
445 /* Selects the right fdot given the number of components in each source. */
446 static inline nir_ssa_def
*
447 nir_fdot(nir_builder
*build
, nir_ssa_def
*src0
, nir_ssa_def
*src1
)
449 assert(src0
->num_components
== src1
->num_components
);
450 switch (src0
->num_components
) {
451 case 1: return nir_fmul(build
, src0
, src1
);
452 case 2: return nir_fdot2(build
, src0
, src1
);
453 case 3: return nir_fdot3(build
, src0
, src1
);
454 case 4: return nir_fdot4(build
, src0
, src1
);
456 unreachable("bad component size");
462 static inline nir_ssa_def
*
463 nir_bany_inequal(nir_builder
*b
, nir_ssa_def
*src0
, nir_ssa_def
*src1
)
465 switch (src0
->num_components
) {
466 case 1: return nir_ine(b
, src0
, src1
);
467 case 2: return nir_bany_inequal2(b
, src0
, src1
);
468 case 3: return nir_bany_inequal3(b
, src0
, src1
);
469 case 4: return nir_bany_inequal4(b
, src0
, src1
);
471 unreachable("bad component size");
475 static inline nir_ssa_def
*
476 nir_bany(nir_builder
*b
, nir_ssa_def
*src
)
478 return nir_bany_inequal(b
, src
, nir_imm_int(b
, 0));
481 static inline nir_ssa_def
*
482 nir_channel(nir_builder
*b
, nir_ssa_def
*def
, unsigned c
)
484 unsigned swizzle
[4] = {c
, c
, c
, c
};
485 return nir_swizzle(b
, def
, swizzle
, 1, false);
488 static inline nir_ssa_def
*
489 nir_channels(nir_builder
*b
, nir_ssa_def
*def
, unsigned mask
)
491 unsigned num_channels
= 0, swizzle
[4] = { 0, 0, 0, 0 };
493 for (unsigned i
= 0; i
< 4; i
++) {
494 if ((mask
& (1 << i
)) == 0)
496 swizzle
[num_channels
++] = i
;
499 return nir_swizzle(b
, def
, swizzle
, num_channels
, false);
503 * Turns a nir_src into a nir_ssa_def * so it can be passed to
504 * nir_build_alu()-based builder calls.
506 * See nir_ssa_for_alu_src() for alu instructions.
508 static inline nir_ssa_def
*
509 nir_ssa_for_src(nir_builder
*build
, nir_src src
, int num_components
)
511 if (src
.is_ssa
&& src
.ssa
->num_components
== num_components
)
514 nir_alu_src alu
= { NIR_SRC_INIT
};
516 for (int j
= 0; j
< 4; j
++)
519 return nir_imov_alu(build
, alu
, num_components
);
523 * Similar to nir_ssa_for_src(), but for alu srcs, respecting the
524 * nir_alu_src's swizzle.
526 static inline nir_ssa_def
*
527 nir_ssa_for_alu_src(nir_builder
*build
, nir_alu_instr
*instr
, unsigned srcn
)
529 static uint8_t trivial_swizzle
[4] = { 0, 1, 2, 3 };
530 nir_alu_src
*src
= &instr
->src
[srcn
];
531 unsigned num_components
= nir_ssa_alu_instr_src_components(instr
, srcn
);
533 if (src
->src
.is_ssa
&& (src
->src
.ssa
->num_components
== num_components
) &&
534 !src
->abs
&& !src
->negate
&&
535 (memcmp(src
->swizzle
, trivial_swizzle
, num_components
) == 0))
538 return nir_imov_alu(build
, *src
, num_components
);
541 static inline nir_ssa_def
*
542 nir_load_reg(nir_builder
*build
, nir_register
*reg
)
544 return nir_ssa_for_src(build
, nir_src_for_reg(reg
), reg
->num_components
);
547 static inline nir_ssa_def
*
548 nir_load_var(nir_builder
*build
, nir_variable
*var
)
550 const unsigned num_components
= glsl_get_vector_elements(var
->type
);
552 nir_intrinsic_instr
*load
=
553 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_load_var
);
554 load
->num_components
= num_components
;
555 load
->variables
[0] = nir_deref_var_create(load
, var
);
556 nir_ssa_dest_init(&load
->instr
, &load
->dest
, num_components
,
557 glsl_get_bit_size(var
->type
), NULL
);
558 nir_builder_instr_insert(build
, &load
->instr
);
559 return &load
->dest
.ssa
;
562 static inline nir_ssa_def
*
563 nir_load_deref_var(nir_builder
*build
, nir_deref_var
*deref
)
565 const struct glsl_type
*type
= nir_deref_tail(&deref
->deref
)->type
;
566 const unsigned num_components
= glsl_get_vector_elements(type
);
568 nir_intrinsic_instr
*load
=
569 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_load_var
);
570 load
->num_components
= num_components
;
571 load
->variables
[0] = nir_deref_var_clone(deref
, load
);
572 nir_ssa_dest_init(&load
->instr
, &load
->dest
, num_components
,
573 glsl_get_bit_size(type
), NULL
);
574 nir_builder_instr_insert(build
, &load
->instr
);
575 return &load
->dest
.ssa
;
579 nir_store_var(nir_builder
*build
, nir_variable
*var
, nir_ssa_def
*value
,
582 const unsigned num_components
= glsl_get_vector_elements(var
->type
);
584 nir_intrinsic_instr
*store
=
585 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_store_var
);
586 store
->num_components
= num_components
;
587 nir_intrinsic_set_write_mask(store
, writemask
);
588 store
->variables
[0] = nir_deref_var_create(store
, var
);
589 store
->src
[0] = nir_src_for_ssa(value
);
590 nir_builder_instr_insert(build
, &store
->instr
);
594 nir_store_deref_var(nir_builder
*build
, nir_deref_var
*deref
,
595 nir_ssa_def
*value
, unsigned writemask
)
597 const unsigned num_components
=
598 glsl_get_vector_elements(nir_deref_tail(&deref
->deref
)->type
);
600 nir_intrinsic_instr
*store
=
601 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_store_var
);
602 store
->num_components
= num_components
;
603 store
->const_index
[0] = writemask
& ((1 << num_components
) - 1);
604 store
->variables
[0] = nir_deref_var_clone(deref
, store
);
605 store
->src
[0] = nir_src_for_ssa(value
);
606 nir_builder_instr_insert(build
, &store
->instr
);
610 nir_copy_deref_var(nir_builder
*build
, nir_deref_var
*dest
, nir_deref_var
*src
)
612 assert(nir_deref_tail(&dest
->deref
)->type
==
613 nir_deref_tail(&src
->deref
)->type
);
615 nir_intrinsic_instr
*copy
=
616 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_copy_var
);
617 copy
->variables
[0] = nir_deref_var_clone(dest
, copy
);
618 copy
->variables
[1] = nir_deref_var_clone(src
, copy
);
619 nir_builder_instr_insert(build
, ©
->instr
);
623 nir_copy_var(nir_builder
*build
, nir_variable
*dest
, nir_variable
*src
)
625 nir_intrinsic_instr
*copy
=
626 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_copy_var
);
627 copy
->variables
[0] = nir_deref_var_create(copy
, dest
);
628 copy
->variables
[1] = nir_deref_var_create(copy
, src
);
629 nir_builder_instr_insert(build
, ©
->instr
);
632 #include "nir_builder_opcodes.h"
634 static inline nir_ssa_def
*
635 nir_load_barycentric(nir_builder
*build
, nir_intrinsic_op op
,
636 unsigned interp_mode
)
638 nir_intrinsic_instr
*bary
= nir_intrinsic_instr_create(build
->shader
, op
);
639 nir_ssa_dest_init(&bary
->instr
, &bary
->dest
, 2, 32, NULL
);
640 nir_intrinsic_set_interp_mode(bary
, interp_mode
);
641 nir_builder_instr_insert(build
, &bary
->instr
);
642 return &bary
->dest
.ssa
;
646 nir_jump(nir_builder
*build
, nir_jump_type jump_type
)
648 nir_jump_instr
*jump
= nir_jump_instr_create(build
->shader
, jump_type
);
649 nir_builder_instr_insert(build
, &jump
->instr
);
652 static inline nir_ssa_def
*
653 nir_compare_func(nir_builder
*b
, enum compare_func func
,
654 nir_ssa_def
*src0
, nir_ssa_def
*src1
)
657 case COMPARE_FUNC_NEVER
:
658 return nir_imm_int(b
, 0);
659 case COMPARE_FUNC_ALWAYS
:
660 return nir_imm_int(b
, ~0);
661 case COMPARE_FUNC_EQUAL
:
662 return nir_feq(b
, src0
, src1
);
663 case COMPARE_FUNC_NOTEQUAL
:
664 return nir_fne(b
, src0
, src1
);
665 case COMPARE_FUNC_GREATER
:
666 return nir_flt(b
, src1
, src0
);
667 case COMPARE_FUNC_GEQUAL
:
668 return nir_fge(b
, src0
, src1
);
669 case COMPARE_FUNC_LESS
:
670 return nir_flt(b
, src0
, src1
);
671 case COMPARE_FUNC_LEQUAL
:
672 return nir_fge(b
, src1
, src0
);
674 unreachable("bad compare func");
677 #endif /* NIR_BUILDER_H */