spirv: Implement OpCopyObject and OpCopyLogical as blind copies

Because the types etc. are required to logically match, we can just
copy-propagate the guts of the vtn_value.  This was causing issues with
some new CTS tests that are doing an OpCopyObject of a sampler which is
a special-cased type in spirv_to_nir.  Of course, this is only a partial
solution.  Ideally, we've got a bit of work to do to make all the
composite stuff able to handle all types including images, sampler, and
combined image/samplers but this gets some CTS tests passing.

Cc: mesa-stable@lists.freedesktop.org
Reviewed-by: Ian Romanick <ian.d.romanick@intel.com>
Acked-by: Caio Marcelo de Oliveira Filho <caio.oliveira@intel.com>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4375>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4375>

diff --git a/src/compiler/spirv/spirv_to_nir.c b/src/compiler/spirv/spirv_to_nir.c
index 61abc7272783926fc14aaa30af530a419a9d7946..a60b1cba1bd8b5e0d8b415faccc74ed5d31d00db 100644 (file)
--- a/src/compiler/spirv/spirv_to_nir.c
+++ b/src/compiler/spirv/spirv_to_nir.c
@@ -3553,10 +3553,30 @@ vtn_handle_composite(struct vtn_builder *b, SpvOp opcode,
                                  w + 5, count - 5);
       break;
 
-   case SpvOpCopyLogical:
    case SpvOpCopyObject:
-      ssa = vtn_composite_copy(b, vtn_ssa_value(b, w[3]));
-      break;
+   case SpvOpCopyLogical: {
+      struct vtn_value *src = vtn_untyped_value(b, w[3]);
+      struct vtn_value *dst = vtn_push_value(b, w[2], src->value_type);
+      if (opcode == SpvOpCopyObject) {
+         vtn_fail_if(dst->type->id != src->type->id,
+                     "Result Type of OpCopyObject must equal Operand type");
+      } else {
+         assert(opcode == SpvOpCopyLogical);
+         /* The logical type matching rules should guarantee we have exactly
+          * the same GLSL type which means that, if it's an SSA value, we
+          * don't actually need to clone it; we can just copy it blind.
+          */
+         vtn_fail_if(dst->type->type != src->type->type,
+                     "Result Type of OpCopyLogical must logically match "
+                     "the Operand type");
+      }
+      struct vtn_value src_copy = *src;
+      src_copy.name = dst->name;
+      src_copy.decoration = dst->decoration;
+      src_copy.type = dst->type;
+      *dst = src_copy;
+      return;
+   }
 
    default:
       vtn_fail_with_opcode("unknown composite operation", opcode);