#!amber

# Copyright 2021 Google LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.


# A test for a coverage-gap found by the GraphicsFuzz project.

# Short description: A fragment shader that covers specific BRW code paths

# The test passes because the shader always writes red.

# Optimized using spirv-opt with the following arguments:
# '-O'
# spirv-opt commit hash: a0370efd589be33d5d9a85cfde2f85841b3755af


SHADER vertex variant_vertex_shader PASSTHROUGH

# variant_fragment_shader is derived from the following GLSL:
# #version 320 es
#
# #define _GLF_MAKE_IN_BOUNDS_INT(IDX, SZ)  clamp(IDX, 0, SZ - 1)
# #define LOOP for (int i = 0; i < 1; i++)
#
# precision highp float;
# precision highp int;
#
# const int _GLF_global_loop_bound = 100;
# int _GLF_global_loop_count = 0;
#
# layout(location = 0) out vec4 _GLF_color;
#
# void main()
# {
#     float arr[10] = float[10](1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0);
#     int index = 0;
#
#     while(_GLF_global_loop_count < _GLF_global_loop_bound)
#     {
#         // The inner loop will be iterated just once.
#         LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP {
#         LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP {
#         LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP { LOOP {
#         LOOP { LOOP { LOOP { LOOP { LOOP
#         {
#             _GLF_global_loop_count ++;
#         }
#         } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }
#
#         // In the end all elemenst of arr have a value of 2.0.
#         arr[_GLF_MAKE_IN_BOUNDS_INT(index, 10)] = float[10](2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0)[_GLF_MAKE_IN_BOUNDS_INT(index, 10)];
#         index++;
#     }
#
#     // The selected indices don't matter as all have the same data of 2.0.
#     vec2 v = vec2(arr[_GLF_MAKE_IN_BOUNDS_INT(int(gl_FragCoord.x), 10)], arr[_GLF_MAKE_IN_BOUNDS_INT(int(gl_FragCoord.y), 10)]);
#
#     // Always true.
#     if (v.x == 2.0 && v.y == 2.0)
#         _GLF_color = vec4(1, 0, 0, 1);
#     else
#         _GLF_color = vec4(0);
#
# }
SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 10
; Bound: 583
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %4 "main" %431 %460
               OpExecutionMode %4 OriginUpperLeft
               OpSource ESSL 320
               OpName %4 "main"
               OpName %15 "arr"
               OpName %419 "indexable"
               OpName %431 "gl_FragCoord"
               OpName %460 "_GLF_color"
               OpDecorate %431 BuiltIn FragCoord
               OpDecorate %460 Location 0
          %2 = OpTypeVoid
          %3 = OpTypeFunction %2
          %6 = OpTypeInt 32 1
          %9 = OpConstant %6 0
         %10 = OpTypeFloat 32
         %11 = OpTypeInt 32 0
         %12 = OpConstant %11 10
         %13 = OpTypeArray %10 %12
         %14 = OpTypePointer Function %13
         %16 = OpConstant %10 1
         %17 = OpConstantComposite %13 %16 %16 %16 %16 %16 %16 %16 %16 %16 %16
         %26 = OpConstant %6 100
         %27 = OpTypeBool
         %36 = OpConstant %6 1
        %413 = OpConstant %6 9
        %415 = OpConstant %10 2
        %416 = OpConstantComposite %13 %415 %415 %415 %415 %415 %415 %415 %415 %415 %415
        %420 = OpTypePointer Function %10
        %429 = OpTypeVector %10 4
        %430 = OpTypePointer Input %429
        %431 = OpVariable %430 Input
        %432 = OpConstant %11 0
        %433 = OpTypePointer Input %10
        %440 = OpConstant %11 1
        %459 = OpTypePointer Output %429
        %460 = OpVariable %459 Output
        %461 = OpConstant %10 0
        %462 = OpConstantComposite %429 %16 %461 %461 %16
        %464 = OpConstantComposite %429 %461 %461 %461 %461
          %4 = OpFunction %2 None %3
          %5 = OpLabel
         %15 = OpVariable %14 Function
        %419 = OpVariable %14 Function
               OpStore %15 %17
               OpBranch %20
         %20 = OpLabel
        %470 = OpPhi %6 %9 %5 %425 %23
        %467 = OpPhi %6 %9 %5 %582 %23
         %28 = OpSLessThan %27 %467 %26
               OpLoopMerge %22 %23 None
               OpBranchConditional %28 %21 %22
         %21 = OpLabel
               OpBranch %30
         %30 = OpLabel
        %468 = OpPhi %6 %9 %21 %411 %33
        %582 = OpPhi %6 %467 %21 %581 %33
         %37 = OpSLessThan %27 %468 %36
               OpLoopMerge %32 %33 None
               OpBranchConditional %37 %31 %32
         %31 = OpLabel
               OpBranch %39
         %39 = OpLabel
        %471 = OpPhi %6 %9 %31 %409 %42
        %581 = OpPhi %6 %582 %31 %580 %42
         %45 = OpSLessThan %27 %471 %36
               OpLoopMerge %41 %42 None
               OpBranchConditional %45 %40 %41
         %40 = OpLabel
               OpBranch %47
         %47 = OpLabel
        %473 = OpPhi %6 %9 %40 %407 %50
        %580 = OpPhi %6 %581 %40 %579 %50
         %53 = OpSLessThan %27 %473 %36
               OpLoopMerge %49 %50 None
               OpBranchConditional %53 %48 %49
         %48 = OpLabel
               OpBranch %55
         %55 = OpLabel
        %475 = OpPhi %6 %9 %48 %405 %58
        %579 = OpPhi %6 %580 %48 %578 %58
         %61 = OpSLessThan %27 %475 %36
               OpLoopMerge %57 %58 None
               OpBranchConditional %61 %56 %57
         %56 = OpLabel
               OpBranch %63
         %63 = OpLabel
        %477 = OpPhi %6 %9 %56 %403 %66
        %578 = OpPhi %6 %579 %56 %577 %66
         %69 = OpSLessThan %27 %477 %36
               OpLoopMerge %65 %66 None
               OpBranchConditional %69 %64 %65
         %64 = OpLabel
               OpBranch %71
         %71 = OpLabel
        %479 = OpPhi %6 %9 %64 %401 %74
        %577 = OpPhi %6 %578 %64 %576 %74
         %77 = OpSLessThan %27 %479 %36
               OpLoopMerge %73 %74 None
               OpBranchConditional %77 %72 %73
         %72 = OpLabel
               OpBranch %79
         %79 = OpLabel
        %481 = OpPhi %6 %9 %72 %399 %82
        %576 = OpPhi %6 %577 %72 %575 %82
         %85 = OpSLessThan %27 %481 %36
               OpLoopMerge %81 %82 None
               OpBranchConditional %85 %80 %81
         %80 = OpLabel
               OpBranch %87
         %87 = OpLabel
        %483 = OpPhi %6 %9 %80 %397 %90
        %575 = OpPhi %6 %576 %80 %574 %90
         %93 = OpSLessThan %27 %483 %36
               OpLoopMerge %89 %90 None
               OpBranchConditional %93 %88 %89
         %88 = OpLabel
               OpBranch %95
         %95 = OpLabel
        %485 = OpPhi %6 %9 %88 %395 %98
        %574 = OpPhi %6 %575 %88 %573 %98
        %101 = OpSLessThan %27 %485 %36
               OpLoopMerge %97 %98 None
               OpBranchConditional %101 %96 %97
         %96 = OpLabel
               OpBranch %103
        %103 = OpLabel
        %487 = OpPhi %6 %9 %96 %393 %106
        %573 = OpPhi %6 %574 %96 %572 %106
        %109 = OpSLessThan %27 %487 %36
               OpLoopMerge %105 %106 None
               OpBranchConditional %109 %104 %105
        %104 = OpLabel
               OpBranch %111
        %111 = OpLabel
        %489 = OpPhi %6 %9 %104 %391 %114
        %572 = OpPhi %6 %573 %104 %571 %114
        %117 = OpSLessThan %27 %489 %36
               OpLoopMerge %113 %114 None
               OpBranchConditional %117 %112 %113
        %112 = OpLabel
               OpBranch %119
        %119 = OpLabel
        %491 = OpPhi %6 %9 %112 %389 %122
        %571 = OpPhi %6 %572 %112 %570 %122
        %125 = OpSLessThan %27 %491 %36
               OpLoopMerge %121 %122 None
               OpBranchConditional %125 %120 %121
        %120 = OpLabel
               OpBranch %127
        %127 = OpLabel
        %493 = OpPhi %6 %9 %120 %387 %130
        %570 = OpPhi %6 %571 %120 %569 %130
        %133 = OpSLessThan %27 %493 %36
               OpLoopMerge %129 %130 None
               OpBranchConditional %133 %128 %129
        %128 = OpLabel
               OpBranch %135
        %135 = OpLabel
        %495 = OpPhi %6 %9 %128 %385 %138
        %569 = OpPhi %6 %570 %128 %568 %138
        %141 = OpSLessThan %27 %495 %36
               OpLoopMerge %137 %138 None
               OpBranchConditional %141 %136 %137
        %136 = OpLabel
               OpBranch %143
        %143 = OpLabel
        %497 = OpPhi %6 %9 %136 %383 %146
        %568 = OpPhi %6 %569 %136 %567 %146
        %149 = OpSLessThan %27 %497 %36
               OpLoopMerge %145 %146 None
               OpBranchConditional %149 %144 %145
        %144 = OpLabel
               OpBranch %151
        %151 = OpLabel
        %499 = OpPhi %6 %9 %144 %381 %154
        %567 = OpPhi %6 %568 %144 %566 %154
        %157 = OpSLessThan %27 %499 %36
               OpLoopMerge %153 %154 None
               OpBranchConditional %157 %152 %153
        %152 = OpLabel
               OpBranch %159
        %159 = OpLabel
        %501 = OpPhi %6 %9 %152 %379 %162
        %566 = OpPhi %6 %567 %152 %565 %162
        %165 = OpSLessThan %27 %501 %36
               OpLoopMerge %161 %162 None
               OpBranchConditional %165 %160 %161
        %160 = OpLabel
               OpBranch %167
        %167 = OpLabel
        %503 = OpPhi %6 %9 %160 %377 %170
        %565 = OpPhi %6 %566 %160 %564 %170
        %173 = OpSLessThan %27 %503 %36
               OpLoopMerge %169 %170 None
               OpBranchConditional %173 %168 %169
        %168 = OpLabel
               OpBranch %175
        %175 = OpLabel
        %505 = OpPhi %6 %9 %168 %375 %178
        %564 = OpPhi %6 %565 %168 %563 %178
        %181 = OpSLessThan %27 %505 %36
               OpLoopMerge %177 %178 None
               OpBranchConditional %181 %176 %177
        %176 = OpLabel
               OpBranch %183
        %183 = OpLabel
        %507 = OpPhi %6 %9 %176 %373 %186
        %563 = OpPhi %6 %564 %176 %562 %186
        %189 = OpSLessThan %27 %507 %36
               OpLoopMerge %185 %186 None
               OpBranchConditional %189 %184 %185
        %184 = OpLabel
               OpBranch %191
        %191 = OpLabel
        %509 = OpPhi %6 %9 %184 %371 %194
        %562 = OpPhi %6 %563 %184 %561 %194
        %197 = OpSLessThan %27 %509 %36
               OpLoopMerge %193 %194 None
               OpBranchConditional %197 %192 %193
        %192 = OpLabel
               OpBranch %199
        %199 = OpLabel
        %511 = OpPhi %6 %9 %192 %369 %202
        %561 = OpPhi %6 %562 %192 %560 %202
        %205 = OpSLessThan %27 %511 %36
               OpLoopMerge %201 %202 None
               OpBranchConditional %205 %200 %201
        %200 = OpLabel
               OpBranch %207
        %207 = OpLabel
        %513 = OpPhi %6 %9 %200 %367 %210
        %560 = OpPhi %6 %561 %200 %559 %210
        %213 = OpSLessThan %27 %513 %36
               OpLoopMerge %209 %210 None
               OpBranchConditional %213 %208 %209
        %208 = OpLabel
               OpBranch %215
        %215 = OpLabel
        %515 = OpPhi %6 %9 %208 %365 %218
        %559 = OpPhi %6 %560 %208 %558 %218
        %221 = OpSLessThan %27 %515 %36
               OpLoopMerge %217 %218 None
               OpBranchConditional %221 %216 %217
        %216 = OpLabel
               OpBranch %223
        %223 = OpLabel
        %517 = OpPhi %6 %9 %216 %363 %226
        %558 = OpPhi %6 %559 %216 %557 %226
        %229 = OpSLessThan %27 %517 %36
               OpLoopMerge %225 %226 None
               OpBranchConditional %229 %224 %225
        %224 = OpLabel
               OpBranch %231
        %231 = OpLabel
        %519 = OpPhi %6 %9 %224 %361 %234
        %557 = OpPhi %6 %558 %224 %556 %234
        %237 = OpSLessThan %27 %519 %36
               OpLoopMerge %233 %234 None
               OpBranchConditional %237 %232 %233
        %232 = OpLabel
               OpBranch %239
        %239 = OpLabel
        %521 = OpPhi %6 %9 %232 %359 %242
        %556 = OpPhi %6 %557 %232 %555 %242
        %245 = OpSLessThan %27 %521 %36
               OpLoopMerge %241 %242 None
               OpBranchConditional %245 %240 %241
        %240 = OpLabel
               OpBranch %247
        %247 = OpLabel
        %523 = OpPhi %6 %9 %240 %357 %250
        %555 = OpPhi %6 %556 %240 %554 %250
        %253 = OpSLessThan %27 %523 %36
               OpLoopMerge %249 %250 None
               OpBranchConditional %253 %248 %249
        %248 = OpLabel
               OpBranch %255
        %255 = OpLabel
        %525 = OpPhi %6 %9 %248 %355 %258
        %554 = OpPhi %6 %555 %248 %553 %258
        %261 = OpSLessThan %27 %525 %36
               OpLoopMerge %257 %258 None
               OpBranchConditional %261 %256 %257
        %256 = OpLabel
               OpBranch %263
        %263 = OpLabel
        %527 = OpPhi %6 %9 %256 %353 %266
        %553 = OpPhi %6 %554 %256 %552 %266
        %269 = OpSLessThan %27 %527 %36
               OpLoopMerge %265 %266 None
               OpBranchConditional %269 %264 %265
        %264 = OpLabel
               OpBranch %271
        %271 = OpLabel
        %529 = OpPhi %6 %9 %264 %351 %274
        %552 = OpPhi %6 %553 %264 %551 %274
        %277 = OpSLessThan %27 %529 %36
               OpLoopMerge %273 %274 None
               OpBranchConditional %277 %272 %273
        %272 = OpLabel
               OpBranch %279
        %279 = OpLabel
        %531 = OpPhi %6 %9 %272 %349 %282
        %551 = OpPhi %6 %552 %272 %550 %282
        %285 = OpSLessThan %27 %531 %36
               OpLoopMerge %281 %282 None
               OpBranchConditional %285 %280 %281
        %280 = OpLabel
               OpBranch %287
        %287 = OpLabel
        %533 = OpPhi %6 %9 %280 %347 %290
        %550 = OpPhi %6 %551 %280 %549 %290
        %293 = OpSLessThan %27 %533 %36
               OpLoopMerge %289 %290 None
               OpBranchConditional %293 %288 %289
        %288 = OpLabel
               OpBranch %295
        %295 = OpLabel
        %535 = OpPhi %6 %9 %288 %345 %298
        %549 = OpPhi %6 %550 %288 %548 %298
        %301 = OpSLessThan %27 %535 %36
               OpLoopMerge %297 %298 None
               OpBranchConditional %301 %296 %297
        %296 = OpLabel
               OpBranch %303
        %303 = OpLabel
        %537 = OpPhi %6 %9 %296 %343 %306
        %548 = OpPhi %6 %549 %296 %547 %306
        %309 = OpSLessThan %27 %537 %36
               OpLoopMerge %305 %306 None
               OpBranchConditional %309 %304 %305
        %304 = OpLabel
               OpBranch %311
        %311 = OpLabel
        %539 = OpPhi %6 %9 %304 %341 %314
        %547 = OpPhi %6 %548 %304 %546 %314
        %317 = OpSLessThan %27 %539 %36
               OpLoopMerge %313 %314 None
               OpBranchConditional %317 %312 %313
        %312 = OpLabel
               OpBranch %319
        %319 = OpLabel
        %541 = OpPhi %6 %9 %312 %339 %322
        %546 = OpPhi %6 %547 %312 %545 %322
        %325 = OpSLessThan %27 %541 %36
               OpLoopMerge %321 %322 None
               OpBranchConditional %325 %320 %321
        %320 = OpLabel
               OpBranch %327
        %327 = OpLabel
        %545 = OpPhi %6 %546 %320 %335 %328
        %543 = OpPhi %6 %9 %320 %337 %328
        %333 = OpSLessThan %27 %543 %36
               OpLoopMerge %329 %328 None
               OpBranchConditional %333 %328 %329
        %328 = OpLabel
        %335 = OpIAdd %6 %545 %36
        %337 = OpIAdd %6 %543 %36
               OpBranch %327
        %329 = OpLabel
               OpBranch %322
        %322 = OpLabel
        %339 = OpIAdd %6 %541 %36
               OpBranch %319
        %321 = OpLabel
               OpBranch %314
        %314 = OpLabel
        %341 = OpIAdd %6 %539 %36
               OpBranch %311
        %313 = OpLabel
               OpBranch %306
        %306 = OpLabel
        %343 = OpIAdd %6 %537 %36
               OpBranch %303
        %305 = OpLabel
               OpBranch %298
        %298 = OpLabel
        %345 = OpIAdd %6 %535 %36
               OpBranch %295
        %297 = OpLabel
               OpBranch %290
        %290 = OpLabel
        %347 = OpIAdd %6 %533 %36
               OpBranch %287
        %289 = OpLabel
               OpBranch %282
        %282 = OpLabel
        %349 = OpIAdd %6 %531 %36
               OpBranch %279
        %281 = OpLabel
               OpBranch %274
        %274 = OpLabel
        %351 = OpIAdd %6 %529 %36
               OpBranch %271
        %273 = OpLabel
               OpBranch %266
        %266 = OpLabel
        %353 = OpIAdd %6 %527 %36
               OpBranch %263
        %265 = OpLabel
               OpBranch %258
        %258 = OpLabel
        %355 = OpIAdd %6 %525 %36
               OpBranch %255
        %257 = OpLabel
               OpBranch %250
        %250 = OpLabel
        %357 = OpIAdd %6 %523 %36
               OpBranch %247
        %249 = OpLabel
               OpBranch %242
        %242 = OpLabel
        %359 = OpIAdd %6 %521 %36
               OpBranch %239
        %241 = OpLabel
               OpBranch %234
        %234 = OpLabel
        %361 = OpIAdd %6 %519 %36
               OpBranch %231
        %233 = OpLabel
               OpBranch %226
        %226 = OpLabel
        %363 = OpIAdd %6 %517 %36
               OpBranch %223
        %225 = OpLabel
               OpBranch %218
        %218 = OpLabel
        %365 = OpIAdd %6 %515 %36
               OpBranch %215
        %217 = OpLabel
               OpBranch %210
        %210 = OpLabel
        %367 = OpIAdd %6 %513 %36
               OpBranch %207
        %209 = OpLabel
               OpBranch %202
        %202 = OpLabel
        %369 = OpIAdd %6 %511 %36
               OpBranch %199
        %201 = OpLabel
               OpBranch %194
        %194 = OpLabel
        %371 = OpIAdd %6 %509 %36
               OpBranch %191
        %193 = OpLabel
               OpBranch %186
        %186 = OpLabel
        %373 = OpIAdd %6 %507 %36
               OpBranch %183
        %185 = OpLabel
               OpBranch %178
        %178 = OpLabel
        %375 = OpIAdd %6 %505 %36
               OpBranch %175
        %177 = OpLabel
               OpBranch %170
        %170 = OpLabel
        %377 = OpIAdd %6 %503 %36
               OpBranch %167
        %169 = OpLabel
               OpBranch %162
        %162 = OpLabel
        %379 = OpIAdd %6 %501 %36
               OpBranch %159
        %161 = OpLabel
               OpBranch %154
        %154 = OpLabel
        %381 = OpIAdd %6 %499 %36
               OpBranch %151
        %153 = OpLabel
               OpBranch %146
        %146 = OpLabel
        %383 = OpIAdd %6 %497 %36
               OpBranch %143
        %145 = OpLabel
               OpBranch %138
        %138 = OpLabel
        %385 = OpIAdd %6 %495 %36
               OpBranch %135
        %137 = OpLabel
               OpBranch %130
        %130 = OpLabel
        %387 = OpIAdd %6 %493 %36
               OpBranch %127
        %129 = OpLabel
               OpBranch %122
        %122 = OpLabel
        %389 = OpIAdd %6 %491 %36
               OpBranch %119
        %121 = OpLabel
               OpBranch %114
        %114 = OpLabel
        %391 = OpIAdd %6 %489 %36
               OpBranch %111
        %113 = OpLabel
               OpBranch %106
        %106 = OpLabel
        %393 = OpIAdd %6 %487 %36
               OpBranch %103
        %105 = OpLabel
               OpBranch %98
         %98 = OpLabel
        %395 = OpIAdd %6 %485 %36
               OpBranch %95
         %97 = OpLabel
               OpBranch %90
         %90 = OpLabel
        %397 = OpIAdd %6 %483 %36
               OpBranch %87
         %89 = OpLabel
               OpBranch %82
         %82 = OpLabel
        %399 = OpIAdd %6 %481 %36
               OpBranch %79
         %81 = OpLabel
               OpBranch %74
         %74 = OpLabel
        %401 = OpIAdd %6 %479 %36
               OpBranch %71
         %73 = OpLabel
               OpBranch %66
         %66 = OpLabel
        %403 = OpIAdd %6 %477 %36
               OpBranch %63
         %65 = OpLabel
               OpBranch %58
         %58 = OpLabel
        %405 = OpIAdd %6 %475 %36
               OpBranch %55
         %57 = OpLabel
               OpBranch %50
         %50 = OpLabel
        %407 = OpIAdd %6 %473 %36
               OpBranch %47
         %49 = OpLabel
               OpBranch %42
         %42 = OpLabel
        %409 = OpIAdd %6 %471 %36
               OpBranch %39
         %41 = OpLabel
               OpBranch %33
         %33 = OpLabel
        %411 = OpIAdd %6 %468 %36
               OpBranch %30
         %32 = OpLabel
        %414 = OpExtInst %6 %1 SClamp %470 %9 %413
               OpStore %419 %416
        %421 = OpAccessChain %420 %419 %414
        %422 = OpLoad %10 %421
        %423 = OpAccessChain %420 %15 %414
               OpStore %423 %422
        %425 = OpIAdd %6 %470 %36
               OpBranch %23
         %23 = OpLabel
               OpBranch %20
         %22 = OpLabel
        %434 = OpAccessChain %433 %431 %432
        %435 = OpLoad %10 %434
        %436 = OpConvertFToS %6 %435
        %437 = OpExtInst %6 %1 SClamp %436 %9 %413
        %438 = OpAccessChain %420 %15 %437
        %439 = OpLoad %10 %438
        %441 = OpAccessChain %433 %431 %440
        %442 = OpLoad %10 %441
        %443 = OpConvertFToS %6 %442
        %444 = OpExtInst %6 %1 SClamp %443 %9 %413
        %445 = OpAccessChain %420 %15 %444
        %446 = OpLoad %10 %445
        %450 = OpFOrdEqual %27 %439 %415
               OpSelectionMerge %452 None
               OpBranchConditional %450 %451 %452
        %451 = OpLabel
        %455 = OpFOrdEqual %27 %446 %415
               OpBranch %452
        %452 = OpLabel
        %456 = OpPhi %27 %450 %22 %455 %451
               OpSelectionMerge %458 None
               OpBranchConditional %456 %457 %463
        %457 = OpLabel
               OpStore %460 %462
               OpBranch %458
        %463 = OpLabel
               OpStore %460 %464
               OpBranch %458
        %458 = OpLabel
               OpReturn
               OpFunctionEnd
END


BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM

PIPELINE graphics variant_pipeline
  ATTACH variant_vertex_shader
  ATTACH variant_fragment_shader
  FRAMEBUFFER_SIZE 256 256
  BIND BUFFER variant_framebuffer AS color LOCATION 0
END
CLEAR_COLOR variant_pipeline 0 0 0 255

CLEAR variant_pipeline
RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256

EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255