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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm
new file mode 100644
index 0000000..5730c8b
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm
@@ -0,0 +1,112 @@
+ 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 %a "a"
+ OpName %buf0 "buf0"
+ OpMemberName %buf0 0 "_GLF_uniform_int_values"
+ OpName %_ ""
+ OpName %i "i"
+ OpName %_GLF_color "_GLF_color"
+ OpDecorate %_arr_int_uint_4 ArrayStride 16
+ OpMemberDecorate %buf0 0 Offset 0
+ OpDecorate %buf0 Block
+ OpDecorate %_ DescriptorSet 0
+ OpDecorate %_ Binding 0
+ OpDecorate %_GLF_color Location 0
+ %void = OpTypeVoid
+ %10 = OpTypeFunction %void
+ %int = OpTypeInt 32 1
+%_ptr_Function_int = OpTypePointer Function %int
+ %uint = OpTypeInt 32 0
+ %uint_4 = OpConstant %uint 4
+%_arr_int_uint_4 = OpTypeArray %int %uint_4
+ %buf0 = OpTypeStruct %_arr_int_uint_4
+%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
+ %_ = OpVariable %_ptr_Uniform_buf0 Uniform
+ %int_0 = OpConstant %int 0
+ %int_2 = OpConstant %int 2
+%_ptr_Uniform_int = OpTypePointer Uniform %int
+ %int_3 = OpConstant %int 3
+ %bool = OpTypeBool
+ %int_1 = OpConstant %int 1
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+ %_GLF_color = OpVariable %_ptr_Output_v4float Output
+ %main = OpFunction %void None %10
+ %25 = OpLabel
+ %a = OpVariable %_ptr_Function_int Function
+ %i = OpVariable %_ptr_Function_int Function
+ %26 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_2
+ %27 = OpLoad %int %26
+ OpStore %a %27
+ %28 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_3
+ %29 = OpLoad %int %28
+ OpStore %i %29
+ OpBranch %30
+ %30 = OpLabel
+ OpLoopMerge %31 %32 None
+ OpBranch %33
+ %33 = OpLabel
+ %34 = OpLoad %int %i
+ %35 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_0
+ %36 = OpLoad %int %35
+ %37 = OpSLessThan %bool %34 %36
+ OpBranchConditional %37 %38 %31
+ %38 = OpLabel
+ %39 = OpLoad %int %i
+ %40 = OpSMod %int %int_1 %39
+ %41 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_2
+ %42 = OpLoad %int %41
+ %43 = OpIEqual %bool %40 %42
+ OpSelectionMerge %44 None
+ OpBranchConditional %43 %45 %44
+ %45 = OpLabel
+ OpBranch %32
+ %44 = OpLabel
+ %46 = OpLoad %int %a
+ %47 = OpIAdd %int %46 %int_1
+ OpStore %a %47
+ OpBranch %32
+ %32 = OpLabel
+ %48 = OpLoad %int %i
+ %49 = OpIAdd %int %48 %int_1
+ OpStore %i %49
+ OpBranch %30
+ %31 = OpLabel
+ %50 = OpLoad %int %a
+ %51 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_1
+ %52 = OpLoad %int %51
+ %53 = OpIEqual %bool %50 %52
+ OpSelectionMerge %54 None
+ OpBranchConditional %53 %55 %56
+ %55 = OpLabel
+ %57 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_3
+ %58 = OpLoad %int %57
+ %59 = OpConvertSToF %float %58
+ %60 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_2
+ %61 = OpLoad %int %60
+ %62 = OpConvertSToF %float %61
+ %63 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_2
+ %64 = OpLoad %int %63
+ %65 = OpConvertSToF %float %64
+ %66 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_3
+ %67 = OpLoad %int %66
+ %68 = OpConvertSToF %float %67
+ %69 = OpCompositeConstruct %v4float %59 %62 %65 %68
+ OpStore %_GLF_color %69
+ OpBranch %54
+ %56 = OpLabel
+ %70 = OpAccessChain %_ptr_Uniform_int %_ %int_0 %int_2
+ %71 = OpLoad %int %70
+ %72 = OpConvertSToF %float %71
+ %73 = OpCompositeConstruct %v4float %72 %72 %72 %72
+ OpStore %_GLF_color %73
+ OpBranch %54
+ %54 = OpLabel
+ OpReturn
+ OpFunctionEnd
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.hlsl
new file mode 100644
index 0000000..ad949e0
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.hlsl
@@ -0,0 +1,62 @@
+cbuffer cbuffer_x_6 : register(b0, space0) {
+ uint4 x_6[4];
+};
+static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+
+void main_1() {
+ int a = 0;
+ int i = 0;
+ const int x_27 = asint(x_6[2].x);
+ a = x_27;
+ const int x_29 = asint(x_6[3].x);
+ i = x_29;
+ while (true) {
+ const int x_34 = i;
+ const uint scalar_offset = ((16u * uint(0))) / 4;
+ const int x_36 = asint(x_6[scalar_offset / 4][scalar_offset % 4]);
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ const int x_39 = i;
+ const int x_42 = asint(x_6[2].x);
+ if (((1 % x_39) == x_42)) {
+ {
+ i = (i + 1);
+ }
+ continue;
+ }
+ a = (a + 1);
+ {
+ i = (i + 1);
+ }
+ }
+ const int x_50 = a;
+ const int x_52 = asint(x_6[1].x);
+ if ((x_50 == x_52)) {
+ const int x_58 = asint(x_6[3].x);
+ const int x_61 = asint(x_6[2].x);
+ const int x_64 = asint(x_6[2].x);
+ const int x_67 = asint(x_6[3].x);
+ x_GLF_color = float4(float(x_58), float(x_61), float(x_64), float(x_67));
+ } else {
+ const int x_71 = asint(x_6[2].x);
+ const float x_72 = float(x_71);
+ x_GLF_color = float4(x_72, x_72, x_72, x_72);
+ }
+ 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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.msl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.msl
new file mode 100644
index 0000000..bd9b04a
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.msl
@@ -0,0 +1,74 @@
+#include <metal_stdlib>
+
+using namespace metal;
+struct tint_padded_array_element {
+ /* 0x0000 */ int el;
+ /* 0x0004 */ int8_t tint_pad[12];
+};
+struct tint_array_wrapper {
+ /* 0x0000 */ tint_padded_array_element arr[4];
+};
+struct buf0 {
+ /* 0x0000 */ tint_array_wrapper x_GLF_uniform_int_values;
+};
+struct main_out {
+ float4 x_GLF_color_1;
+};
+struct tint_symbol_1 {
+ float4 x_GLF_color_1 [[color(0)]];
+};
+
+void main_1(constant buf0& x_6, thread float4* const tint_symbol_4) {
+ int a = 0;
+ int i = 0;
+ int const x_27 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ a = x_27;
+ int const x_29 = x_6.x_GLF_uniform_int_values.arr[3].el;
+ i = x_29;
+ while (true) {
+ int const x_34 = i;
+ int const x_36 = x_6.x_GLF_uniform_int_values.arr[0].el;
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ int const x_39 = i;
+ int const x_42 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ if (((1 % x_39) == x_42)) {
+ {
+ int const x_48 = i;
+ i = (x_48 + 1);
+ }
+ continue;
+ }
+ int const x_46 = a;
+ a = (x_46 + 1);
+ {
+ int const x_48 = i;
+ i = (x_48 + 1);
+ }
+ }
+ int const x_50 = a;
+ int const x_52 = x_6.x_GLF_uniform_int_values.arr[1].el;
+ if ((x_50 == x_52)) {
+ int const x_58 = x_6.x_GLF_uniform_int_values.arr[3].el;
+ int const x_61 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ int const x_64 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ int const x_67 = x_6.x_GLF_uniform_int_values.arr[3].el;
+ *(tint_symbol_4) = float4(float(x_58), float(x_61), float(x_64), float(x_67));
+ } else {
+ int const x_71 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ float const x_72 = float(x_71);
+ *(tint_symbol_4) = float4(x_72, x_72, x_72, x_72);
+ }
+ return;
+}
+
+fragment tint_symbol_1 tint_symbol(constant buf0& x_6 [[buffer(0)]]) {
+ thread float4 tint_symbol_5 = 0.0f;
+ main_1(x_6, &(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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.spvasm b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.spvasm
new file mode 100644
index 0000000..815ee58
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.spvasm
@@ -0,0 +1,150 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 92
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %main "main" %tint_symbol_1
+ OpExecutionMode %main OriginUpperLeft
+ OpName %buf0 "buf0"
+ OpMemberName %buf0 0 "x_GLF_uniform_int_values"
+ OpName %x_6 "x_6"
+ OpName %x_GLF_color "x_GLF_color"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %main_1 "main_1"
+ OpName %a "a"
+ OpName %i "i"
+ 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 %_arr_int_uint_4 ArrayStride 16
+ OpDecorate %x_6 NonWritable
+ OpDecorate %x_6 DescriptorSet 0
+ OpDecorate %x_6 Binding 0
+ OpDecorate %tint_symbol_1 Location 0
+ OpMemberDecorate %main_out 0 Offset 0
+ %int = OpTypeInt 32 1
+ %uint = OpTypeInt 32 0
+ %uint_4 = OpConstant %uint 4
+%_arr_int_uint_4 = OpTypeArray %int %uint_4
+ %buf0 = OpTypeStruct %_arr_int_uint_4
+%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
+ %x_6 = OpVariable %_ptr_Uniform_buf0 Uniform
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Private_v4float = OpTypePointer Private %v4float
+ %12 = OpConstantNull %v4float
+%x_GLF_color = OpVariable %_ptr_Private_v4float Private %12
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%tint_symbol_1 = OpVariable %_ptr_Output_v4float Output %12
+ %void = OpTypeVoid
+ %15 = OpTypeFunction %void
+%_ptr_Function_int = OpTypePointer Function %int
+ %21 = OpConstantNull %int
+ %uint_0 = OpConstant %uint 0
+ %int_2 = OpConstant %int 2
+%_ptr_Uniform_int = OpTypePointer Uniform %int
+ %int_3 = OpConstant %int 3
+ %int_0 = OpConstant %int 0
+ %bool = OpTypeBool
+ %int_1 = OpConstant %int 1
+ %main_out = OpTypeStruct %v4float
+ %80 = OpTypeFunction %void %main_out
+ %main_1 = OpFunction %void None %15
+ %18 = OpLabel
+ %a = OpVariable %_ptr_Function_int Function %21
+ %i = OpVariable %_ptr_Function_int Function %21
+ %26 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %27 = OpLoad %int %26
+ OpStore %a %27
+ %29 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_3
+ %30 = OpLoad %int %29
+ OpStore %i %30
+ OpBranch %31
+ %31 = OpLabel
+ OpLoopMerge %32 %33 None
+ OpBranch %34
+ %34 = OpLabel
+ %35 = OpLoad %int %i
+ %37 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_0
+ %38 = OpLoad %int %37
+ %39 = OpSLessThan %bool %35 %38
+ OpSelectionMerge %41 None
+ OpBranchConditional %39 %42 %43
+ %42 = OpLabel
+ OpBranch %41
+ %43 = OpLabel
+ OpBranch %32
+ %41 = OpLabel
+ %44 = OpLoad %int %i
+ %45 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %46 = OpLoad %int %45
+ %48 = OpSMod %int %int_1 %44
+ %49 = OpIEqual %bool %48 %46
+ OpSelectionMerge %50 None
+ OpBranchConditional %49 %51 %50
+ %51 = OpLabel
+ OpBranch %33
+ %50 = OpLabel
+ %52 = OpLoad %int %a
+ %53 = OpIAdd %int %52 %int_1
+ OpStore %a %53
+ OpBranch %33
+ %33 = OpLabel
+ %54 = OpLoad %int %i
+ %55 = OpIAdd %int %54 %int_1
+ OpStore %i %55
+ OpBranch %31
+ %32 = OpLabel
+ %56 = OpLoad %int %a
+ %57 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_1
+ %58 = OpLoad %int %57
+ %59 = OpIEqual %bool %56 %58
+ OpSelectionMerge %60 None
+ OpBranchConditional %59 %61 %62
+ %61 = OpLabel
+ %63 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_3
+ %64 = OpLoad %int %63
+ %65 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %66 = OpLoad %int %65
+ %67 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %68 = OpLoad %int %67
+ %69 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_3
+ %70 = OpLoad %int %69
+ %71 = OpConvertSToF %float %64
+ %72 = OpConvertSToF %float %66
+ %73 = OpConvertSToF %float %68
+ %74 = OpConvertSToF %float %70
+ %75 = OpCompositeConstruct %v4float %71 %72 %73 %74
+ OpStore %x_GLF_color %75
+ OpBranch %60
+ %62 = OpLabel
+ %76 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %77 = OpLoad %int %76
+ %78 = OpConvertSToF %float %77
+ %79 = OpCompositeConstruct %v4float %78 %78 %78 %78
+ OpStore %x_GLF_color %79
+ OpBranch %60
+ %60 = OpLabel
+ OpReturn
+ OpFunctionEnd
+%tint_symbol_2 = OpFunction %void None %80
+%tint_symbol = OpFunctionParameter %main_out
+ %84 = OpLabel
+ %85 = OpCompositeExtract %v4float %tint_symbol 0
+ OpStore %tint_symbol_1 %85
+ OpReturn
+ OpFunctionEnd
+ %main = OpFunction %void None %15
+ %87 = OpLabel
+ %88 = OpFunctionCall %void %main_1
+ %90 = OpLoad %v4float %x_GLF_color
+ %91 = OpCompositeConstruct %main_out %90
+ %89 = OpFunctionCall %void %tint_symbol_2 %91
+ OpReturn
+ OpFunctionEnd
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.wgsl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.wgsl
new file mode 100644
index 0000000..d11bb08
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.spvasm.expected.wgsl
@@ -0,0 +1,64 @@
+type Arr = [[stride(16)]] array<i32, 4>;
+
+[[block]]
+struct buf0 {
+ x_GLF_uniform_int_values : Arr;
+};
+
+[[group(0), binding(0)]] var<uniform> x_6 : buf0;
+
+var<private> x_GLF_color : vec4<f32>;
+
+fn main_1() {
+ var a : i32;
+ var i : i32;
+ let x_27 : i32 = x_6.x_GLF_uniform_int_values[2];
+ a = x_27;
+ let x_29 : i32 = x_6.x_GLF_uniform_int_values[3];
+ i = x_29;
+ loop {
+ let x_34 : i32 = i;
+ let x_36 : i32 = x_6.x_GLF_uniform_int_values[0];
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ let x_39 : i32 = i;
+ let x_42 : i32 = x_6.x_GLF_uniform_int_values[2];
+ if (((1 % x_39) == x_42)) {
+ continue;
+ }
+ let x_46 : i32 = a;
+ a = (x_46 + 1);
+
+ continuing {
+ let x_48 : i32 = i;
+ i = (x_48 + 1);
+ }
+ }
+ let x_50 : i32 = a;
+ let x_52 : i32 = x_6.x_GLF_uniform_int_values[1];
+ if ((x_50 == x_52)) {
+ let x_58 : i32 = x_6.x_GLF_uniform_int_values[3];
+ let x_61 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_64 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_67 : i32 = x_6.x_GLF_uniform_int_values[3];
+ x_GLF_color = vec4<f32>(f32(x_58), f32(x_61), f32(x_64), f32(x_67));
+ } else {
+ let x_71 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_72 : f32 = f32(x_71);
+ x_GLF_color = vec4<f32>(x_72, x_72, x_72, x_72);
+ }
+ 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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl
new file mode 100644
index 0000000..d11bb08
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl
@@ -0,0 +1,64 @@
+type Arr = [[stride(16)]] array<i32, 4>;
+
+[[block]]
+struct buf0 {
+ x_GLF_uniform_int_values : Arr;
+};
+
+[[group(0), binding(0)]] var<uniform> x_6 : buf0;
+
+var<private> x_GLF_color : vec4<f32>;
+
+fn main_1() {
+ var a : i32;
+ var i : i32;
+ let x_27 : i32 = x_6.x_GLF_uniform_int_values[2];
+ a = x_27;
+ let x_29 : i32 = x_6.x_GLF_uniform_int_values[3];
+ i = x_29;
+ loop {
+ let x_34 : i32 = i;
+ let x_36 : i32 = x_6.x_GLF_uniform_int_values[0];
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ let x_39 : i32 = i;
+ let x_42 : i32 = x_6.x_GLF_uniform_int_values[2];
+ if (((1 % x_39) == x_42)) {
+ continue;
+ }
+ let x_46 : i32 = a;
+ a = (x_46 + 1);
+
+ continuing {
+ let x_48 : i32 = i;
+ i = (x_48 + 1);
+ }
+ }
+ let x_50 : i32 = a;
+ let x_52 : i32 = x_6.x_GLF_uniform_int_values[1];
+ if ((x_50 == x_52)) {
+ let x_58 : i32 = x_6.x_GLF_uniform_int_values[3];
+ let x_61 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_64 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_67 : i32 = x_6.x_GLF_uniform_int_values[3];
+ x_GLF_color = vec4<f32>(f32(x_58), f32(x_61), f32(x_64), f32(x_67));
+ } else {
+ let x_71 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_72 : f32 = f32(x_71);
+ x_GLF_color = vec4<f32>(x_72, x_72, x_72, x_72);
+ }
+ 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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.hlsl
new file mode 100644
index 0000000..ad949e0
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.hlsl
@@ -0,0 +1,62 @@
+cbuffer cbuffer_x_6 : register(b0, space0) {
+ uint4 x_6[4];
+};
+static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+
+void main_1() {
+ int a = 0;
+ int i = 0;
+ const int x_27 = asint(x_6[2].x);
+ a = x_27;
+ const int x_29 = asint(x_6[3].x);
+ i = x_29;
+ while (true) {
+ const int x_34 = i;
+ const uint scalar_offset = ((16u * uint(0))) / 4;
+ const int x_36 = asint(x_6[scalar_offset / 4][scalar_offset % 4]);
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ const int x_39 = i;
+ const int x_42 = asint(x_6[2].x);
+ if (((1 % x_39) == x_42)) {
+ {
+ i = (i + 1);
+ }
+ continue;
+ }
+ a = (a + 1);
+ {
+ i = (i + 1);
+ }
+ }
+ const int x_50 = a;
+ const int x_52 = asint(x_6[1].x);
+ if ((x_50 == x_52)) {
+ const int x_58 = asint(x_6[3].x);
+ const int x_61 = asint(x_6[2].x);
+ const int x_64 = asint(x_6[2].x);
+ const int x_67 = asint(x_6[3].x);
+ x_GLF_color = float4(float(x_58), float(x_61), float(x_64), float(x_67));
+ } else {
+ const int x_71 = asint(x_6[2].x);
+ const float x_72 = float(x_71);
+ x_GLF_color = float4(x_72, x_72, x_72, x_72);
+ }
+ 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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.msl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.msl
new file mode 100644
index 0000000..bd9b04a
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.msl
@@ -0,0 +1,74 @@
+#include <metal_stdlib>
+
+using namespace metal;
+struct tint_padded_array_element {
+ /* 0x0000 */ int el;
+ /* 0x0004 */ int8_t tint_pad[12];
+};
+struct tint_array_wrapper {
+ /* 0x0000 */ tint_padded_array_element arr[4];
+};
+struct buf0 {
+ /* 0x0000 */ tint_array_wrapper x_GLF_uniform_int_values;
+};
+struct main_out {
+ float4 x_GLF_color_1;
+};
+struct tint_symbol_1 {
+ float4 x_GLF_color_1 [[color(0)]];
+};
+
+void main_1(constant buf0& x_6, thread float4* const tint_symbol_4) {
+ int a = 0;
+ int i = 0;
+ int const x_27 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ a = x_27;
+ int const x_29 = x_6.x_GLF_uniform_int_values.arr[3].el;
+ i = x_29;
+ while (true) {
+ int const x_34 = i;
+ int const x_36 = x_6.x_GLF_uniform_int_values.arr[0].el;
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ int const x_39 = i;
+ int const x_42 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ if (((1 % x_39) == x_42)) {
+ {
+ int const x_48 = i;
+ i = (x_48 + 1);
+ }
+ continue;
+ }
+ int const x_46 = a;
+ a = (x_46 + 1);
+ {
+ int const x_48 = i;
+ i = (x_48 + 1);
+ }
+ }
+ int const x_50 = a;
+ int const x_52 = x_6.x_GLF_uniform_int_values.arr[1].el;
+ if ((x_50 == x_52)) {
+ int const x_58 = x_6.x_GLF_uniform_int_values.arr[3].el;
+ int const x_61 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ int const x_64 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ int const x_67 = x_6.x_GLF_uniform_int_values.arr[3].el;
+ *(tint_symbol_4) = float4(float(x_58), float(x_61), float(x_64), float(x_67));
+ } else {
+ int const x_71 = x_6.x_GLF_uniform_int_values.arr[2].el;
+ float const x_72 = float(x_71);
+ *(tint_symbol_4) = float4(x_72, x_72, x_72, x_72);
+ }
+ return;
+}
+
+fragment tint_symbol_1 tint_symbol(constant buf0& x_6 [[buffer(0)]]) {
+ thread float4 tint_symbol_5 = 0.0f;
+ main_1(x_6, &(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-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.spvasm b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.spvasm
new file mode 100644
index 0000000..815ee58
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.spvasm
@@ -0,0 +1,150 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 92
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %main "main" %tint_symbol_1
+ OpExecutionMode %main OriginUpperLeft
+ OpName %buf0 "buf0"
+ OpMemberName %buf0 0 "x_GLF_uniform_int_values"
+ OpName %x_6 "x_6"
+ OpName %x_GLF_color "x_GLF_color"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %main_1 "main_1"
+ OpName %a "a"
+ OpName %i "i"
+ 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 %_arr_int_uint_4 ArrayStride 16
+ OpDecorate %x_6 NonWritable
+ OpDecorate %x_6 DescriptorSet 0
+ OpDecorate %x_6 Binding 0
+ OpDecorate %tint_symbol_1 Location 0
+ OpMemberDecorate %main_out 0 Offset 0
+ %int = OpTypeInt 32 1
+ %uint = OpTypeInt 32 0
+ %uint_4 = OpConstant %uint 4
+%_arr_int_uint_4 = OpTypeArray %int %uint_4
+ %buf0 = OpTypeStruct %_arr_int_uint_4
+%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
+ %x_6 = OpVariable %_ptr_Uniform_buf0 Uniform
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Private_v4float = OpTypePointer Private %v4float
+ %12 = OpConstantNull %v4float
+%x_GLF_color = OpVariable %_ptr_Private_v4float Private %12
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%tint_symbol_1 = OpVariable %_ptr_Output_v4float Output %12
+ %void = OpTypeVoid
+ %15 = OpTypeFunction %void
+%_ptr_Function_int = OpTypePointer Function %int
+ %21 = OpConstantNull %int
+ %uint_0 = OpConstant %uint 0
+ %int_2 = OpConstant %int 2
+%_ptr_Uniform_int = OpTypePointer Uniform %int
+ %int_3 = OpConstant %int 3
+ %int_0 = OpConstant %int 0
+ %bool = OpTypeBool
+ %int_1 = OpConstant %int 1
+ %main_out = OpTypeStruct %v4float
+ %80 = OpTypeFunction %void %main_out
+ %main_1 = OpFunction %void None %15
+ %18 = OpLabel
+ %a = OpVariable %_ptr_Function_int Function %21
+ %i = OpVariable %_ptr_Function_int Function %21
+ %26 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %27 = OpLoad %int %26
+ OpStore %a %27
+ %29 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_3
+ %30 = OpLoad %int %29
+ OpStore %i %30
+ OpBranch %31
+ %31 = OpLabel
+ OpLoopMerge %32 %33 None
+ OpBranch %34
+ %34 = OpLabel
+ %35 = OpLoad %int %i
+ %37 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_0
+ %38 = OpLoad %int %37
+ %39 = OpSLessThan %bool %35 %38
+ OpSelectionMerge %41 None
+ OpBranchConditional %39 %42 %43
+ %42 = OpLabel
+ OpBranch %41
+ %43 = OpLabel
+ OpBranch %32
+ %41 = OpLabel
+ %44 = OpLoad %int %i
+ %45 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %46 = OpLoad %int %45
+ %48 = OpSMod %int %int_1 %44
+ %49 = OpIEqual %bool %48 %46
+ OpSelectionMerge %50 None
+ OpBranchConditional %49 %51 %50
+ %51 = OpLabel
+ OpBranch %33
+ %50 = OpLabel
+ %52 = OpLoad %int %a
+ %53 = OpIAdd %int %52 %int_1
+ OpStore %a %53
+ OpBranch %33
+ %33 = OpLabel
+ %54 = OpLoad %int %i
+ %55 = OpIAdd %int %54 %int_1
+ OpStore %i %55
+ OpBranch %31
+ %32 = OpLabel
+ %56 = OpLoad %int %a
+ %57 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_1
+ %58 = OpLoad %int %57
+ %59 = OpIEqual %bool %56 %58
+ OpSelectionMerge %60 None
+ OpBranchConditional %59 %61 %62
+ %61 = OpLabel
+ %63 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_3
+ %64 = OpLoad %int %63
+ %65 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %66 = OpLoad %int %65
+ %67 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %68 = OpLoad %int %67
+ %69 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_3
+ %70 = OpLoad %int %69
+ %71 = OpConvertSToF %float %64
+ %72 = OpConvertSToF %float %66
+ %73 = OpConvertSToF %float %68
+ %74 = OpConvertSToF %float %70
+ %75 = OpCompositeConstruct %v4float %71 %72 %73 %74
+ OpStore %x_GLF_color %75
+ OpBranch %60
+ %62 = OpLabel
+ %76 = OpAccessChain %_ptr_Uniform_int %x_6 %uint_0 %int_2
+ %77 = OpLoad %int %76
+ %78 = OpConvertSToF %float %77
+ %79 = OpCompositeConstruct %v4float %78 %78 %78 %78
+ OpStore %x_GLF_color %79
+ OpBranch %60
+ %60 = OpLabel
+ OpReturn
+ OpFunctionEnd
+%tint_symbol_2 = OpFunction %void None %80
+%tint_symbol = OpFunctionParameter %main_out
+ %84 = OpLabel
+ %85 = OpCompositeExtract %v4float %tint_symbol 0
+ OpStore %tint_symbol_1 %85
+ OpReturn
+ OpFunctionEnd
+ %main = OpFunction %void None %15
+ %87 = OpLabel
+ %88 = OpFunctionCall %void %main_1
+ %90 = OpLoad %v4float %x_GLF_color
+ %91 = OpCompositeConstruct %main_out %90
+ %89 = OpFunctionCall %void %tint_symbol_2 %91
+ OpReturn
+ OpFunctionEnd
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.wgsl b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.wgsl
new file mode 100644
index 0000000..d11bb08
--- /dev/null
+++ b/test/vk-gl-cts/graphicsfuzz/cov-value-tracking-apint-inst-combine-simplify-one-mod-loop-iterator/0-opt.wgsl.expected.wgsl
@@ -0,0 +1,64 @@
+type Arr = [[stride(16)]] array<i32, 4>;
+
+[[block]]
+struct buf0 {
+ x_GLF_uniform_int_values : Arr;
+};
+
+[[group(0), binding(0)]] var<uniform> x_6 : buf0;
+
+var<private> x_GLF_color : vec4<f32>;
+
+fn main_1() {
+ var a : i32;
+ var i : i32;
+ let x_27 : i32 = x_6.x_GLF_uniform_int_values[2];
+ a = x_27;
+ let x_29 : i32 = x_6.x_GLF_uniform_int_values[3];
+ i = x_29;
+ loop {
+ let x_34 : i32 = i;
+ let x_36 : i32 = x_6.x_GLF_uniform_int_values[0];
+ if ((x_34 < x_36)) {
+ } else {
+ break;
+ }
+ let x_39 : i32 = i;
+ let x_42 : i32 = x_6.x_GLF_uniform_int_values[2];
+ if (((1 % x_39) == x_42)) {
+ continue;
+ }
+ let x_46 : i32 = a;
+ a = (x_46 + 1);
+
+ continuing {
+ let x_48 : i32 = i;
+ i = (x_48 + 1);
+ }
+ }
+ let x_50 : i32 = a;
+ let x_52 : i32 = x_6.x_GLF_uniform_int_values[1];
+ if ((x_50 == x_52)) {
+ let x_58 : i32 = x_6.x_GLF_uniform_int_values[3];
+ let x_61 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_64 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_67 : i32 = x_6.x_GLF_uniform_int_values[3];
+ x_GLF_color = vec4<f32>(f32(x_58), f32(x_61), f32(x_64), f32(x_67));
+ } else {
+ let x_71 : i32 = x_6.x_GLF_uniform_int_values[2];
+ let x_72 : f32 = f32(x_71);
+ x_GLF_color = vec4<f32>(x_72, x_72, x_72, x_72);
+ }
+ 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);
+}
