xref: /third_party/vk-gl-cts/external/vulkancts/data/vulkan/amber/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop.amber

#!amber

# Copyright 2020 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 bug found by GraphicsFuzz.

# Short description: A fragment shader with always false if with discard loop

# The test passes because both shaders render the same image.

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



SHADER vertex reference_vertex_shader PASSTHROUGH

# reference_fragment_shader is derived from the following GLSL:
# #version 320 es
# precision highp float;
#
# precision highp int;
#
# layout(location = 0) out vec4 _GLF_color;
#
# struct BST
# {
#     int data;
#     int leftIndex;
#     int rightIndex;
# };
#
# BST tree[10];
#
# void makeTreeNode(inout BST tree, int data)
# {
#     tree.data = data;
#     tree.leftIndex = -1;
#     tree.rightIndex = -1;
# }
# void insert(int treeIndex, int data)
# {
#     int baseIndex = 0;
#     while (baseIndex <= treeIndex)
#     {
#         if (data <= tree[baseIndex].data)
#         {
#             if (tree[baseIndex].leftIndex == -1)
#             {
#                 tree[baseIndex].leftIndex = treeIndex;
#                 makeTreeNode(tree[treeIndex], data);
#                 return;
#             }
#             else
#             {
#                 baseIndex = tree[baseIndex].leftIndex;
#                 continue;
#             }
#         }
#         else
#         {
#             if (tree[baseIndex].rightIndex == -1)
#             {
#                 tree[baseIndex].rightIndex = treeIndex;
#                 makeTreeNode(tree[treeIndex], data);
#                 return;
#             }
#             else
#             {
#                 baseIndex = tree[baseIndex].rightIndex;
#                 continue;
#             }
#         }
#     }
# }
# int search(int target)
# {
#     BST currentNode;
#     int index = 0;
#     while (index != -1)
#     {
#         currentNode = tree[index];
#         if (currentNode.data == target)
#         {
#             return target;
#         }
#         index = target > currentNode.data ? currentNode.rightIndex : currentNode.leftIndex;
#     }
#     return -1;
# }
# void main()
# {
#     int treeIndex = 0;
#     makeTreeNode(tree[0], 9);
#     treeIndex++;
#     insert(treeIndex, 5);
#     treeIndex++;
#     insert(treeIndex, 12);
#     treeIndex++;
#     insert(treeIndex, 15);
#     treeIndex++;
#     insert(treeIndex, 7);
#     treeIndex++;
#     insert(treeIndex, 8);
#     treeIndex++;
#     insert(treeIndex, 2);
#     treeIndex++;
#     insert(treeIndex, 6);
#     treeIndex++;
#     insert(treeIndex, 17);
#     treeIndex++;
#     insert(treeIndex, 13);
#     int count = 0;
#     for (int i = 0; i < 20; i++)
#     {
#         int result = search(i);
#         switch (i)
#         {
#         case 9:
#         case 5:
#         case 12:
#         case 15:
#         case 7:
#         case 8:
#         case 2:
#         case 6:
#         case 17:
#         case 13:
#             if (result == i)
#             {
#                 count++;
#             }
#             break;
#         default:
#             if (result == -1)
#             {
#                 count++;
#             }
#             break;
#         }
#     }
#     if (count == 20)
#     {
#         _GLF_color = vec4(1.0, 0.0, 0.0, 1.0);
#     }
#     else
#     {
#         _GLF_color = vec4(0.0, 0.0, 1.0, 1.0);
#     }
# }
SHADER fragment reference_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 10
; Bound: 1372
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %4 "main" %254
               OpExecutionMode %4 OriginUpperLeft
               OpSource ESSL 320
               OpName %4 "main"
               OpName %7 "BST"
               OpMemberName %7 0 "data"
               OpMemberName %7 1 "leftIndex"
               OpMemberName %7 2 "rightIndex"
               OpName %47 "tree"
               OpName %254 "_GLF_color"
               OpDecorate %254 Location 0
          %2 = OpTypeVoid
          %3 = OpTypeFunction %2
          %6 = OpTypeInt 32 1
          %7 = OpTypeStruct %6 %6 %6
          %8 = OpTypePointer Function %7
          %9 = OpTypePointer Function %6
         %24 = OpConstant %6 0
         %27 = OpConstant %6 1
         %28 = OpConstant %6 -1
         %30 = OpConstant %6 2
         %40 = OpTypeBool
         %43 = OpTypeInt 32 0
         %44 = OpConstant %43 10
         %45 = OpTypeArray %7 %44
        %141 = OpConstant %6 9
        %151 = OpConstant %6 5
        %158 = OpConstant %6 12
        %165 = OpConstant %6 15
        %172 = OpConstant %6 7
        %179 = OpConstant %6 8
        %192 = OpConstant %6 6
        %199 = OpConstant %6 17
        %206 = OpConstant %6 13
        %219 = OpConstant %6 20
        %251 = OpTypeFloat 32
        %252 = OpTypeVector %251 4
        %253 = OpTypePointer Output %252
        %254 = OpVariable %253 Output
        %255 = OpConstant %251 1
        %256 = OpConstant %251 0
        %257 = OpConstantComposite %252 %255 %256 %256 %255
        %259 = OpConstantComposite %252 %256 %256 %255 %255
        %262 = OpConstant %43 0
        %263 = OpConstantFalse %40
        %266 = OpConstantTrue %40
       %1015 = OpTypePointer Function %45
       %1318 = OpUndef %6
       %1359 = OpConstantComposite %7 %141 %28 %28
       %1360 = OpConstantComposite %7 %151 %28 %28
       %1361 = OpConstantComposite %7 %158 %28 %28
       %1362 = OpConstant %6 3
       %1363 = OpConstantComposite %7 %165 %28 %28
       %1364 = OpConstant %6 4
       %1365 = OpConstantComposite %7 %172 %28 %28
       %1366 = OpConstantComposite %7 %179 %28 %28
       %1367 = OpConstantComposite %7 %30 %28 %28
       %1368 = OpConstantComposite %7 %192 %28 %28
       %1369 = OpConstantComposite %7 %199 %28 %28
       %1370 = OpConstantComposite %7 %206 %28 %28
          %4 = OpFunction %2 None %3
          %5 = OpLabel
         %47 = OpVariable %1015 Function
        %148 = OpAccessChain %8 %47 %24
               OpStore %148 %1359
               OpSelectionMerge %347 None
               OpSwitch %262 %288
        %288 = OpLabel
               OpBranch %289
        %289 = OpLabel
       %1212 = OpPhi %6 %24 %288 %1342 %343
        %293 = OpSLessThanEqual %40 %1212 %27
               OpLoopMerge %344 %343 None
               OpBranchConditional %293 %294 %344
        %294 = OpLabel
        %297 = OpAccessChain %9 %47 %1212 %24
        %298 = OpLoad %6 %297
        %299 = OpSLessThanEqual %40 %151 %298
               OpSelectionMerge %342 None
               OpBranchConditional %299 %300 %321
        %321 = OpLabel
        %323 = OpAccessChain %9 %47 %1212 %30
        %324 = OpLoad %6 %323
        %325 = OpIEqual %40 %324 %28
               OpSelectionMerge %341 None
               OpBranchConditional %325 %326 %337
        %337 = OpLabel
        %340 = OpLoad %6 %323
               OpBranch %343
        %326 = OpLabel
               OpStore %323 %27
        %336 = OpAccessChain %8 %47 %27
               OpStore %336 %1360
               OpBranch %344
        %341 = OpLabel
               OpUnreachable
        %300 = OpLabel
        %302 = OpAccessChain %9 %47 %1212 %27
        %303 = OpLoad %6 %302
        %304 = OpIEqual %40 %303 %28
               OpSelectionMerge %320 None
               OpBranchConditional %304 %305 %316
        %316 = OpLabel
        %319 = OpLoad %6 %302
               OpBranch %343
        %305 = OpLabel
               OpStore %302 %27
        %315 = OpAccessChain %8 %47 %27
               OpStore %315 %1360
               OpBranch %344
        %320 = OpLabel
               OpUnreachable
        %342 = OpLabel
               OpUnreachable
        %343 = OpLabel
       %1342 = OpPhi %6 %319 %316 %340 %337
               OpBranch %289
        %344 = OpLabel
       %1213 = OpPhi %40 %263 %289 %266 %305 %266 %326
               OpSelectionMerge %346 None
               OpBranchConditional %1213 %347 %346
        %346 = OpLabel
               OpBranch %347
        %347 = OpLabel
               OpSelectionMerge %424 None
               OpSwitch %262 %365
        %365 = OpLabel
               OpBranch %366
        %366 = OpLabel
       %1220 = OpPhi %6 %24 %365 %1344 %420
        %370 = OpSLessThanEqual %40 %1220 %30
               OpLoopMerge %421 %420 None
               OpBranchConditional %370 %371 %421
        %371 = OpLabel
        %374 = OpAccessChain %9 %47 %1220 %24
        %375 = OpLoad %6 %374
        %376 = OpSLessThanEqual %40 %158 %375
               OpSelectionMerge %419 None
               OpBranchConditional %376 %377 %398
        %398 = OpLabel
        %400 = OpAccessChain %9 %47 %1220 %30
        %401 = OpLoad %6 %400
        %402 = OpIEqual %40 %401 %28
               OpSelectionMerge %418 None
               OpBranchConditional %402 %403 %414
        %414 = OpLabel
        %417 = OpLoad %6 %400
               OpBranch %420
        %403 = OpLabel
               OpStore %400 %30
        %413 = OpAccessChain %8 %47 %30
               OpStore %413 %1361
               OpBranch %421
        %418 = OpLabel
               OpUnreachable
        %377 = OpLabel
        %379 = OpAccessChain %9 %47 %1220 %27
        %380 = OpLoad %6 %379
        %381 = OpIEqual %40 %380 %28
               OpSelectionMerge %397 None
               OpBranchConditional %381 %382 %393
        %393 = OpLabel
        %396 = OpLoad %6 %379
               OpBranch %420
        %382 = OpLabel
               OpStore %379 %30
        %392 = OpAccessChain %8 %47 %30
               OpStore %392 %1361
               OpBranch %421
        %397 = OpLabel
               OpUnreachable
        %419 = OpLabel
               OpUnreachable
        %420 = OpLabel
       %1344 = OpPhi %6 %396 %393 %417 %414
               OpBranch %366
        %421 = OpLabel
       %1221 = OpPhi %40 %263 %366 %266 %382 %266 %403
               OpSelectionMerge %423 None
               OpBranchConditional %1221 %424 %423
        %423 = OpLabel
               OpBranch %424
        %424 = OpLabel
               OpSelectionMerge %501 None
               OpSwitch %262 %442
        %442 = OpLabel
               OpBranch %443
        %443 = OpLabel
       %1228 = OpPhi %6 %24 %442 %1345 %497
        %447 = OpSLessThanEqual %40 %1228 %1362
               OpLoopMerge %498 %497 None
               OpBranchConditional %447 %448 %498
        %448 = OpLabel
        %451 = OpAccessChain %9 %47 %1228 %24
        %452 = OpLoad %6 %451
        %453 = OpSLessThanEqual %40 %165 %452
               OpSelectionMerge %496 None
               OpBranchConditional %453 %454 %475
        %475 = OpLabel
        %477 = OpAccessChain %9 %47 %1228 %30
        %478 = OpLoad %6 %477
        %479 = OpIEqual %40 %478 %28
               OpSelectionMerge %495 None
               OpBranchConditional %479 %480 %491
        %491 = OpLabel
        %494 = OpLoad %6 %477
               OpBranch %497
        %480 = OpLabel
               OpStore %477 %1362
        %490 = OpAccessChain %8 %47 %1362
               OpStore %490 %1363
               OpBranch %498
        %495 = OpLabel
               OpUnreachable
        %454 = OpLabel
        %456 = OpAccessChain %9 %47 %1228 %27
        %457 = OpLoad %6 %456
        %458 = OpIEqual %40 %457 %28
               OpSelectionMerge %474 None
               OpBranchConditional %458 %459 %470
        %470 = OpLabel
        %473 = OpLoad %6 %456
               OpBranch %497
        %459 = OpLabel
               OpStore %456 %1362
        %469 = OpAccessChain %8 %47 %1362
               OpStore %469 %1363
               OpBranch %498
        %474 = OpLabel
               OpUnreachable
        %496 = OpLabel
               OpUnreachable
        %497 = OpLabel
       %1345 = OpPhi %6 %473 %470 %494 %491
               OpBranch %443
        %498 = OpLabel
       %1229 = OpPhi %40 %263 %443 %266 %459 %266 %480
               OpSelectionMerge %500 None
               OpBranchConditional %1229 %501 %500
        %500 = OpLabel
               OpBranch %501
        %501 = OpLabel
               OpSelectionMerge %578 None
               OpSwitch %262 %519
        %519 = OpLabel
               OpBranch %520
        %520 = OpLabel
       %1236 = OpPhi %6 %24 %519 %1346 %574
        %524 = OpSLessThanEqual %40 %1236 %1364
               OpLoopMerge %575 %574 None
               OpBranchConditional %524 %525 %575
        %525 = OpLabel
        %528 = OpAccessChain %9 %47 %1236 %24
        %529 = OpLoad %6 %528
        %530 = OpSLessThanEqual %40 %172 %529
               OpSelectionMerge %573 None
               OpBranchConditional %530 %531 %552
        %552 = OpLabel
        %554 = OpAccessChain %9 %47 %1236 %30
        %555 = OpLoad %6 %554
        %556 = OpIEqual %40 %555 %28
               OpSelectionMerge %572 None
               OpBranchConditional %556 %557 %568
        %568 = OpLabel
        %571 = OpLoad %6 %554
               OpBranch %574
        %557 = OpLabel
               OpStore %554 %1364
        %567 = OpAccessChain %8 %47 %1364
               OpStore %567 %1365
               OpBranch %575
        %572 = OpLabel
               OpUnreachable
        %531 = OpLabel
        %533 = OpAccessChain %9 %47 %1236 %27
        %534 = OpLoad %6 %533
        %535 = OpIEqual %40 %534 %28
               OpSelectionMerge %551 None
               OpBranchConditional %535 %536 %547
        %547 = OpLabel
        %550 = OpLoad %6 %533
               OpBranch %574
        %536 = OpLabel
               OpStore %533 %1364
        %546 = OpAccessChain %8 %47 %1364
               OpStore %546 %1365
               OpBranch %575
        %551 = OpLabel
               OpUnreachable
        %573 = OpLabel
               OpUnreachable
        %574 = OpLabel
       %1346 = OpPhi %6 %550 %547 %571 %568
               OpBranch %520
        %575 = OpLabel
       %1237 = OpPhi %40 %263 %520 %266 %536 %266 %557
               OpSelectionMerge %577 None
               OpBranchConditional %1237 %578 %577
        %577 = OpLabel
               OpBranch %578
        %578 = OpLabel
               OpSelectionMerge %655 None
               OpSwitch %262 %596
        %596 = OpLabel
               OpBranch %597
        %597 = OpLabel
       %1244 = OpPhi %6 %24 %596 %1347 %651
        %601 = OpSLessThanEqual %40 %1244 %151
               OpLoopMerge %652 %651 None
               OpBranchConditional %601 %602 %652
        %602 = OpLabel
        %605 = OpAccessChain %9 %47 %1244 %24
        %606 = OpLoad %6 %605
        %607 = OpSLessThanEqual %40 %179 %606
               OpSelectionMerge %650 None
               OpBranchConditional %607 %608 %629
        %629 = OpLabel
        %631 = OpAccessChain %9 %47 %1244 %30
        %632 = OpLoad %6 %631
        %633 = OpIEqual %40 %632 %28
               OpSelectionMerge %649 None
               OpBranchConditional %633 %634 %645
        %645 = OpLabel
        %648 = OpLoad %6 %631
               OpBranch %651
        %634 = OpLabel
               OpStore %631 %151
        %644 = OpAccessChain %8 %47 %151
               OpStore %644 %1366
               OpBranch %652
        %649 = OpLabel
               OpUnreachable
        %608 = OpLabel
        %610 = OpAccessChain %9 %47 %1244 %27
        %611 = OpLoad %6 %610
        %612 = OpIEqual %40 %611 %28
               OpSelectionMerge %628 None
               OpBranchConditional %612 %613 %624
        %624 = OpLabel
        %627 = OpLoad %6 %610
               OpBranch %651
        %613 = OpLabel
               OpStore %610 %151
        %623 = OpAccessChain %8 %47 %151
               OpStore %623 %1366
               OpBranch %652
        %628 = OpLabel
               OpUnreachable
        %650 = OpLabel
               OpUnreachable
        %651 = OpLabel
       %1347 = OpPhi %6 %627 %624 %648 %645
               OpBranch %597
        %652 = OpLabel
       %1245 = OpPhi %40 %263 %597 %266 %613 %266 %634
               OpSelectionMerge %654 None
               OpBranchConditional %1245 %655 %654
        %654 = OpLabel
               OpBranch %655
        %655 = OpLabel
               OpSelectionMerge %732 None
               OpSwitch %262 %673
        %673 = OpLabel
               OpBranch %674
        %674 = OpLabel
       %1252 = OpPhi %6 %24 %673 %1348 %728
        %678 = OpSLessThanEqual %40 %1252 %192
               OpLoopMerge %729 %728 None
               OpBranchConditional %678 %679 %729
        %679 = OpLabel
        %682 = OpAccessChain %9 %47 %1252 %24
        %683 = OpLoad %6 %682
        %684 = OpSLessThanEqual %40 %30 %683
               OpSelectionMerge %727 None
               OpBranchConditional %684 %685 %706
        %706 = OpLabel
        %708 = OpAccessChain %9 %47 %1252 %30
        %709 = OpLoad %6 %708
        %710 = OpIEqual %40 %709 %28
               OpSelectionMerge %726 None
               OpBranchConditional %710 %711 %722
        %722 = OpLabel
        %725 = OpLoad %6 %708
               OpBranch %728
        %711 = OpLabel
               OpStore %708 %192
        %721 = OpAccessChain %8 %47 %192
               OpStore %721 %1367
               OpBranch %729
        %726 = OpLabel
               OpUnreachable
        %685 = OpLabel
        %687 = OpAccessChain %9 %47 %1252 %27
        %688 = OpLoad %6 %687
        %689 = OpIEqual %40 %688 %28
               OpSelectionMerge %705 None
               OpBranchConditional %689 %690 %701
        %701 = OpLabel
        %704 = OpLoad %6 %687
               OpBranch %728
        %690 = OpLabel
               OpStore %687 %192
        %700 = OpAccessChain %8 %47 %192
               OpStore %700 %1367
               OpBranch %729
        %705 = OpLabel
               OpUnreachable
        %727 = OpLabel
               OpUnreachable
        %728 = OpLabel
       %1348 = OpPhi %6 %704 %701 %725 %722
               OpBranch %674
        %729 = OpLabel
       %1253 = OpPhi %40 %263 %674 %266 %690 %266 %711
               OpSelectionMerge %731 None
               OpBranchConditional %1253 %732 %731
        %731 = OpLabel
               OpBranch %732
        %732 = OpLabel
               OpSelectionMerge %809 None
               OpSwitch %262 %750
        %750 = OpLabel
               OpBranch %751
        %751 = OpLabel
       %1260 = OpPhi %6 %24 %750 %1349 %805
        %755 = OpSLessThanEqual %40 %1260 %172
               OpLoopMerge %806 %805 None
               OpBranchConditional %755 %756 %806
        %756 = OpLabel
        %759 = OpAccessChain %9 %47 %1260 %24
        %760 = OpLoad %6 %759
        %761 = OpSLessThanEqual %40 %192 %760
               OpSelectionMerge %804 None
               OpBranchConditional %761 %762 %783
        %783 = OpLabel
        %785 = OpAccessChain %9 %47 %1260 %30
        %786 = OpLoad %6 %785
        %787 = OpIEqual %40 %786 %28
               OpSelectionMerge %803 None
               OpBranchConditional %787 %788 %799
        %799 = OpLabel
        %802 = OpLoad %6 %785
               OpBranch %805
        %788 = OpLabel
               OpStore %785 %172
        %798 = OpAccessChain %8 %47 %172
               OpStore %798 %1368
               OpBranch %806
        %803 = OpLabel
               OpUnreachable
        %762 = OpLabel
        %764 = OpAccessChain %9 %47 %1260 %27
        %765 = OpLoad %6 %764
        %766 = OpIEqual %40 %765 %28
               OpSelectionMerge %782 None
               OpBranchConditional %766 %767 %778
        %778 = OpLabel
        %781 = OpLoad %6 %764
               OpBranch %805
        %767 = OpLabel
               OpStore %764 %172
        %777 = OpAccessChain %8 %47 %172
               OpStore %777 %1368
               OpBranch %806
        %782 = OpLabel
               OpUnreachable
        %804 = OpLabel
               OpUnreachable
        %805 = OpLabel
       %1349 = OpPhi %6 %781 %778 %802 %799
               OpBranch %751
        %806 = OpLabel
       %1261 = OpPhi %40 %263 %751 %266 %767 %266 %788
               OpSelectionMerge %808 None
               OpBranchConditional %1261 %809 %808
        %808 = OpLabel
               OpBranch %809
        %809 = OpLabel
               OpSelectionMerge %886 None
               OpSwitch %262 %827
        %827 = OpLabel
               OpBranch %828
        %828 = OpLabel
       %1268 = OpPhi %6 %24 %827 %1350 %882
        %832 = OpSLessThanEqual %40 %1268 %179
               OpLoopMerge %883 %882 None
               OpBranchConditional %832 %833 %883
        %833 = OpLabel
        %836 = OpAccessChain %9 %47 %1268 %24
        %837 = OpLoad %6 %836
        %838 = OpSLessThanEqual %40 %199 %837
               OpSelectionMerge %881 None
               OpBranchConditional %838 %839 %860
        %860 = OpLabel
        %862 = OpAccessChain %9 %47 %1268 %30
        %863 = OpLoad %6 %862
        %864 = OpIEqual %40 %863 %28
               OpSelectionMerge %880 None
               OpBranchConditional %864 %865 %876
        %876 = OpLabel
        %879 = OpLoad %6 %862
               OpBranch %882
        %865 = OpLabel
               OpStore %862 %179
        %875 = OpAccessChain %8 %47 %179
               OpStore %875 %1369
               OpBranch %883
        %880 = OpLabel
               OpUnreachable
        %839 = OpLabel
        %841 = OpAccessChain %9 %47 %1268 %27
        %842 = OpLoad %6 %841
        %843 = OpIEqual %40 %842 %28
               OpSelectionMerge %859 None
               OpBranchConditional %843 %844 %855
        %855 = OpLabel
        %858 = OpLoad %6 %841
               OpBranch %882
        %844 = OpLabel
               OpStore %841 %179
        %854 = OpAccessChain %8 %47 %179
               OpStore %854 %1369
               OpBranch %883
        %859 = OpLabel
               OpUnreachable
        %881 = OpLabel
               OpUnreachable
        %882 = OpLabel
       %1350 = OpPhi %6 %858 %855 %879 %876
               OpBranch %828
        %883 = OpLabel
       %1269 = OpPhi %40 %263 %828 %266 %844 %266 %865
               OpSelectionMerge %885 None
               OpBranchConditional %1269 %886 %885
        %885 = OpLabel
               OpBranch %886
        %886 = OpLabel
               OpSelectionMerge %963 None
               OpSwitch %262 %904
        %904 = OpLabel
               OpBranch %905
        %905 = OpLabel
       %1276 = OpPhi %6 %24 %904 %1351 %959
        %909 = OpSLessThanEqual %40 %1276 %141
               OpLoopMerge %960 %959 None
               OpBranchConditional %909 %910 %960
        %910 = OpLabel
        %913 = OpAccessChain %9 %47 %1276 %24
        %914 = OpLoad %6 %913
        %915 = OpSLessThanEqual %40 %206 %914
               OpSelectionMerge %958 None
               OpBranchConditional %915 %916 %937
        %937 = OpLabel
        %939 = OpAccessChain %9 %47 %1276 %30
        %940 = OpLoad %6 %939
        %941 = OpIEqual %40 %940 %28
               OpSelectionMerge %957 None
               OpBranchConditional %941 %942 %953
        %953 = OpLabel
        %956 = OpLoad %6 %939
               OpBranch %959
        %942 = OpLabel
               OpStore %939 %141
        %952 = OpAccessChain %8 %47 %141
               OpStore %952 %1370
               OpBranch %960
        %957 = OpLabel
               OpUnreachable
        %916 = OpLabel
        %918 = OpAccessChain %9 %47 %1276 %27
        %919 = OpLoad %6 %918
        %920 = OpIEqual %40 %919 %28
               OpSelectionMerge %936 None
               OpBranchConditional %920 %921 %932
        %932 = OpLabel
        %935 = OpLoad %6 %918
               OpBranch %959
        %921 = OpLabel
               OpStore %918 %141
        %931 = OpAccessChain %8 %47 %141
               OpStore %931 %1370
               OpBranch %960
        %936 = OpLabel
               OpUnreachable
        %958 = OpLabel
               OpUnreachable
        %959 = OpLabel
       %1351 = OpPhi %6 %935 %932 %956 %953
               OpBranch %905
        %960 = OpLabel
       %1277 = OpPhi %40 %263 %905 %266 %921 %266 %942
               OpSelectionMerge %962 None
               OpBranchConditional %1277 %963 %962
        %962 = OpLabel
               OpBranch %963
        %963 = OpLabel
               OpBranch %213
        %213 = OpLabel
       %1290 = OpPhi %6 %1318 %963 %1287 %216
       %1281 = OpPhi %6 %24 %963 %1352 %216
       %1280 = OpPhi %6 %24 %963 %246 %216
        %220 = OpSLessThan %40 %1280 %219
               OpLoopMerge %215 %216 None
               OpBranchConditional %220 %214 %215
        %214 = OpLabel
               OpSelectionMerge %1013 None
               OpSwitch %262 %981
        %981 = OpLabel
               OpBranch %982
        %982 = OpLabel
       %1282 = OpPhi %6 %24 %981 %1371 %1009
        %985 = OpINotEqual %40 %1282 %28
               OpLoopMerge %1010 %1009 None
               OpBranchConditional %985 %986 %1010
        %986 = OpLabel
        %988 = OpAccessChain %8 %47 %1282
        %989 = OpLoad %7 %988
       %1019 = OpCompositeExtract %6 %989 0
       %1020 = OpCompositeExtract %6 %989 1
       %1021 = OpCompositeExtract %6 %989 2
        %993 = OpIEqual %40 %1019 %1280
               OpSelectionMerge %996 None
               OpBranchConditional %993 %994 %996
        %994 = OpLabel
               OpBranch %1010
        %996 = OpLabel
       %1000 = OpSGreaterThan %40 %1280 %1019
       %1371 = OpSelect %6 %1000 %1021 %1020
               OpBranch %1009
       %1009 = OpLabel
               OpBranch %982
       %1010 = OpLabel
       %1288 = OpPhi %6 %1290 %982 %1280 %994
       %1284 = OpPhi %40 %263 %982 %266 %994
               OpSelectionMerge %1012 None
               OpBranchConditional %1284 %1013 %1012
       %1012 = OpLabel
               OpBranch %1013
       %1013 = OpLabel
       %1287 = OpPhi %6 %1288 %1010 %28 %1012
               OpSelectionMerge %228 None
               OpSwitch %1280 %227 9 %226 5 %226 12 %226 15 %226 7 %226 8 %226 2 %226 6 %226 17 %226 13 %226
        %226 = OpLabel
        %231 = OpIEqual %40 %1287 %1280
               OpSelectionMerge %233 None
               OpBranchConditional %231 %232 %233
        %232 = OpLabel
        %235 = OpIAdd %6 %1281 %27
               OpBranch %233
        %233 = OpLabel
       %1354 = OpPhi %6 %1281 %226 %235 %232
               OpBranch %228
        %227 = OpLabel
        %238 = OpIEqual %40 %1287 %28
               OpSelectionMerge %240 None
               OpBranchConditional %238 %239 %240
        %239 = OpLabel
        %242 = OpIAdd %6 %1281 %27
               OpBranch %240
        %240 = OpLabel
       %1353 = OpPhi %6 %1281 %227 %242 %239
               OpBranch %228
        %228 = OpLabel
       %1352 = OpPhi %6 %1353 %240 %1354 %233
               OpBranch %216
        %216 = OpLabel
        %246 = OpIAdd %6 %1280 %27
               OpBranch %213
        %215 = OpLabel
        %248 = OpIEqual %40 %1281 %219
               OpSelectionMerge %250 None
               OpBranchConditional %248 %249 %258
        %258 = OpLabel
               OpStore %254 %259
               OpBranch %250
        %249 = OpLabel
               OpStore %254 %257
               OpBranch %250
        %250 = OpLabel
               OpReturn
               OpFunctionEnd
END


BUFFER reference_framebuffer FORMAT B8G8R8A8_UNORM

PIPELINE graphics reference_pipeline
  ATTACH reference_vertex_shader
  ATTACH reference_fragment_shader
  FRAMEBUFFER_SIZE 256 256
  BIND BUFFER reference_framebuffer AS color LOCATION 0
END
CLEAR_COLOR reference_pipeline 0 0 0 255

CLEAR reference_pipeline
RUN reference_pipeline DRAW_RECT POS 0 0 SIZE 256 256


SHADER vertex variant_vertex_shader PASSTHROUGH

# variant_fragment_shader is derived from the following GLSL:
# #version 320 es
# precision highp float;
#
# precision highp int;
#
# layout(set = 0, binding = 0) uniform buf0
# {
#     vec2 injectionSwitch;
# };
# layout(location = 0) out vec4 _GLF_color;
#
# struct BST
# {
#     int data;
#     int leftIndex;
#     int rightIndex;
# };
#
# BST tree[10];
#
# void makeTreeNode(inout BST tree, int data)
# {
#     tree.data = data;
#     tree.leftIndex = -1;
#     tree.rightIndex = -1;
# }
# void insert(int treeIndex, int data)
# {
#     int baseIndex = 0;
#     while (baseIndex <= treeIndex)
#     {
#         if (data <= tree[baseIndex].data)
#         {
#             if (tree[baseIndex].leftIndex == -1)
#             {
#                 // Always false.
#                 if ((injectionSwitch.y < injectionSwitch.x))
#                 {
#                     do
#                     {
#                         // This is never reached.
#                         discard;
#                     }
#                     // Always false.
#                     while (injectionSwitch.y < injectionSwitch.x);
#                 }
#                 tree[baseIndex].leftIndex = treeIndex;
#                 makeTreeNode(tree[treeIndex], data);
#                 // Iterates once.
#                 for (int int_i = 0; int_i < int((injectionSwitch.y)); int_i++)
#                 {
#                     return;
#                 }
#             }
#             else
#             {
#                 baseIndex = tree[baseIndex].leftIndex;
#                 continue;
#             }
#         }
#         else
#         {
#             if (tree[baseIndex].rightIndex == -1)
#             {
#                 tree[baseIndex].rightIndex = treeIndex;
#                 makeTreeNode(tree[treeIndex], data);
#                 return;
#             }
#             else
#             {
#                 baseIndex = tree[baseIndex].rightIndex;
#                 continue;
#             }
#         }
#     }
# }
# int search(int target)
# {
#     BST currentNode;
#     int index = 0;
#     while (index != -1)
#     {
#         currentNode = tree[index];
#         if (currentNode.data == target)
#         {
#             return target;
#         }
#         index = target > currentNode.data ? currentNode.rightIndex : currentNode.leftIndex;
#     }
#     return -1;
# }
# void main()
# {
#     int treeIndex = 0;
#     makeTreeNode(tree[0], 9);
#     treeIndex++;
#     insert(treeIndex, 5);
#     treeIndex++;
#     // gl_FragCoord.y < 0.0 == false
#     // Iterates once,
#     for (int int_i = 0; (gl_FragCoord.y < 0.0) || (int_i != int(injectionSwitch.y)); int_i++)
#     {
#         insert(treeIndex, 12);
#     }
#     treeIndex++;
#     insert(treeIndex, 15);
#     treeIndex++;
#     insert(treeIndex, 7);
#     treeIndex++;
#     insert(treeIndex, 8);
#     treeIndex++;
#     insert(treeIndex, 2);
#     treeIndex++;
#     insert(treeIndex, 6);
#     treeIndex++;
#     insert(treeIndex, 17);
#     treeIndex++;
#     insert(treeIndex, 13);
#     int count = 0;
#     for (int i = 0; i < 20; i++)
#     {
#         int result = search(i);
#         switch (i)
#         {
#         case 9:
#         case 5:
#         case 12:
#         case 15:
#         case 7:
#         case 8:
#         case 2:
#         case 6:
#         case 17:
#         case 13:
#             if (result == i)
#             {
#                 count++;
#             }
#             break;
#         default:
#             if (result == -1)
#             {
#                 count++;
#             }
#             break;
#         }
#     }
#     if (count == 20)
#     {
#         _GLF_color = vec4(1.0, 0.0, 0.0, 1.0);
#     }
#     else
#     {
#         _GLF_color = vec4(0.0, 0.0, 1.0, 1.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: 1740
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %4 "main" %204 %315
               OpExecutionMode %4 OriginUpperLeft
               OpSource ESSL 320
               OpName %4 "main"
               OpName %7 "BST"
               OpMemberName %7 0 "data"
               OpMemberName %7 1 "leftIndex"
               OpMemberName %7 2 "rightIndex"
               OpName %47 "tree"
               OpName %63 "buf0"
               OpMemberName %63 0 "injectionSwitch"
               OpName %65 ""
               OpName %204 "gl_FragCoord"
               OpName %315 "_GLF_color"
               OpMemberDecorate %63 0 Offset 0
               OpDecorate %63 Block
               OpDecorate %65 DescriptorSet 0
               OpDecorate %65 Binding 0
               OpDecorate %204 BuiltIn FragCoord
               OpDecorate %315 Location 0
          %2 = OpTypeVoid
          %3 = OpTypeFunction %2
          %6 = OpTypeInt 32 1
          %7 = OpTypeStruct %6 %6 %6
          %8 = OpTypePointer Function %7
          %9 = OpTypePointer Function %6
         %24 = OpConstant %6 0
         %27 = OpConstant %6 1
         %28 = OpConstant %6 -1
         %30 = OpConstant %6 2
         %40 = OpTypeBool
         %43 = OpTypeInt 32 0
         %44 = OpConstant %43 10
         %45 = OpTypeArray %7 %44
         %61 = OpTypeFloat 32
         %62 = OpTypeVector %61 2
         %63 = OpTypeStruct %62
         %64 = OpTypePointer Uniform %63
         %65 = OpVariable %64 Uniform
         %66 = OpConstant %43 1
         %67 = OpTypePointer Uniform %61
         %70 = OpConstant %43 0
        %179 = OpConstant %6 9
        %189 = OpConstant %6 5
        %202 = OpTypeVector %61 4
        %203 = OpTypePointer Input %202
        %204 = OpVariable %203 Input
        %205 = OpTypePointer Input %61
        %208 = OpConstant %61 0
        %219 = OpConstant %6 12
        %228 = OpConstant %6 15
        %235 = OpConstant %6 7
        %242 = OpConstant %6 8
        %255 = OpConstant %6 6
        %262 = OpConstant %6 17
        %269 = OpConstant %6 13
        %282 = OpConstant %6 20
        %314 = OpTypePointer Output %202
        %315 = OpVariable %314 Output
        %316 = OpConstant %61 1
        %317 = OpConstantComposite %202 %316 %208 %208 %316
        %319 = OpConstantComposite %202 %208 %208 %316 %316
        %322 = OpConstantFalse %40
        %325 = OpConstantTrue %40
       %1301 = OpTypePointer Function %45
       %1620 = OpUndef %6
       %1727 = OpConstantComposite %7 %179 %28 %28
       %1728 = OpConstantComposite %7 %189 %28 %28
       %1729 = OpConstant %6 3
       %1730 = OpConstantComposite %7 %219 %28 %28
       %1731 = OpConstantComposite %7 %228 %28 %28
       %1732 = OpConstant %6 4
       %1733 = OpConstantComposite %7 %235 %28 %28
       %1734 = OpConstantComposite %7 %242 %28 %28
       %1735 = OpConstantComposite %7 %30 %28 %28
       %1736 = OpConstantComposite %7 %255 %28 %28
       %1737 = OpConstantComposite %7 %262 %28 %28
       %1738 = OpConstantComposite %7 %269 %28 %28
          %4 = OpFunction %2 None %3
          %5 = OpLabel
         %47 = OpVariable %1301 Function
        %186 = OpAccessChain %8 %47 %24
               OpStore %186 %1727
               OpSelectionMerge %432 None
               OpSwitch %70 %350
        %350 = OpLabel
               OpBranch %351
        %351 = OpLabel
       %1501 = OpPhi %40 %322 %350 %1674 %428
       %1498 = OpPhi %6 %24 %350 %1671 %428
        %355 = OpSLessThanEqual %40 %1498 %27
               OpLoopMerge %429 %428 None
               OpBranchConditional %355 %356 %429
        %356 = OpLabel
        %359 = OpAccessChain %9 %47 %1498 %24
        %360 = OpLoad %6 %359
        %361 = OpSLessThanEqual %40 %189 %360
               OpSelectionMerge %427 None
               OpBranchConditional %361 %362 %406
        %406 = OpLabel
        %408 = OpAccessChain %9 %47 %1498 %30
        %409 = OpLoad %6 %408
        %410 = OpIEqual %40 %409 %28
               OpSelectionMerge %426 None
               OpBranchConditional %410 %411 %422
        %422 = OpLabel
        %425 = OpLoad %6 %408
               OpBranch %428
        %411 = OpLabel
               OpStore %408 %27
        %421 = OpAccessChain %8 %47 %27
               OpStore %421 %1728
               OpBranch %429
        %426 = OpLabel
               OpUnreachable
        %362 = OpLabel
        %364 = OpAccessChain %9 %47 %1498 %27
        %365 = OpLoad %6 %364
        %366 = OpIEqual %40 %365 %28
               OpSelectionMerge %405 None
               OpBranchConditional %366 %367 %401
        %401 = OpLabel
        %404 = OpLoad %6 %364
               OpBranch %428
        %367 = OpLabel
        %368 = OpAccessChain %67 %65 %24 %66
        %369 = OpLoad %61 %368
        %370 = OpAccessChain %67 %65 %24 %70
        %371 = OpLoad %61 %370
        %372 = OpFOrdLessThan %40 %369 %371
               OpSelectionMerge %378 None
               OpBranchConditional %372 %373 %378
        %373 = OpLabel
               OpBranch %374
        %374 = OpLabel
               OpLoopMerge %377 %376 None
               OpBranch %375
        %375 = OpLabel
               OpKill
        %376 = OpLabel
               OpBranch %374
        %377 = OpLabel
               OpUnreachable
        %378 = OpLabel
               OpStore %364 %27
        %388 = OpAccessChain %8 %47 %27
               OpStore %388 %1728
               OpBranch %389
        %389 = OpLabel
        %394 = OpConvertFToS %6 %369
        %395 = OpSLessThan %40 %24 %394
               OpLoopMerge %398 %397 None
               OpBranchConditional %395 %396 %398
        %396 = OpLabel
               OpBranch %398
        %397 = OpLabel
               OpBranch %389
        %398 = OpLabel
       %1499 = OpPhi %40 %1501 %389 %325 %396
               OpSelectionMerge %400 None
               OpBranchConditional %1499 %429 %400
        %400 = OpLabel
               OpBranch %405
        %405 = OpLabel
               OpBranch %427
        %427 = OpLabel
               OpBranch %428
        %428 = OpLabel
       %1674 = OpPhi %40 %1501 %401 %1501 %422 %1499 %427
       %1671 = OpPhi %6 %404 %401 %425 %422 %1498 %427
               OpBranch %351
        %429 = OpLabel
       %1502 = OpPhi %40 %1501 %351 %1499 %398 %325 %411
               OpSelectionMerge %431 None
               OpBranchConditional %1502 %432 %431
        %431 = OpLabel
               OpBranch %432
        %432 = OpLabel
               OpBranch %197
        %197 = OpLabel
       %1509 = OpPhi %6 %24 %432 %225 %200
               OpLoopMerge %199 %200 None
               OpBranch %201
        %201 = OpLabel
        %206 = OpAccessChain %205 %204 %66
        %207 = OpLoad %61 %206
        %209 = OpFOrdLessThan %40 %207 %208
        %210 = OpLogicalNot %40 %209
               OpSelectionMerge %212 None
               OpBranchConditional %210 %211 %212
        %211 = OpLabel
        %214 = OpAccessChain %67 %65 %24 %66
        %215 = OpLoad %61 %214
        %216 = OpConvertFToS %6 %215
        %217 = OpINotEqual %40 %1509 %216
               OpBranch %212
        %212 = OpLabel
        %218 = OpPhi %40 %209 %201 %217 %211
               OpBranchConditional %218 %198 %199
        %198 = OpLabel
               OpSelectionMerge %534 None
               OpSwitch %70 %452
        %452 = OpLabel
               OpBranch %453
        %453 = OpLabel
       %1662 = OpPhi %40 %322 %452 %1726 %530
       %1659 = OpPhi %6 %24 %452 %1723 %530
        %457 = OpSLessThanEqual %40 %1659 %30
               OpLoopMerge %531 %530 None
               OpBranchConditional %457 %458 %531
        %458 = OpLabel
        %461 = OpAccessChain %9 %47 %1659 %24
        %462 = OpLoad %6 %461
        %463 = OpSLessThanEqual %40 %219 %462
               OpSelectionMerge %529 None
               OpBranchConditional %463 %464 %508
        %508 = OpLabel
        %510 = OpAccessChain %9 %47 %1659 %30
        %511 = OpLoad %6 %510
        %512 = OpIEqual %40 %511 %28
               OpSelectionMerge %528 None
               OpBranchConditional %512 %513 %524
        %524 = OpLabel
        %527 = OpLoad %6 %510
               OpBranch %530
        %513 = OpLabel
               OpStore %510 %30
        %523 = OpAccessChain %8 %47 %30
               OpStore %523 %1730
               OpBranch %531
        %528 = OpLabel
               OpUnreachable
        %464 = OpLabel
        %466 = OpAccessChain %9 %47 %1659 %27
        %467 = OpLoad %6 %466
        %468 = OpIEqual %40 %467 %28
               OpSelectionMerge %507 None
               OpBranchConditional %468 %469 %503
        %503 = OpLabel
        %506 = OpLoad %6 %466
               OpBranch %530
        %469 = OpLabel
        %470 = OpAccessChain %67 %65 %24 %66
        %471 = OpLoad %61 %470
        %472 = OpAccessChain %67 %65 %24 %70
        %473 = OpLoad %61 %472
        %474 = OpFOrdLessThan %40 %471 %473
               OpSelectionMerge %480 None
               OpBranchConditional %474 %475 %480
        %475 = OpLabel
               OpBranch %476
        %476 = OpLabel
               OpLoopMerge %479 %478 None
               OpBranch %477
        %477 = OpLabel
               OpKill
        %478 = OpLabel
               OpBranch %476
        %479 = OpLabel
               OpUnreachable
        %480 = OpLabel
               OpStore %466 %30
        %490 = OpAccessChain %8 %47 %30
               OpStore %490 %1730
               OpBranch %491
        %491 = OpLabel
        %496 = OpConvertFToS %6 %471
        %497 = OpSLessThan %40 %24 %496
               OpLoopMerge %500 %499 None
               OpBranchConditional %497 %498 %500
        %498 = OpLabel
               OpBranch %500
        %499 = OpLabel
               OpBranch %491
        %500 = OpLabel
       %1660 = OpPhi %40 %1662 %491 %325 %498
               OpSelectionMerge %502 None
               OpBranchConditional %1660 %531 %502
        %502 = OpLabel
               OpBranch %507
        %507 = OpLabel
               OpBranch %529
        %529 = OpLabel
               OpBranch %530
        %530 = OpLabel
       %1726 = OpPhi %40 %1662 %503 %1662 %524 %1660 %529
       %1723 = OpPhi %6 %506 %503 %527 %524 %1659 %529
               OpBranch %453
        %531 = OpLabel
       %1663 = OpPhi %40 %1662 %453 %1660 %500 %325 %513
               OpSelectionMerge %533 None
               OpBranchConditional %1663 %534 %533
        %533 = OpLabel
               OpBranch %534
        %534 = OpLabel
               OpBranch %200
        %200 = OpLabel
        %225 = OpIAdd %6 %1509 %27
               OpBranch %197
        %199 = OpLabel
               OpSelectionMerge %636 None
               OpSwitch %70 %554
        %554 = OpLabel
               OpBranch %555
        %555 = OpLabel
       %1515 = OpPhi %40 %322 %554 %1685 %632
       %1512 = OpPhi %6 %24 %554 %1682 %632
        %559 = OpSLessThanEqual %40 %1512 %1729
               OpLoopMerge %633 %632 None
               OpBranchConditional %559 %560 %633
        %560 = OpLabel
        %563 = OpAccessChain %9 %47 %1512 %24
        %564 = OpLoad %6 %563
        %565 = OpSLessThanEqual %40 %228 %564
               OpSelectionMerge %631 None
               OpBranchConditional %565 %566 %610
        %610 = OpLabel
        %612 = OpAccessChain %9 %47 %1512 %30
        %613 = OpLoad %6 %612
        %614 = OpIEqual %40 %613 %28
               OpSelectionMerge %630 None
               OpBranchConditional %614 %615 %626
        %626 = OpLabel
        %629 = OpLoad %6 %612
               OpBranch %632
        %615 = OpLabel
               OpStore %612 %1729
        %625 = OpAccessChain %8 %47 %1729
               OpStore %625 %1731
               OpBranch %633
        %630 = OpLabel
               OpUnreachable
        %566 = OpLabel
        %568 = OpAccessChain %9 %47 %1512 %27
        %569 = OpLoad %6 %568
        %570 = OpIEqual %40 %569 %28
               OpSelectionMerge %609 None
               OpBranchConditional %570 %571 %605
        %605 = OpLabel
        %608 = OpLoad %6 %568
               OpBranch %632
        %571 = OpLabel
        %572 = OpAccessChain %67 %65 %24 %66
        %573 = OpLoad %61 %572
        %574 = OpAccessChain %67 %65 %24 %70
        %575 = OpLoad %61 %574
        %576 = OpFOrdLessThan %40 %573 %575
               OpSelectionMerge %582 None
               OpBranchConditional %576 %577 %582
        %577 = OpLabel
               OpBranch %578
        %578 = OpLabel
               OpLoopMerge %581 %580 None
               OpBranch %579
        %579 = OpLabel
               OpKill
        %580 = OpLabel
               OpBranch %578
        %581 = OpLabel
               OpUnreachable
        %582 = OpLabel
               OpStore %568 %1729
        %592 = OpAccessChain %8 %47 %1729
               OpStore %592 %1731
               OpBranch %593
        %593 = OpLabel
        %598 = OpConvertFToS %6 %573
        %599 = OpSLessThan %40 %24 %598
               OpLoopMerge %602 %601 None
               OpBranchConditional %599 %600 %602
        %600 = OpLabel
               OpBranch %602
        %601 = OpLabel
               OpBranch %593
        %602 = OpLabel
       %1513 = OpPhi %40 %1515 %593 %325 %600
               OpSelectionMerge %604 None
               OpBranchConditional %1513 %633 %604
        %604 = OpLabel
               OpBranch %609
        %609 = OpLabel
               OpBranch %631
        %631 = OpLabel
               OpBranch %632
        %632 = OpLabel
       %1685 = OpPhi %40 %1515 %605 %1515 %626 %1513 %631
       %1682 = OpPhi %6 %608 %605 %629 %626 %1512 %631
               OpBranch %555
        %633 = OpLabel
       %1516 = OpPhi %40 %1515 %555 %1513 %602 %325 %615
               OpSelectionMerge %635 None
               OpBranchConditional %1516 %636 %635
        %635 = OpLabel
               OpBranch %636
        %636 = OpLabel
               OpSelectionMerge %738 None
               OpSwitch %70 %656
        %656 = OpLabel
               OpBranch %657
        %657 = OpLabel
       %1526 = OpPhi %40 %322 %656 %1689 %734
       %1523 = OpPhi %6 %24 %656 %1686 %734
        %661 = OpSLessThanEqual %40 %1523 %1732
               OpLoopMerge %735 %734 None
               OpBranchConditional %661 %662 %735
        %662 = OpLabel
        %665 = OpAccessChain %9 %47 %1523 %24
        %666 = OpLoad %6 %665
        %667 = OpSLessThanEqual %40 %235 %666
               OpSelectionMerge %733 None
               OpBranchConditional %667 %668 %712
        %712 = OpLabel
        %714 = OpAccessChain %9 %47 %1523 %30
        %715 = OpLoad %6 %714
        %716 = OpIEqual %40 %715 %28
               OpSelectionMerge %732 None
               OpBranchConditional %716 %717 %728
        %728 = OpLabel
        %731 = OpLoad %6 %714
               OpBranch %734
        %717 = OpLabel
               OpStore %714 %1732
        %727 = OpAccessChain %8 %47 %1732
               OpStore %727 %1733
               OpBranch %735
        %732 = OpLabel
               OpUnreachable
        %668 = OpLabel
        %670 = OpAccessChain %9 %47 %1523 %27
        %671 = OpLoad %6 %670
        %672 = OpIEqual %40 %671 %28
               OpSelectionMerge %711 None
               OpBranchConditional %672 %673 %707
        %707 = OpLabel
        %710 = OpLoad %6 %670
               OpBranch %734
        %673 = OpLabel
        %674 = OpAccessChain %67 %65 %24 %66
        %675 = OpLoad %61 %674
        %676 = OpAccessChain %67 %65 %24 %70
        %677 = OpLoad %61 %676
        %678 = OpFOrdLessThan %40 %675 %677
               OpSelectionMerge %684 None
               OpBranchConditional %678 %679 %684
        %679 = OpLabel
               OpBranch %680
        %680 = OpLabel
               OpLoopMerge %683 %682 None
               OpBranch %681
        %681 = OpLabel
               OpKill
        %682 = OpLabel
               OpBranch %680
        %683 = OpLabel
               OpUnreachable
        %684 = OpLabel
               OpStore %670 %1732
        %694 = OpAccessChain %8 %47 %1732
               OpStore %694 %1733
               OpBranch %695
        %695 = OpLabel
        %700 = OpConvertFToS %6 %675
        %701 = OpSLessThan %40 %24 %700
               OpLoopMerge %704 %703 None
               OpBranchConditional %701 %702 %704
        %702 = OpLabel
               OpBranch %704
        %703 = OpLabel
               OpBranch %695
        %704 = OpLabel
       %1524 = OpPhi %40 %1526 %695 %325 %702
               OpSelectionMerge %706 None
               OpBranchConditional %1524 %735 %706
        %706 = OpLabel
               OpBranch %711
        %711 = OpLabel
               OpBranch %733
        %733 = OpLabel
               OpBranch %734
        %734 = OpLabel
       %1689 = OpPhi %40 %1526 %707 %1526 %728 %1524 %733
       %1686 = OpPhi %6 %710 %707 %731 %728 %1523 %733
               OpBranch %657
        %735 = OpLabel
       %1527 = OpPhi %40 %1526 %657 %1524 %704 %325 %717
               OpSelectionMerge %737 None
               OpBranchConditional %1527 %738 %737
        %737 = OpLabel
               OpBranch %738
        %738 = OpLabel
               OpSelectionMerge %840 None
               OpSwitch %70 %758
        %758 = OpLabel
               OpBranch %759
        %759 = OpLabel
       %1537 = OpPhi %40 %322 %758 %1693 %836
       %1534 = OpPhi %6 %24 %758 %1690 %836
        %763 = OpSLessThanEqual %40 %1534 %189
               OpLoopMerge %837 %836 None
               OpBranchConditional %763 %764 %837
        %764 = OpLabel
        %767 = OpAccessChain %9 %47 %1534 %24
        %768 = OpLoad %6 %767
        %769 = OpSLessThanEqual %40 %242 %768
               OpSelectionMerge %835 None
               OpBranchConditional %769 %770 %814
        %814 = OpLabel
        %816 = OpAccessChain %9 %47 %1534 %30
        %817 = OpLoad %6 %816
        %818 = OpIEqual %40 %817 %28
               OpSelectionMerge %834 None
               OpBranchConditional %818 %819 %830
        %830 = OpLabel
        %833 = OpLoad %6 %816
               OpBranch %836
        %819 = OpLabel
               OpStore %816 %189
        %829 = OpAccessChain %8 %47 %189
               OpStore %829 %1734
               OpBranch %837
        %834 = OpLabel
               OpUnreachable
        %770 = OpLabel
        %772 = OpAccessChain %9 %47 %1534 %27
        %773 = OpLoad %6 %772
        %774 = OpIEqual %40 %773 %28
               OpSelectionMerge %813 None
               OpBranchConditional %774 %775 %809
        %809 = OpLabel
        %812 = OpLoad %6 %772
               OpBranch %836
        %775 = OpLabel
        %776 = OpAccessChain %67 %65 %24 %66
        %777 = OpLoad %61 %776
        %778 = OpAccessChain %67 %65 %24 %70
        %779 = OpLoad %61 %778
        %780 = OpFOrdLessThan %40 %777 %779
               OpSelectionMerge %786 None
               OpBranchConditional %780 %781 %786
        %781 = OpLabel
               OpBranch %782
        %782 = OpLabel
               OpLoopMerge %785 %784 None
               OpBranch %783
        %783 = OpLabel
               OpKill
        %784 = OpLabel
               OpBranch %782
        %785 = OpLabel
               OpUnreachable
        %786 = OpLabel
               OpStore %772 %189
        %796 = OpAccessChain %8 %47 %189
               OpStore %796 %1734
               OpBranch %797
        %797 = OpLabel
        %802 = OpConvertFToS %6 %777
        %803 = OpSLessThan %40 %24 %802
               OpLoopMerge %806 %805 None
               OpBranchConditional %803 %804 %806
        %804 = OpLabel
               OpBranch %806
        %805 = OpLabel
               OpBranch %797
        %806 = OpLabel
       %1535 = OpPhi %40 %1537 %797 %325 %804
               OpSelectionMerge %808 None
               OpBranchConditional %1535 %837 %808
        %808 = OpLabel
               OpBranch %813
        %813 = OpLabel
               OpBranch %835
        %835 = OpLabel
               OpBranch %836
        %836 = OpLabel
       %1693 = OpPhi %40 %1537 %809 %1537 %830 %1535 %835
       %1690 = OpPhi %6 %812 %809 %833 %830 %1534 %835
               OpBranch %759
        %837 = OpLabel
       %1538 = OpPhi %40 %1537 %759 %1535 %806 %325 %819
               OpSelectionMerge %839 None
               OpBranchConditional %1538 %840 %839
        %839 = OpLabel
               OpBranch %840
        %840 = OpLabel
               OpSelectionMerge %942 None
               OpSwitch %70 %860
        %860 = OpLabel
               OpBranch %861
        %861 = OpLabel
       %1548 = OpPhi %40 %322 %860 %1697 %938
       %1545 = OpPhi %6 %24 %860 %1694 %938
        %865 = OpSLessThanEqual %40 %1545 %255
               OpLoopMerge %939 %938 None
               OpBranchConditional %865 %866 %939
        %866 = OpLabel
        %869 = OpAccessChain %9 %47 %1545 %24
        %870 = OpLoad %6 %869
        %871 = OpSLessThanEqual %40 %30 %870
               OpSelectionMerge %937 None
               OpBranchConditional %871 %872 %916
        %916 = OpLabel
        %918 = OpAccessChain %9 %47 %1545 %30
        %919 = OpLoad %6 %918
        %920 = OpIEqual %40 %919 %28
               OpSelectionMerge %936 None
               OpBranchConditional %920 %921 %932
        %932 = OpLabel
        %935 = OpLoad %6 %918
               OpBranch %938
        %921 = OpLabel
               OpStore %918 %255
        %931 = OpAccessChain %8 %47 %255
               OpStore %931 %1735
               OpBranch %939
        %936 = OpLabel
               OpUnreachable
        %872 = OpLabel
        %874 = OpAccessChain %9 %47 %1545 %27
        %875 = OpLoad %6 %874
        %876 = OpIEqual %40 %875 %28
               OpSelectionMerge %915 None
               OpBranchConditional %876 %877 %911
        %911 = OpLabel
        %914 = OpLoad %6 %874
               OpBranch %938
        %877 = OpLabel
        %878 = OpAccessChain %67 %65 %24 %66
        %879 = OpLoad %61 %878
        %880 = OpAccessChain %67 %65 %24 %70
        %881 = OpLoad %61 %880
        %882 = OpFOrdLessThan %40 %879 %881
               OpSelectionMerge %888 None
               OpBranchConditional %882 %883 %888
        %883 = OpLabel
               OpBranch %884
        %884 = OpLabel
               OpLoopMerge %887 %886 None
               OpBranch %885
        %885 = OpLabel
               OpKill
        %886 = OpLabel
               OpBranch %884
        %887 = OpLabel
               OpUnreachable
        %888 = OpLabel
               OpStore %874 %255
        %898 = OpAccessChain %8 %47 %255
               OpStore %898 %1735
               OpBranch %899
        %899 = OpLabel
        %904 = OpConvertFToS %6 %879
        %905 = OpSLessThan %40 %24 %904
               OpLoopMerge %908 %907 None
               OpBranchConditional %905 %906 %908
        %906 = OpLabel
               OpBranch %908
        %907 = OpLabel
               OpBranch %899
        %908 = OpLabel
       %1546 = OpPhi %40 %1548 %899 %325 %906
               OpSelectionMerge %910 None
               OpBranchConditional %1546 %939 %910
        %910 = OpLabel
               OpBranch %915
        %915 = OpLabel
               OpBranch %937
        %937 = OpLabel
               OpBranch %938
        %938 = OpLabel
       %1697 = OpPhi %40 %1548 %911 %1548 %932 %1546 %937
       %1694 = OpPhi %6 %914 %911 %935 %932 %1545 %937
               OpBranch %861
        %939 = OpLabel
       %1549 = OpPhi %40 %1548 %861 %1546 %908 %325 %921
               OpSelectionMerge %941 None
               OpBranchConditional %1549 %942 %941
        %941 = OpLabel
               OpBranch %942
        %942 = OpLabel
               OpSelectionMerge %1044 None
               OpSwitch %70 %962
        %962 = OpLabel
               OpBranch %963
        %963 = OpLabel
       %1559 = OpPhi %40 %322 %962 %1701 %1040
       %1556 = OpPhi %6 %24 %962 %1698 %1040
        %967 = OpSLessThanEqual %40 %1556 %235
               OpLoopMerge %1041 %1040 None
               OpBranchConditional %967 %968 %1041
        %968 = OpLabel
        %971 = OpAccessChain %9 %47 %1556 %24
        %972 = OpLoad %6 %971
        %973 = OpSLessThanEqual %40 %255 %972
               OpSelectionMerge %1039 None
               OpBranchConditional %973 %974 %1018
       %1018 = OpLabel
       %1020 = OpAccessChain %9 %47 %1556 %30
       %1021 = OpLoad %6 %1020
       %1022 = OpIEqual %40 %1021 %28
               OpSelectionMerge %1038 None
               OpBranchConditional %1022 %1023 %1034
       %1034 = OpLabel
       %1037 = OpLoad %6 %1020
               OpBranch %1040
       %1023 = OpLabel
               OpStore %1020 %235
       %1033 = OpAccessChain %8 %47 %235
               OpStore %1033 %1736
               OpBranch %1041
       %1038 = OpLabel
               OpUnreachable
        %974 = OpLabel
        %976 = OpAccessChain %9 %47 %1556 %27
        %977 = OpLoad %6 %976
        %978 = OpIEqual %40 %977 %28
               OpSelectionMerge %1017 None
               OpBranchConditional %978 %979 %1013
       %1013 = OpLabel
       %1016 = OpLoad %6 %976
               OpBranch %1040
        %979 = OpLabel
        %980 = OpAccessChain %67 %65 %24 %66
        %981 = OpLoad %61 %980
        %982 = OpAccessChain %67 %65 %24 %70
        %983 = OpLoad %61 %982
        %984 = OpFOrdLessThan %40 %981 %983
               OpSelectionMerge %990 None
               OpBranchConditional %984 %985 %990
        %985 = OpLabel
               OpBranch %986
        %986 = OpLabel
               OpLoopMerge %989 %988 None
               OpBranch %987
        %987 = OpLabel
               OpKill
        %988 = OpLabel
               OpBranch %986
        %989 = OpLabel
               OpUnreachable
        %990 = OpLabel
               OpStore %976 %235
       %1000 = OpAccessChain %8 %47 %235
               OpStore %1000 %1736
               OpBranch %1001
       %1001 = OpLabel
       %1006 = OpConvertFToS %6 %981
       %1007 = OpSLessThan %40 %24 %1006
               OpLoopMerge %1010 %1009 None
               OpBranchConditional %1007 %1008 %1010
       %1008 = OpLabel
               OpBranch %1010
       %1009 = OpLabel
               OpBranch %1001
       %1010 = OpLabel
       %1557 = OpPhi %40 %1559 %1001 %325 %1008
               OpSelectionMerge %1012 None
               OpBranchConditional %1557 %1041 %1012
       %1012 = OpLabel
               OpBranch %1017
       %1017 = OpLabel
               OpBranch %1039
       %1039 = OpLabel
               OpBranch %1040
       %1040 = OpLabel
       %1701 = OpPhi %40 %1559 %1013 %1559 %1034 %1557 %1039
       %1698 = OpPhi %6 %1016 %1013 %1037 %1034 %1556 %1039
               OpBranch %963
       %1041 = OpLabel
       %1560 = OpPhi %40 %1559 %963 %1557 %1010 %325 %1023
               OpSelectionMerge %1043 None
               OpBranchConditional %1560 %1044 %1043
       %1043 = OpLabel
               OpBranch %1044
       %1044 = OpLabel
               OpSelectionMerge %1146 None
               OpSwitch %70 %1064
       %1064 = OpLabel
               OpBranch %1065
       %1065 = OpLabel
       %1570 = OpPhi %40 %322 %1064 %1705 %1142
       %1567 = OpPhi %6 %24 %1064 %1702 %1142
       %1069 = OpSLessThanEqual %40 %1567 %242
               OpLoopMerge %1143 %1142 None
               OpBranchConditional %1069 %1070 %1143
       %1070 = OpLabel
       %1073 = OpAccessChain %9 %47 %1567 %24
       %1074 = OpLoad %6 %1073
       %1075 = OpSLessThanEqual %40 %262 %1074
               OpSelectionMerge %1141 None
               OpBranchConditional %1075 %1076 %1120
       %1120 = OpLabel
       %1122 = OpAccessChain %9 %47 %1567 %30
       %1123 = OpLoad %6 %1122
       %1124 = OpIEqual %40 %1123 %28
               OpSelectionMerge %1140 None
               OpBranchConditional %1124 %1125 %1136
       %1136 = OpLabel
       %1139 = OpLoad %6 %1122
               OpBranch %1142
       %1125 = OpLabel
               OpStore %1122 %242
       %1135 = OpAccessChain %8 %47 %242
               OpStore %1135 %1737
               OpBranch %1143
       %1140 = OpLabel
               OpUnreachable
       %1076 = OpLabel
       %1078 = OpAccessChain %9 %47 %1567 %27
       %1079 = OpLoad %6 %1078
       %1080 = OpIEqual %40 %1079 %28
               OpSelectionMerge %1119 None
               OpBranchConditional %1080 %1081 %1115
       %1115 = OpLabel
       %1118 = OpLoad %6 %1078
               OpBranch %1142
       %1081 = OpLabel
       %1082 = OpAccessChain %67 %65 %24 %66
       %1083 = OpLoad %61 %1082
       %1084 = OpAccessChain %67 %65 %24 %70
       %1085 = OpLoad %61 %1084
       %1086 = OpFOrdLessThan %40 %1083 %1085
               OpSelectionMerge %1092 None
               OpBranchConditional %1086 %1087 %1092
       %1087 = OpLabel
               OpBranch %1088
       %1088 = OpLabel
               OpLoopMerge %1091 %1090 None
               OpBranch %1089
       %1089 = OpLabel
               OpKill
       %1090 = OpLabel
               OpBranch %1088
       %1091 = OpLabel
               OpUnreachable
       %1092 = OpLabel
               OpStore %1078 %242
       %1102 = OpAccessChain %8 %47 %242
               OpStore %1102 %1737
               OpBranch %1103
       %1103 = OpLabel
       %1108 = OpConvertFToS %6 %1083
       %1109 = OpSLessThan %40 %24 %1108
               OpLoopMerge %1112 %1111 None
               OpBranchConditional %1109 %1110 %1112
       %1110 = OpLabel
               OpBranch %1112
       %1111 = OpLabel
               OpBranch %1103
       %1112 = OpLabel
       %1568 = OpPhi %40 %1570 %1103 %325 %1110
               OpSelectionMerge %1114 None
               OpBranchConditional %1568 %1143 %1114
       %1114 = OpLabel
               OpBranch %1119
       %1119 = OpLabel
               OpBranch %1141
       %1141 = OpLabel
               OpBranch %1142
       %1142 = OpLabel
       %1705 = OpPhi %40 %1570 %1115 %1570 %1136 %1568 %1141
       %1702 = OpPhi %6 %1118 %1115 %1139 %1136 %1567 %1141
               OpBranch %1065
       %1143 = OpLabel
       %1571 = OpPhi %40 %1570 %1065 %1568 %1112 %325 %1125
               OpSelectionMerge %1145 None
               OpBranchConditional %1571 %1146 %1145
       %1145 = OpLabel
               OpBranch %1146
       %1146 = OpLabel
               OpSelectionMerge %1248 None
               OpSwitch %70 %1166
       %1166 = OpLabel
               OpBranch %1167
       %1167 = OpLabel
       %1581 = OpPhi %40 %322 %1166 %1709 %1244
       %1578 = OpPhi %6 %24 %1166 %1706 %1244
       %1171 = OpSLessThanEqual %40 %1578 %179
               OpLoopMerge %1245 %1244 None
               OpBranchConditional %1171 %1172 %1245
       %1172 = OpLabel
       %1175 = OpAccessChain %9 %47 %1578 %24
       %1176 = OpLoad %6 %1175
       %1177 = OpSLessThanEqual %40 %269 %1176
               OpSelectionMerge %1243 None
               OpBranchConditional %1177 %1178 %1222
       %1222 = OpLabel
       %1224 = OpAccessChain %9 %47 %1578 %30
       %1225 = OpLoad %6 %1224
       %1226 = OpIEqual %40 %1225 %28
               OpSelectionMerge %1242 None
               OpBranchConditional %1226 %1227 %1238
       %1238 = OpLabel
       %1241 = OpLoad %6 %1224
               OpBranch %1244
       %1227 = OpLabel
               OpStore %1224 %179
       %1237 = OpAccessChain %8 %47 %179
               OpStore %1237 %1738
               OpBranch %1245
       %1242 = OpLabel
               OpUnreachable
       %1178 = OpLabel
       %1180 = OpAccessChain %9 %47 %1578 %27
       %1181 = OpLoad %6 %1180
       %1182 = OpIEqual %40 %1181 %28
               OpSelectionMerge %1221 None
               OpBranchConditional %1182 %1183 %1217
       %1217 = OpLabel
       %1220 = OpLoad %6 %1180
               OpBranch %1244
       %1183 = OpLabel
       %1184 = OpAccessChain %67 %65 %24 %66
       %1185 = OpLoad %61 %1184
       %1186 = OpAccessChain %67 %65 %24 %70
       %1187 = OpLoad %61 %1186
       %1188 = OpFOrdLessThan %40 %1185 %1187
               OpSelectionMerge %1194 None
               OpBranchConditional %1188 %1189 %1194
       %1189 = OpLabel
               OpBranch %1190
       %1190 = OpLabel
               OpLoopMerge %1193 %1192 None
               OpBranch %1191
       %1191 = OpLabel
               OpKill
       %1192 = OpLabel
               OpBranch %1190
       %1193 = OpLabel
               OpUnreachable
       %1194 = OpLabel
               OpStore %1180 %179
       %1204 = OpAccessChain %8 %47 %179
               OpStore %1204 %1738
               OpBranch %1205
       %1205 = OpLabel
       %1210 = OpConvertFToS %6 %1185
       %1211 = OpSLessThan %40 %24 %1210
               OpLoopMerge %1214 %1213 None
               OpBranchConditional %1211 %1212 %1214
       %1212 = OpLabel
               OpBranch %1214
       %1213 = OpLabel
               OpBranch %1205
       %1214 = OpLabel
       %1579 = OpPhi %40 %1581 %1205 %325 %1212
               OpSelectionMerge %1216 None
               OpBranchConditional %1579 %1245 %1216
       %1216 = OpLabel
               OpBranch %1221
       %1221 = OpLabel
               OpBranch %1243
       %1243 = OpLabel
               OpBranch %1244
       %1244 = OpLabel
       %1709 = OpPhi %40 %1581 %1217 %1581 %1238 %1579 %1243
       %1706 = OpPhi %6 %1220 %1217 %1241 %1238 %1578 %1243
               OpBranch %1167
       %1245 = OpLabel
       %1582 = OpPhi %40 %1581 %1167 %1579 %1214 %325 %1227
               OpSelectionMerge %1247 None
               OpBranchConditional %1582 %1248 %1247
       %1247 = OpLabel
               OpBranch %1248
       %1248 = OpLabel
               OpBranch %276
        %276 = OpLabel
       %1593 = OpPhi %6 %1620 %1248 %1590 %279
       %1584 = OpPhi %6 %24 %1248 %1710 %279
       %1583 = OpPhi %6 %24 %1248 %309 %279
        %283 = OpSLessThan %40 %1583 %282
               OpLoopMerge %278 %279 None
               OpBranchConditional %283 %277 %278
        %277 = OpLabel
               OpSelectionMerge %1299 None
               OpSwitch %70 %1267
       %1267 = OpLabel
               OpBranch %1268
       %1268 = OpLabel
       %1585 = OpPhi %6 %24 %1267 %1739 %1295
       %1271 = OpINotEqual %40 %1585 %28
               OpLoopMerge %1296 %1295 None
               OpBranchConditional %1271 %1272 %1296
       %1272 = OpLabel
       %1274 = OpAccessChain %8 %47 %1585
       %1275 = OpLoad %7 %1274
       %1305 = OpCompositeExtract %6 %1275 0
       %1306 = OpCompositeExtract %6 %1275 1
       %1307 = OpCompositeExtract %6 %1275 2
       %1279 = OpIEqual %40 %1305 %1583
               OpSelectionMerge %1282 None
               OpBranchConditional %1279 %1280 %1282
       %1280 = OpLabel
               OpBranch %1296
       %1282 = OpLabel
       %1286 = OpSGreaterThan %40 %1583 %1305
       %1739 = OpSelect %6 %1286 %1307 %1306
               OpBranch %1295
       %1295 = OpLabel
               OpBranch %1268
       %1296 = OpLabel
       %1591 = OpPhi %6 %1593 %1268 %1583 %1280
       %1587 = OpPhi %40 %322 %1268 %325 %1280
               OpSelectionMerge %1298 None
               OpBranchConditional %1587 %1299 %1298
       %1298 = OpLabel
               OpBranch %1299
       %1299 = OpLabel
       %1590 = OpPhi %6 %1591 %1296 %28 %1298
               OpSelectionMerge %291 None
               OpSwitch %1583 %290 9 %289 5 %289 12 %289 15 %289 7 %289 8 %289 2 %289 6 %289 17 %289 13 %289
        %289 = OpLabel
        %294 = OpIEqual %40 %1590 %1583
               OpSelectionMerge %296 None
               OpBranchConditional %294 %295 %296
        %295 = OpLabel
        %298 = OpIAdd %6 %1584 %27
               OpBranch %296
        %296 = OpLabel
       %1712 = OpPhi %6 %1584 %289 %298 %295
               OpBranch %291
        %290 = OpLabel
        %301 = OpIEqual %40 %1590 %28
               OpSelectionMerge %303 None
               OpBranchConditional %301 %302 %303
        %302 = OpLabel
        %305 = OpIAdd %6 %1584 %27
               OpBranch %303
        %303 = OpLabel
       %1711 = OpPhi %6 %1584 %290 %305 %302
               OpBranch %291
        %291 = OpLabel
       %1710 = OpPhi %6 %1711 %303 %1712 %296
               OpBranch %279
        %279 = OpLabel
        %309 = OpIAdd %6 %1583 %27
               OpBranch %276
        %278 = OpLabel
        %311 = OpIEqual %40 %1584 %282
               OpSelectionMerge %313 None
               OpBranchConditional %311 %312 %318
        %318 = OpLabel
               OpStore %315 %319
               OpBranch %313
        %312 = OpLabel
               OpStore %315 %317
               OpBranch %313
        %313 = OpLabel
               OpReturn
               OpFunctionEnd
END

# uniforms for variant

# injectionSwitch
BUFFER variant_injectionSwitch DATA_TYPE vec2<float> DATA
 0.0 1.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_injectionSwitch AS uniform DESCRIPTOR_SET 0 BINDING 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 reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_framebuffer TOLERANCE 0.005