nir: Support vec8/vec16 in nir_lower_bit_size
[mesa.git] / src / compiler / nir / nir_lower_system_values.c
index 8231bffd4e4a3c297e217c4d9767a7df892b96df..bdc337aecfc912ed9ae3b088426a9e6d86f883d1 100644 (file)
 #include "nir.h"
 #include "nir_builder.h"
 
-static nir_ssa_def*
-build_local_group_size(nir_builder *b, unsigned bit_size)
-{
-   nir_ssa_def *local_size;
-
-   /*
-    * If the local work group size is variable it can't be lowered at this
-    * point, but its intrinsic can still be used.
-    */
-   if (b->shader->info.cs.local_size_variable) {
-      local_size = nir_load_local_group_size(b);
-   } else {
-      /* using a 32 bit constant is safe here as no device/driver needs more
-       * than 32 bits for the local size */
-      nir_const_value local_size_const[3];
-      memset(local_size_const, 0, sizeof(local_size_const));
-      local_size_const[0].u32 = b->shader->info.cs.local_size[0];
-      local_size_const[1].u32 = b->shader->info.cs.local_size[1];
-      local_size_const[2].u32 = b->shader->info.cs.local_size[2];
-      local_size = nir_build_imm(b, 3, 32, local_size_const);
-   }
-
-   return nir_u2u(b, local_size, bit_size);
-}
-
 static nir_ssa_def *
-build_local_invocation_id(nir_builder *b, unsigned bit_size)
+sanitize_32bit_sysval(nir_builder *b, nir_intrinsic_instr *intrin)
 {
-   /* If lower_cs_local_id_from_index is true, then we derive the local
-    * index from the local id.
-    */
-   if (b->shader->options->lower_cs_local_id_from_index) {
-      /* We lower gl_LocalInvocationID from gl_LocalInvocationIndex based
-       * on this formula:
-       *
-       *    gl_LocalInvocationID.x =
-       *       gl_LocalInvocationIndex % gl_WorkGroupSize.x;
-       *    gl_LocalInvocationID.y =
-       *       (gl_LocalInvocationIndex / gl_WorkGroupSize.x) %
-       *       gl_WorkGroupSize.y;
-       *    gl_LocalInvocationID.z =
-       *       (gl_LocalInvocationIndex /
-       *        (gl_WorkGroupSize.x * gl_WorkGroupSize.y)) %
-       *       gl_WorkGroupSize.z;
-       *
-       * However, the final % gl_WorkGroupSize.z does nothing unless we
-       * accidentally end up with a gl_LocalInvocationIndex that is too
-       * large so it can safely be omitted.
-       */
-      nir_ssa_def *local_index = nir_load_local_invocation_index(b);
-      nir_ssa_def *local_size = build_local_group_size(b, 32);
+   assert(intrin->dest.is_ssa);
+   const unsigned bit_size = intrin->dest.ssa.bit_size;
+   if (bit_size == 32)
+      return NULL;
 
-      /* Because no hardware supports a local workgroup size greater than
-       * about 1K, this calculation can be done in 32-bit and can save some
-       * 64-bit arithmetic.
-       */
-      nir_ssa_def *id_x, *id_y, *id_z;
-      id_x = nir_umod(b, local_index,
-                         nir_channel(b, local_size, 0));
-      id_y = nir_umod(b, nir_udiv(b, local_index,
-                                     nir_channel(b, local_size, 0)),
-                         nir_channel(b, local_size, 1));
-      id_z = nir_udiv(b, local_index,
-                         nir_imul(b, nir_channel(b, local_size, 0),
-                                     nir_channel(b, local_size, 1)));
-      return nir_u2u(b, nir_vec3(b, id_x, id_y, id_z), bit_size);
-   } else {
-      return nir_u2u(b, nir_load_local_invocation_id(b), bit_size);
-   }
+   intrin->dest.ssa.bit_size = 32;
+   return nir_u2u(b, &intrin->dest.ssa, bit_size);
 }
 
 static nir_ssa_def*
 build_global_group_size(nir_builder *b, unsigned bit_size)
 {
-   nir_ssa_def *group_size = build_local_group_size(b, bit_size);
-   nir_ssa_def *num_work_groups = nir_u2u(b, nir_load_num_work_groups(b), bit_size);
-   return nir_imul(b, group_size, num_work_groups);
-}
-
-static nir_ssa_def*
-build_global_invocation_id(nir_builder *b, unsigned bit_size)
-{
-   /* From the GLSL man page for gl_GlobalInvocationID:
-    *
-    *    "The value of gl_GlobalInvocationID is equal to
-    *    gl_WorkGroupID * gl_WorkGroupSize + gl_LocalInvocationID"
-    */
-   nir_ssa_def *group_size = build_local_group_size(b, bit_size);
-   nir_ssa_def *group_id = nir_u2u(b, nir_load_work_group_id(b), bit_size);
-   nir_ssa_def *local_id = build_local_invocation_id(b, bit_size);
-
-   return nir_iadd(b, nir_imul(b, group_id, group_size), local_id);
+   nir_ssa_def *group_size = nir_load_local_group_size(b);
+   nir_ssa_def *num_work_groups = nir_load_num_work_groups(b);
+   return nir_imul(b, nir_u2u(b, group_size, bit_size),
+                      nir_u2u(b, num_work_groups, bit_size));
 }
 
 static bool
@@ -132,48 +59,87 @@ static nir_ssa_def *
 lower_system_value_instr(nir_builder *b, nir_instr *instr, void *_state)
 {
    nir_intrinsic_instr *intrin = nir_instr_as_intrinsic(instr);
-   if (intrin->intrinsic == nir_intrinsic_load_deref) {
-      nir_deref_instr *deref = nir_src_as_deref(intrin->src[0]);
-      if (deref->mode != nir_var_system_value)
-         return NULL;
 
-      if (deref->deref_type != nir_deref_type_var) {
-         /* The only one system value that is an array and that is
-          * gl_SampleMask which is always an array of one element.
-          */
-         assert(deref->deref_type == nir_deref_type_array);
-         deref = nir_deref_instr_parent(deref);
-         assert(deref->deref_type == nir_deref_type_var);
-         assert(deref->var->data.location == SYSTEM_VALUE_SAMPLE_MASK_IN);
-      }
-      nir_variable *var = deref->var;
+   /* All the intrinsics we care about are loads */
+   if (!nir_intrinsic_infos[intrin->intrinsic].has_dest)
+      return NULL;
 
-      unsigned bit_size = nir_dest_bit_size(intrin->dest);
-      switch (var->data.location) {
-      case SYSTEM_VALUE_GLOBAL_INVOCATION_ID:
-         return build_global_invocation_id(b, bit_size);
+   assert(intrin->dest.is_ssa);
+   const unsigned bit_size = intrin->dest.ssa.bit_size;
 
-      case SYSTEM_VALUE_GLOBAL_INVOCATION_INDEX: {
-         nir_ssa_def *global_id = build_global_invocation_id(b, bit_size);
-         nir_ssa_def *global_size = build_global_group_size(b, bit_size);
+   switch (intrin->intrinsic) {
+   case nir_intrinsic_load_vertex_id:
+      if (b->shader->options->vertex_id_zero_based) {
+         return nir_iadd(b, nir_load_vertex_id_zero_base(b),
+                            nir_load_first_vertex(b));
+      } else {
+         return NULL;
+      }
 
-         /* index = id.x + ((id.y + (id.z * size.y)) * size.x) */
-         nir_ssa_def *index;
-         index = nir_imul(b, nir_channel(b, global_id, 2),
-                             nir_channel(b, global_size, 1));
-         index = nir_iadd(b, nir_channel(b, global_id, 1), index);
-         index = nir_imul(b, nir_channel(b, global_size, 0), index);
-         index = nir_iadd(b, nir_channel(b, global_id, 0), index);
-         return index;
+   case nir_intrinsic_load_base_vertex:
+      /**
+       * From the OpenGL 4.6 (11.1.3.9 Shader Inputs) specification:
+       *
+       * "gl_BaseVertex holds the integer value passed to the baseVertex
+       * parameter to the command that resulted in the current shader
+       * invocation. In the case where the command has no baseVertex
+       * parameter, the value of gl_BaseVertex is zero."
+       */
+      if (b->shader->options->lower_base_vertex) {
+         return nir_iand(b, nir_load_is_indexed_draw(b),
+                            nir_load_first_vertex(b));
+      } else {
+         return NULL;
       }
 
-      case SYSTEM_VALUE_LOCAL_INVOCATION_INDEX: {
-         /* If lower_cs_local_index_from_id is true, then we derive the local
-          * index from the local id.
+   case nir_intrinsic_load_local_invocation_id:
+      /* If lower_cs_local_id_from_index is true, then we derive the local
+       * index from the local id.
+       */
+      if (b->shader->options->lower_cs_local_id_from_index) {
+         /* We lower gl_LocalInvocationID from gl_LocalInvocationIndex based
+          * on this formula:
+          *
+          *    gl_LocalInvocationID.x =
+          *       gl_LocalInvocationIndex % gl_WorkGroupSize.x;
+          *    gl_LocalInvocationID.y =
+          *       (gl_LocalInvocationIndex / gl_WorkGroupSize.x) %
+          *       gl_WorkGroupSize.y;
+          *    gl_LocalInvocationID.z =
+          *       (gl_LocalInvocationIndex /
+          *        (gl_WorkGroupSize.x * gl_WorkGroupSize.y)) %
+          *       gl_WorkGroupSize.z;
+          *
+          * However, the final % gl_WorkGroupSize.z does nothing unless we
+          * accidentally end up with a gl_LocalInvocationIndex that is too
+          * large so it can safely be omitted.
           */
-         if (!b->shader->options->lower_cs_local_index_from_id)
-            break;
+         nir_ssa_def *local_index = nir_load_local_invocation_index(b);
+         nir_ssa_def *local_size = nir_load_local_group_size(b);
 
+         /* Because no hardware supports a local workgroup size greater than
+          * about 1K, this calculation can be done in 32-bit and can save some
+          * 64-bit arithmetic.
+          */
+         nir_ssa_def *id_x, *id_y, *id_z;
+         id_x = nir_umod(b, local_index,
+                            nir_channel(b, local_size, 0));
+         id_y = nir_umod(b, nir_udiv(b, local_index,
+                                        nir_channel(b, local_size, 0)),
+                            nir_channel(b, local_size, 1));
+         id_z = nir_udiv(b, local_index,
+                            nir_imul(b, nir_channel(b, local_size, 0),
+                                        nir_channel(b, local_size, 1)));
+         return nir_u2u(b, nir_vec3(b, id_x, id_y, id_z), bit_size);
+      } else {
+         return sanitize_32bit_sysval(b, intrin);
+      }
+
+   case nir_intrinsic_load_local_invocation_index:
+      /* If lower_cs_local_index_from_id is true, then we derive the local
+       * index from the local id.
+       */
+      if (b->shader->options->lower_cs_local_index_from_id) {
          /* From the GLSL man page for gl_LocalInvocationIndex:
           *
           *    "The value of gl_LocalInvocationIndex is equal to
@@ -198,54 +164,85 @@ lower_system_value_instr(nir_builder *b, nir_instr *instr, void *_state)
          index = nir_iadd(b, index,
                              nir_imul(b, nir_channel(b, local_id, 1), size_x));
          index = nir_iadd(b, index, nir_channel(b, local_id, 0));
-         index = nir_u2u(b, index, bit_size);
-         return index;
+         return nir_u2u(b, index, bit_size);
+      } else {
+         return sanitize_32bit_sysval(b, intrin);
       }
 
-      case SYSTEM_VALUE_LOCAL_INVOCATION_ID:
-         return build_local_invocation_id(b, bit_size);
-
-      case SYSTEM_VALUE_LOCAL_GROUP_SIZE:
-         return build_local_group_size(b, bit_size);
+   case nir_intrinsic_load_local_group_size:
+      if (b->shader->info.cs.local_size_variable) {
+         /* If the local work group size is variable it can't be lowered at
+          * this point.  We do, however, have to make sure that the intrinsic
+          * is only 32-bit.
+          */
+         return sanitize_32bit_sysval(b, intrin);
+      } else {
+         /* using a 32 bit constant is safe here as no device/driver needs more
+          * than 32 bits for the local size */
+         nir_const_value local_size_const[3];
+         memset(local_size_const, 0, sizeof(local_size_const));
+         local_size_const[0].u32 = b->shader->info.cs.local_size[0];
+         local_size_const[1].u32 = b->shader->info.cs.local_size[1];
+         local_size_const[2].u32 = b->shader->info.cs.local_size[2];
+         return nir_u2u(b, nir_build_imm(b, 3, 32, local_size_const), bit_size);
+      }
 
-      case SYSTEM_VALUE_VERTEX_ID:
-         if (b->shader->options->vertex_id_zero_based) {
-            return nir_iadd(b, nir_load_vertex_id_zero_base(b),
-                               nir_load_first_vertex(b));
-         }
-         break;
+   case nir_intrinsic_load_global_invocation_id: {
+      nir_ssa_def *group_size = nir_load_local_group_size(b);
+      nir_ssa_def *group_id = nir_load_work_group_id(b);
+      nir_ssa_def *local_id = nir_load_local_invocation_id(b);
 
-      case SYSTEM_VALUE_BASE_VERTEX:
-         /**
-          * From the OpenGL 4.6 (11.1.3.9 Shader Inputs) specification:
-          *
-          * "gl_BaseVertex holds the integer value passed to the baseVertex
-          * parameter to the command that resulted in the current shader
-          * invocation. In the case where the command has no baseVertex
-          * parameter, the value of gl_BaseVertex is zero."
-          */
-         if (b->shader->options->lower_base_vertex) {
-            return nir_iand(b, nir_load_is_indexed_draw(b),
-                               nir_load_first_vertex(b));
-         }
-         break;
+      return nir_iadd(b, nir_imul(b, nir_u2u(b, group_id, bit_size),
+                                     nir_u2u(b, group_size, bit_size)),
+                         nir_u2u(b, local_id, bit_size));
+   }
 
-      case SYSTEM_VALUE_HELPER_INVOCATION:
-         if (b->shader->options->lower_helper_invocation) {
-            nir_ssa_def *tmp;
+   case nir_intrinsic_load_global_invocation_index: {
+      nir_ssa_def *global_id = nir_load_global_invocation_id(b, bit_size);
+      nir_ssa_def *global_size = build_global_group_size(b, bit_size);
+
+      /* index = id.x + ((id.y + (id.z * size.y)) * size.x) */
+      nir_ssa_def *index;
+      index = nir_imul(b, nir_channel(b, global_id, 2),
+                          nir_channel(b, global_size, 1));
+      index = nir_iadd(b, nir_channel(b, global_id, 1), index);
+      index = nir_imul(b, nir_channel(b, global_size, 0), index);
+      index = nir_iadd(b, nir_channel(b, global_id, 0), index);
+      return index;
+   }
 
-            tmp = nir_ishl(b,
-                           nir_imm_int(b, 1),
+   case nir_intrinsic_load_helper_invocation:
+      if (b->shader->options->lower_helper_invocation) {
+         nir_ssa_def *tmp;
+         tmp = nir_ishl(b, nir_imm_int(b, 1),
                            nir_load_sample_id_no_per_sample(b));
+         tmp = nir_iand(b, nir_load_sample_mask_in(b), tmp);
+         return nir_inot(b, nir_i2b(b, tmp));
+      } else {
+         return NULL;
+      }
 
-            tmp = nir_iand(b,
-                           nir_load_sample_mask_in(b),
-                           tmp);
+   case nir_intrinsic_load_num_work_groups:
+   case nir_intrinsic_load_work_group_id:
+      return sanitize_32bit_sysval(b, intrin);
 
-            return nir_inot(b, nir_i2b(b, tmp));
-         }
-         break;
+   case nir_intrinsic_load_deref: {
+      nir_deref_instr *deref = nir_src_as_deref(intrin->src[0]);
+      if (deref->mode != nir_var_system_value)
+         return NULL;
 
+      if (deref->deref_type != nir_deref_type_var) {
+         /* The only one system value that is an array and that is
+          * gl_SampleMask which is always an array of one element.
+          */
+         assert(deref->deref_type == nir_deref_type_array);
+         deref = nir_deref_instr_parent(deref);
+         assert(deref->deref_type == nir_deref_type_var);
+         assert(deref->var->data.location == SYSTEM_VALUE_SAMPLE_MASK_IN);
+      }
+      nir_variable *var = deref->var;
+
+      switch (var->data.location) {
       case SYSTEM_VALUE_INSTANCE_INDEX:
          return nir_iadd(b, nir_load_instance_id(b),
                             nir_load_base_instance(b));
@@ -273,6 +270,34 @@ lower_system_value_instr(nir_builder *b, nir_instr *instr, void *_state)
       case SYSTEM_VALUE_GLOBAL_GROUP_SIZE:
          return build_global_group_size(b, bit_size);
 
+      case SYSTEM_VALUE_BARYCENTRIC_LINEAR_PIXEL:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_pixel,
+                                     INTERP_MODE_NOPERSPECTIVE);
+
+      case SYSTEM_VALUE_BARYCENTRIC_LINEAR_CENTROID:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_centroid,
+                                     INTERP_MODE_NOPERSPECTIVE);
+
+      case SYSTEM_VALUE_BARYCENTRIC_LINEAR_SAMPLE:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_sample,
+                                     INTERP_MODE_NOPERSPECTIVE);
+
+      case SYSTEM_VALUE_BARYCENTRIC_PERSP_PIXEL:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_pixel,
+                                     INTERP_MODE_SMOOTH);
+
+      case SYSTEM_VALUE_BARYCENTRIC_PERSP_CENTROID:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_centroid,
+                                     INTERP_MODE_SMOOTH);
+
+      case SYSTEM_VALUE_BARYCENTRIC_PERSP_SAMPLE:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_sample,
+                                     INTERP_MODE_SMOOTH);
+
+      case SYSTEM_VALUE_BARYCENTRIC_PULL_MODEL:
+         return nir_load_barycentric(b, nir_intrinsic_load_barycentric_model,
+                                     INTERP_MODE_NONE);
+
       default:
          break;
       }
@@ -280,10 +305,13 @@ lower_system_value_instr(nir_builder *b, nir_instr *instr, void *_state)
       nir_intrinsic_op sysval_op =
          nir_intrinsic_from_system_value(var->data.location);
       return nir_load_system_value(b, sysval_op, 0,
+                                      intrin->dest.ssa.num_components,
                                       intrin->dest.ssa.bit_size);
    }
 
-   return NULL;
+   default:
+      return NULL;
+   }
 }
 
 bool