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>
This commit is contained in:
Jason Ekstrand 2020-03-30 11:25:07 -05:00 committed by Marge Bot
parent 88c046a6d3
commit 7a53e67816

View file

@ -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);