| #!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 the GraphicsFuzz project. |
| |
| # Short description: Equivalent shaders, one with extra access chains and load |
| |
| # The test passes because both shaders render the same image. |
| |
| SHADER vertex reference_vertex_shader PASSTHROUGH |
| |
| SHADER fragment reference_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 |
| ; SPIR-V |
| ; Version: 1.0 |
| ; Generator: Khronos Glslang Reference Front End; 7 |
| ; 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 %321 %300 |
| %300 = OpLabel |
| %302 = OpAccessChain %9 %47 %1212 %30 |
| %303 = OpLoad %6 %302 |
| %304 = OpIEqual %40 %303 %28 |
| OpSelectionMerge %320 None |
| OpBranchConditional %304 %309 %305 |
| %305 = OpLabel |
| %308 = OpLoad %6 %302 |
| OpBranch %343 |
| %309 = OpLabel |
| OpStore %302 %27 |
| %319 = OpAccessChain %8 %47 %27 |
| OpStore %319 %1360 |
| OpBranch %344 |
| %320 = OpLabel |
| OpUnreachable |
| %321 = OpLabel |
| %323 = OpAccessChain %9 %47 %1212 %27 |
| %324 = OpLoad %6 %323 |
| %325 = OpIEqual %40 %324 %28 |
| OpSelectionMerge %341 None |
| OpBranchConditional %325 %330 %326 |
| %326 = OpLabel |
| %329 = OpLoad %6 %323 |
| OpBranch %343 |
| %330 = OpLabel |
| OpStore %323 %27 |
| %340 = OpAccessChain %8 %47 %27 |
| OpStore %340 %1360 |
| OpBranch %344 |
| %341 = OpLabel |
| OpUnreachable |
| %342 = OpLabel |
| OpUnreachable |
| %343 = OpLabel |
| %1342 = OpPhi %6 %308 %305 %329 %326 |
| OpBranch %289 |
| %344 = OpLabel |
| %1213 = OpPhi %40 %263 %289 %266 %309 %266 %330 |
| 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 %398 %377 |
| %377 = OpLabel |
| %379 = OpAccessChain %9 %47 %1220 %30 |
| %380 = OpLoad %6 %379 |
| %381 = OpIEqual %40 %380 %28 |
| OpSelectionMerge %397 None |
| OpBranchConditional %381 %386 %382 |
| %382 = OpLabel |
| %385 = OpLoad %6 %379 |
| OpBranch %420 |
| %386 = OpLabel |
| OpStore %379 %30 |
| %396 = OpAccessChain %8 %47 %30 |
| OpStore %396 %1361 |
| OpBranch %421 |
| %397 = OpLabel |
| OpUnreachable |
| %398 = OpLabel |
| %400 = OpAccessChain %9 %47 %1220 %27 |
| %401 = OpLoad %6 %400 |
| %402 = OpIEqual %40 %401 %28 |
| OpSelectionMerge %418 None |
| OpBranchConditional %402 %407 %403 |
| %403 = OpLabel |
| %406 = OpLoad %6 %400 |
| OpBranch %420 |
| %407 = OpLabel |
| OpStore %400 %30 |
| %417 = OpAccessChain %8 %47 %30 |
| OpStore %417 %1361 |
| OpBranch %421 |
| %418 = OpLabel |
| OpUnreachable |
| %419 = OpLabel |
| OpUnreachable |
| %420 = OpLabel |
| %1344 = OpPhi %6 %385 %382 %406 %403 |
| OpBranch %366 |
| %421 = OpLabel |
| %1221 = OpPhi %40 %263 %366 %266 %386 %266 %407 |
| 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 %475 %454 |
| %454 = OpLabel |
| %456 = OpAccessChain %9 %47 %1228 %30 |
| %457 = OpLoad %6 %456 |
| %458 = OpIEqual %40 %457 %28 |
| OpSelectionMerge %474 None |
| OpBranchConditional %458 %463 %459 |
| %459 = OpLabel |
| %462 = OpLoad %6 %456 |
| OpBranch %497 |
| %463 = OpLabel |
| OpStore %456 %1362 |
| %473 = OpAccessChain %8 %47 %1362 |
| OpStore %473 %1363 |
| OpBranch %498 |
| %474 = OpLabel |
| OpUnreachable |
| %475 = OpLabel |
| %477 = OpAccessChain %9 %47 %1228 %27 |
| %478 = OpLoad %6 %477 |
| %479 = OpIEqual %40 %478 %28 |
| OpSelectionMerge %495 None |
| OpBranchConditional %479 %484 %480 |
| %480 = OpLabel |
| %483 = OpLoad %6 %477 |
| OpBranch %497 |
| %484 = OpLabel |
| OpStore %477 %1362 |
| %494 = OpAccessChain %8 %47 %1362 |
| OpStore %494 %1363 |
| OpBranch %498 |
| %495 = OpLabel |
| OpUnreachable |
| %496 = OpLabel |
| OpUnreachable |
| %497 = OpLabel |
| %1345 = OpPhi %6 %462 %459 %483 %480 |
| OpBranch %443 |
| %498 = OpLabel |
| %1229 = OpPhi %40 %263 %443 %266 %463 %266 %484 |
| 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 %552 %531 |
| %531 = OpLabel |
| %533 = OpAccessChain %9 %47 %1236 %30 |
| %534 = OpLoad %6 %533 |
| %535 = OpIEqual %40 %534 %28 |
| OpSelectionMerge %551 None |
| OpBranchConditional %535 %540 %536 |
| %536 = OpLabel |
| %539 = OpLoad %6 %533 |
| OpBranch %574 |
| %540 = OpLabel |
| OpStore %533 %1364 |
| %550 = OpAccessChain %8 %47 %1364 |
| OpStore %550 %1365 |
| OpBranch %575 |
| %551 = OpLabel |
| OpUnreachable |
| %552 = OpLabel |
| %554 = OpAccessChain %9 %47 %1236 %27 |
| %555 = OpLoad %6 %554 |
| %556 = OpIEqual %40 %555 %28 |
| OpSelectionMerge %572 None |
| OpBranchConditional %556 %561 %557 |
| %557 = OpLabel |
| %560 = OpLoad %6 %554 |
| OpBranch %574 |
| %561 = OpLabel |
| OpStore %554 %1364 |
| %571 = OpAccessChain %8 %47 %1364 |
| OpStore %571 %1365 |
| OpBranch %575 |
| %572 = OpLabel |
| OpUnreachable |
| %573 = OpLabel |
| OpUnreachable |
| %574 = OpLabel |
| %1346 = OpPhi %6 %539 %536 %560 %557 |
| OpBranch %520 |
| %575 = OpLabel |
| %1237 = OpPhi %40 %263 %520 %266 %540 %266 %561 |
| 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 %629 %608 |
| %608 = OpLabel |
| %610 = OpAccessChain %9 %47 %1244 %30 |
| %611 = OpLoad %6 %610 |
| %612 = OpIEqual %40 %611 %28 |
| OpSelectionMerge %628 None |
| OpBranchConditional %612 %617 %613 |
| %613 = OpLabel |
| %616 = OpLoad %6 %610 |
| OpBranch %651 |
| %617 = OpLabel |
| OpStore %610 %151 |
| %627 = OpAccessChain %8 %47 %151 |
| OpStore %627 %1366 |
| OpBranch %652 |
| %628 = OpLabel |
| OpUnreachable |
| %629 = OpLabel |
| %631 = OpAccessChain %9 %47 %1244 %27 |
| %632 = OpLoad %6 %631 |
| %633 = OpIEqual %40 %632 %28 |
| OpSelectionMerge %649 None |
| OpBranchConditional %633 %638 %634 |
| %634 = OpLabel |
| %637 = OpLoad %6 %631 |
| OpBranch %651 |
| %638 = OpLabel |
| OpStore %631 %151 |
| %648 = OpAccessChain %8 %47 %151 |
| OpStore %648 %1366 |
| OpBranch %652 |
| %649 = OpLabel |
| OpUnreachable |
| %650 = OpLabel |
| OpUnreachable |
| %651 = OpLabel |
| %1347 = OpPhi %6 %616 %613 %637 %634 |
| OpBranch %597 |
| %652 = OpLabel |
| %1245 = OpPhi %40 %263 %597 %266 %617 %266 %638 |
| 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 %706 %685 |
| %685 = OpLabel |
| %687 = OpAccessChain %9 %47 %1252 %30 |
| %688 = OpLoad %6 %687 |
| %689 = OpIEqual %40 %688 %28 |
| OpSelectionMerge %705 None |
| OpBranchConditional %689 %694 %690 |
| %690 = OpLabel |
| %693 = OpLoad %6 %687 |
| OpBranch %728 |
| %694 = OpLabel |
| OpStore %687 %192 |
| %704 = OpAccessChain %8 %47 %192 |
| OpStore %704 %1367 |
| OpBranch %729 |
| %705 = OpLabel |
| OpUnreachable |
| %706 = OpLabel |
| %708 = OpAccessChain %9 %47 %1252 %27 |
| %709 = OpLoad %6 %708 |
| %710 = OpIEqual %40 %709 %28 |
| OpSelectionMerge %726 None |
| OpBranchConditional %710 %715 %711 |
| %711 = OpLabel |
| %714 = OpLoad %6 %708 |
| OpBranch %728 |
| %715 = OpLabel |
| OpStore %708 %192 |
| %725 = OpAccessChain %8 %47 %192 |
| OpStore %725 %1367 |
| OpBranch %729 |
| %726 = OpLabel |
| OpUnreachable |
| %727 = OpLabel |
| OpUnreachable |
| %728 = OpLabel |
| %1348 = OpPhi %6 %693 %690 %714 %711 |
| OpBranch %674 |
| %729 = OpLabel |
| %1253 = OpPhi %40 %263 %674 %266 %694 %266 %715 |
| 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 %783 %762 |
| %762 = OpLabel |
| %764 = OpAccessChain %9 %47 %1260 %30 |
| %765 = OpLoad %6 %764 |
| %766 = OpIEqual %40 %765 %28 |
| OpSelectionMerge %782 None |
| OpBranchConditional %766 %771 %767 |
| %767 = OpLabel |
| %770 = OpLoad %6 %764 |
| OpBranch %805 |
| %771 = OpLabel |
| OpStore %764 %172 |
| %781 = OpAccessChain %8 %47 %172 |
| OpStore %781 %1368 |
| OpBranch %806 |
| %782 = OpLabel |
| OpUnreachable |
| %783 = OpLabel |
| %785 = OpAccessChain %9 %47 %1260 %27 |
| %786 = OpLoad %6 %785 |
| %787 = OpIEqual %40 %786 %28 |
| OpSelectionMerge %803 None |
| OpBranchConditional %787 %792 %788 |
| %788 = OpLabel |
| %791 = OpLoad %6 %785 |
| OpBranch %805 |
| %792 = OpLabel |
| OpStore %785 %172 |
| %802 = OpAccessChain %8 %47 %172 |
| OpStore %802 %1368 |
| OpBranch %806 |
| %803 = OpLabel |
| OpUnreachable |
| %804 = OpLabel |
| OpUnreachable |
| %805 = OpLabel |
| %1349 = OpPhi %6 %770 %767 %791 %788 |
| OpBranch %751 |
| %806 = OpLabel |
| %1261 = OpPhi %40 %263 %751 %266 %771 %266 %792 |
| 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 %860 %839 |
| %839 = OpLabel |
| %841 = OpAccessChain %9 %47 %1268 %30 |
| %842 = OpLoad %6 %841 |
| %843 = OpIEqual %40 %842 %28 |
| OpSelectionMerge %859 None |
| OpBranchConditional %843 %848 %844 |
| %844 = OpLabel |
| %847 = OpLoad %6 %841 |
| OpBranch %882 |
| %848 = OpLabel |
| OpStore %841 %179 |
| %858 = OpAccessChain %8 %47 %179 |
| OpStore %858 %1369 |
| OpBranch %883 |
| %859 = OpLabel |
| OpUnreachable |
| %860 = OpLabel |
| %862 = OpAccessChain %9 %47 %1268 %27 |
| %863 = OpLoad %6 %862 |
| %864 = OpIEqual %40 %863 %28 |
| OpSelectionMerge %880 None |
| OpBranchConditional %864 %869 %865 |
| %865 = OpLabel |
| %868 = OpLoad %6 %862 |
| OpBranch %882 |
| %869 = OpLabel |
| OpStore %862 %179 |
| %879 = OpAccessChain %8 %47 %179 |
| OpStore %879 %1369 |
| OpBranch %883 |
| %880 = OpLabel |
| OpUnreachable |
| %881 = OpLabel |
| OpUnreachable |
| %882 = OpLabel |
| %1350 = OpPhi %6 %847 %844 %868 %865 |
| OpBranch %828 |
| %883 = OpLabel |
| %1269 = OpPhi %40 %263 %828 %266 %848 %266 %869 |
| 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 %937 %916 |
| %916 = OpLabel |
| %918 = OpAccessChain %9 %47 %1276 %30 |
| %919 = OpLoad %6 %918 |
| %920 = OpIEqual %40 %919 %28 |
| OpSelectionMerge %936 None |
| OpBranchConditional %920 %925 %921 |
| %921 = OpLabel |
| %924 = OpLoad %6 %918 |
| OpBranch %959 |
| %925 = OpLabel |
| OpStore %918 %141 |
| %935 = OpAccessChain %8 %47 %141 |
| OpStore %935 %1370 |
| OpBranch %960 |
| %936 = OpLabel |
| OpUnreachable |
| %937 = OpLabel |
| %939 = OpAccessChain %9 %47 %1276 %27 |
| %940 = OpLoad %6 %939 |
| %941 = OpIEqual %40 %940 %28 |
| OpSelectionMerge %957 None |
| OpBranchConditional %941 %946 %942 |
| %942 = OpLabel |
| %945 = OpLoad %6 %939 |
| OpBranch %959 |
| %946 = OpLabel |
| OpStore %939 %141 |
| %956 = OpAccessChain %8 %47 %141 |
| OpStore %956 %1370 |
| OpBranch %960 |
| %957 = OpLabel |
| OpUnreachable |
| %958 = OpLabel |
| OpUnreachable |
| %959 = OpLabel |
| %1351 = OpPhi %6 %924 %921 %945 %942 |
| OpBranch %905 |
| %960 = OpLabel |
| %1277 = OpPhi %40 %263 %905 %266 %925 %266 %946 |
| 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 |
| %1353 = 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 |
| %1354 = OpPhi %6 %1281 %227 %242 %239 |
| OpBranch %228 |
| %228 = OpLabel |
| %1352 = OpPhi %6 %1353 %233 %1354 %240 |
| 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 |
| |
| SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 |
| ; SPIR-V |
| ; Version: 1.0 |
| ; Generator: Khronos Glslang Reference Front End; 7 |
| ; Bound: 2550 |
| ; 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 |
| %1502 = OpConstant %6 15 |
| %1505 = OpConstant %6 6 |
| %2288 = OpConstant %43 3 |
| %2300 = OpTypePointer Output %251 |
| %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 %321 %300 |
| %300 = OpLabel |
| %302 = OpAccessChain %9 %47 %1212 %30 |
| %303 = OpLoad %6 %302 |
| %304 = OpIEqual %40 %303 %28 |
| OpSelectionMerge %320 None |
| OpBranchConditional %304 %309 %305 |
| %305 = OpLabel |
| %308 = OpLoad %6 %302 |
| OpBranch %343 |
| %309 = OpLabel |
| OpStore %302 %27 |
| %319 = OpAccessChain %8 %47 %27 |
| OpStore %319 %1360 |
| OpBranch %344 |
| %320 = OpLabel |
| OpUnreachable |
| %321 = OpLabel |
| %323 = OpAccessChain %9 %47 %1212 %27 |
| %324 = OpLoad %6 %323 |
| %325 = OpIEqual %40 %324 %28 |
| OpSelectionMerge %341 None |
| OpBranchConditional %325 %330 %326 |
| %326 = OpLabel |
| %329 = OpLoad %6 %323 |
| OpBranch %343 |
| %330 = OpLabel |
| OpStore %323 %27 |
| %340 = OpAccessChain %8 %47 %27 |
| OpStore %340 %1360 |
| OpBranch %344 |
| %341 = OpLabel |
| OpUnreachable |
| %342 = OpLabel |
| OpUnreachable |
| %343 = OpLabel |
| %1342 = OpPhi %6 %308 %305 %329 %326 |
| OpBranch %289 |
| %344 = OpLabel |
| %1213 = OpPhi %40 %263 %289 %266 %309 %266 %330 |
| 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 %398 %377 |
| %377 = OpLabel |
| %379 = OpAccessChain %9 %47 %1220 %30 |
| %380 = OpLoad %6 %379 |
| %381 = OpIEqual %40 %380 %28 |
| OpSelectionMerge %397 None |
| OpBranchConditional %381 %386 %382 |
| %382 = OpLabel |
| %385 = OpLoad %6 %379 |
| OpBranch %420 |
| %386 = OpLabel |
| OpStore %379 %30 |
| %396 = OpAccessChain %8 %47 %30 |
| OpStore %396 %1361 |
| OpBranch %421 |
| %397 = OpLabel |
| OpUnreachable |
| %398 = OpLabel |
| %400 = OpAccessChain %9 %47 %1220 %27 |
| %401 = OpLoad %6 %400 |
| %402 = OpIEqual %40 %401 %28 |
| OpSelectionMerge %418 None |
| OpBranchConditional %402 %407 %403 |
| %403 = OpLabel |
| %406 = OpLoad %6 %400 |
| OpBranch %420 |
| %407 = OpLabel |
| OpStore %400 %30 |
| %417 = OpAccessChain %8 %47 %30 |
| OpStore %417 %1361 |
| OpBranch %421 |
| %418 = OpLabel |
| OpUnreachable |
| %419 = OpLabel |
| OpUnreachable |
| %420 = OpLabel |
| %1344 = OpPhi %6 %385 %382 %406 %403 |
| OpBranch %366 |
| %421 = OpLabel |
| %1221 = OpPhi %40 %263 %366 %266 %386 %266 %407 |
| 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 %475 %454 |
| %454 = OpLabel |
| %456 = OpAccessChain %9 %47 %1228 %30 |
| %457 = OpLoad %6 %456 |
| %458 = OpIEqual %40 %457 %28 |
| OpSelectionMerge %474 None |
| OpBranchConditional %458 %463 %459 |
| %459 = OpLabel |
| %462 = OpLoad %6 %456 |
| OpBranch %497 |
| %463 = OpLabel |
| OpStore %456 %1362 |
| %473 = OpAccessChain %8 %47 %1362 |
| OpStore %473 %1363 |
| OpBranch %498 |
| %474 = OpLabel |
| OpUnreachable |
| %475 = OpLabel |
| %477 = OpAccessChain %9 %47 %1228 %27 |
| %478 = OpLoad %6 %477 |
| %479 = OpIEqual %40 %478 %28 |
| OpSelectionMerge %495 None |
| OpBranchConditional %479 %484 %480 |
| %480 = OpLabel |
| %483 = OpLoad %6 %477 |
| OpBranch %497 |
| %484 = OpLabel |
| OpStore %477 %1362 |
| %494 = OpAccessChain %8 %47 %1362 |
| OpStore %494 %1363 |
| OpBranch %498 |
| %495 = OpLabel |
| OpUnreachable |
| %496 = OpLabel |
| OpUnreachable |
| %497 = OpLabel |
| %1345 = OpPhi %6 %462 %459 %483 %480 |
| OpBranch %443 |
| %498 = OpLabel |
| %1229 = OpPhi %40 %263 %443 %266 %463 %266 %484 |
| 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 %552 %531 |
| %531 = OpLabel |
| %533 = OpAccessChain %9 %47 %1236 %30 |
| %534 = OpLoad %6 %533 |
| %535 = OpIEqual %40 %534 %28 |
| OpSelectionMerge %551 None |
| OpBranchConditional %535 %540 %536 |
| %536 = OpLabel |
| %539 = OpLoad %6 %533 |
| OpBranch %574 |
| %540 = OpLabel |
| OpStore %533 %1364 |
| %550 = OpAccessChain %8 %47 %1364 |
| OpStore %550 %1365 |
| OpBranch %575 |
| %551 = OpLabel |
| OpUnreachable |
| %552 = OpLabel |
| %554 = OpAccessChain %9 %47 %1236 %27 |
| %555 = OpLoad %6 %554 |
| %556 = OpIEqual %40 %555 %28 |
| OpSelectionMerge %572 None |
| OpBranchConditional %556 %561 %557 |
| %557 = OpLabel |
| %560 = OpLoad %6 %554 |
| OpBranch %574 |
| %561 = OpLabel |
| OpStore %554 %1364 |
| %571 = OpAccessChain %8 %47 %1364 |
| OpStore %571 %1365 |
| OpBranch %575 |
| %572 = OpLabel |
| OpUnreachable |
| %573 = OpLabel |
| OpUnreachable |
| %574 = OpLabel |
| %1346 = OpPhi %6 %539 %536 %560 %557 |
| OpBranch %520 |
| %575 = OpLabel |
| %1237 = OpPhi %40 %263 %520 %266 %540 %266 %561 |
| 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 %629 %608 |
| %608 = OpLabel |
| %610 = OpAccessChain %9 %47 %1244 %30 |
| %611 = OpLoad %6 %610 |
| %612 = OpIEqual %40 %611 %28 |
| OpSelectionMerge %628 None |
| OpBranchConditional %612 %617 %613 |
| %613 = OpLabel |
| %616 = OpLoad %6 %610 |
| OpBranch %651 |
| %617 = OpLabel |
| OpStore %610 %151 |
| %627 = OpAccessChain %8 %47 %151 |
| OpStore %627 %1366 |
| OpBranch %652 |
| %628 = OpLabel |
| OpUnreachable |
| %629 = OpLabel |
| %631 = OpAccessChain %9 %47 %1244 %27 |
| %632 = OpLoad %6 %631 |
| %633 = OpIEqual %40 %632 %28 |
| OpSelectionMerge %649 None |
| OpBranchConditional %633 %638 %634 |
| %634 = OpLabel |
| %637 = OpLoad %6 %631 |
| OpBranch %651 |
| %638 = OpLabel |
| OpStore %631 %151 |
| %648 = OpAccessChain %8 %47 %151 |
| OpStore %648 %1366 |
| OpBranch %652 |
| %649 = OpLabel |
| OpUnreachable |
| %650 = OpLabel |
| OpUnreachable |
| %651 = OpLabel |
| %1347 = OpPhi %6 %616 %613 %637 %634 |
| OpBranch %597 |
| %652 = OpLabel |
| %1245 = OpPhi %40 %263 %597 %266 %617 %266 %638 |
| 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 %706 %685 |
| %685 = OpLabel |
| %687 = OpAccessChain %9 %47 %1252 %30 |
| %688 = OpLoad %6 %687 |
| %689 = OpIEqual %40 %688 %28 |
| OpSelectionMerge %705 None |
| OpBranchConditional %689 %694 %690 |
| %690 = OpLabel |
| %693 = OpLoad %6 %687 |
| OpBranch %728 |
| %694 = OpLabel |
| OpStore %687 %192 |
| %704 = OpAccessChain %8 %47 %192 |
| OpStore %704 %1367 |
| OpBranch %729 |
| %705 = OpLabel |
| OpUnreachable |
| %706 = OpLabel |
| %708 = OpAccessChain %9 %47 %1252 %27 |
| %709 = OpLoad %6 %708 |
| %710 = OpIEqual %40 %709 %28 |
| OpSelectionMerge %726 None |
| OpBranchConditional %710 %715 %711 |
| %711 = OpLabel |
| %714 = OpLoad %6 %708 |
| OpBranch %728 |
| %715 = OpLabel |
| OpStore %708 %192 |
| %725 = OpAccessChain %8 %47 %192 |
| OpStore %725 %1367 |
| OpBranch %729 |
| %726 = OpLabel |
| OpUnreachable |
| %727 = OpLabel |
| OpUnreachable |
| %728 = OpLabel |
| %1348 = OpPhi %6 %693 %690 %714 %711 |
| OpBranch %674 |
| %729 = OpLabel |
| %1253 = OpPhi %40 %263 %674 %266 %694 %266 %715 |
| 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 %783 %762 |
| %762 = OpLabel |
| %764 = OpAccessChain %9 %47 %1260 %30 |
| %765 = OpLoad %6 %764 |
| %766 = OpIEqual %40 %765 %28 |
| OpSelectionMerge %782 None |
| OpBranchConditional %766 %771 %767 |
| %767 = OpLabel |
| %770 = OpLoad %6 %764 |
| OpBranch %805 |
| %771 = OpLabel |
| OpStore %764 %172 |
| %781 = OpAccessChain %8 %47 %172 |
| OpStore %781 %1368 |
| OpBranch %806 |
| %782 = OpLabel |
| OpUnreachable |
| %783 = OpLabel |
| %785 = OpAccessChain %9 %47 %1260 %27 |
| %786 = OpLoad %6 %785 |
| %787 = OpIEqual %40 %786 %28 |
| OpSelectionMerge %803 None |
| OpBranchConditional %787 %792 %788 |
| %788 = OpLabel |
| %791 = OpLoad %6 %785 |
| OpBranch %805 |
| %792 = OpLabel |
| OpStore %785 %172 |
| %802 = OpAccessChain %8 %47 %172 |
| OpStore %802 %1368 |
| OpBranch %806 |
| %803 = OpLabel |
| OpUnreachable |
| %804 = OpLabel |
| OpUnreachable |
| %805 = OpLabel |
| %1349 = OpPhi %6 %770 %767 %791 %788 |
| OpBranch %751 |
| %806 = OpLabel |
| %1261 = OpPhi %40 %263 %751 %266 %771 %266 %792 |
| 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 %860 %839 |
| %839 = OpLabel |
| %841 = OpAccessChain %9 %47 %1268 %30 |
| %842 = OpLoad %6 %841 |
| %843 = OpIEqual %40 %842 %28 |
| OpSelectionMerge %859 None |
| OpBranchConditional %843 %848 %844 |
| %844 = OpLabel |
| %847 = OpLoad %6 %841 |
| OpBranch %882 |
| %848 = OpLabel |
| OpStore %841 %179 |
| %858 = OpAccessChain %8 %47 %179 |
| OpStore %858 %1369 |
| OpBranch %883 |
| %859 = OpLabel |
| OpUnreachable |
| %860 = OpLabel |
| %862 = OpAccessChain %9 %47 %1268 %27 |
| %863 = OpLoad %6 %862 |
| %864 = OpIEqual %40 %863 %28 |
| OpSelectionMerge %880 None |
| OpBranchConditional %864 %869 %865 |
| %865 = OpLabel |
| %868 = OpLoad %6 %862 |
| OpBranch %882 |
| %869 = OpLabel |
| OpStore %862 %179 |
| %879 = OpAccessChain %8 %47 %179 |
| OpStore %879 %1369 |
| OpBranch %883 |
| %880 = OpLabel |
| OpUnreachable |
| %881 = OpLabel |
| OpUnreachable |
| %882 = OpLabel |
| %1350 = OpPhi %6 %847 %844 %868 %865 |
| OpBranch %828 |
| %883 = OpLabel |
| %1269 = OpPhi %40 %263 %828 %266 %848 %266 %869 |
| 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 %937 %916 |
| %916 = OpLabel |
| %918 = OpAccessChain %9 %47 %1276 %30 |
| %919 = OpLoad %6 %918 |
| %920 = OpIEqual %40 %919 %28 |
| OpSelectionMerge %936 None |
| OpBranchConditional %920 %925 %921 |
| %921 = OpLabel |
| %924 = OpLoad %6 %918 |
| OpBranch %959 |
| %925 = OpLabel |
| OpStore %918 %141 |
| %935 = OpAccessChain %8 %47 %141 |
| OpStore %935 %1370 |
| OpBranch %960 |
| %936 = OpLabel |
| OpUnreachable |
| %937 = OpLabel |
| %939 = OpAccessChain %9 %47 %1276 %27 |
| %940 = OpLoad %6 %939 |
| %941 = OpIEqual %40 %940 %28 |
| OpSelectionMerge %957 None |
| OpBranchConditional %941 %946 %942 |
| %942 = OpLabel |
| %945 = OpLoad %6 %939 |
| OpBranch %959 |
| %946 = OpLabel |
| OpStore %939 %141 |
| %956 = OpAccessChain %8 %47 %141 |
| OpStore %956 %1370 |
| OpBranch %960 |
| %957 = OpLabel |
| OpUnreachable |
| %958 = OpLabel |
| OpUnreachable |
| %959 = OpLabel |
| %1351 = OpPhi %6 %924 %921 %945 %942 |
| OpBranch %905 |
| %960 = OpLabel |
| %1277 = OpPhi %40 %263 %905 %266 %925 %266 %946 |
| 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 |
| %2223 = OpISub %6 %1505 %1502 |
| %2353 = OpULessThanEqual %40 %2288 %2288 |
| %2354 = OpSelect %43 %2353 %2288 %2288 |
| %2355 = OpAccessChain %2300 %254 %2354 |
| 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 |
| %2356 = OpInBoundsAccessChain %2300 %2355 |
| %1021 = OpCompositeExtract %6 %989 2 |
| %993 = OpIEqual %40 %1019 %1280 |
| OpSelectionMerge %996 None |
| OpBranchConditional %993 %994 %996 |
| %994 = OpLabel |
| OpBranch %1010 |
| %996 = OpLabel |
| %2549 = OpLoad %251 %2356 |
| %1487 = OpSLessThanEqual %40 %1280 %1019 |
| %1000 = OpLogicalNot %40 %1487 |
| %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 |
| %1353 = 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 |
| %1354 = OpPhi %6 %1281 %227 %242 %239 |
| OpBranch %228 |
| %228 = OpLabel |
| %1352 = OpPhi %6 %1353 %233 %1354 %240 |
| 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 variant_framebuffer FORMAT B8G8R8A8_UNORM |
| |
| PIPELINE graphics variant_pipeline |
| ATTACH variant_vertex_shader |
| ATTACH variant_fragment_shader |
| FRAMEBUFFER_SIZE 256 256 |
| BIND BUFFER variant_framebuffer AS color LOCATION 0 |
| END |
| CLEAR_COLOR variant_pipeline 0 0 0 255 |
| |
| CLEAR variant_pipeline |
| RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 |
| |
| EXPECT reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_framebuffer TOLERANCE 0.005 |
