Add tests derived from VK-GL-CTS
This adds SPIR-V assembly and WGSL tests derived from VK-GL-CTS commit
571256871c2e2f03995373e1e4a02958d8cd8cf5. The following procedure was
followed:
- Those .amber files in VK-GL-CTS wholly owned by Google were
identified
- All GLSL and SPIR-V shaders were extracted from the Amber files and
converted into SPIR-V binaries
- The compact-ids pass of spirv-opt was applied to each binary
- Duplicate binaries were removed
- spirv-opt -O was used to obtain an optimized version of each remaining
binary, with duplicates discarded
- Binaries that failed validation using spirv-val with target
environment SPIR-V 1.3 were discarded
- Those binaries that tint could not successfully convert into WGSL were
put aside for further investigation
- SPIR-V assembly versions of the remaining binaries are included in
this CL
- test-runner with -generate-expected and -generate-skip was used to
generate expected .spvasm, .msl, .hlsl and .wgsl outputs for these
SPIR-V assembly tests
- Each successfully-generated .expected.wgsl is included in this CL
again, as a WGLSL test
- test-runner with -generate-expected and -generate-skip was used again,
to generate expected outputs for these WGSL tests
Change-Id: Ibe9baf2729cf97e0b633db9a426f53362a5de540
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/58842
Kokoro: Kokoro <noreply+kokoro@google.com>
Commit-Queue: Ben Clayton <bclayton@google.com>
Reviewed-by: Ben Clayton <bclayton@google.com>
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm
new file mode 100644
index 0000000..8767ee3
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm
@@ -0,0 +1,120 @@
+ OpCapability Shader
+ %1 = OpExtInstImport "GLSL.std.450"
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %main "main" %_GLF_color
+ OpExecutionMode %main OriginUpperLeft
+ OpSource ESSL 310
+ OpName %main "main"
+ OpName %S "S"
+ OpMemberName %S 0 "x"
+ OpMemberName %S 1 "y"
+ OpName %func_struct_S_i1_i11_ "func(struct-S-i1-i11;"
+ OpName %arg "arg"
+ OpName %a "a"
+ OpName %b "b"
+ OpName %buf0 "buf0"
+ OpMemberName %buf0 0 "one"
+ OpName %_ ""
+ OpName %param "param"
+ OpName %_GLF_color "_GLF_color"
+ OpMemberDecorate %buf0 0 Offset 0
+ OpDecorate %buf0 Block
+ OpDecorate %_ DescriptorSet 0
+ OpDecorate %_ Binding 0
+ OpDecorate %_GLF_color Location 0
+ %void = OpTypeVoid
+ %13 = OpTypeFunction %void
+ %int = OpTypeInt 32 1
+ %S = OpTypeStruct %int %int
+%_ptr_Function_S = OpTypePointer Function %S
+ %16 = OpTypeFunction %void %_ptr_Function_S
+ %int_1 = OpConstant %int 1
+%_ptr_Function_int = OpTypePointer Function %int
+ %float = OpTypeFloat 32
+%_ptr_Function_float = OpTypePointer Function %float
+ %float_5 = OpConstant %float 5
+ %uint = OpTypeInt 32 0
+ %uint_2 = OpConstant %uint 2
+%_arr_S_uint_2 = OpTypeArray %S %uint_2
+%_ptr_Function__arr_S_uint_2 = OpTypePointer Function %_arr_S_uint_2
+ %buf0 = OpTypeStruct %int
+%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
+ %_ = OpVariable %_ptr_Uniform_buf0 Uniform
+ %int_0 = OpConstant %int 0
+%_ptr_Uniform_int = OpTypePointer Uniform %int
+ %bool = OpTypeBool
+ %float_0 = OpConstant %float 0
+ %false = OpConstantFalse %bool
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+ %_GLF_color = OpVariable %_ptr_Output_v4float Output
+ %float_1 = OpConstant %float 1
+ %35 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
+ %36 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
+ %main = OpFunction %void None %13
+ %37 = OpLabel
+ %a = OpVariable %_ptr_Function_float Function
+ %b = OpVariable %_ptr_Function__arr_S_uint_2 Function
+ %param = OpVariable %_ptr_Function_S Function
+ OpStore %a %float_5
+ OpBranch %38
+ %38 = OpLabel
+ OpLoopMerge %39 %40 None
+ OpBranch %41
+ %41 = OpLabel
+ %42 = OpAccessChain %_ptr_Uniform_int %_ %int_0
+ %43 = OpLoad %int %42
+ %44 = OpAccessChain %_ptr_Function_int %b %43 %int_0
+ OpStore %44 %int_1
+ %45 = OpAccessChain %_ptr_Function_int %b %int_1 %int_0
+ %46 = OpLoad %int %45
+ %47 = OpIEqual %bool %46 %int_1
+ OpSelectionMerge %48 None
+ OpBranchConditional %47 %49 %48
+ %49 = OpLabel
+ %50 = OpAccessChain %_ptr_Uniform_int %_ %int_0
+ %51 = OpLoad %int %50
+ %52 = OpIEqual %bool %51 %int_1
+ OpSelectionMerge %53 None
+ OpBranchConditional %52 %54 %53
+ %54 = OpLabel
+ OpBranch %39
+ %53 = OpLabel
+ %55 = OpAccessChain %_ptr_Function_S %b %int_1
+ %56 = OpLoad %S %55
+ OpStore %param %56
+ %57 = OpFunctionCall %void %func_struct_S_i1_i11_ %param
+ %58 = OpLoad %S %param
+ %59 = OpAccessChain %_ptr_Function_S %b %int_1
+ OpStore %59 %58
+ %60 = OpAccessChain %_ptr_Function_int %b %int_1 %int_1
+ %61 = OpLoad %int %60
+ %62 = OpConvertSToF %float %61
+ OpStore %a %62
+ OpBranch %48
+ %48 = OpLabel
+ OpStore %a %float_0
+ OpBranch %40
+ %40 = OpLabel
+ OpBranchConditional %false %38 %39
+ %39 = OpLabel
+ %63 = OpLoad %float %a
+ %64 = OpFOrdEqual %bool %63 %float_5
+ OpSelectionMerge %65 None
+ OpBranchConditional %64 %66 %67
+ %66 = OpLabel
+ OpStore %_GLF_color %35
+ OpBranch %65
+ %67 = OpLabel
+ OpStore %_GLF_color %36
+ OpBranch %65
+ %65 = OpLabel
+ OpReturn
+ OpFunctionEnd
+%func_struct_S_i1_i11_ = OpFunction %void None %16
+ %arg = OpFunctionParameter %_ptr_Function_S
+ %68 = OpLabel
+ %69 = OpAccessChain %_ptr_Function_int %arg %int_1
+ OpStore %69 %int_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.hlsl
new file mode 100644
index 0000000..0adcd37
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.hlsl
@@ -0,0 +1,65 @@
+struct S {
+ int x;
+ int y;
+};
+
+cbuffer cbuffer_x_10 : register(b0, space0) {
+ uint4 x_10[1];
+};
+static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+
+void func_struct_S_i1_i11_(inout S arg) {
+ arg.y = 1;
+ return;
+}
+
+void main_1() {
+ float a = 0.0f;
+ S b[2] = (S[2])0;
+ S param = (S)0;
+ a = 5.0f;
+ while (true) {
+ const int x_43 = asint(x_10[0].x);
+ b[x_43].x = 1;
+ const int x_46 = b[1].x;
+ if ((x_46 == 1)) {
+ const int x_51 = asint(x_10[0].x);
+ if ((x_51 == 1)) {
+ break;
+ }
+ const S x_56 = b[1];
+ param = x_56;
+ func_struct_S_i1_i11_(param);
+ b[1] = param;
+ const int x_61 = b[1].y;
+ a = float(x_61);
+ }
+ a = 0.0f;
+ {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ if ((a == 5.0f)) {
+ x_GLF_color = float4(1.0f, 0.0f, 0.0f, 1.0f);
+ } else {
+ x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+ }
+ return;
+}
+
+struct main_out {
+ float4 x_GLF_color_1;
+};
+struct tint_symbol {
+ float4 x_GLF_color_1 : SV_Target0;
+};
+
+tint_symbol main() {
+ main_1();
+ const main_out tint_symbol_1 = {x_GLF_color};
+ const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
+ return tint_symbol_3;
+}
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.msl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.msl
new file mode 100644
index 0000000..a0d65d8
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.msl
@@ -0,0 +1,72 @@
+#include <metal_stdlib>
+
+using namespace metal;
+struct S {
+ int x;
+ int y;
+};
+struct buf0 {
+ /* 0x0000 */ int one;
+};
+struct tint_array_wrapper {
+ S arr[2];
+};
+struct main_out {
+ float4 x_GLF_color_1;
+};
+struct tint_symbol_1 {
+ float4 x_GLF_color_1 [[color(0)]];
+};
+
+void func_struct_S_i1_i11_(thread S* const arg) {
+ (*(arg)).y = 1;
+ return;
+}
+
+void main_1(constant buf0& x_10, thread float4* const tint_symbol_4) {
+ float a = 0.0f;
+ tint_array_wrapper b = {};
+ S param = {};
+ a = 5.0f;
+ while (true) {
+ int const x_43 = x_10.one;
+ b.arr[x_43].x = 1;
+ int const x_46 = b.arr[1].x;
+ if ((x_46 == 1)) {
+ int const x_51 = x_10.one;
+ if ((x_51 == 1)) {
+ break;
+ }
+ S const x_56 = b.arr[1];
+ param = x_56;
+ func_struct_S_i1_i11_(&(param));
+ S const x_58 = param;
+ b.arr[1] = x_58;
+ int const x_61 = b.arr[1].y;
+ a = float(x_61);
+ }
+ a = 0.0f;
+ {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ float const x_63 = a;
+ if ((x_63 == 5.0f)) {
+ *(tint_symbol_4) = float4(1.0f, 0.0f, 0.0f, 1.0f);
+ } else {
+ *(tint_symbol_4) = float4(0.0f, 0.0f, 0.0f, 0.0f);
+ }
+ return;
+}
+
+fragment tint_symbol_1 tint_symbol(constant buf0& x_10 [[buffer(0)]]) {
+ thread float4 tint_symbol_5 = 0.0f;
+ main_1(x_10, &(tint_symbol_5));
+ main_out const tint_symbol_2 = {.x_GLF_color_1=tint_symbol_5};
+ tint_symbol_1 const tint_symbol_3 = {.x_GLF_color_1=tint_symbol_2.x_GLF_color_1};
+ return tint_symbol_3;
+}
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.spvasm b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.spvasm
new file mode 100644
index 0000000..5969228
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.spvasm
@@ -0,0 +1,170 @@
+SKIP: FAILED
+
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 93
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %main "main" %tint_symbol_1
+ OpExecutionMode %main OriginUpperLeft
+ OpName %buf0 "buf0"
+ OpMemberName %buf0 0 "one"
+ OpName %x_10 "x_10"
+ OpName %x_GLF_color "x_GLF_color"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %S "S"
+ OpMemberName %S 0 "x"
+ OpMemberName %S 1 "y"
+ OpName %func_struct_S_i1_i11_ "func_struct_S_i1_i11_"
+ OpName %arg "arg"
+ OpName %main_1 "main_1"
+ OpName %a "a"
+ OpName %b "b"
+ OpName %param "param"
+ OpName %main_out "main_out"
+ OpMemberName %main_out 0 "x_GLF_color_1"
+ OpName %tint_symbol_2 "tint_symbol_2"
+ OpName %tint_symbol "tint_symbol"
+ OpName %main "main"
+ OpDecorate %buf0 Block
+ OpMemberDecorate %buf0 0 Offset 0
+ OpDecorate %x_10 NonWritable
+ OpDecorate %x_10 DescriptorSet 0
+ OpDecorate %x_10 Binding 0
+ OpDecorate %tint_symbol_1 Location 0
+ OpMemberDecorate %S 0 Offset 0
+ OpMemberDecorate %S 1 Offset 4
+ OpDecorate %_arr_S_uint_2 ArrayStride 8
+ OpMemberDecorate %main_out 0 Offset 0
+ %int = OpTypeInt 32 1
+ %buf0 = OpTypeStruct %int
+%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
+ %x_10 = OpVariable %_ptr_Uniform_buf0 Uniform
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Private_v4float = OpTypePointer Private %v4float
+ %9 = OpConstantNull %v4float
+%x_GLF_color = OpVariable %_ptr_Private_v4float Private %9
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%tint_symbol_1 = OpVariable %_ptr_Output_v4float Output %9
+ %void = OpTypeVoid
+ %S = OpTypeStruct %int %int
+%_ptr_Function_S = OpTypePointer Function %S
+ %12 = OpTypeFunction %void %_ptr_Function_S
+ %uint = OpTypeInt 32 0
+ %uint_1 = OpConstant %uint 1
+%_ptr_Function_int = OpTypePointer Function %int
+ %int_1 = OpConstant %int 1
+ %25 = OpTypeFunction %void
+%_ptr_Function_float = OpTypePointer Function %float
+ %30 = OpConstantNull %float
+ %uint_2 = OpConstant %uint 2
+%_arr_S_uint_2 = OpTypeArray %S %uint_2
+%_ptr_Function__arr_S_uint_2 = OpTypePointer Function %_arr_S_uint_2
+ %35 = OpConstantNull %_arr_S_uint_2
+ %37 = OpConstantNull %S
+ %float_5 = OpConstant %float 5
+ %uint_0 = OpConstant %uint 0
+%_ptr_Uniform_int = OpTypePointer Uniform %int
+ %bool = OpTypeBool
+ %float_0 = OpConstant %float 0
+ %false = OpConstantFalse %bool
+ %float_1 = OpConstant %float 1
+ %79 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
+ %80 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
+ %main_out = OpTypeStruct %v4float
+ %81 = OpTypeFunction %void %main_out
+%func_struct_S_i1_i11_ = OpFunction %void None %12
+ %arg = OpFunctionParameter %_ptr_Function_S
+ %18 = OpLabel
+ %23 = OpAccessChain %_ptr_Function_int %arg %uint_1
+ OpStore %23 %int_1
+ OpReturn
+ OpFunctionEnd
+ %main_1 = OpFunction %void None %25
+ %27 = OpLabel
+ %a = OpVariable %_ptr_Function_float Function %30
+ %b = OpVariable %_ptr_Function__arr_S_uint_2 Function %35
+ %param = OpVariable %_ptr_Function_S Function %37
+ OpStore %a %float_5
+ OpBranch %39
+ %39 = OpLabel
+ OpLoopMerge %40 %41 None
+ OpBranch %42
+ %42 = OpLabel
+ %45 = OpAccessChain %_ptr_Uniform_int %x_10 %uint_0
+ %46 = OpLoad %int %45
+ %47 = OpAccessChain %_ptr_Function_int %b %46 %uint_0
+ OpStore %47 %int_1
+ %48 = OpAccessChain %_ptr_Function_int %b %int_1 %uint_0
+ %49 = OpLoad %int %48
+ %50 = OpIEqual %bool %49 %int_1
+ OpSelectionMerge %52 None
+ OpBranchConditional %50 %53 %52
+ %53 = OpLabel
+ %54 = OpAccessChain %_ptr_Uniform_int %x_10 %uint_0
+ %55 = OpLoad %int %54
+ %56 = OpIEqual %bool %55 %int_1
+ OpSelectionMerge %57 None
+ OpBranchConditional %56 %58 %57
+ %58 = OpLabel
+ OpBranch %40
+ %57 = OpLabel
+ %59 = OpAccessChain %_ptr_Function_S %b %int_1
+ %60 = OpLoad %S %59
+ OpStore %param %60
+ %61 = OpFunctionCall %void %func_struct_S_i1_i11_ %param
+ %63 = OpLoad %S %param
+ %64 = OpAccessChain %_ptr_Function_S %b %int_1
+ OpStore %64 %63
+ %65 = OpAccessChain %_ptr_Function_int %b %int_1 %uint_1
+ %66 = OpLoad %int %65
+ %67 = OpConvertSToF %float %66
+ OpStore %a %67
+ OpBranch %52
+ %52 = OpLabel
+ OpStore %a %float_0
+ OpBranch %41
+ %41 = OpLabel
+ OpSelectionMerge %70 None
+ OpBranchConditional %false %71 %72
+ %71 = OpLabel
+ OpBranch %70
+ %72 = OpLabel
+ OpBranch %40
+ %70 = OpLabel
+ OpBranch %39
+ %40 = OpLabel
+ %73 = OpLoad %float %a
+ %74 = OpFOrdEqual %bool %73 %float_5
+ OpSelectionMerge %75 None
+ OpBranchConditional %74 %76 %77
+ %76 = OpLabel
+ OpStore %x_GLF_color %79
+ OpBranch %75
+ %77 = OpLabel
+ OpStore %x_GLF_color %80
+ OpBranch %75
+ %75 = OpLabel
+ OpReturn
+ OpFunctionEnd
+%tint_symbol_2 = OpFunction %void None %81
+%tint_symbol = OpFunctionParameter %main_out
+ %85 = OpLabel
+ %86 = OpCompositeExtract %v4float %tint_symbol 0
+ OpStore %tint_symbol_1 %86
+ OpReturn
+ OpFunctionEnd
+ %main = OpFunction %void None %25
+ %88 = OpLabel
+ %89 = OpFunctionCall %void %main_1
+ %91 = OpLoad %v4float %x_GLF_color
+ %92 = OpCompositeConstruct %main_out %91
+ %90 = OpFunctionCall %void %tint_symbol_2 %92
+ OpReturn
+ OpFunctionEnd
+1:1: The continue construct with the continue target 41[%41] is not post dominated by the back-edge block 70[%70]
+ %70 = OpLabel
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.wgsl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.wgsl
new file mode 100644
index 0000000..779fafc
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.spvasm.expected.wgsl
@@ -0,0 +1,69 @@
+struct S {
+ x : i32;
+ y : i32;
+};
+
+[[block]]
+struct buf0 {
+ one : i32;
+};
+
+[[group(0), binding(0)]] var<uniform> x_10 : buf0;
+
+var<private> x_GLF_color : vec4<f32>;
+
+fn func_struct_S_i1_i11_(arg : ptr<function, S>) {
+ (*(arg)).y = 1;
+ return;
+}
+
+fn main_1() {
+ var a : f32;
+ var b : array<S, 2>;
+ var param : S;
+ a = 5.0;
+ loop {
+ let x_43 : i32 = x_10.one;
+ b[x_43].x = 1;
+ let x_46 : i32 = b[1].x;
+ if ((x_46 == 1)) {
+ let x_51 : i32 = x_10.one;
+ if ((x_51 == 1)) {
+ break;
+ }
+ let x_56 : S = b[1];
+ param = x_56;
+ func_struct_S_i1_i11_(&(param));
+ let x_58 : S = param;
+ b[1] = x_58;
+ let x_61 : i32 = b[1].y;
+ a = f32(x_61);
+ }
+ a = 0.0;
+
+ continuing {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ let x_63 : f32 = a;
+ if ((x_63 == 5.0)) {
+ x_GLF_color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
+ } else {
+ x_GLF_color = vec4<f32>(0.0, 0.0, 0.0, 0.0);
+ }
+ return;
+}
+
+struct main_out {
+ [[location(0)]]
+ x_GLF_color_1 : vec4<f32>;
+};
+
+[[stage(fragment)]]
+fn main() -> main_out {
+ main_1();
+ return main_out(x_GLF_color);
+}
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl
new file mode 100644
index 0000000..779fafc
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl
@@ -0,0 +1,69 @@
+struct S {
+ x : i32;
+ y : i32;
+};
+
+[[block]]
+struct buf0 {
+ one : i32;
+};
+
+[[group(0), binding(0)]] var<uniform> x_10 : buf0;
+
+var<private> x_GLF_color : vec4<f32>;
+
+fn func_struct_S_i1_i11_(arg : ptr<function, S>) {
+ (*(arg)).y = 1;
+ return;
+}
+
+fn main_1() {
+ var a : f32;
+ var b : array<S, 2>;
+ var param : S;
+ a = 5.0;
+ loop {
+ let x_43 : i32 = x_10.one;
+ b[x_43].x = 1;
+ let x_46 : i32 = b[1].x;
+ if ((x_46 == 1)) {
+ let x_51 : i32 = x_10.one;
+ if ((x_51 == 1)) {
+ break;
+ }
+ let x_56 : S = b[1];
+ param = x_56;
+ func_struct_S_i1_i11_(&(param));
+ let x_58 : S = param;
+ b[1] = x_58;
+ let x_61 : i32 = b[1].y;
+ a = f32(x_61);
+ }
+ a = 0.0;
+
+ continuing {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ let x_63 : f32 = a;
+ if ((x_63 == 5.0)) {
+ x_GLF_color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
+ } else {
+ x_GLF_color = vec4<f32>(0.0, 0.0, 0.0, 0.0);
+ }
+ return;
+}
+
+struct main_out {
+ [[location(0)]]
+ x_GLF_color_1 : vec4<f32>;
+};
+
+[[stage(fragment)]]
+fn main() -> main_out {
+ main_1();
+ return main_out(x_GLF_color);
+}
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.hlsl
new file mode 100644
index 0000000..0adcd37
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.hlsl
@@ -0,0 +1,65 @@
+struct S {
+ int x;
+ int y;
+};
+
+cbuffer cbuffer_x_10 : register(b0, space0) {
+ uint4 x_10[1];
+};
+static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+
+void func_struct_S_i1_i11_(inout S arg) {
+ arg.y = 1;
+ return;
+}
+
+void main_1() {
+ float a = 0.0f;
+ S b[2] = (S[2])0;
+ S param = (S)0;
+ a = 5.0f;
+ while (true) {
+ const int x_43 = asint(x_10[0].x);
+ b[x_43].x = 1;
+ const int x_46 = b[1].x;
+ if ((x_46 == 1)) {
+ const int x_51 = asint(x_10[0].x);
+ if ((x_51 == 1)) {
+ break;
+ }
+ const S x_56 = b[1];
+ param = x_56;
+ func_struct_S_i1_i11_(param);
+ b[1] = param;
+ const int x_61 = b[1].y;
+ a = float(x_61);
+ }
+ a = 0.0f;
+ {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ if ((a == 5.0f)) {
+ x_GLF_color = float4(1.0f, 0.0f, 0.0f, 1.0f);
+ } else {
+ x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+ }
+ return;
+}
+
+struct main_out {
+ float4 x_GLF_color_1;
+};
+struct tint_symbol {
+ float4 x_GLF_color_1 : SV_Target0;
+};
+
+tint_symbol main() {
+ main_1();
+ const main_out tint_symbol_1 = {x_GLF_color};
+ const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
+ return tint_symbol_3;
+}
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.msl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.msl
new file mode 100644
index 0000000..a0d65d8
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.msl
@@ -0,0 +1,72 @@
+#include <metal_stdlib>
+
+using namespace metal;
+struct S {
+ int x;
+ int y;
+};
+struct buf0 {
+ /* 0x0000 */ int one;
+};
+struct tint_array_wrapper {
+ S arr[2];
+};
+struct main_out {
+ float4 x_GLF_color_1;
+};
+struct tint_symbol_1 {
+ float4 x_GLF_color_1 [[color(0)]];
+};
+
+void func_struct_S_i1_i11_(thread S* const arg) {
+ (*(arg)).y = 1;
+ return;
+}
+
+void main_1(constant buf0& x_10, thread float4* const tint_symbol_4) {
+ float a = 0.0f;
+ tint_array_wrapper b = {};
+ S param = {};
+ a = 5.0f;
+ while (true) {
+ int const x_43 = x_10.one;
+ b.arr[x_43].x = 1;
+ int const x_46 = b.arr[1].x;
+ if ((x_46 == 1)) {
+ int const x_51 = x_10.one;
+ if ((x_51 == 1)) {
+ break;
+ }
+ S const x_56 = b.arr[1];
+ param = x_56;
+ func_struct_S_i1_i11_(&(param));
+ S const x_58 = param;
+ b.arr[1] = x_58;
+ int const x_61 = b.arr[1].y;
+ a = float(x_61);
+ }
+ a = 0.0f;
+ {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ float const x_63 = a;
+ if ((x_63 == 5.0f)) {
+ *(tint_symbol_4) = float4(1.0f, 0.0f, 0.0f, 1.0f);
+ } else {
+ *(tint_symbol_4) = float4(0.0f, 0.0f, 0.0f, 0.0f);
+ }
+ return;
+}
+
+fragment tint_symbol_1 tint_symbol(constant buf0& x_10 [[buffer(0)]]) {
+ thread float4 tint_symbol_5 = 0.0f;
+ main_1(x_10, &(tint_symbol_5));
+ main_out const tint_symbol_2 = {.x_GLF_color_1=tint_symbol_5};
+ tint_symbol_1 const tint_symbol_3 = {.x_GLF_color_1=tint_symbol_2.x_GLF_color_1};
+ return tint_symbol_3;
+}
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.spvasm b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.spvasm
new file mode 100644
index 0000000..5969228
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.spvasm
@@ -0,0 +1,170 @@
+SKIP: FAILED
+
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 93
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %main "main" %tint_symbol_1
+ OpExecutionMode %main OriginUpperLeft
+ OpName %buf0 "buf0"
+ OpMemberName %buf0 0 "one"
+ OpName %x_10 "x_10"
+ OpName %x_GLF_color "x_GLF_color"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %S "S"
+ OpMemberName %S 0 "x"
+ OpMemberName %S 1 "y"
+ OpName %func_struct_S_i1_i11_ "func_struct_S_i1_i11_"
+ OpName %arg "arg"
+ OpName %main_1 "main_1"
+ OpName %a "a"
+ OpName %b "b"
+ OpName %param "param"
+ OpName %main_out "main_out"
+ OpMemberName %main_out 0 "x_GLF_color_1"
+ OpName %tint_symbol_2 "tint_symbol_2"
+ OpName %tint_symbol "tint_symbol"
+ OpName %main "main"
+ OpDecorate %buf0 Block
+ OpMemberDecorate %buf0 0 Offset 0
+ OpDecorate %x_10 NonWritable
+ OpDecorate %x_10 DescriptorSet 0
+ OpDecorate %x_10 Binding 0
+ OpDecorate %tint_symbol_1 Location 0
+ OpMemberDecorate %S 0 Offset 0
+ OpMemberDecorate %S 1 Offset 4
+ OpDecorate %_arr_S_uint_2 ArrayStride 8
+ OpMemberDecorate %main_out 0 Offset 0
+ %int = OpTypeInt 32 1
+ %buf0 = OpTypeStruct %int
+%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
+ %x_10 = OpVariable %_ptr_Uniform_buf0 Uniform
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Private_v4float = OpTypePointer Private %v4float
+ %9 = OpConstantNull %v4float
+%x_GLF_color = OpVariable %_ptr_Private_v4float Private %9
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%tint_symbol_1 = OpVariable %_ptr_Output_v4float Output %9
+ %void = OpTypeVoid
+ %S = OpTypeStruct %int %int
+%_ptr_Function_S = OpTypePointer Function %S
+ %12 = OpTypeFunction %void %_ptr_Function_S
+ %uint = OpTypeInt 32 0
+ %uint_1 = OpConstant %uint 1
+%_ptr_Function_int = OpTypePointer Function %int
+ %int_1 = OpConstant %int 1
+ %25 = OpTypeFunction %void
+%_ptr_Function_float = OpTypePointer Function %float
+ %30 = OpConstantNull %float
+ %uint_2 = OpConstant %uint 2
+%_arr_S_uint_2 = OpTypeArray %S %uint_2
+%_ptr_Function__arr_S_uint_2 = OpTypePointer Function %_arr_S_uint_2
+ %35 = OpConstantNull %_arr_S_uint_2
+ %37 = OpConstantNull %S
+ %float_5 = OpConstant %float 5
+ %uint_0 = OpConstant %uint 0
+%_ptr_Uniform_int = OpTypePointer Uniform %int
+ %bool = OpTypeBool
+ %float_0 = OpConstant %float 0
+ %false = OpConstantFalse %bool
+ %float_1 = OpConstant %float 1
+ %79 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
+ %80 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
+ %main_out = OpTypeStruct %v4float
+ %81 = OpTypeFunction %void %main_out
+%func_struct_S_i1_i11_ = OpFunction %void None %12
+ %arg = OpFunctionParameter %_ptr_Function_S
+ %18 = OpLabel
+ %23 = OpAccessChain %_ptr_Function_int %arg %uint_1
+ OpStore %23 %int_1
+ OpReturn
+ OpFunctionEnd
+ %main_1 = OpFunction %void None %25
+ %27 = OpLabel
+ %a = OpVariable %_ptr_Function_float Function %30
+ %b = OpVariable %_ptr_Function__arr_S_uint_2 Function %35
+ %param = OpVariable %_ptr_Function_S Function %37
+ OpStore %a %float_5
+ OpBranch %39
+ %39 = OpLabel
+ OpLoopMerge %40 %41 None
+ OpBranch %42
+ %42 = OpLabel
+ %45 = OpAccessChain %_ptr_Uniform_int %x_10 %uint_0
+ %46 = OpLoad %int %45
+ %47 = OpAccessChain %_ptr_Function_int %b %46 %uint_0
+ OpStore %47 %int_1
+ %48 = OpAccessChain %_ptr_Function_int %b %int_1 %uint_0
+ %49 = OpLoad %int %48
+ %50 = OpIEqual %bool %49 %int_1
+ OpSelectionMerge %52 None
+ OpBranchConditional %50 %53 %52
+ %53 = OpLabel
+ %54 = OpAccessChain %_ptr_Uniform_int %x_10 %uint_0
+ %55 = OpLoad %int %54
+ %56 = OpIEqual %bool %55 %int_1
+ OpSelectionMerge %57 None
+ OpBranchConditional %56 %58 %57
+ %58 = OpLabel
+ OpBranch %40
+ %57 = OpLabel
+ %59 = OpAccessChain %_ptr_Function_S %b %int_1
+ %60 = OpLoad %S %59
+ OpStore %param %60
+ %61 = OpFunctionCall %void %func_struct_S_i1_i11_ %param
+ %63 = OpLoad %S %param
+ %64 = OpAccessChain %_ptr_Function_S %b %int_1
+ OpStore %64 %63
+ %65 = OpAccessChain %_ptr_Function_int %b %int_1 %uint_1
+ %66 = OpLoad %int %65
+ %67 = OpConvertSToF %float %66
+ OpStore %a %67
+ OpBranch %52
+ %52 = OpLabel
+ OpStore %a %float_0
+ OpBranch %41
+ %41 = OpLabel
+ OpSelectionMerge %70 None
+ OpBranchConditional %false %71 %72
+ %71 = OpLabel
+ OpBranch %70
+ %72 = OpLabel
+ OpBranch %40
+ %70 = OpLabel
+ OpBranch %39
+ %40 = OpLabel
+ %73 = OpLoad %float %a
+ %74 = OpFOrdEqual %bool %73 %float_5
+ OpSelectionMerge %75 None
+ OpBranchConditional %74 %76 %77
+ %76 = OpLabel
+ OpStore %x_GLF_color %79
+ OpBranch %75
+ %77 = OpLabel
+ OpStore %x_GLF_color %80
+ OpBranch %75
+ %75 = OpLabel
+ OpReturn
+ OpFunctionEnd
+%tint_symbol_2 = OpFunction %void None %81
+%tint_symbol = OpFunctionParameter %main_out
+ %85 = OpLabel
+ %86 = OpCompositeExtract %v4float %tint_symbol 0
+ OpStore %tint_symbol_1 %86
+ OpReturn
+ OpFunctionEnd
+ %main = OpFunction %void None %25
+ %88 = OpLabel
+ %89 = OpFunctionCall %void %main_1
+ %91 = OpLoad %v4float %x_GLF_color
+ %92 = OpCompositeConstruct %main_out %91
+ %90 = OpFunctionCall %void %tint_symbol_2 %92
+ OpReturn
+ OpFunctionEnd
+1:1: The continue construct with the continue target 41[%41] is not post dominated by the back-edge block 70[%70]
+ %70 = OpLabel
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.wgsl b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.wgsl
new file mode 100644
index 0000000..779fafc
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reduce-load-replace-extract/0-opt.wgsl.expected.wgsl
@@ -0,0 +1,69 @@
+struct S {
+ x : i32;
+ y : i32;
+};
+
+[[block]]
+struct buf0 {
+ one : i32;
+};
+
+[[group(0), binding(0)]] var<uniform> x_10 : buf0;
+
+var<private> x_GLF_color : vec4<f32>;
+
+fn func_struct_S_i1_i11_(arg : ptr<function, S>) {
+ (*(arg)).y = 1;
+ return;
+}
+
+fn main_1() {
+ var a : f32;
+ var b : array<S, 2>;
+ var param : S;
+ a = 5.0;
+ loop {
+ let x_43 : i32 = x_10.one;
+ b[x_43].x = 1;
+ let x_46 : i32 = b[1].x;
+ if ((x_46 == 1)) {
+ let x_51 : i32 = x_10.one;
+ if ((x_51 == 1)) {
+ break;
+ }
+ let x_56 : S = b[1];
+ param = x_56;
+ func_struct_S_i1_i11_(&(param));
+ let x_58 : S = param;
+ b[1] = x_58;
+ let x_61 : i32 = b[1].y;
+ a = f32(x_61);
+ }
+ a = 0.0;
+
+ continuing {
+ if (false) {
+ } else {
+ break;
+ }
+ }
+ }
+ let x_63 : f32 = a;
+ if ((x_63 == 5.0)) {
+ x_GLF_color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
+ } else {
+ x_GLF_color = vec4<f32>(0.0, 0.0, 0.0, 0.0);
+ }
+ return;
+}
+
+struct main_out {
+ [[location(0)]]
+ x_GLF_color_1 : vec4<f32>;
+};
+
+[[stage(fragment)]]
+fn main() -> main_out {
+ main_1();
+ return main_out(x_GLF_color);
+}
