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
);
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
);
72 nir_builder_cf_insert(nir_builder
*build
, nir_cf_node
*cf
)
74 nir_cf_node_insert(build
->cursor
, cf
);
77 static inline nir_ssa_def
*
78 nir_ssa_undef(nir_builder
*build
, unsigned num_components
, unsigned bit_size
)
80 nir_ssa_undef_instr
*undef
=
81 nir_ssa_undef_instr_create(build
->shader
, num_components
, bit_size
);
85 nir_instr_insert(nir_before_cf_list(&build
->impl
->body
), &undef
->instr
);
90 static inline nir_ssa_def
*
91 nir_build_imm(nir_builder
*build
, unsigned num_components
,
92 unsigned bit_size
, nir_const_value value
)
94 nir_load_const_instr
*load_const
=
95 nir_load_const_instr_create(build
->shader
, num_components
, bit_size
);
99 load_const
->value
= value
;
101 nir_builder_instr_insert(build
, &load_const
->instr
);
103 return &load_const
->def
;
106 static inline nir_ssa_def
*
107 nir_imm_float(nir_builder
*build
, float x
)
111 memset(&v
, 0, sizeof(v
));
114 return nir_build_imm(build
, 1, 32, v
);
117 static inline nir_ssa_def
*
118 nir_imm_double(nir_builder
*build
, double x
)
122 memset(&v
, 0, sizeof(v
));
125 return nir_build_imm(build
, 1, 64, v
);
128 static inline nir_ssa_def
*
129 nir_imm_vec4(nir_builder
*build
, float x
, float y
, float z
, float w
)
133 memset(&v
, 0, sizeof(v
));
139 return nir_build_imm(build
, 4, 32, v
);
142 static inline nir_ssa_def
*
143 nir_imm_int(nir_builder
*build
, int x
)
147 memset(&v
, 0, sizeof(v
));
150 return nir_build_imm(build
, 1, 32, v
);
153 static inline nir_ssa_def
*
154 nir_imm_ivec4(nir_builder
*build
, int x
, int y
, int z
, int w
)
158 memset(&v
, 0, sizeof(v
));
164 return nir_build_imm(build
, 4, 32, v
);
167 static inline nir_ssa_def
*
168 nir_build_alu(nir_builder
*build
, nir_op op
, nir_ssa_def
*src0
,
169 nir_ssa_def
*src1
, nir_ssa_def
*src2
, nir_ssa_def
*src3
)
171 const nir_op_info
*op_info
= &nir_op_infos
[op
];
172 nir_alu_instr
*instr
= nir_alu_instr_create(build
->shader
, op
);
176 instr
->exact
= build
->exact
;
178 instr
->src
[0].src
= nir_src_for_ssa(src0
);
180 instr
->src
[1].src
= nir_src_for_ssa(src1
);
182 instr
->src
[2].src
= nir_src_for_ssa(src2
);
184 instr
->src
[3].src
= nir_src_for_ssa(src3
);
186 /* Guess the number of components the destination temporary should have
187 * based on our input sizes, if it's not fixed for the op.
189 unsigned num_components
= op_info
->output_size
;
190 if (num_components
== 0) {
191 for (unsigned i
= 0; i
< op_info
->num_inputs
; i
++) {
192 if (op_info
->input_sizes
[i
] == 0)
193 num_components
= MAX2(num_components
,
194 instr
->src
[i
].src
.ssa
->num_components
);
197 assert(num_components
!= 0);
199 /* Figure out the bitwidth based on the source bitwidth if the instruction
202 unsigned bit_size
= nir_alu_type_get_type_size(op_info
->output_type
);
204 for (unsigned i
= 0; i
< op_info
->num_inputs
; i
++) {
205 unsigned src_bit_size
= instr
->src
[i
].src
.ssa
->bit_size
;
206 if (nir_alu_type_get_type_size(op_info
->input_types
[i
]) == 0) {
208 assert(src_bit_size
== bit_size
);
210 bit_size
= src_bit_size
;
212 assert(src_bit_size
==
213 nir_alu_type_get_type_size(op_info
->input_types
[i
]));
218 /* Make sure we don't swizzle from outside of our source vector (like if a
219 * scalar value was passed into a multiply with a vector).
221 for (unsigned i
= 0; i
< op_info
->num_inputs
; i
++) {
222 for (unsigned j
= instr
->src
[i
].src
.ssa
->num_components
; j
< 4; j
++) {
223 instr
->src
[i
].swizzle
[j
] = instr
->src
[i
].src
.ssa
->num_components
- 1;
227 nir_ssa_dest_init(&instr
->instr
, &instr
->dest
.dest
, num_components
,
229 instr
->dest
.write_mask
= (1 << num_components
) - 1;
231 nir_builder_instr_insert(build
, &instr
->instr
);
233 return &instr
->dest
.dest
.ssa
;
236 #include "nir_builder_opcodes.h"
238 static inline nir_ssa_def
*
239 nir_vec(nir_builder
*build
, nir_ssa_def
**comp
, unsigned num_components
)
241 switch (num_components
) {
243 return nir_vec4(build
, comp
[0], comp
[1], comp
[2], comp
[3]);
245 return nir_vec3(build
, comp
[0], comp
[1], comp
[2]);
247 return nir_vec2(build
, comp
[0], comp
[1]);
251 unreachable("bad component count");
257 * Similar to nir_fmov, but takes a nir_alu_src instead of a nir_ssa_def.
259 static inline nir_ssa_def
*
260 nir_fmov_alu(nir_builder
*build
, nir_alu_src src
, unsigned num_components
)
262 nir_alu_instr
*mov
= nir_alu_instr_create(build
->shader
, nir_op_fmov
);
263 nir_ssa_dest_init(&mov
->instr
, &mov
->dest
.dest
, num_components
,
264 nir_src_bit_size(src
.src
), NULL
);
265 mov
->exact
= build
->exact
;
266 mov
->dest
.write_mask
= (1 << num_components
) - 1;
268 nir_builder_instr_insert(build
, &mov
->instr
);
270 return &mov
->dest
.dest
.ssa
;
273 static inline nir_ssa_def
*
274 nir_imov_alu(nir_builder
*build
, nir_alu_src src
, unsigned num_components
)
276 nir_alu_instr
*mov
= nir_alu_instr_create(build
->shader
, nir_op_imov
);
277 nir_ssa_dest_init(&mov
->instr
, &mov
->dest
.dest
, num_components
,
278 nir_src_bit_size(src
.src
), NULL
);
279 mov
->exact
= build
->exact
;
280 mov
->dest
.write_mask
= (1 << num_components
) - 1;
282 nir_builder_instr_insert(build
, &mov
->instr
);
284 return &mov
->dest
.dest
.ssa
;
288 * Construct an fmov or imov that reswizzles the source's components.
290 static inline nir_ssa_def
*
291 nir_swizzle(nir_builder
*build
, nir_ssa_def
*src
, const unsigned swiz
[4],
292 unsigned num_components
, bool use_fmov
)
294 nir_alu_src alu_src
= { NIR_SRC_INIT
};
295 alu_src
.src
= nir_src_for_ssa(src
);
296 for (unsigned i
= 0; i
< num_components
; i
++)
297 alu_src
.swizzle
[i
] = swiz
[i
];
299 return use_fmov
? nir_fmov_alu(build
, alu_src
, num_components
) :
300 nir_imov_alu(build
, alu_src
, num_components
);
303 /* Selects the right fdot given the number of components in each source. */
304 static inline nir_ssa_def
*
305 nir_fdot(nir_builder
*build
, nir_ssa_def
*src0
, nir_ssa_def
*src1
)
307 assert(src0
->num_components
== src1
->num_components
);
308 switch (src0
->num_components
) {
309 case 1: return nir_fmul(build
, src0
, src1
);
310 case 2: return nir_fdot2(build
, src0
, src1
);
311 case 3: return nir_fdot3(build
, src0
, src1
);
312 case 4: return nir_fdot4(build
, src0
, src1
);
314 unreachable("bad component size");
320 static inline nir_ssa_def
*
321 nir_bany_inequal(nir_builder
*b
, nir_ssa_def
*src0
, nir_ssa_def
*src1
)
323 switch (src0
->num_components
) {
324 case 1: return nir_ine(b
, src0
, src1
);
325 case 2: return nir_bany_inequal2(b
, src0
, src1
);
326 case 3: return nir_bany_inequal3(b
, src0
, src1
);
327 case 4: return nir_bany_inequal4(b
, src0
, src1
);
329 unreachable("bad component size");
333 static inline nir_ssa_def
*
334 nir_bany(nir_builder
*b
, nir_ssa_def
*src
)
336 return nir_bany_inequal(b
, src
, nir_imm_int(b
, 0));
339 static inline nir_ssa_def
*
340 nir_channel(nir_builder
*b
, nir_ssa_def
*def
, unsigned c
)
342 unsigned swizzle
[4] = {c
, c
, c
, c
};
343 return nir_swizzle(b
, def
, swizzle
, 1, false);
346 static inline nir_ssa_def
*
347 nir_channels(nir_builder
*b
, nir_ssa_def
*def
, unsigned mask
)
349 unsigned num_channels
= 0, swizzle
[4] = { 0, 0, 0, 0 };
351 for (unsigned i
= 0; i
< 4; i
++) {
352 if ((mask
& (1 << i
)) == 0)
354 swizzle
[num_channels
++] = i
;
357 return nir_swizzle(b
, def
, swizzle
, num_channels
, false);
361 * Turns a nir_src into a nir_ssa_def * so it can be passed to
362 * nir_build_alu()-based builder calls.
364 * See nir_ssa_for_alu_src() for alu instructions.
366 static inline nir_ssa_def
*
367 nir_ssa_for_src(nir_builder
*build
, nir_src src
, int num_components
)
369 if (src
.is_ssa
&& src
.ssa
->num_components
== num_components
)
372 nir_alu_src alu
= { NIR_SRC_INIT
};
374 for (int j
= 0; j
< 4; j
++)
377 return nir_imov_alu(build
, alu
, num_components
);
381 * Similar to nir_ssa_for_src(), but for alu src's, respecting the
382 * nir_alu_src's swizzle.
384 static inline nir_ssa_def
*
385 nir_ssa_for_alu_src(nir_builder
*build
, nir_alu_instr
*instr
, unsigned srcn
)
387 static uint8_t trivial_swizzle
[4] = { 0, 1, 2, 3 };
388 nir_alu_src
*src
= &instr
->src
[srcn
];
389 unsigned num_components
= nir_ssa_alu_instr_src_components(instr
, srcn
);
391 if (src
->src
.is_ssa
&& (src
->src
.ssa
->num_components
== num_components
) &&
392 !src
->abs
&& !src
->negate
&&
393 (memcmp(src
->swizzle
, trivial_swizzle
, num_components
) == 0))
396 return nir_imov_alu(build
, *src
, num_components
);
399 static inline nir_ssa_def
*
400 nir_load_var(nir_builder
*build
, nir_variable
*var
)
402 const unsigned num_components
= glsl_get_vector_elements(var
->type
);
404 nir_intrinsic_instr
*load
=
405 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_load_var
);
406 load
->num_components
= num_components
;
407 load
->variables
[0] = nir_deref_var_create(load
, var
);
408 nir_ssa_dest_init(&load
->instr
, &load
->dest
, num_components
,
409 glsl_get_bit_size(var
->type
), NULL
);
410 nir_builder_instr_insert(build
, &load
->instr
);
411 return &load
->dest
.ssa
;
415 nir_store_var(nir_builder
*build
, nir_variable
*var
, nir_ssa_def
*value
,
418 const unsigned num_components
= glsl_get_vector_elements(var
->type
);
420 nir_intrinsic_instr
*store
=
421 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_store_var
);
422 store
->num_components
= num_components
;
423 nir_intrinsic_set_write_mask(store
, writemask
);
424 store
->variables
[0] = nir_deref_var_create(store
, var
);
425 store
->src
[0] = nir_src_for_ssa(value
);
426 nir_builder_instr_insert(build
, &store
->instr
);
430 nir_store_deref_var(nir_builder
*build
, nir_deref_var
*deref
,
431 nir_ssa_def
*value
, unsigned writemask
)
433 const unsigned num_components
=
434 glsl_get_vector_elements(nir_deref_tail(&deref
->deref
)->type
);
436 nir_intrinsic_instr
*store
=
437 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_store_var
);
438 store
->num_components
= num_components
;
439 store
->const_index
[0] = writemask
& ((1 << num_components
) - 1);
440 store
->variables
[0] = nir_deref_as_var(nir_copy_deref(store
, &deref
->deref
));
441 store
->src
[0] = nir_src_for_ssa(value
);
442 nir_builder_instr_insert(build
, &store
->instr
);
446 nir_copy_deref_var(nir_builder
*build
, nir_deref_var
*dest
, nir_deref_var
*src
)
448 assert(nir_deref_tail(&dest
->deref
)->type
==
449 nir_deref_tail(&src
->deref
)->type
);
451 nir_intrinsic_instr
*copy
=
452 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_copy_var
);
453 copy
->variables
[0] = nir_deref_as_var(nir_copy_deref(copy
, &dest
->deref
));
454 copy
->variables
[1] = nir_deref_as_var(nir_copy_deref(copy
, &src
->deref
));
455 nir_builder_instr_insert(build
, ©
->instr
);
459 nir_copy_var(nir_builder
*build
, nir_variable
*dest
, nir_variable
*src
)
461 nir_intrinsic_instr
*copy
=
462 nir_intrinsic_instr_create(build
->shader
, nir_intrinsic_copy_var
);
463 copy
->variables
[0] = nir_deref_var_create(copy
, dest
);
464 copy
->variables
[1] = nir_deref_var_create(copy
, src
);
465 nir_builder_instr_insert(build
, ©
->instr
);
468 /* Generic builder for system values. */
469 static inline nir_ssa_def
*
470 nir_load_system_value(nir_builder
*build
, nir_intrinsic_op op
, int index
)
472 nir_intrinsic_instr
*load
= nir_intrinsic_instr_create(build
->shader
, op
);
473 load
->num_components
= nir_intrinsic_infos
[op
].dest_components
;
474 load
->const_index
[0] = index
;
475 nir_ssa_dest_init(&load
->instr
, &load
->dest
,
476 nir_intrinsic_infos
[op
].dest_components
, 32, NULL
);
477 nir_builder_instr_insert(build
, &load
->instr
);
478 return &load
->dest
.ssa
;
481 /* Generate custom builders for system values. */
482 #define INTRINSIC(name, num_srcs, src_components, has_dest, dest_components, \
483 num_variables, num_indices, idx0, idx1, idx2, flags)
484 #define LAST_INTRINSIC(name)
486 #define DEFINE_SYSTEM_VALUE(name) \
487 static inline nir_ssa_def * \
488 nir_load_##name(nir_builder *build) \
490 return nir_load_system_value(build, nir_intrinsic_load_##name, 0); \
493 #include "nir_intrinsics.h"
495 static inline nir_ssa_def
*
496 nir_load_barycentric(nir_builder
*build
, nir_intrinsic_op op
,
497 unsigned interp_mode
)
499 nir_intrinsic_instr
*bary
= nir_intrinsic_instr_create(build
->shader
, op
);
500 nir_ssa_dest_init(&bary
->instr
, &bary
->dest
, 2, 32, NULL
);
501 nir_intrinsic_set_interp_mode(bary
, interp_mode
);
502 nir_builder_instr_insert(build
, &bary
->instr
);
503 return &bary
->dest
.ssa
;
507 nir_jump(nir_builder
*build
, nir_jump_type jump_type
)
509 nir_jump_instr
*jump
= nir_jump_instr_create(build
->shader
, jump_type
);
510 nir_builder_instr_insert(build
, &jump
->instr
);
513 #endif /* NIR_BUILDER_H */