1#!amber 2 3# Copyright 2021 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_8 _GLF_uniform_int_values[0] 30# #define _int_9 _GLF_uniform_int_values[1] 31# #define _int_1 _GLF_uniform_int_values[2] 32# #define _int_2 _GLF_uniform_int_values[3] 33# #define _int_3 _GLF_uniform_int_values[4] 34# #define _int_4 _GLF_uniform_int_values[5] 35# #define _int_5 _GLF_uniform_int_values[6] 36# #define _int_6 _GLF_uniform_int_values[7] 37# #define _int_7 _GLF_uniform_int_values[8] 38# #define _int_0 _GLF_uniform_int_values[9] 39# #define _int_10 _GLF_uniform_int_values[10] 40# #define _float_0_0 _GLF_uniform_float_values[0] 41# 42# precision highp float; 43# precision highp int; 44# 45# // Contents of _GLF_uniform_float_values: 0.0 46# layout(set = 0, binding = 0) uniform buf0 47# { 48# float _GLF_uniform_float_values[1]; 49# }; 50# // Contents of _GLF_uniform_int_values: [8, 9, 1, 2, 3, 4, 5, 6, 7, 0, 10] 51# layout(set = 0, binding = 1) uniform buf1 52# { 53# int _GLF_uniform_int_values[11]; 54# }; 55# 56# const int _GLF_global_loop_bound = 10; 57# int _GLF_global_loop_count = 0; 58# 59# // Contents of zero: 0.0 60# layout(push_constant) uniform buf_push 61# { 62# float zero; 63# }; 64# 65# layout(location = 0) out vec4 _GLF_color; 66# 67# // This function is called once with x = 0. 68# int func(int x) 69# { 70# int i = _int_1; 71# 72# while(_GLF_global_loop_count < _GLF_global_loop_bound) 73# { 74# _GLF_global_loop_count ++; 75# 76# // Always true. 77# if(x <= _int_1) 78# { 79# // Iterated once. 80# for(int k = int(zero); k != _int_1; k ++) 81# { 82# // Always true. 83# if(gl_FragCoord.y >= 0.0) 84# { 85# i++; 86# } 87# } 88# 89# // Sets global loop count to global loop bound. 90# for(int k = int(zero); k < _int_1 && _GLF_global_loop_count < _GLF_global_loop_bound; ) 91# { 92# _GLF_global_loop_count++; 93# } 94# } 95# } 96# 97# // Returns 2. 98# return i; 99# } 100# 101# void main() 102# { 103# int a = _int_1, b = _int_1, c = -_int_1; 104# int arr[10] = int[10](_int_0, _int_1, _int_2, _int_3, _int_4, _int_5, _int_6, _int_7, _int_8, _int_9); 105# 106# // Always true. 107# if(gl_FragCoord.y >= 0.0) 108# { 109# // c becomes zero. 110# arr[++c] = _int_1; 111# } 112# 113# // Iterated once. 114# while(c >= _int_0 && _GLF_global_loop_count < _GLF_global_loop_bound) 115# { 116# _GLF_global_loop_count ++; 117# 118# // Always true. 119# if(gl_FragCoord.y > _float_0_0) 120# { 121# // a becomes 0 122# a = arr[c]; 123# } 124# 125# // Always true. 126# if(zero == _float_0_0) 127# { 128# b = arr[c]; 129# } 130# 131# if(a < _int_1) 132# { 133# // arr[0] becomes one and c becomes one. 134# arr[++c] = _int_1; 135# } 136# 137# // Calling the function makes global loop count to reach the global loop bound. The function returns 2 making the condition false. 138# if(func(a) < _int_1) 139# { 140# arr[++c] = b; 141# } 142# } 143# 144# // Check the array against reference values, and set output color to black if the check fails. 145# int ref[10] = int[10](_int_1, _int_1, _int_2, _int_3, _int_4, _int_5, _int_6, _int_7, _int_8, _int_9); 146# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1); 147# 148# for(int i = _int_0; i < _int_10; i ++) 149# { 150# if(arr[i] != ref[i]) 151# { 152# _GLF_color = vec4(_int_0); 153# } 154# } 155# } 156SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 157; SPIR-V 158; Version: 1.0 159; Generator: Khronos Glslang Reference Front End; 10 160; Bound: 276 161; Schema: 0 162 OpCapability Shader 163 %1 = OpExtInstImport "GLSL.std.450" 164 OpMemoryModel Logical GLSL450 165 OpEntryPoint Fragment %4 "main" %64 %235 166 OpExecutionMode %4 OriginUpperLeft 167 OpSource ESSL 320 168 OpName %4 "main" 169 OpName %10 "func(i1;" 170 OpName %9 "x" 171 OpName %13 "_GLF_global_loop_count" 172 OpName %15 "i" 173 OpName %19 "buf1" 174 OpMemberName %19 0 "_GLF_uniform_int_values" 175 OpName %21 "" 176 OpName %44 "k" 177 OpName %46 "buf_push" 178 OpMemberName %46 0 "zero" 179 OpName %48 "" 180 OpName %64 "gl_FragCoord" 181 OpName %77 "k" 182 OpName %98 "a" 183 OpName %101 "b" 184 OpName %104 "c" 185 OpName %111 "arr" 186 OpName %167 "buf0" 187 OpMemberName %167 0 "_GLF_uniform_float_values" 188 OpName %169 "" 189 OpName %200 "param" 190 OpName %212 "ref" 191 OpName %235 "_GLF_color" 192 OpName %249 "i" 193 OpDecorate %18 ArrayStride 16 194 OpMemberDecorate %19 0 Offset 0 195 OpDecorate %19 Block 196 OpDecorate %21 DescriptorSet 0 197 OpDecorate %21 Binding 1 198 OpMemberDecorate %46 0 Offset 0 199 OpDecorate %46 Block 200 OpDecorate %64 BuiltIn FragCoord 201 OpDecorate %166 ArrayStride 16 202 OpMemberDecorate %167 0 Offset 0 203 OpDecorate %167 Block 204 OpDecorate %169 DescriptorSet 0 205 OpDecorate %169 Binding 0 206 OpDecorate %235 Location 0 207 %2 = OpTypeVoid 208 %3 = OpTypeFunction %2 209 %6 = OpTypeInt 32 1 210 %7 = OpTypePointer Function %6 211 %8 = OpTypeFunction %6 %7 212 %12 = OpTypePointer Private %6 213 %13 = OpVariable %12 Private 214 %14 = OpConstant %6 0 215 %16 = OpTypeInt 32 0 216 %17 = OpConstant %16 11 217 %18 = OpTypeArray %6 %17 218 %19 = OpTypeStruct %18 219 %20 = OpTypePointer Uniform %19 220 %21 = OpVariable %20 Uniform 221 %22 = OpConstant %6 2 222 %23 = OpTypePointer Uniform %6 223 %32 = OpConstant %6 10 224 %33 = OpTypeBool 225 %36 = OpConstant %6 1 226 %45 = OpTypeFloat 32 227 %46 = OpTypeStruct %45 228 %47 = OpTypePointer PushConstant %46 229 %48 = OpVariable %47 PushConstant 230 %49 = OpTypePointer PushConstant %45 231 %62 = OpTypeVector %45 4 232 %63 = OpTypePointer Input %62 233 %64 = OpVariable %63 Input 234 %65 = OpConstant %16 1 235 %66 = OpTypePointer Input %45 236 %69 = OpConstant %45 0 237 %108 = OpConstant %16 10 238 %109 = OpTypeArray %6 %108 239 %110 = OpTypePointer Function %109 240 %112 = OpConstant %6 9 241 %117 = OpConstant %6 3 242 %120 = OpConstant %6 4 243 %123 = OpConstant %6 5 244 %126 = OpConstant %6 6 245 %129 = OpConstant %6 7 246 %132 = OpConstant %6 8 247 %166 = OpTypeArray %45 %65 248 %167 = OpTypeStruct %166 249 %168 = OpTypePointer Uniform %167 250 %169 = OpVariable %168 Uniform 251 %170 = OpTypePointer Uniform %45 252 %234 = OpTypePointer Output %62 253 %235 = OpVariable %234 Output 254 %4 = OpFunction %2 None %3 255 %5 = OpLabel 256 %98 = OpVariable %7 Function 257 %101 = OpVariable %7 Function 258 %104 = OpVariable %7 Function 259 %111 = OpVariable %110 Function 260 %200 = OpVariable %7 Function 261 %212 = OpVariable %110 Function 262 %249 = OpVariable %7 Function 263 OpStore %13 %14 264 %99 = OpAccessChain %23 %21 %14 %22 265 %100 = OpLoad %6 %99 266 OpStore %98 %100 267 %102 = OpAccessChain %23 %21 %14 %22 268 %103 = OpLoad %6 %102 269 OpStore %101 %103 270 %105 = OpAccessChain %23 %21 %14 %22 271 %106 = OpLoad %6 %105 272 %107 = OpSNegate %6 %106 273 OpStore %104 %107 274 %113 = OpAccessChain %23 %21 %14 %112 275 %114 = OpLoad %6 %113 276 %115 = OpAccessChain %23 %21 %14 %22 277 %116 = OpLoad %6 %115 278 %118 = OpAccessChain %23 %21 %14 %117 279 %119 = OpLoad %6 %118 280 %121 = OpAccessChain %23 %21 %14 %120 281 %122 = OpLoad %6 %121 282 %124 = OpAccessChain %23 %21 %14 %123 283 %125 = OpLoad %6 %124 284 %127 = OpAccessChain %23 %21 %14 %126 285 %128 = OpLoad %6 %127 286 %130 = OpAccessChain %23 %21 %14 %129 287 %131 = OpLoad %6 %130 288 %133 = OpAccessChain %23 %21 %14 %132 289 %134 = OpLoad %6 %133 290 %135 = OpAccessChain %23 %21 %14 %14 291 %136 = OpLoad %6 %135 292 %137 = OpAccessChain %23 %21 %14 %36 293 %138 = OpLoad %6 %137 294 %139 = OpCompositeConstruct %109 %114 %116 %119 %122 %125 %128 %131 %134 %136 %138 295 OpStore %111 %139 296 %140 = OpAccessChain %66 %64 %65 297 %141 = OpLoad %45 %140 298 %142 = OpFOrdGreaterThanEqual %33 %141 %69 299 OpSelectionMerge %144 None 300 OpBranchConditional %142 %143 %144 301 %143 = OpLabel 302 %145 = OpLoad %6 %104 303 %146 = OpIAdd %6 %145 %36 304 OpStore %104 %146 305 %147 = OpAccessChain %23 %21 %14 %22 306 %148 = OpLoad %6 %147 307 %149 = OpAccessChain %7 %111 %146 308 OpStore %149 %148 309 OpBranch %144 310 %144 = OpLabel 311 OpBranch %150 312 %150 = OpLabel 313 OpLoopMerge %152 %153 None 314 OpBranch %154 315 %154 = OpLabel 316 %155 = OpLoad %6 %104 317 %156 = OpAccessChain %23 %21 %14 %112 318 %157 = OpLoad %6 %156 319 %158 = OpSGreaterThanEqual %33 %155 %157 320 %159 = OpLoad %6 %13 321 %160 = OpSLessThan %33 %159 %32 322 %161 = OpLogicalAnd %33 %158 %160 323 OpBranchConditional %161 %151 %152 324 %151 = OpLabel 325 %162 = OpLoad %6 %13 326 %163 = OpIAdd %6 %162 %36 327 OpStore %13 %163 328 %164 = OpAccessChain %66 %64 %65 329 %165 = OpLoad %45 %164 330 %171 = OpAccessChain %170 %169 %14 %14 331 %172 = OpLoad %45 %171 332 %173 = OpFOrdGreaterThan %33 %165 %172 333 OpSelectionMerge %175 None 334 OpBranchConditional %173 %174 %175 335 %174 = OpLabel 336 %176 = OpLoad %6 %104 337 %177 = OpAccessChain %7 %111 %176 338 %178 = OpLoad %6 %177 339 OpStore %98 %178 340 OpBranch %175 341 %175 = OpLabel 342 %179 = OpAccessChain %49 %48 %14 343 %180 = OpLoad %45 %179 344 %181 = OpAccessChain %170 %169 %14 %14 345 %182 = OpLoad %45 %181 346 %183 = OpFOrdEqual %33 %180 %182 347 OpSelectionMerge %185 None 348 OpBranchConditional %183 %184 %185 349 %184 = OpLabel 350 %186 = OpLoad %6 %104 351 %187 = OpAccessChain %7 %111 %186 352 %188 = OpLoad %6 %187 353 OpStore %101 %188 354 OpBranch %185 355 %185 = OpLabel 356 %189 = OpLoad %6 %98 357 %190 = OpAccessChain %23 %21 %14 %22 358 %191 = OpLoad %6 %190 359 %192 = OpSLessThan %33 %189 %191 360 OpSelectionMerge %194 None 361 OpBranchConditional %192 %193 %194 362 %193 = OpLabel 363 %195 = OpLoad %6 %104 364 %196 = OpIAdd %6 %195 %36 365 OpStore %104 %196 366 %197 = OpAccessChain %23 %21 %14 %22 367 %198 = OpLoad %6 %197 368 %199 = OpAccessChain %7 %111 %196 369 OpStore %199 %198 370 OpBranch %194 371 %194 = OpLabel 372 %201 = OpLoad %6 %98 373 OpStore %200 %201 374 %202 = OpFunctionCall %6 %10 %200 375 %203 = OpAccessChain %23 %21 %14 %22 376 %204 = OpLoad %6 %203 377 %205 = OpSLessThan %33 %202 %204 378 OpSelectionMerge %207 None 379 OpBranchConditional %205 %206 %207 380 %206 = OpLabel 381 %208 = OpLoad %6 %104 382 %209 = OpIAdd %6 %208 %36 383 OpStore %104 %209 384 %210 = OpLoad %6 %101 385 %211 = OpAccessChain %7 %111 %209 386 OpStore %211 %210 387 OpBranch %207 388 %207 = OpLabel 389 OpBranch %153 390 %153 = OpLabel 391 OpBranch %150 392 %152 = OpLabel 393 %213 = OpAccessChain %23 %21 %14 %22 394 %214 = OpLoad %6 %213 395 %215 = OpAccessChain %23 %21 %14 %22 396 %216 = OpLoad %6 %215 397 %217 = OpAccessChain %23 %21 %14 %117 398 %218 = OpLoad %6 %217 399 %219 = OpAccessChain %23 %21 %14 %120 400 %220 = OpLoad %6 %219 401 %221 = OpAccessChain %23 %21 %14 %123 402 %222 = OpLoad %6 %221 403 %223 = OpAccessChain %23 %21 %14 %126 404 %224 = OpLoad %6 %223 405 %225 = OpAccessChain %23 %21 %14 %129 406 %226 = OpLoad %6 %225 407 %227 = OpAccessChain %23 %21 %14 %132 408 %228 = OpLoad %6 %227 409 %229 = OpAccessChain %23 %21 %14 %14 410 %230 = OpLoad %6 %229 411 %231 = OpAccessChain %23 %21 %14 %36 412 %232 = OpLoad %6 %231 413 %233 = OpCompositeConstruct %109 %214 %216 %218 %220 %222 %224 %226 %228 %230 %232 414 OpStore %212 %233 415 %236 = OpAccessChain %23 %21 %14 %22 416 %237 = OpLoad %6 %236 417 %238 = OpConvertSToF %45 %237 418 %239 = OpAccessChain %23 %21 %14 %112 419 %240 = OpLoad %6 %239 420 %241 = OpConvertSToF %45 %240 421 %242 = OpAccessChain %23 %21 %14 %112 422 %243 = OpLoad %6 %242 423 %244 = OpConvertSToF %45 %243 424 %245 = OpAccessChain %23 %21 %14 %22 425 %246 = OpLoad %6 %245 426 %247 = OpConvertSToF %45 %246 427 %248 = OpCompositeConstruct %62 %238 %241 %244 %247 428 OpStore %235 %248 429 %250 = OpAccessChain %23 %21 %14 %112 430 %251 = OpLoad %6 %250 431 OpStore %249 %251 432 OpBranch %252 433 %252 = OpLabel 434 OpLoopMerge %254 %255 None 435 OpBranch %256 436 %256 = OpLabel 437 %257 = OpLoad %6 %249 438 %258 = OpAccessChain %23 %21 %14 %32 439 %259 = OpLoad %6 %258 440 %260 = OpSLessThan %33 %257 %259 441 OpBranchConditional %260 %253 %254 442 %253 = OpLabel 443 %261 = OpLoad %6 %249 444 %262 = OpAccessChain %7 %111 %261 445 %263 = OpLoad %6 %262 446 %264 = OpLoad %6 %249 447 %265 = OpAccessChain %7 %212 %264 448 %266 = OpLoad %6 %265 449 %267 = OpINotEqual %33 %263 %266 450 OpSelectionMerge %269 None 451 OpBranchConditional %267 %268 %269 452 %268 = OpLabel 453 %270 = OpAccessChain %23 %21 %14 %112 454 %271 = OpLoad %6 %270 455 %272 = OpConvertSToF %45 %271 456 %273 = OpCompositeConstruct %62 %272 %272 %272 %272 457 OpStore %235 %273 458 OpBranch %269 459 %269 = OpLabel 460 OpBranch %255 461 %255 = OpLabel 462 %274 = OpLoad %6 %249 463 %275 = OpIAdd %6 %274 %36 464 OpStore %249 %275 465 OpBranch %252 466 %254 = OpLabel 467 OpReturn 468 OpFunctionEnd 469 %10 = OpFunction %6 None %8 470 %9 = OpFunctionParameter %7 471 %11 = OpLabel 472 %15 = OpVariable %7 Function 473 %44 = OpVariable %7 Function 474 %77 = OpVariable %7 Function 475 %24 = OpAccessChain %23 %21 %14 %22 476 %25 = OpLoad %6 %24 477 OpStore %15 %25 478 OpBranch %26 479 %26 = OpLabel 480 OpLoopMerge %28 %29 None 481 OpBranch %30 482 %30 = OpLabel 483 %31 = OpLoad %6 %13 484 %34 = OpSLessThan %33 %31 %32 485 OpBranchConditional %34 %27 %28 486 %27 = OpLabel 487 %35 = OpLoad %6 %13 488 %37 = OpIAdd %6 %35 %36 489 OpStore %13 %37 490 %38 = OpLoad %6 %9 491 %39 = OpAccessChain %23 %21 %14 %22 492 %40 = OpLoad %6 %39 493 %41 = OpSLessThanEqual %33 %38 %40 494 OpSelectionMerge %43 None 495 OpBranchConditional %41 %42 %43 496 %42 = OpLabel 497 %50 = OpAccessChain %49 %48 %14 498 %51 = OpLoad %45 %50 499 %52 = OpConvertFToS %6 %51 500 OpStore %44 %52 501 OpBranch %53 502 %53 = OpLabel 503 OpLoopMerge %55 %56 None 504 OpBranch %57 505 %57 = OpLabel 506 %58 = OpLoad %6 %44 507 %59 = OpAccessChain %23 %21 %14 %22 508 %60 = OpLoad %6 %59 509 %61 = OpINotEqual %33 %58 %60 510 OpBranchConditional %61 %54 %55 511 %54 = OpLabel 512 %67 = OpAccessChain %66 %64 %65 513 %68 = OpLoad %45 %67 514 %70 = OpFOrdGreaterThanEqual %33 %68 %69 515 OpSelectionMerge %72 None 516 OpBranchConditional %70 %71 %72 517 %71 = OpLabel 518 %73 = OpLoad %6 %15 519 %74 = OpIAdd %6 %73 %36 520 OpStore %15 %74 521 OpBranch %72 522 %72 = OpLabel 523 OpBranch %56 524 %56 = OpLabel 525 %75 = OpLoad %6 %44 526 %76 = OpIAdd %6 %75 %36 527 OpStore %44 %76 528 OpBranch %53 529 %55 = OpLabel 530 %78 = OpAccessChain %49 %48 %14 531 %79 = OpLoad %45 %78 532 %80 = OpConvertFToS %6 %79 533 OpStore %77 %80 534 OpBranch %81 535 %81 = OpLabel 536 OpLoopMerge %83 %84 None 537 OpBranch %85 538 %85 = OpLabel 539 %86 = OpLoad %6 %77 540 %87 = OpAccessChain %23 %21 %14 %22 541 %88 = OpLoad %6 %87 542 %89 = OpSLessThan %33 %86 %88 543 %90 = OpLoad %6 %13 544 %91 = OpSLessThan %33 %90 %32 545 %92 = OpLogicalAnd %33 %89 %91 546 OpBranchConditional %92 %82 %83 547 %82 = OpLabel 548 %93 = OpLoad %6 %13 549 %94 = OpIAdd %6 %93 %36 550 OpStore %13 %94 551 OpBranch %84 552 %84 = OpLabel 553 OpBranch %81 554 %83 = OpLabel 555 OpBranch %43 556 %43 = OpLabel 557 OpBranch %29 558 %29 = OpLabel 559 OpBranch %26 560 %28 = OpLabel 561 %95 = OpLoad %6 %15 562 OpReturnValue %95 563 OpFunctionEnd 564END 565 566# uniforms for variant 567 568# zero 569BUFFER variant_zero DATA_TYPE float STD140 DATA 570 0.0 571END 572# _GLF_uniform_int_values 573BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA 574 8 9 1 2 3 4 5 6 7 0 10 575END 576# _GLF_uniform_float_values 577BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA 578 0.0 579END 580 581BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 582 583PIPELINE graphics variant_pipeline 584 ATTACH variant_vertex_shader 585 ATTACH variant_fragment_shader 586 FRAMEBUFFER_SIZE 16 16 587 BIND BUFFER variant_framebuffer AS color LOCATION 0 588 BIND BUFFER variant_zero AS push_constant 589 BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 1 590 BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 0 591END 592CLEAR_COLOR variant_pipeline 0 0 0 255 593 594CLEAR variant_pipeline 595RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 16 16 596 597EXPECT variant_framebuffer IDX 0 0 SIZE 16 16 EQ_RGBA 255 0 0 255 598