1#!amber 2 3# Copyright 2022 Google LLC 4# 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 8# 9# http://www.apache.org/licenses/LICENSE-2.0 10# 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. 16 17 18# A test for a coverage-gap found by the GraphicsFuzz project. 19 20# Short description: A fragment shader that covers specific LLVM code paths 21 22# The test passes because the shader always writes red. 23 24SHADER vertex variant_vertex_shader PASSTHROUGH 25 26# variant_fragment_shader is derived from the following GLSL: 27# #version 320 es 28# 29# #define _int_0 _GLF_uniform_int_values[0] 30# #define _int_1 _GLF_uniform_int_values[1] 31# #define _int_20 _GLF_uniform_int_values[2] 32# #define _int_4 _GLF_uniform_int_values[3] 33# 34# precision highp float; 35# precision highp int; 36# 37# // Contents of _GLF_uniform_int_values: [0, 1, 20, 4] 38# layout(set = 0, binding = 0) uniform buf0 39# { 40# int _GLF_uniform_int_values[4]; 41# }; 42# 43# const int _GLF_global_loop_bound = 10; 44# int _GLF_global_loop_count = 0; 45# 46# // Contents of zero: 0 47# layout(set = 0, binding = 1) uniform buf1 48# { 49# int zero; 50# }; 51# 52# // Contents of two: 2 53# layout(set = 0, binding = 2) uniform buf2 54# { 55# int two; 56# }; 57# 58# layout(location = 0) out vec4 _GLF_color; 59# 60# void main() 61# { 62# int arr[10] = int[10](_int_0, _int_0, _int_0, _int_0, _int_0, _int_0, _int_0, _int_0, _int_0, _int_0); 63# 64# // Iterates ten times because of the global loop bound. 65# for(int i = 0; i < _int_20 && _GLF_global_loop_count < _GLF_global_loop_bound; (zero < _int_1) ? i++ : _int_1) 66# { 67# _GLF_global_loop_count++; 68# 69# // Always false. 70# if(two <= _int_1) 71# { 72# break; 73# } 74# 75# // True when i == 0. 76# if((i / 4) == i) 77# { 78# arr[i / _int_4] = _int_1; 79# } 80# } 81# 82# arr[_int_1]++; 83# 84# // Always true. 85# if(arr[_int_0] == _int_1) 86# { 87# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1); 88# } 89# else 90# { 91# _GLF_color = vec4(_int_0); 92# } 93# } 94SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 95; SPIR-V 96; Version: 1.0 97; Generator: Khronos Glslang Reference Front End; 10 98; Bound: 140 99; Schema: 0 100 OpCapability Shader 101 %1 = OpExtInstImport "GLSL.std.450" 102 OpMemoryModel Logical GLSL450 103 OpEntryPoint Fragment %4 "main" %121 104 OpExecutionMode %4 OriginUpperLeft 105 OpSource ESSL 320 106 OpName %4 "main" 107 OpName %8 "_GLF_global_loop_count" 108 OpName %14 "arr" 109 OpName %17 "buf0" 110 OpMemberName %17 0 "_GLF_uniform_int_values" 111 OpName %19 "" 112 OpName %43 "i" 113 OpName %62 "buf2" 114 OpMemberName %62 0 "two" 115 OpName %64 "" 116 OpName %88 "buf1" 117 OpMemberName %88 0 "zero" 118 OpName %90 "" 119 OpName %121 "_GLF_color" 120 OpDecorate %16 ArrayStride 16 121 OpMemberDecorate %17 0 Offset 0 122 OpDecorate %17 Block 123 OpDecorate %19 DescriptorSet 0 124 OpDecorate %19 Binding 0 125 OpMemberDecorate %62 0 Offset 0 126 OpDecorate %62 Block 127 OpDecorate %64 DescriptorSet 0 128 OpDecorate %64 Binding 2 129 OpMemberDecorate %88 0 Offset 0 130 OpDecorate %88 Block 131 OpDecorate %90 DescriptorSet 0 132 OpDecorate %90 Binding 1 133 OpDecorate %121 Location 0 134 %2 = OpTypeVoid 135 %3 = OpTypeFunction %2 136 %6 = OpTypeInt 32 1 137 %7 = OpTypePointer Private %6 138 %8 = OpVariable %7 Private 139 %9 = OpConstant %6 0 140 %10 = OpTypeInt 32 0 141 %11 = OpConstant %10 10 142 %12 = OpTypeArray %6 %11 143 %13 = OpTypePointer Function %12 144 %15 = OpConstant %10 4 145 %16 = OpTypeArray %6 %15 146 %17 = OpTypeStruct %16 147 %18 = OpTypePointer Uniform %17 148 %19 = OpVariable %18 Uniform 149 %20 = OpTypePointer Uniform %6 150 %42 = OpTypePointer Function %6 151 %50 = OpConstant %6 2 152 %53 = OpTypeBool 153 %56 = OpConstant %6 10 154 %60 = OpConstant %6 1 155 %62 = OpTypeStruct %6 156 %63 = OpTypePointer Uniform %62 157 %64 = OpVariable %63 Uniform 158 %74 = OpConstant %6 4 159 %81 = OpConstant %6 3 160 %88 = OpTypeStruct %6 161 %89 = OpTypePointer Uniform %88 162 %90 = OpVariable %89 Uniform 163 %118 = OpTypeFloat 32 164 %119 = OpTypeVector %118 4 165 %120 = OpTypePointer Output %119 166 %121 = OpVariable %120 Output 167 %4 = OpFunction %2 None %3 168 %5 = OpLabel 169 %14 = OpVariable %13 Function 170 %43 = OpVariable %42 Function 171 %96 = OpVariable %42 Function 172 OpStore %8 %9 173 %21 = OpAccessChain %20 %19 %9 %9 174 %22 = OpLoad %6 %21 175 %23 = OpAccessChain %20 %19 %9 %9 176 %24 = OpLoad %6 %23 177 %25 = OpAccessChain %20 %19 %9 %9 178 %26 = OpLoad %6 %25 179 %27 = OpAccessChain %20 %19 %9 %9 180 %28 = OpLoad %6 %27 181 %29 = OpAccessChain %20 %19 %9 %9 182 %30 = OpLoad %6 %29 183 %31 = OpAccessChain %20 %19 %9 %9 184 %32 = OpLoad %6 %31 185 %33 = OpAccessChain %20 %19 %9 %9 186 %34 = OpLoad %6 %33 187 %35 = OpAccessChain %20 %19 %9 %9 188 %36 = OpLoad %6 %35 189 %37 = OpAccessChain %20 %19 %9 %9 190 %38 = OpLoad %6 %37 191 %39 = OpAccessChain %20 %19 %9 %9 192 %40 = OpLoad %6 %39 193 %41 = OpCompositeConstruct %12 %22 %24 %26 %28 %30 %32 %34 %36 %38 %40 194 OpStore %14 %41 195 OpStore %43 %9 196 OpBranch %44 197 %44 = OpLabel 198 OpLoopMerge %46 %47 None 199 OpBranch %48 200 %48 = OpLabel 201 %49 = OpLoad %6 %43 202 %51 = OpAccessChain %20 %19 %9 %50 203 %52 = OpLoad %6 %51 204 %54 = OpSLessThan %53 %49 %52 205 %55 = OpLoad %6 %8 206 %57 = OpSLessThan %53 %55 %56 207 %58 = OpLogicalAnd %53 %54 %57 208 OpBranchConditional %58 %45 %46 209 %45 = OpLabel 210 %59 = OpLoad %6 %8 211 %61 = OpIAdd %6 %59 %60 212 OpStore %8 %61 213 %65 = OpAccessChain %20 %64 %9 214 %66 = OpLoad %6 %65 215 %67 = OpAccessChain %20 %19 %9 %60 216 %68 = OpLoad %6 %67 217 %69 = OpSLessThanEqual %53 %66 %68 218 OpSelectionMerge %71 None 219 OpBranchConditional %69 %70 %71 220 %70 = OpLabel 221 OpBranch %46 222 %71 = OpLabel 223 %73 = OpLoad %6 %43 224 %75 = OpSDiv %6 %73 %74 225 %76 = OpLoad %6 %43 226 %77 = OpIEqual %53 %75 %76 227 OpSelectionMerge %79 None 228 OpBranchConditional %77 %78 %79 229 %78 = OpLabel 230 %80 = OpLoad %6 %43 231 %82 = OpAccessChain %20 %19 %9 %81 232 %83 = OpLoad %6 %82 233 %84 = OpSDiv %6 %80 %83 234 %85 = OpAccessChain %20 %19 %9 %60 235 %86 = OpLoad %6 %85 236 %87 = OpAccessChain %42 %14 %84 237 OpStore %87 %86 238 OpBranch %79 239 %79 = OpLabel 240 OpBranch %47 241 %47 = OpLabel 242 %91 = OpAccessChain %20 %90 %9 243 %92 = OpLoad %6 %91 244 %93 = OpAccessChain %20 %19 %9 %60 245 %94 = OpLoad %6 %93 246 %95 = OpSLessThan %53 %92 %94 247 OpSelectionMerge %98 None 248 OpBranchConditional %95 %97 %101 249 %97 = OpLabel 250 %99 = OpLoad %6 %43 251 %100 = OpIAdd %6 %99 %60 252 OpStore %43 %100 253 OpStore %96 %99 254 OpBranch %98 255 %101 = OpLabel 256 %102 = OpAccessChain %20 %19 %9 %60 257 %103 = OpLoad %6 %102 258 OpStore %96 %103 259 OpBranch %98 260 %98 = OpLabel 261 OpBranch %44 262 %46 = OpLabel 263 %104 = OpAccessChain %20 %19 %9 %60 264 %105 = OpLoad %6 %104 265 %106 = OpAccessChain %42 %14 %105 266 %107 = OpLoad %6 %106 267 %108 = OpIAdd %6 %107 %60 268 OpStore %106 %108 269 %109 = OpAccessChain %20 %19 %9 %9 270 %110 = OpLoad %6 %109 271 %111 = OpAccessChain %42 %14 %110 272 %112 = OpLoad %6 %111 273 %113 = OpAccessChain %20 %19 %9 %60 274 %114 = OpLoad %6 %113 275 %115 = OpIEqual %53 %112 %114 276 OpSelectionMerge %117 None 277 OpBranchConditional %115 %116 %135 278 %116 = OpLabel 279 %122 = OpAccessChain %20 %19 %9 %60 280 %123 = OpLoad %6 %122 281 %124 = OpConvertSToF %118 %123 282 %125 = OpAccessChain %20 %19 %9 %9 283 %126 = OpLoad %6 %125 284 %127 = OpConvertSToF %118 %126 285 %128 = OpAccessChain %20 %19 %9 %9 286 %129 = OpLoad %6 %128 287 %130 = OpConvertSToF %118 %129 288 %131 = OpAccessChain %20 %19 %9 %60 289 %132 = OpLoad %6 %131 290 %133 = OpConvertSToF %118 %132 291 %134 = OpCompositeConstruct %119 %124 %127 %130 %133 292 OpStore %121 %134 293 OpBranch %117 294 %135 = OpLabel 295 %136 = OpAccessChain %20 %19 %9 %9 296 %137 = OpLoad %6 %136 297 %138 = OpConvertSToF %118 %137 298 %139 = OpCompositeConstruct %119 %138 %138 %138 %138 299 OpStore %121 %139 300 OpBranch %117 301 %117 = OpLabel 302 OpReturn 303 OpFunctionEnd 304END 305 306# uniforms for variant 307 308# zero 309BUFFER variant_zero DATA_TYPE int32 STD140 DATA 310 0 311END 312# two 313BUFFER variant_two DATA_TYPE int32 STD140 DATA 314 2 315END 316# _GLF_uniform_int_values 317BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA 318 0 1 20 4 319END 320 321BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 322 323PIPELINE graphics variant_pipeline 324 ATTACH variant_vertex_shader 325 ATTACH variant_fragment_shader 326 FRAMEBUFFER_SIZE 32 32 327 BIND BUFFER variant_framebuffer AS color LOCATION 0 328 BIND BUFFER variant_zero AS uniform DESCRIPTOR_SET 0 BINDING 1 329 BIND BUFFER variant_two AS uniform DESCRIPTOR_SET 0 BINDING 2 330 BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 0 331END 332CLEAR_COLOR variant_pipeline 0 0 0 255 333 334CLEAR variant_pipeline 335RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 32 32 336 337EXPECT variant_framebuffer IDX 0 0 SIZE 32 32 EQ_RGBA 255 0 0 255 338