Fix for OpUConvert producing invalid opcode when to/from signs differ (#7398)

* Fix for OpUConvert outputting scalar type for mixed sign vector type conversions

* Fix compiler warning

* Added regression test for UConvert vector fix

* Formatting

* getUnsignedType helper

* Formatting

* Fix for addtional int types

* Helper function to convert signed type to unsigned type

1 files changed, 20 insertions, 0 deletions

diff --git a/tests/spirv/uconvert-vector-typecheck.slang b/tests/spirv/uconvert-vector-typecheck.slang
new file mode 100644
index 000000000..f4671c89f
--- /dev/null
+++ b/tests/spirv/uconvert-vector-typecheck.slang
@@ -0,0 +1,20 @@
+//TEST:SIMPLE(filecheck=CHECK): -target spirv
+
+// CHECK: %[[PTR:[0-9a-zA-Z_]+]] = OpVectorShuffle %v2uint %{{.*}} %{{.*}} 0 1
+// CHECK: %{{.*}} = OpUConvert %v2ushort %[[PTR]]
+
+RWTexture2D<uint> tex;
+
+void writeFlags(int2 position, RWTexture2D<uint> flagsTexture, uint flags)
+{
+    flagsTexture[position] = flags;
+}
+
+[shader("compute")]
+[numthreads(1,1,1)]
+void main(uint3 threadId : SV_DispatchThreadID)
+{
+    uint16_t2 position = uint16_t2(threadId.xy);
+    uint flags = 1;
+    writeFlags(position, tex, flags);
+}