3 # Copyright 2020 Google LLC
5 # Licensed under the Apache License, Version 2.0 (the "License");
6 # you may not use this file except in compliance with the License.
7 # You may obtain a copy of the License at
9 # http://www.apache.org/licenses/LICENSE-2.0
11 # Unless required by applicable law or agreed to in writing, software
12 # distributed under the License is distributed on an "AS IS" BASIS,
13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 # See the License for the specific language governing permissions and
15 # limitations under the License.
18 # A test for a coverage-gap found by the GraphicsFuzz project.
20 # Short description: A fragment shader that covers a specific instruction simplify code path
22 # The test passes because the shader always writes red.
24 SHADER vertex variant_vertex_shader PASSTHROUGH
26 # variant_fragment_shader is derived from the following GLSL:
28 # #define _int_1 _GLF_uniform_int_values[0]
29 # #define _int_32 _GLF_uniform_int_values[1]
30 # #define _int_0 _GLF_uniform_int_values[2]
31 # #define _int_10 _GLF_uniform_int_values[3]
32 # #define _int_2 _GLF_uniform_int_values[4]
33 # #define _float_0_0 _GLF_uniform_float_values[0]
35 # precision highp float;
37 # precision highp int;
39 # // Contents of _GLF_uniform_float_values: 0.0
40 # layout(set = 0, binding = 0) uniform buf0
42 # float _GLF_uniform_float_values[1];
44 # // Contents of _GLF_uniform_int_values: [1, 32, 0, 10]
45 # layout(set = 0, binding = 1) uniform buf1
47 # int _GLF_uniform_int_values[5];
49 # layout(location = 0) out vec4 _GLF_color;
58 # if (gl_FragCoord.x < _float_0_0)
61 # // This results in an undefined value, but not in undefined behavior. Assigning
62 # // an undefined value doesn't matter since d is reassigned a value >= 2 before
64 # int d = bitfieldInsert(1, 1, 32, c);
69 # while ((a < b) || (d < _int_1))
71 # d = bitfieldInsert(_int_1, _int_1, _int_32, c);
80 # _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1);
82 # _GLF_color = vec4(_int_0);
84 SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
87 ; Generator: Khronos Glslang Reference Front End; 10
91 %1 = OpExtInstImport "GLSL.std.450"
92 OpMemoryModel Logical GLSL450
93 OpEntryPoint Fragment %4 "main" %29 %102
94 OpExecutionMode %4 OriginUpperLeft
99 OpMemberName %12 0 "_GLF_uniform_int_values"
103 OpName %29 "gl_FragCoord"
105 OpMemberName %36 0 "_GLF_uniform_float_values"
108 OpName %102 "_GLF_color"
109 OpDecorate %11 ArrayStride 16
110 OpMemberDecorate %12 0 Offset 0
112 OpDecorate %14 DescriptorSet 0
113 OpDecorate %14 Binding 1
114 OpDecorate %29 BuiltIn FragCoord
115 OpDecorate %35 ArrayStride 16
116 OpMemberDecorate %36 0 Offset 0
118 OpDecorate %38 DescriptorSet 0
119 OpDecorate %38 Binding 0
120 OpDecorate %102 Location 0
122 %3 = OpTypeFunction %2
124 %7 = OpTypePointer Function %6
126 %10 = OpConstant %9 5
127 %11 = OpTypeArray %6 %10
128 %12 = OpTypeStruct %11
129 %13 = OpTypePointer Uniform %12
130 %14 = OpVariable %13 Uniform
131 %15 = OpConstant %6 0
132 %16 = OpConstant %6 2
133 %17 = OpTypePointer Uniform %6
134 %21 = OpConstant %6 3
135 %25 = OpConstant %6 1
137 %27 = OpTypeVector %26 4
138 %28 = OpTypePointer Input %27
139 %29 = OpVariable %28 Input
140 %30 = OpConstant %9 0
141 %31 = OpTypePointer Input %26
142 %34 = OpConstant %9 1
143 %35 = OpTypeArray %26 %34
144 %36 = OpTypeStruct %35
145 %37 = OpTypePointer Uniform %36
146 %38 = OpVariable %37 Uniform
147 %39 = OpTypePointer Uniform %26
149 %49 = OpConstant %6 32
150 %58 = OpConstant %6 4
151 %101 = OpTypePointer Output %27
152 %102 = OpVariable %101 Output
153 %4 = OpFunction %2 None %3
155 %8 = OpVariable %7 Function
156 %20 = OpVariable %7 Function
157 %24 = OpVariable %7 Function
158 %48 = OpVariable %7 Function
159 %18 = OpAccessChain %17 %14 %15 %16
162 %22 = OpAccessChain %17 %14 %15 %21
166 %32 = OpAccessChain %31 %29 %30
168 %40 = OpAccessChain %39 %38 %15 %15
170 %43 = OpFOrdLessThan %42 %33 %41
171 OpSelectionMerge %45 None
172 OpBranchConditional %43 %44 %45
175 %47 = OpISub %6 %46 %25
180 %51 = OpBitFieldInsert %6 %25 %25 %49 %50
183 %53 = OpAccessChain %17 %14 %15 %15
185 %55 = OpSLessThan %42 %52 %54
186 OpSelectionMerge %57 None
187 OpBranchConditional %55 %56 %57
189 %59 = OpAccessChain %17 %14 %15 %58
196 OpLoopMerge %63 %64 None
201 %68 = OpSLessThan %42 %66 %67
202 %69 = OpLogicalNot %42 %68
203 OpSelectionMerge %71 None
204 OpBranchConditional %69 %70 %71
207 %73 = OpAccessChain %17 %14 %15 %15
209 %75 = OpSLessThan %42 %72 %74
212 %76 = OpPhi %42 %68 %65 %75 %70
213 OpBranchConditional %76 %62 %63
215 %77 = OpAccessChain %17 %14 %15 %15
217 %79 = OpAccessChain %17 %14 %15 %15
219 %81 = OpAccessChain %17 %14 %15 %25
222 %84 = OpBitFieldInsert %6 %78 %80 %82 %83
225 %86 = OpAccessChain %17 %14 %15 %15
227 %88 = OpSLessThan %42 %85 %87
228 OpSelectionMerge %90 None
229 OpBranchConditional %88 %89 %90
231 %91 = OpAccessChain %17 %14 %15 %58
237 %94 = OpIAdd %6 %93 %25
244 %96 = OpAccessChain %17 %14 %15 %21
246 %98 = OpIEqual %42 %95 %97
247 OpSelectionMerge %100 None
248 OpBranchConditional %98 %99 %116
250 %103 = OpAccessChain %17 %14 %15 %15
251 %104 = OpLoad %6 %103
252 %105 = OpConvertSToF %26 %104
253 %106 = OpAccessChain %17 %14 %15 %16
254 %107 = OpLoad %6 %106
255 %108 = OpConvertSToF %26 %107
256 %109 = OpAccessChain %17 %14 %15 %16
257 %110 = OpLoad %6 %109
258 %111 = OpConvertSToF %26 %110
259 %112 = OpAccessChain %17 %14 %15 %15
260 %113 = OpLoad %6 %112
261 %114 = OpConvertSToF %26 %113
262 %115 = OpCompositeConstruct %27 %105 %108 %111 %114
266 %117 = OpAccessChain %17 %14 %15 %16
267 %118 = OpLoad %6 %117
268 %119 = OpConvertSToF %26 %118
269 %120 = OpCompositeConstruct %27 %119 %119 %119 %119
277 # uniforms for variant
279 # _GLF_uniform_int_values
280 BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA
283 # _GLF_uniform_float_values
284 BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA
288 BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
290 PIPELINE graphics variant_pipeline
291 ATTACH variant_vertex_shader
292 ATTACH variant_fragment_shader
293 FRAMEBUFFER_SIZE 256 256
294 BIND BUFFER variant_framebuffer AS color LOCATION 0
295 BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 1
296 BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 0
298 CLEAR_COLOR variant_pipeline 0 0 0 255
300 CLEAR variant_pipeline
301 RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256
303 EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255