xref: /third_party/vk-gl-cts/external/vulkancts/data/vulkan/amber/graphicsfuzz/cov-function-with-nested-loops-called-from-nested-loops.amber

#!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 LOOP for (int i = 0; i < 1; i++)
#
# precision highp float;
# precision highp int;
#
# layout(location = 0) out vec4 _GLF_color;
#
# layout(push_constant) uniform buf_push
# {
#     float five;
# };
#
# // Function always returns 1.0.
# float func(float x)
# {
#     float a = 1.0;
#
#     LOOP
#     {
#         LOOP
#         {
#             LOOP
#             {
#                 LOOP
#                 {
#                     LOOP
#                     {
#                         // Always false.
#                         if (mod(1.0, x) < 0.0)
#                         {
#                             LOOP
#                             {
#                                 LOOP
#                                 {
#                                     LOOP
#                                     {
#                                         LOOP
#                                         {
#                                             LOOP
#                                             {
#                                                 LOOP
#                                                 {
#                                                     a += 1.0;
#                                                 }
#                                             }
#                                         }
#                                     }
#                                 }
#                             }
#                         }
#
#                         // Always true.
#                         if (x > 1.0)
#                         {
#                             return a;
#                         }
#                     }
#                 }
#             }
#         }
#     }
#
#     return 2.0;
# }
#
# void main()
# {
#     float f = 0.0;
#
#     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
#     {
#         f = func(five);
#     }
#     } } } } } } } } } } } } } } } } } } } } } } } } } } }
#
#     // Always true.
#     if (f == 1.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: 1659
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %4 "main" %441
               OpExecutionMode %4 OriginUpperLeft
               OpSource ESSL 320
               OpName %4 "main"
               OpName %371 "buf_push"
               OpMemberName %371 0 "five"
               OpName %373 ""
               OpName %441 "_GLF_color"
               OpMemberDecorate %371 0 Offset 0
               OpDecorate %371 Block
               OpDecorate %441 Location 0
          %2 = OpTypeVoid
          %3 = OpTypeFunction %2
          %6 = OpTypeFloat 32
         %13 = OpConstant %6 1
         %14 = OpTypeInt 32 1
         %17 = OpConstant %14 0
         %24 = OpConstant %14 1
         %25 = OpTypeBool
         %61 = OpConstant %6 0
        %143 = OpConstant %6 2
        %371 = OpTypeStruct %6
        %372 = OpTypePointer PushConstant %371
        %373 = OpVariable %372 PushConstant
        %375 = OpTypePointer PushConstant %6
        %439 = OpTypeVector %6 4
        %440 = OpTypePointer Output %439
        %441 = OpVariable %440 Output
        %442 = OpConstantComposite %439 %13 %61 %61 %13
        %444 = OpConstantComposite %439 %61 %61 %61 %61
        %449 = OpTypeInt 32 0
        %450 = OpConstant %449 0
        %451 = OpConstantFalse %25
        %454 = OpConstantTrue %25
        %747 = OpUndef %6
          %4 = OpFunction %2 None %3
          %5 = OpLabel
               OpBranch %148
        %148 = OpLabel
        %606 = OpPhi %6 %61 %5 %786 %151
        %605 = OpPhi %14 %17 %5 %434 %151
        %746 = OpPhi %6 %747 %5 %745 %151
        %154 = OpSLessThan %25 %605 %24
               OpLoopMerge %150 %151 None
               OpBranchConditional %154 %149 %150
        %149 = OpLabel
               OpBranch %156
        %156 = OpLabel
        %607 = OpPhi %14 %17 %149 %432 %159
        %786 = OpPhi %6 %606 %149 %787 %159
        %745 = OpPhi %6 %746 %149 %744 %159
        %162 = OpSLessThan %25 %607 %24
               OpLoopMerge %158 %159 None
               OpBranchConditional %162 %157 %158
        %157 = OpLabel
               OpBranch %164
        %164 = OpLabel
        %609 = OpPhi %14 %17 %157 %430 %167
        %787 = OpPhi %6 %786 %157 %788 %167
        %744 = OpPhi %6 %745 %157 %743 %167
        %170 = OpSLessThan %25 %609 %24
               OpLoopMerge %166 %167 None
               OpBranchConditional %170 %165 %166
        %165 = OpLabel
               OpBranch %172
        %172 = OpLabel
        %611 = OpPhi %14 %17 %165 %428 %175
        %788 = OpPhi %6 %787 %165 %789 %175
        %743 = OpPhi %6 %744 %165 %742 %175
        %178 = OpSLessThan %25 %611 %24
               OpLoopMerge %174 %175 None
               OpBranchConditional %178 %173 %174
        %173 = OpLabel
               OpBranch %180
        %180 = OpLabel
        %613 = OpPhi %14 %17 %173 %426 %183
        %789 = OpPhi %6 %788 %173 %790 %183
        %742 = OpPhi %6 %743 %173 %741 %183
        %186 = OpSLessThan %25 %613 %24
               OpLoopMerge %182 %183 None
               OpBranchConditional %186 %181 %182
        %181 = OpLabel
               OpBranch %188
        %188 = OpLabel
        %615 = OpPhi %14 %17 %181 %424 %191
        %790 = OpPhi %6 %789 %181 %791 %191
        %741 = OpPhi %6 %742 %181 %740 %191
        %194 = OpSLessThan %25 %615 %24
               OpLoopMerge %190 %191 None
               OpBranchConditional %194 %189 %190
        %189 = OpLabel
               OpBranch %196
        %196 = OpLabel
        %617 = OpPhi %14 %17 %189 %422 %199
        %791 = OpPhi %6 %790 %189 %792 %199
        %740 = OpPhi %6 %741 %189 %739 %199
        %202 = OpSLessThan %25 %617 %24
               OpLoopMerge %198 %199 None
               OpBranchConditional %202 %197 %198
        %197 = OpLabel
               OpBranch %204
        %204 = OpLabel
        %619 = OpPhi %14 %17 %197 %420 %207
        %792 = OpPhi %6 %791 %197 %793 %207
        %739 = OpPhi %6 %740 %197 %738 %207
        %210 = OpSLessThan %25 %619 %24
               OpLoopMerge %206 %207 None
               OpBranchConditional %210 %205 %206
        %205 = OpLabel
               OpBranch %212
        %212 = OpLabel
        %621 = OpPhi %14 %17 %205 %418 %215
        %793 = OpPhi %6 %792 %205 %794 %215
        %738 = OpPhi %6 %739 %205 %737 %215
        %218 = OpSLessThan %25 %621 %24
               OpLoopMerge %214 %215 None
               OpBranchConditional %218 %213 %214
        %213 = OpLabel
               OpBranch %220
        %220 = OpLabel
        %623 = OpPhi %14 %17 %213 %416 %223
        %794 = OpPhi %6 %793 %213 %795 %223
        %737 = OpPhi %6 %738 %213 %736 %223
        %226 = OpSLessThan %25 %623 %24
               OpLoopMerge %222 %223 None
               OpBranchConditional %226 %221 %222
        %221 = OpLabel
               OpBranch %228
        %228 = OpLabel
        %625 = OpPhi %14 %17 %221 %414 %231
        %795 = OpPhi %6 %794 %221 %796 %231
        %736 = OpPhi %6 %737 %221 %735 %231
        %234 = OpSLessThan %25 %625 %24
               OpLoopMerge %230 %231 None
               OpBranchConditional %234 %229 %230
        %229 = OpLabel
               OpBranch %236
        %236 = OpLabel
        %627 = OpPhi %14 %17 %229 %412 %239
        %796 = OpPhi %6 %795 %229 %797 %239
        %735 = OpPhi %6 %736 %229 %734 %239
        %242 = OpSLessThan %25 %627 %24
               OpLoopMerge %238 %239 None
               OpBranchConditional %242 %237 %238
        %237 = OpLabel
               OpBranch %244
        %244 = OpLabel
        %629 = OpPhi %14 %17 %237 %410 %247
        %797 = OpPhi %6 %796 %237 %798 %247
        %734 = OpPhi %6 %735 %237 %733 %247
        %250 = OpSLessThan %25 %629 %24
               OpLoopMerge %246 %247 None
               OpBranchConditional %250 %245 %246
        %245 = OpLabel
               OpBranch %252
        %252 = OpLabel
        %631 = OpPhi %14 %17 %245 %408 %255
        %798 = OpPhi %6 %797 %245 %799 %255
        %733 = OpPhi %6 %734 %245 %732 %255
        %258 = OpSLessThan %25 %631 %24
               OpLoopMerge %254 %255 None
               OpBranchConditional %258 %253 %254
        %253 = OpLabel
               OpBranch %260
        %260 = OpLabel
        %633 = OpPhi %14 %17 %253 %406 %263
        %799 = OpPhi %6 %798 %253 %800 %263
        %732 = OpPhi %6 %733 %253 %731 %263
        %266 = OpSLessThan %25 %633 %24
               OpLoopMerge %262 %263 None
               OpBranchConditional %266 %261 %262
        %261 = OpLabel
               OpBranch %268
        %268 = OpLabel
        %635 = OpPhi %14 %17 %261 %404 %271
        %800 = OpPhi %6 %799 %261 %801 %271
        %731 = OpPhi %6 %732 %261 %730 %271
        %274 = OpSLessThan %25 %635 %24
               OpLoopMerge %270 %271 None
               OpBranchConditional %274 %269 %270
        %269 = OpLabel
               OpBranch %276
        %276 = OpLabel
        %637 = OpPhi %14 %17 %269 %402 %279
        %801 = OpPhi %6 %800 %269 %802 %279
        %730 = OpPhi %6 %731 %269 %729 %279
        %282 = OpSLessThan %25 %637 %24
               OpLoopMerge %278 %279 None
               OpBranchConditional %282 %277 %278
        %277 = OpLabel
               OpBranch %284
        %284 = OpLabel
        %639 = OpPhi %14 %17 %277 %400 %287
        %802 = OpPhi %6 %801 %277 %803 %287
        %729 = OpPhi %6 %730 %277 %728 %287
        %290 = OpSLessThan %25 %639 %24
               OpLoopMerge %286 %287 None
               OpBranchConditional %290 %285 %286
        %285 = OpLabel
               OpBranch %292
        %292 = OpLabel
        %641 = OpPhi %14 %17 %285 %398 %295
        %803 = OpPhi %6 %802 %285 %804 %295
        %728 = OpPhi %6 %729 %285 %727 %295
        %298 = OpSLessThan %25 %641 %24
               OpLoopMerge %294 %295 None
               OpBranchConditional %298 %293 %294
        %293 = OpLabel
               OpBranch %300
        %300 = OpLabel
        %643 = OpPhi %14 %17 %293 %396 %303
        %804 = OpPhi %6 %803 %293 %805 %303
        %727 = OpPhi %6 %728 %293 %726 %303
        %306 = OpSLessThan %25 %643 %24
               OpLoopMerge %302 %303 None
               OpBranchConditional %306 %301 %302
        %301 = OpLabel
               OpBranch %308
        %308 = OpLabel
        %645 = OpPhi %14 %17 %301 %394 %311
        %805 = OpPhi %6 %804 %301 %806 %311
        %726 = OpPhi %6 %727 %301 %725 %311
        %314 = OpSLessThan %25 %645 %24
               OpLoopMerge %310 %311 None
               OpBranchConditional %314 %309 %310
        %309 = OpLabel
               OpBranch %316
        %316 = OpLabel
        %647 = OpPhi %14 %17 %309 %392 %319
        %806 = OpPhi %6 %805 %309 %807 %319
        %725 = OpPhi %6 %726 %309 %724 %319
        %322 = OpSLessThan %25 %647 %24
               OpLoopMerge %318 %319 None
               OpBranchConditional %322 %317 %318
        %317 = OpLabel
               OpBranch %324
        %324 = OpLabel
        %649 = OpPhi %14 %17 %317 %390 %327
        %807 = OpPhi %6 %806 %317 %808 %327
        %724 = OpPhi %6 %725 %317 %723 %327
        %330 = OpSLessThan %25 %649 %24
               OpLoopMerge %326 %327 None
               OpBranchConditional %330 %325 %326
        %325 = OpLabel
               OpBranch %332
        %332 = OpLabel
        %651 = OpPhi %14 %17 %325 %388 %335
        %808 = OpPhi %6 %807 %325 %809 %335
        %723 = OpPhi %6 %724 %325 %722 %335
        %338 = OpSLessThan %25 %651 %24
               OpLoopMerge %334 %335 None
               OpBranchConditional %338 %333 %334
        %333 = OpLabel
               OpBranch %340
        %340 = OpLabel
        %653 = OpPhi %14 %17 %333 %386 %343
        %809 = OpPhi %6 %808 %333 %810 %343
        %722 = OpPhi %6 %723 %333 %721 %343
        %346 = OpSLessThan %25 %653 %24
               OpLoopMerge %342 %343 None
               OpBranchConditional %346 %341 %342
        %341 = OpLabel
               OpBranch %348
        %348 = OpLabel
        %655 = OpPhi %14 %17 %341 %384 %351
        %810 = OpPhi %6 %809 %341 %811 %351
        %721 = OpPhi %6 %722 %341 %720 %351
        %354 = OpSLessThan %25 %655 %24
               OpLoopMerge %350 %351 None
               OpBranchConditional %354 %349 %350
        %349 = OpLabel
               OpBranch %356
        %356 = OpLabel
        %657 = OpPhi %14 %17 %349 %382 %359
        %811 = OpPhi %6 %810 %349 %812 %359
        %720 = OpPhi %6 %721 %349 %719 %359
        %362 = OpSLessThan %25 %657 %24
               OpLoopMerge %358 %359 None
               OpBranchConditional %362 %357 %358
        %357 = OpLabel
               OpBranch %364
        %364 = OpLabel
        %719 = OpPhi %6 %720 %357 %716 %367
        %659 = OpPhi %14 %17 %357 %380 %367
        %812 = OpPhi %6 %811 %357 %716 %367
        %370 = OpSLessThan %25 %659 %24
               OpLoopMerge %366 %367 None
               OpBranchConditional %370 %365 %366
        %365 = OpLabel
        %376 = OpAccessChain %375 %373 %17
        %377 = OpLoad %6 %376
               OpSelectionMerge %603 None
               OpSwitch %450 %481
        %481 = OpLabel
               OpBranch %482
        %482 = OpLabel
        %681 = OpPhi %25 %451 %481 %704 %597
        %674 = OpPhi %6 %13 %481 %1655 %597
        %661 = OpPhi %14 %17 %481 %599 %597
        %718 = OpPhi %6 %719 %481 %748 %597
        %485 = OpSLessThan %25 %661 %24
               OpLoopMerge %600 %597 None
               OpBranchConditional %485 %486 %600
        %486 = OpLabel
               OpBranch %487
        %487 = OpLabel
        %680 = OpPhi %25 %681 %486 %695 %591
        %673 = OpPhi %6 %674 %486 %1656 %591
        %662 = OpPhi %14 %17 %486 %593 %591
        %749 = OpPhi %6 %718 %486 %750 %591
        %490 = OpSLessThan %25 %662 %24
               OpLoopMerge %594 %591 None
               OpBranchConditional %490 %491 %594
        %491 = OpLabel
               OpBranch %492
        %492 = OpLabel
        %679 = OpPhi %25 %680 %491 %688 %585
        %672 = OpPhi %6 %673 %491 %1657 %585
        %663 = OpPhi %14 %17 %491 %587 %585
        %751 = OpPhi %6 %749 %491 %752 %585
        %495 = OpSLessThan %25 %663 %24
               OpLoopMerge %588 %585 None
               OpBranchConditional %495 %496 %588
        %496 = OpLabel
               OpBranch %497
        %497 = OpLabel
        %678 = OpPhi %25 %679 %496 %676 %579
        %671 = OpPhi %6 %672 %496 %1658 %579
        %664 = OpPhi %14 %17 %496 %581 %579
        %753 = OpPhi %6 %751 %496 %754 %579
        %500 = OpSLessThan %25 %664 %24
               OpLoopMerge %582 %579 None
               OpBranchConditional %500 %501 %582
        %501 = OpLabel
               OpBranch %502
        %502 = OpLabel
        %665 = OpPhi %14 %17 %501 %575 %573
        %670 = OpPhi %6 %671 %501 %669 %573
        %505 = OpSLessThan %25 %665 %24
               OpLoopMerge %576 %573 None
               OpBranchConditional %505 %506 %576
        %506 = OpLabel
        %508 = OpFMod %6 %13 %377
        %509 = OpFOrdLessThan %25 %508 %61
               OpSelectionMerge %567 None
               OpBranchConditional %509 %510 %567
        %510 = OpLabel
               OpBranch %511
        %511 = OpLabel
        %675 = OpPhi %6 %670 %510 %785 %563
        %666 = OpPhi %14 %17 %510 %565 %563
        %514 = OpSLessThan %25 %666 %24
               OpLoopMerge %566 %563 None
               OpBranchConditional %514 %515 %566
        %515 = OpLabel
               OpBranch %516
        %516 = OpLabel
        %771 = OpPhi %14 %17 %515 %561 %559
        %785 = OpPhi %6 %675 %515 %784 %559
        %519 = OpSLessThan %25 %771 %24
               OpLoopMerge %562 %559 None
               OpBranchConditional %519 %520 %562
        %520 = OpLabel
               OpBranch %521
        %521 = OpLabel
        %773 = OpPhi %14 %17 %520 %557 %555
        %784 = OpPhi %6 %785 %520 %783 %555
        %524 = OpSLessThan %25 %773 %24
               OpLoopMerge %558 %555 None
               OpBranchConditional %524 %525 %558
        %525 = OpLabel
               OpBranch %526
        %526 = OpLabel
        %775 = OpPhi %14 %17 %525 %553 %551
        %783 = OpPhi %6 %784 %525 %782 %551
        %529 = OpSLessThan %25 %775 %24
               OpLoopMerge %554 %551 None
               OpBranchConditional %529 %530 %554
        %530 = OpLabel
               OpBranch %531
        %531 = OpLabel
        %777 = OpPhi %14 %17 %530 %549 %547
        %782 = OpPhi %6 %783 %530 %781 %547
        %534 = OpSLessThan %25 %777 %24
               OpLoopMerge %550 %547 None
               OpBranchConditional %534 %535 %550
        %535 = OpLabel
               OpBranch %536
        %536 = OpLabel
        %781 = OpPhi %6 %782 %535 %542 %540
        %779 = OpPhi %14 %17 %535 %545 %540
        %539 = OpSLessThan %25 %779 %24
               OpLoopMerge %546 %540 None
               OpBranchConditional %539 %540 %546
        %540 = OpLabel
        %542 = OpFAdd %6 %781 %13
        %545 = OpIAdd %14 %779 %24
               OpBranch %536
        %546 = OpLabel
               OpBranch %547
        %547 = OpLabel
        %549 = OpIAdd %14 %777 %24
               OpBranch %531
        %550 = OpLabel
               OpBranch %551
        %551 = OpLabel
        %553 = OpIAdd %14 %775 %24
               OpBranch %526
        %554 = OpLabel
               OpBranch %555
        %555 = OpLabel
        %557 = OpIAdd %14 %773 %24
               OpBranch %521
        %558 = OpLabel
               OpBranch %559
        %559 = OpLabel
        %561 = OpIAdd %14 %771 %24
               OpBranch %516
        %562 = OpLabel
               OpBranch %563
        %563 = OpLabel
        %565 = OpIAdd %14 %666 %24
               OpBranch %511
        %566 = OpLabel
               OpBranch %567
        %567 = OpLabel
        %669 = OpPhi %6 %670 %506 %675 %566
        %569 = OpFOrdGreaterThan %25 %377 %13
               OpSelectionMerge %572 None
               OpBranchConditional %569 %570 %572
        %570 = OpLabel
               OpBranch %576
        %572 = OpLabel
               OpBranch %573
        %573 = OpLabel
        %575 = OpIAdd %14 %665 %24
               OpBranch %502
        %576 = OpLabel
       %1658 = OpPhi %6 %670 %502 %669 %570
        %754 = OpPhi %6 %753 %502 %669 %570
        %676 = OpPhi %25 %678 %502 %454 %570
               OpSelectionMerge %578 None
               OpBranchConditional %676 %582 %578
        %578 = OpLabel
               OpBranch %579
        %579 = OpLabel
        %581 = OpIAdd %14 %664 %24
               OpBranch %497
        %582 = OpLabel
       %1657 = OpPhi %6 %671 %497 %1658 %576
        %752 = OpPhi %6 %753 %497 %754 %576
        %688 = OpPhi %25 %678 %497 %676 %576
               OpSelectionMerge %584 None
               OpBranchConditional %688 %588 %584
        %584 = OpLabel
               OpBranch %585
        %585 = OpLabel
        %587 = OpIAdd %14 %663 %24
               OpBranch %492
        %588 = OpLabel
       %1656 = OpPhi %6 %672 %492 %1657 %582
        %750 = OpPhi %6 %751 %492 %752 %582
        %695 = OpPhi %25 %679 %492 %688 %582
               OpSelectionMerge %590 None
               OpBranchConditional %695 %594 %590
        %590 = OpLabel
               OpBranch %591
        %591 = OpLabel
        %593 = OpIAdd %14 %662 %24
               OpBranch %487
        %594 = OpLabel
       %1655 = OpPhi %6 %673 %487 %1656 %588
        %748 = OpPhi %6 %749 %487 %750 %588
        %704 = OpPhi %25 %680 %487 %695 %588
               OpSelectionMerge %596 None
               OpBranchConditional %704 %600 %596
        %596 = OpLabel
               OpBranch %597
        %597 = OpLabel
        %599 = OpIAdd %14 %661 %24
               OpBranch %482
        %600 = OpLabel
        %717 = OpPhi %6 %718 %482 %748 %594
        %715 = OpPhi %25 %681 %482 %704 %594
               OpSelectionMerge %602 None
               OpBranchConditional %715 %603 %602
        %602 = OpLabel
               OpBranch %603
        %603 = OpLabel
        %716 = OpPhi %6 %717 %600 %143 %602
               OpBranch %367
        %367 = OpLabel
        %380 = OpIAdd %14 %659 %24
               OpBranch %364
        %366 = OpLabel
               OpBranch %359
        %359 = OpLabel
        %382 = OpIAdd %14 %657 %24
               OpBranch %356
        %358 = OpLabel
               OpBranch %351
        %351 = OpLabel
        %384 = OpIAdd %14 %655 %24
               OpBranch %348
        %350 = OpLabel
               OpBranch %343
        %343 = OpLabel
        %386 = OpIAdd %14 %653 %24
               OpBranch %340
        %342 = OpLabel
               OpBranch %335
        %335 = OpLabel
        %388 = OpIAdd %14 %651 %24
               OpBranch %332
        %334 = OpLabel
               OpBranch %327
        %327 = OpLabel
        %390 = OpIAdd %14 %649 %24
               OpBranch %324
        %326 = OpLabel
               OpBranch %319
        %319 = OpLabel
        %392 = OpIAdd %14 %647 %24
               OpBranch %316
        %318 = OpLabel
               OpBranch %311
        %311 = OpLabel
        %394 = OpIAdd %14 %645 %24
               OpBranch %308
        %310 = OpLabel
               OpBranch %303
        %303 = OpLabel
        %396 = OpIAdd %14 %643 %24
               OpBranch %300
        %302 = OpLabel
               OpBranch %295
        %295 = OpLabel
        %398 = OpIAdd %14 %641 %24
               OpBranch %292
        %294 = OpLabel
               OpBranch %287
        %287 = OpLabel
        %400 = OpIAdd %14 %639 %24
               OpBranch %284
        %286 = OpLabel
               OpBranch %279
        %279 = OpLabel
        %402 = OpIAdd %14 %637 %24
               OpBranch %276
        %278 = OpLabel
               OpBranch %271
        %271 = OpLabel
        %404 = OpIAdd %14 %635 %24
               OpBranch %268
        %270 = OpLabel
               OpBranch %263
        %263 = OpLabel
        %406 = OpIAdd %14 %633 %24
               OpBranch %260
        %262 = OpLabel
               OpBranch %255
        %255 = OpLabel
        %408 = OpIAdd %14 %631 %24
               OpBranch %252
        %254 = OpLabel
               OpBranch %247
        %247 = OpLabel
        %410 = OpIAdd %14 %629 %24
               OpBranch %244
        %246 = OpLabel
               OpBranch %239
        %239 = OpLabel
        %412 = OpIAdd %14 %627 %24
               OpBranch %236
        %238 = OpLabel
               OpBranch %231
        %231 = OpLabel
        %414 = OpIAdd %14 %625 %24
               OpBranch %228
        %230 = OpLabel
               OpBranch %223
        %223 = OpLabel
        %416 = OpIAdd %14 %623 %24
               OpBranch %220
        %222 = OpLabel
               OpBranch %215
        %215 = OpLabel
        %418 = OpIAdd %14 %621 %24
               OpBranch %212
        %214 = OpLabel
               OpBranch %207
        %207 = OpLabel
        %420 = OpIAdd %14 %619 %24
               OpBranch %204
        %206 = OpLabel
               OpBranch %199
        %199 = OpLabel
        %422 = OpIAdd %14 %617 %24
               OpBranch %196
        %198 = OpLabel
               OpBranch %191
        %191 = OpLabel
        %424 = OpIAdd %14 %615 %24
               OpBranch %188
        %190 = OpLabel
               OpBranch %183
        %183 = OpLabel
        %426 = OpIAdd %14 %613 %24
               OpBranch %180
        %182 = OpLabel
               OpBranch %175
        %175 = OpLabel
        %428 = OpIAdd %14 %611 %24
               OpBranch %172
        %174 = OpLabel
               OpBranch %167
        %167 = OpLabel
        %430 = OpIAdd %14 %609 %24
               OpBranch %164
        %166 = OpLabel
               OpBranch %159
        %159 = OpLabel
        %432 = OpIAdd %14 %607 %24
               OpBranch %156
        %158 = OpLabel
               OpBranch %151
        %151 = OpLabel
        %434 = OpIAdd %14 %605 %24
               OpBranch %148
        %150 = OpLabel
        %436 = OpFOrdEqual %25 %606 %13
               OpSelectionMerge %438 None
               OpBranchConditional %436 %437 %443
        %437 = OpLabel
               OpStore %441 %442
               OpBranch %438
        %443 = OpLabel
               OpStore %441 %444
               OpBranch %438
        %438 = OpLabel
               OpReturn
               OpFunctionEnd
END

# uniforms for variant

# five
BUFFER variant_five DATA_TYPE float STD140 DATA
 5.0
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
  BIND BUFFER variant_five AS push_constant
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