2 * Copyright © 2014 Intel Corporation
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
24 * Connor Abbott (cwabbott0@gmail.com)
28 #include "compiler/glsl/ir_uniform.h"
30 #include "main/config.h"
31 #include "main/mtypes.h"
35 * replace atomic counter intrinsics that use a variable with intrinsics
36 * that directly store the buffer index and byte offset
40 lower_instr(nir_intrinsic_instr
*instr
,
41 const struct gl_shader_program
*shader_program
,
42 nir_shader
*shader
, bool use_binding_as_idx
)
45 switch (instr
->intrinsic
) {
46 case nir_intrinsic_atomic_counter_read_var
:
47 op
= nir_intrinsic_atomic_counter_read
;
50 case nir_intrinsic_atomic_counter_inc_var
:
51 op
= nir_intrinsic_atomic_counter_inc
;
54 case nir_intrinsic_atomic_counter_dec_var
:
55 op
= nir_intrinsic_atomic_counter_dec
;
58 case nir_intrinsic_atomic_counter_add_var
:
59 op
= nir_intrinsic_atomic_counter_add
;
62 case nir_intrinsic_atomic_counter_min_var
:
63 op
= nir_intrinsic_atomic_counter_min
;
66 case nir_intrinsic_atomic_counter_max_var
:
67 op
= nir_intrinsic_atomic_counter_max
;
70 case nir_intrinsic_atomic_counter_and_var
:
71 op
= nir_intrinsic_atomic_counter_and
;
74 case nir_intrinsic_atomic_counter_or_var
:
75 op
= nir_intrinsic_atomic_counter_or
;
78 case nir_intrinsic_atomic_counter_xor_var
:
79 op
= nir_intrinsic_atomic_counter_xor
;
82 case nir_intrinsic_atomic_counter_exchange_var
:
83 op
= nir_intrinsic_atomic_counter_exchange
;
86 case nir_intrinsic_atomic_counter_comp_swap_var
:
87 op
= nir_intrinsic_atomic_counter_comp_swap
;
94 if (instr
->variables
[0]->var
->data
.mode
!= nir_var_uniform
&&
95 instr
->variables
[0]->var
->data
.mode
!= nir_var_shader_storage
&&
96 instr
->variables
[0]->var
->data
.mode
!= nir_var_shared
)
97 return false; /* atomics passed as function arguments can't be lowered */
99 void *mem_ctx
= ralloc_parent(instr
);
100 unsigned uniform_loc
= instr
->variables
[0]->var
->data
.location
;
102 unsigned idx
= use_binding_as_idx
?
103 instr
->variables
[0]->var
->data
.binding
:
104 shader_program
->data
->UniformStorage
[uniform_loc
].opaque
[shader
->info
.stage
].index
;
106 nir_intrinsic_instr
*new_instr
= nir_intrinsic_instr_create(mem_ctx
, op
);
107 nir_intrinsic_set_base(new_instr
, idx
);
109 nir_load_const_instr
*offset_const
=
110 nir_load_const_instr_create(mem_ctx
, 1, 32);
111 offset_const
->value
.u32
[0] = instr
->variables
[0]->var
->data
.offset
;
113 nir_instr_insert_before(&instr
->instr
, &offset_const
->instr
);
115 nir_ssa_def
*offset_def
= &offset_const
->def
;
117 nir_deref
*tail
= &instr
->variables
[0]->deref
;
118 while (tail
->child
!= NULL
) {
119 nir_deref_array
*deref_array
= nir_deref_as_array(tail
->child
);
122 unsigned child_array_elements
= tail
->child
!= NULL
?
123 glsl_get_aoa_size(tail
->type
) : 1;
125 offset_const
->value
.u32
[0] += deref_array
->base_offset
*
126 child_array_elements
* ATOMIC_COUNTER_SIZE
;
128 if (deref_array
->deref_array_type
== nir_deref_array_type_indirect
) {
129 nir_load_const_instr
*atomic_counter_size
=
130 nir_load_const_instr_create(mem_ctx
, 1, 32);
131 atomic_counter_size
->value
.u32
[0] = child_array_elements
* ATOMIC_COUNTER_SIZE
;
132 nir_instr_insert_before(&instr
->instr
, &atomic_counter_size
->instr
);
134 nir_alu_instr
*mul
= nir_alu_instr_create(mem_ctx
, nir_op_imul
);
135 nir_ssa_dest_init(&mul
->instr
, &mul
->dest
.dest
, 1, 32, NULL
);
136 mul
->dest
.write_mask
= 0x1;
137 nir_src_copy(&mul
->src
[0].src
, &deref_array
->indirect
, mul
);
138 mul
->src
[1].src
.is_ssa
= true;
139 mul
->src
[1].src
.ssa
= &atomic_counter_size
->def
;
140 nir_instr_insert_before(&instr
->instr
, &mul
->instr
);
142 nir_alu_instr
*add
= nir_alu_instr_create(mem_ctx
, nir_op_iadd
);
143 nir_ssa_dest_init(&add
->instr
, &add
->dest
.dest
, 1, 32, NULL
);
144 add
->dest
.write_mask
= 0x1;
145 add
->src
[0].src
.is_ssa
= true;
146 add
->src
[0].src
.ssa
= &mul
->dest
.dest
.ssa
;
147 add
->src
[1].src
.is_ssa
= true;
148 add
->src
[1].src
.ssa
= offset_def
;
149 nir_instr_insert_before(&instr
->instr
, &add
->instr
);
151 offset_def
= &add
->dest
.dest
.ssa
;
155 new_instr
->src
[0].is_ssa
= true;
156 new_instr
->src
[0].ssa
= offset_def
;
158 /* Copy the other sources, if any, from the original instruction to the new
161 for (unsigned i
= 0; i
< nir_intrinsic_infos
[instr
->intrinsic
].num_srcs
; i
++)
162 nir_src_copy(&new_instr
->src
[i
+ 1], &instr
->src
[i
], new_instr
);
164 if (instr
->dest
.is_ssa
) {
165 nir_ssa_dest_init(&new_instr
->instr
, &new_instr
->dest
,
166 instr
->dest
.ssa
.num_components
, 32, NULL
);
167 nir_ssa_def_rewrite_uses(&instr
->dest
.ssa
,
168 nir_src_for_ssa(&new_instr
->dest
.ssa
));
170 nir_dest_copy(&new_instr
->dest
, &instr
->dest
, mem_ctx
);
173 nir_instr_insert_before(&instr
->instr
, &new_instr
->instr
);
174 nir_instr_remove(&instr
->instr
);
180 nir_lower_atomics(nir_shader
*shader
,
181 const struct gl_shader_program
*shader_program
,
182 bool use_binding_as_idx
)
184 bool progress
= false;
186 nir_foreach_function(function
, shader
) {
190 bool impl_progress
= false;
192 nir_foreach_block(block
, function
->impl
) {
193 nir_foreach_instr_safe(instr
, block
) {
194 if (instr
->type
!= nir_instr_type_intrinsic
)
197 impl_progress
|= lower_instr(nir_instr_as_intrinsic(instr
),
198 shader_program
, shader
,
204 nir_metadata_preserve(function
->impl
, nir_metadata_block_index
|
205 nir_metadata_dominance
);