[lit][SPIRV] convert runFileTest shaders to lit FileCheck test (microsoft#5911)

Convert from bottom of CodeGenSpirvTest.cpp.
Skipped FileTest::CompatibilityWithVk1p1 as barrier for runCodeTest.

Author: Greg Roth

tools/clang/test/CodeGenSPIRV/spirv.legal.cbuffer.hlsl

@@ -1,4 +1,4 @@
-// RUN: %dxc -T ps_6_0 -E main
+// RUN: %dxc -T ps_6_0 -E main -fcgl  %s -spirv | FileCheck %s
 
 // Required by the sample interpolation mode
 // CHECK: OpCapability SampleRateShading

tools/clang/test/CodeGenSPIRV/spirv.legal.tbuffer.hlsl

@@ -1,4 +1,4 @@
-// RUN: %dxc -T vs_6_0 -E main
+// RUN: %dxc -T vs_6_0 -E main -fcgl  %s -spirv | FileCheck %s
 
 // Required by the sample interpolation mode
 // CHECK: OpCapability SampleRateShading

tools/clang/test/CodeGenSPIRV/vk.cloption.invert-w.ps.hlsl

@@ -0,0 +1,76 @@
+// RUN: %dxc -T ps_6_0 -E main -fcgl  %s -spirv | FileCheck %s
+
+// %type_ConstantBuffer_S is the type for myCBuffer. With layout decoration.
+// %S is the type for myASBuffer elements. With layout decoration.
+// %S_0 is the type for function local variables. Without layout decoration.
+
+// CHECK:     OpMemberDecorate %type_ConstantBuffer_S 0 Offset 0
+// CHECK:     OpMemberDecorate %S 0 Offset 0
+// CHECK-NOT: OpMemberDecorate %S_0 0 Offset 0
+
+// CHECK:     %type_ConstantBuffer_S = OpTypeStruct %v4float
+// CHECK:     %S = OpTypeStruct %v4float
+// CHECK:     %S_0 = OpTypeStruct %v4float
+struct S {
+    float4 f;
+};
+
+// CHECK: %myCBuffer = OpVariable %_ptr_Uniform_type_ConstantBuffer_S Uniform
+ConstantBuffer<S>         myCBuffer;
+AppendStructuredBuffer<S> myASBuffer;
+
+S retStuff();
+
+float4 doStuff(S buffer) {
+    return buffer.f;
+}
+
+float4 main(in float4 pos : SV_Position) : SV_Target
+{
+// Initializing a T with a ConstantBuffer<T> is a copy
+// CHECK:      [[val:%[0-9]+]] = OpLoad %type_ConstantBuffer_S %myCBuffer
+// CHECK-NEXT: [[vec:%[0-9]+]] = OpCompositeExtract %v4float [[val]] 0
+// CHECK-NEXT: [[tmp:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec]]
+// CHECK-NEXT:                OpStore %buffer1 [[tmp]]
+    S buffer1 = myCBuffer;
+
+// Assigning a ConstantBuffer<T> to a T is a copy
+// CHECK:      [[val_0:%[0-9]+]] = OpLoad %type_ConstantBuffer_S %myCBuffer
+// CHECK-NEXT: [[vec_0:%[0-9]+]] = OpCompositeExtract %v4float [[val_0]] 0
+// CHECK-NEXT: [[tmp_0:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_0]]
+// CHECK-NEXT:                OpStore %buffer2 [[tmp_0]]
+    S buffer2;
+    buffer2 = myCBuffer;
+
+// We have the same struct type here
+// CHECK:      [[val_1:%[0-9]+]] = OpFunctionCall %S_0 %retStuff
+// CHECK-NEXT:                OpStore %buffer3 [[val_1]]
+    S buffer3;
+    buffer3 = retStuff();
+
+// Write out each component recursively
+// CHECK:      [[ptr:%[0-9]+]] = OpAccessChain %_ptr_Uniform_S %myASBuffer %uint_0 {{%[0-9]+}}
+// CHECK-NEXT: [[val_2:%[0-9]+]] = OpLoad %type_ConstantBuffer_S %myCBuffer
+// CHECK-NEXT: [[vec_1:%[0-9]+]] = OpCompositeExtract %v4float [[val_2]] 0
+// CHECK-NEXT: [[tmp_1:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_1]]
+// CHECK-NEXT: [[vec_2:%[0-9]+]] = OpCompositeExtract %v4float [[tmp_1]] 0
+// CHECK-NEXT: [[tmp_2:%[0-9]+]] = OpCompositeConstruct %S [[vec_2]]
+// CHECK-NEXT:                OpStore [[ptr]] [[tmp_2]]
+    myASBuffer.Append(myCBuffer);
+
+// Passing a ConstantBuffer<T> to a T parameter is a copy
+// CHECK:      [[val_3:%[0-9]+]] = OpLoad %type_ConstantBuffer_S %myCBuffer
+// CHECK-NEXT: [[vec_3:%[0-9]+]] = OpCompositeExtract %v4float [[val_3]] 0
+// CHECK-NEXT: [[tmp_3:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_3]]
+// CHECK-NEXT:                OpStore %param_var_buffer [[tmp_3]]
+    return doStuff(myCBuffer);
+}
+
+S retStuff() {
+// Returning a ConstantBuffer<T> as a T is a copy
+// CHECK:      [[val_4:%[0-9]+]] = OpLoad %type_ConstantBuffer_S %myCBuffer
+// CHECK-NEXT: [[vec_4:%[0-9]+]] = OpCompositeExtract %v4float [[val_4]] 0
+// CHECK-NEXT: [[ret:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_4]]
+// CHECK-NEXT:                OpReturnValue [[ret]]
+    return myCBuffer;
+}

tools/clang/test/CodeGenSPIRV/vk.cloption.invert-y.vs.hlsl

@@ -0,0 +1,81 @@
+// RUN: %dxc -T ps_6_0 -E main -fcgl  %s -spirv | FileCheck %s
+
+// Note: The following is invalid SPIR-V code.
+//
+// * The assignment ignores storage class (and thus layout) difference.
+
+// %type_TextureBuffer_S is the type for myTBuffer. With layout decoration.
+// %S is the type for myASBuffer elements. With layout decoration.
+// %S_0 is the type for function local variables. Without layout decoration.
+
+// CHECK:     OpMemberDecorate %type_TextureBuffer_S 0 Offset 0
+// CHECK:     OpMemberDecorate %S 0 Offset 0
+// CHECK-NOT: OpMemberDecorate %S_0 0 Offset 0
+
+// CHECK:     %type_TextureBuffer_S = OpTypeStruct %v4float
+// CHECK:     %S = OpTypeStruct %v4float
+// CHECK:     %S_0 = OpTypeStruct %v4float
+struct S {
+    float4 f;
+};
+
+// CHECK: %myTBuffer = OpVariable %_ptr_Uniform_type_TextureBuffer_S Uniform
+TextureBuffer<S>          myTBuffer;
+AppendStructuredBuffer<S> myASBuffer;
+
+S retStuff();
+
+float4 doStuff(S buffer) {
+    return buffer.f;
+}
+
+float4 main(in float4 pos : SV_Position) : SV_Target
+{
+// Initializing a T with a TextureBuffer<T> is a copy
+// CHECK:      [[val:%[0-9]+]] = OpLoad %type_TextureBuffer_S %myTBuffer
+// CHECK-NEXT: [[vec:%[0-9]+]] = OpCompositeExtract %v4float [[val]] 0
+// CHECK-NEXT: [[tmp:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec]]
+// CHECK-NEXT:                OpStore %buffer1 [[tmp]]
+    S buffer1 = myTBuffer;
+
+// Assigning a TextureBuffer<T> to a T is a copy
+// CHECK:      [[val_0:%[0-9]+]] = OpLoad %type_TextureBuffer_S %myTBuffer
+// CHECK-NEXT: [[vec_0:%[0-9]+]] = OpCompositeExtract %v4float [[val_0]] 0
+// CHECK-NEXT: [[tmp_0:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_0]]
+// CHECK-NEXT:                OpStore %buffer2 [[tmp_0]]
+    S buffer2;
+    buffer2 = myTBuffer;
+
+// We have the same struct type here
+// CHECK:      [[val_1:%[0-9]+]] = OpFunctionCall %S_0 %retStuff
+// CHECK-NEXT:                OpStore %buffer3 [[val_1]]
+    S buffer3;
+    buffer3 = retStuff();
+
+// TODO: The underlying struct type has the same layout but %type_TextureBuffer_S
+// has an additional BufferBlock decoration. So this causes an validation error.
+// CHECK:      [[ptr:%[0-9]+]] = OpAccessChain %_ptr_Uniform_S %myASBuffer %uint_0 {{%[0-9]+}}
+// CHECK-NEXT:  [[tb:%[0-9]+]] = OpLoad %type_TextureBuffer_S %myTBuffer
+// CHECK-NEXT: [[vec_1:%[0-9]+]] = OpCompositeExtract %v4float [[tb]] 0
+// CHECK-NEXT: [[loc:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_1]]
+// CHECK-NEXT: [[vec_2:%[0-9]+]] = OpCompositeExtract %v4float [[loc]] 0
+// CHECK-NEXT: [[val_2:%[0-9]+]] = OpCompositeConstruct %S [[vec_2]]
+// CHECK-NEXT:                OpStore [[ptr]] [[val_2]]
+    myASBuffer.Append(myTBuffer);
+
+// Passing a TextureBuffer<T> to a T parameter is a copy
+// CHECK:      [[val_3:%[0-9]+]] = OpLoad %type_TextureBuffer_S %myTBuffer
+// CHECK-NEXT: [[vec_3:%[0-9]+]] = OpCompositeExtract %v4float [[val_3]] 0
+// CHECK-NEXT: [[tmp_1:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_3]]
+// CHECK-NEXT:                OpStore %param_var_buffer [[tmp_1]]
+    return doStuff(myTBuffer);
+}
+
+S retStuff() {
+// Returning a TextureBuffer<T> as a T is a copy
+// CHECK:      [[val_4:%[0-9]+]] = OpLoad %type_TextureBuffer_S %myTBuffer
+// CHECK-NEXT: [[vec_4:%[0-9]+]] = OpCompositeExtract %v4float [[val_4]] 0
+// CHECK-NEXT: [[ret:%[0-9]+]] = OpCompositeConstruct %S_0 [[vec_4]]
+// CHECK-NEXT:                OpReturnValue [[ret]]
+    return myTBuffer;
+}

tools/clang/test/CodeGenSPIRV/spirv.interpolation.ps.hlsl renamed to tools/clang/test/CodeGenSPIRV_Lit/spirv.interpolation.ps.hlsl

@@ -1,4 +1,4 @@
-// RUN: %dxc -T vs_6_2 -E main -enable-16bit-types
+// RUN: %dxc -T vs_6_2 -E main -enable-16bit-types -fcgl  %s -spirv | FileCheck %s
 
 // CHECK: OpCapability StorageInputOutput16
 

tools/clang/test/CodeGenSPIRV/spirv.interpolation.vs.hlsl renamed to tools/clang/test/CodeGenSPIRV_Lit/spirv.interpolation.vs.hlsl

@@ -1,4 +1,4 @@
-// RUN: %dxc -T vs_6_2 -E main
+// RUN: %dxc -T vs_6_2 -E main -fcgl  %s -spirv | FileCheck %s
 
 // CHECK: OpDecorate %in_var_A Location 0
 // CHECK: OpDecorate %in_var_B Location 4