[Mesa-dev] [PATCH 15/16] nir: add a pass to lower atomics

[Connor Abbott]

Signed-off-by: Connor Abbott <connor.abbott at intel.com>
---
 src/glsl/Makefile.sources        |   1 +
 src/glsl/nir/nir.h               |   2 +
 src/glsl/nir/nir_lower_atomics.c | 127 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 130 insertions(+)
 create mode 100644 src/glsl/nir/nir_lower_atomics.c

diff --git a/src/glsl/Makefile.sources b/src/glsl/Makefile.sources
index 44e8dae..4d9ae07 100644
--- a/src/glsl/Makefile.sources
+++ b/src/glsl/Makefile.sources
@@ -16,6 +16,7 @@ LIBGLCPP_GENERATED_FILES = \
 NIR_FILES = \
 	$(GLSL_SRCDIR)/nir/nir.c \
 	$(GLSL_SRCDIR)/nir/nir_intrinsics.c \
+	$(GLSL_SRCDIR)/nir/nir_lower_atomics.c \
 	$(GLSL_SRCDIR)/nir/nir_lower_system_values.c \
 	$(GLSL_SRCDIR)/nir/nir_lower_variables_scalar.c \
 	$(GLSL_SRCDIR)/nir/nir_opcodes.c \
diff --git a/src/glsl/nir/nir.h b/src/glsl/nir/nir.h
index 67b9f46..1c2d531 100644
--- a/src/glsl/nir/nir.h
+++ b/src/glsl/nir/nir.h
@@ -1261,6 +1261,8 @@ void nir_lower_samplers(nir_shader *shader,
 
 void nir_lower_system_values(nir_shader *shader);
 
+void nir_lower_atomics(nir_shader *shader);
+
 #ifdef __cplusplus
 } /* extern "C" */
 #endif
diff --git a/src/glsl/nir/nir_lower_atomics.c b/src/glsl/nir/nir_lower_atomics.c
new file mode 100644
index 0000000..af85770
--- /dev/null
+++ b/src/glsl/nir/nir_lower_atomics.c
@@ -0,0 +1,127 @@
+/*
+ * Copyright © 2014 Intel Corporation
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice (including the next
+ * paragraph) shall be included in all copies or substantial portions of the
+ * Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+ * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
+ * IN THE SOFTWARE.
+ *
+ * Authors:
+ *    Connor Abbott (cwabbott0 at gmail.com)
+ *
+ */
+
+#include "nir.h"
+#include <assert.h>
+
+/*
+ * replace atomic counter intrinsics that use a variable with intrinsics
+ * that directly store the buffer index and byte offset
+ */
+
+static void
+lower_instr(nir_intrinsic_instr *instr, nir_function_impl *impl)
+{
+   nir_intrinsic_op op;
+   switch (instr->intrinsic) {
+      case nir_intrinsic_atomic_counter_read_var:
+	 op = nir_intrinsic_atomic_counter_read;
+	 break;
+
+      case nir_intrinsic_atomic_counter_inc_var:
+	 op = nir_intrinsic_atomic_counter_inc;
+	 break;
+
+      case nir_intrinsic_atomic_counter_dec_var:
+	 op = nir_intrinsic_atomic_counter_dec;
+	 break;
+
+      default:
+	 return;
+   }
+
+   if (instr->variables[0]->var->data.mode != nir_var_uniform)
+      return; /* atomics passed as function arguments can't be lowered */
+
+   void *mem_ctx = ralloc_parent(instr);
+
+   /* TODO support SSA */
+   assert(!instr->dest.is_ssa);
+
+   nir_intrinsic_instr *new_instr = nir_intrinsic_instr_create(mem_ctx, op);
+   new_instr->dest = nir_dest_copy(instr->dest, mem_ctx);
+   new_instr->const_index[0] =
+      (int) instr->variables[0]->var->data.atomic.buffer_index;
+
+   nir_load_const_instr *offset_const = nir_load_const_instr_create(mem_ctx);
+   offset_const->num_components = 1;
+   offset_const->value.u[0] = instr->variables[0]->var->data.atomic.offset;
+   offset_const->dest.reg.reg = nir_local_reg_create(impl);
+   offset_const->dest.reg.reg->num_components = 1;
+
+   nir_instr_insert_before(&instr->instr, &offset_const->instr);
+
+   nir_register *offset_reg = offset_const->dest.reg.reg;
+
+   if (instr->variables[0]->deref.child != NULL) {
+      assert(instr->variables[0]->deref.child->deref_type ==
+	     nir_deref_type_array);
+      nir_deref_array *deref_array =
+	 nir_deref_as_array(instr->variables[0]->deref.child);
+      assert(deref_array->deref.child == NULL);
+
+      offset_const->value.u[0] += deref_array->base_offset;
+
+      if (deref_array->has_indirect) {
+	 nir_alu_instr *add = nir_alu_instr_create(mem_ctx, nir_op_iadd);
+	 add->dest.dest.reg.reg = nir_local_reg_create(impl);
+	 add->dest.dest.reg.reg->num_components = 1;
+	 add->dest.write_mask = 0x1;
+	 add->src[0].src = nir_src_copy(deref_array->indirect, mem_ctx);
+	 add->src[1].src.reg.reg = offset_const->dest.reg.reg;
+	 nir_instr_insert_before(&instr->instr, &add->instr);
+
+	 offset_reg = add->dest.dest.reg.reg;
+      }
+   }
+
+   new_instr->src[0].reg.reg = offset_reg;
+
+   nir_instr_insert_before(&instr->instr, &new_instr->instr);
+   nir_instr_remove(&instr->instr);
+}
+
+static bool
+lower_block(nir_block *block, void *state)
+{
+   nir_foreach_instr_safe(block, instr) {
+      if (instr->type == nir_instr_type_intrinsic)
+	 lower_instr(nir_instr_as_intrinsic(instr),
+		     (nir_function_impl *) state);
+   }
+
+   return true;
+}
+
+void
+nir_lower_atomics(nir_shader *shader)
+{
+   nir_foreach_overload(shader, overload) {
+      if (overload->impl)
+	 nir_foreach_block(overload->impl, lower_block, overload->impl);
+   }
+}
-- 
1.9.3