#!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 instructions propagated to predecessors

# 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: 653
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %4 "main" %12 %435
               OpExecutionMode %4 OriginUpperLeft
               OpSource ESSL 320
               OpName %4 "main"
               OpName %12 "gl_FragCoord"
               OpName %15 "buf0"
               OpMemberName %15 0 "resolution"
               OpName %17 ""
               OpName %55 "map"
               OpName %435 "_GLF_color"
               OpDecorate %12 BuiltIn FragCoord
               OpMemberDecorate %15 0 Offset 0
               OpDecorate %15 Block
               OpDecorate %17 DescriptorSet 0
               OpDecorate %17 Binding 0
               OpDecorate %435 Location 0
          %2 = OpTypeVoid
          %3 = OpTypeFunction %2
          %6 = OpTypeFloat 32
          %7 = OpTypeVector %6 2
         %10 = OpTypeVector %6 4
         %11 = OpTypePointer Input %10
         %12 = OpVariable %11 Input
         %15 = OpTypeStruct %7
         %16 = OpTypePointer Uniform %15
         %17 = OpVariable %16 Uniform
         %18 = OpTypeInt 32 1
         %19 = OpConstant %18 0
         %20 = OpTypePointer Uniform %7
         %24 = OpTypeVector %18 2
         %27 = OpTypeInt 32 0
         %28 = OpConstant %27 0
         %32 = OpConstant %6 16
         %41 = OpTypePointer Function %18
         %49 = OpConstant %18 256
         %50 = OpTypeBool
         %52 = OpConstant %27 256
         %53 = OpTypeArray %18 %52
         %60 = OpConstant %18 1
         %63 = OpConstantComposite %24 %19 %19
         %66 = OpConstantTrue %50
         %82 = OpConstant %18 2
         %86 = OpConstant %18 16
        %119 = OpConstant %18 14
        %162 = OpConstantFalse %50
        %169 = OpConstant %18 8
        %434 = OpTypePointer Output %10
        %435 = OpVariable %434 Output
        %436 = OpConstant %6 1
        %437 = OpConstantComposite %10 %436 %436 %436 %436
        %440 = OpConstant %6 0
        %441 = OpConstantComposite %10 %440 %440 %440 %436
        %447 = OpTypePointer Function %53
        %648 = OpConstant %18 32
        %649 = OpUndef %24
          %4 = OpFunction %2 None %3
          %5 = OpLabel
         %55 = OpVariable %447 Function
               OpSelectionMerge %442 None
               OpSwitch %28 %443
        %443 = OpLabel
         %13 = OpLoad %10 %12
         %14 = OpVectorShuffle %7 %13 %13 0 1
         %21 = OpAccessChain %20 %17 %19
         %22 = OpLoad %7 %21
         %23 = OpFDiv %7 %14 %22
         %31 = OpCompositeExtract %6 %23 0
         %33 = OpFMul %6 %31 %32
         %34 = OpConvertFToS %18 %33
         %37 = OpCompositeExtract %6 %23 1
         %38 = OpFMul %6 %37 %32
         %39 = OpConvertFToS %18 %38
               OpBranch %43
         %43 = OpLabel
        %518 = OpPhi %18 %19 %443 %61 %44
         %51 = OpSLessThan %50 %518 %49
               OpLoopMerge %45 %44 None
               OpBranchConditional %51 %44 %45
         %44 = OpLabel
         %58 = OpAccessChain %41 %55 %518
               OpStore %58 %19
         %61 = OpIAdd %18 %518 %60
               OpBranch %43
         %45 = OpLabel
               OpBranch %68
         %68 = OpLabel
        %591 = OpPhi %50 %66 %45 %569 %71
        %520 = OpPhi %24 %63 %45 %637 %71
        %519 = OpPhi %18 %19 %45 %621 %71
               OpLoopMerge %70 %71 None
               OpBranch %69
         %69 = OpLabel
         %73 = OpIAdd %18 %519 %60
         %76 = OpCompositeExtract %18 %520 0
         %77 = OpSGreaterThan %50 %76 %19
               OpSelectionMerge %79 None
               OpBranchConditional %77 %78 %79
         %78 = OpLabel
         %83 = OpISub %18 %76 %82
         %85 = OpCompositeExtract %18 %520 1
         %87 = OpIMul %18 %85 %86
         %88 = OpIAdd %18 %83 %87
         %89 = OpAccessChain %41 %55 %88
         %90 = OpLoad %18 %89
         %91 = OpIEqual %50 %90 %19
               OpBranch %79
         %79 = OpLabel
         %92 = OpPhi %50 %77 %69 %91 %78
        %650 = OpSelect %18 %92 %60 %19
         %98 = OpCompositeExtract %18 %520 1
         %99 = OpSGreaterThan %50 %98 %19
               OpSelectionMerge %101 None
               OpBranchConditional %99 %100 %101
        %100 = OpLabel
        %106 = OpISub %18 %98 %82
        %107 = OpIMul %18 %106 %86
        %108 = OpIAdd %18 %76 %107
        %109 = OpAccessChain %41 %55 %108
        %110 = OpLoad %18 %109
        %111 = OpIEqual %50 %110 %19
               OpBranch %101
        %101 = OpLabel
        %112 = OpPhi %50 %99 %79 %111 %100
               OpSelectionMerge %114 None
               OpBranchConditional %112 %113 %114
        %113 = OpLabel
        %116 = OpIAdd %18 %650 %60
               OpBranch %114
        %114 = OpLabel
        %529 = OpPhi %18 %650 %101 %116 %113
        %120 = OpSLessThan %50 %76 %119
               OpSelectionMerge %122 None
               OpBranchConditional %120 %121 %122
        %121 = OpLabel
        %125 = OpIAdd %18 %76 %82
        %128 = OpIMul %18 %98 %86
        %129 = OpIAdd %18 %125 %128
        %130 = OpAccessChain %41 %55 %129
        %131 = OpLoad %18 %130
        %132 = OpIEqual %50 %131 %19
               OpBranch %122
        %122 = OpLabel
        %133 = OpPhi %50 %120 %114 %132 %121
               OpSelectionMerge %135 None
               OpBranchConditional %133 %134 %135
        %134 = OpLabel
        %137 = OpIAdd %18 %529 %60
               OpBranch %135
        %135 = OpLabel
        %533 = OpPhi %18 %529 %122 %137 %134
        %140 = OpSLessThan %50 %98 %119
               OpSelectionMerge %142 None
               OpBranchConditional %140 %141 %142
        %141 = OpLabel
        %147 = OpIAdd %18 %98 %82
        %148 = OpIMul %18 %147 %86
        %149 = OpIAdd %18 %76 %148
        %150 = OpAccessChain %41 %55 %149
        %151 = OpLoad %18 %150
        %152 = OpIEqual %50 %151 %19
               OpBranch %142
        %142 = OpLabel
        %153 = OpPhi %50 %140 %135 %152 %141
               OpSelectionMerge %155 None
               OpBranchConditional %153 %154 %155
        %154 = OpLabel
        %157 = OpIAdd %18 %533 %60
               OpBranch %155
        %155 = OpLabel
        %534 = OpPhi %18 %533 %142 %157 %154
        %159 = OpIEqual %50 %534 %19
               OpSelectionMerge %161 None
               OpBranchConditional %159 %160 %207
        %160 = OpLabel
               OpBranch %163
        %163 = OpLabel
        %570 = OpPhi %50 %162 %160 %639 %166
        %568 = OpPhi %24 %520 %160 %619 %166
        %567 = OpPhi %18 %19 %160 %199 %166
        %170 = OpSLessThan %50 %567 %169
               OpLoopMerge %165 %166 None
               OpBranchConditional %170 %164 %165
        %164 = OpLabel
               OpBranch %172
        %172 = OpLabel
        %619 = OpPhi %24 %568 %164 %644 %175
        %617 = OpPhi %18 %19 %164 %197 %175
        %639 = OpPhi %50 %570 %164 %651 %175
        %178 = OpSLessThan %50 %617 %169
               OpLoopMerge %174 %175 None
               OpBranchConditional %178 %173 %174
        %173 = OpLabel
        %180 = OpIMul %18 %617 %82
        %182 = OpIMul %18 %567 %82
        %183 = OpIMul %18 %567 %648
        %184 = OpIAdd %18 %180 %183
        %185 = OpAccessChain %41 %55 %184
        %186 = OpLoad %18 %185
        %187 = OpIEqual %50 %186 %19
               OpSelectionMerge %189 None
               OpBranchConditional %187 %188 %189
        %188 = OpLabel
        %463 = OpCompositeInsert %24 %180 %649 0
        %465 = OpCompositeInsert %24 %182 %463 1
               OpBranch %189
        %189 = OpLabel
        %644 = OpPhi %24 %619 %173 %465 %188
        %651 = OpSelect %50 %187 %66 %639
               OpBranch %175
        %175 = OpLabel
        %197 = OpIAdd %18 %617 %60
               OpBranch %172
        %174 = OpLabel
               OpBranch %166
        %166 = OpLabel
        %199 = OpIAdd %18 %567 %60
               OpBranch %163
        %165 = OpLabel
        %201 = OpCompositeExtract %18 %568 0
        %203 = OpCompositeExtract %18 %568 1
        %204 = OpIMul %18 %203 %86
        %205 = OpIAdd %18 %201 %204
        %206 = OpAccessChain %41 %55 %205
               OpStore %206 %60
               OpBranch %161
        %207 = OpLabel
        %211 = OpSMod %18 %73 %534
        %214 = OpIAdd %18 %73 %534
        %216 = OpSGreaterThanEqual %50 %211 %19
        %652 = OpSelect %50 %216 %77 %216
               OpSelectionMerge %224 None
               OpBranchConditional %652 %223 %224
        %223 = OpLabel
        %227 = OpISub %18 %76 %82
        %230 = OpIMul %18 %98 %86
        %231 = OpIAdd %18 %227 %230
        %232 = OpAccessChain %41 %55 %231
        %233 = OpLoad %18 %232
        %234 = OpIEqual %50 %233 %19
               OpBranch %224
        %224 = OpLabel
        %235 = OpPhi %50 %652 %207 %234 %223
               OpSelectionMerge %237 None
               OpBranchConditional %235 %236 %237
        %236 = OpLabel
        %239 = OpISub %18 %211 %60
        %244 = OpIMul %18 %98 %86
        %245 = OpIAdd %18 %76 %244
        %246 = OpAccessChain %41 %55 %245
               OpStore %246 %60
        %249 = OpISub %18 %76 %60
        %253 = OpIAdd %18 %249 %244
        %254 = OpAccessChain %41 %55 %253
               OpStore %254 %60
        %257 = OpISub %18 %76 %82
        %261 = OpIAdd %18 %257 %244
        %262 = OpAccessChain %41 %55 %261
               OpStore %262 %60
        %479 = OpCompositeInsert %24 %257 %520 0
               OpBranch %237
        %237 = OpLabel
        %550 = OpPhi %24 %520 %224 %479 %236
        %549 = OpPhi %18 %211 %224 %239 %236
        %268 = OpSGreaterThanEqual %50 %549 %19
               OpSelectionMerge %270 None
               OpBranchConditional %268 %269 %270
        %269 = OpLabel
        %272 = OpCompositeExtract %18 %550 1
        %273 = OpSGreaterThan %50 %272 %19
               OpBranch %270
        %270 = OpLabel
        %274 = OpPhi %50 %268 %237 %273 %269
               OpSelectionMerge %276 None
               OpBranchConditional %274 %275 %276
        %275 = OpLabel
        %278 = OpCompositeExtract %18 %550 0
        %280 = OpCompositeExtract %18 %550 1
        %281 = OpISub %18 %280 %82
        %282 = OpIMul %18 %281 %86
        %283 = OpIAdd %18 %278 %282
        %284 = OpAccessChain %41 %55 %283
        %285 = OpLoad %18 %284
        %286 = OpIEqual %50 %285 %19
               OpBranch %276
        %276 = OpLabel
        %287 = OpPhi %50 %274 %270 %286 %275
               OpSelectionMerge %289 None
               OpBranchConditional %287 %288 %289
        %288 = OpLabel
        %291 = OpISub %18 %549 %60
        %293 = OpCompositeExtract %18 %550 0
        %295 = OpCompositeExtract %18 %550 1
        %296 = OpIMul %18 %295 %86
        %297 = OpIAdd %18 %293 %296
        %298 = OpAccessChain %41 %55 %297
               OpStore %298 %60
        %303 = OpISub %18 %295 %60
        %304 = OpIMul %18 %303 %86
        %305 = OpIAdd %18 %293 %304
        %306 = OpAccessChain %41 %55 %305
               OpStore %306 %60
        %311 = OpISub %18 %295 %82
        %312 = OpIMul %18 %311 %86
        %313 = OpIAdd %18 %293 %312
        %314 = OpAccessChain %41 %55 %313
               OpStore %314 %60
        %491 = OpCompositeInsert %24 %311 %550 1
               OpBranch %289
        %289 = OpLabel
        %556 = OpPhi %24 %550 %276 %491 %288
        %555 = OpPhi %18 %549 %276 %291 %288
        %320 = OpSGreaterThanEqual %50 %555 %19
               OpSelectionMerge %322 None
               OpBranchConditional %320 %321 %322
        %321 = OpLabel
        %324 = OpCompositeExtract %18 %556 0
        %325 = OpSLessThan %50 %324 %119
               OpBranch %322
        %322 = OpLabel
        %326 = OpPhi %50 %320 %289 %325 %321
               OpSelectionMerge %328 None
               OpBranchConditional %326 %327 %328
        %327 = OpLabel
        %330 = OpCompositeExtract %18 %556 0
        %331 = OpIAdd %18 %330 %82
        %333 = OpCompositeExtract %18 %556 1
        %334 = OpIMul %18 %333 %86
        %335 = OpIAdd %18 %331 %334
        %336 = OpAccessChain %41 %55 %335
        %337 = OpLoad %18 %336
        %338 = OpIEqual %50 %337 %19
               OpBranch %328
        %328 = OpLabel
        %339 = OpPhi %50 %326 %322 %338 %327
               OpSelectionMerge %341 None
               OpBranchConditional %339 %340 %341
        %340 = OpLabel
        %343 = OpISub %18 %555 %60
        %345 = OpCompositeExtract %18 %556 0
        %347 = OpCompositeExtract %18 %556 1
        %348 = OpIMul %18 %347 %86
        %349 = OpIAdd %18 %345 %348
        %350 = OpAccessChain %41 %55 %349
               OpStore %350 %60
        %353 = OpIAdd %18 %345 %60
        %357 = OpIAdd %18 %353 %348
        %358 = OpAccessChain %41 %55 %357
               OpStore %358 %60
        %361 = OpIAdd %18 %345 %82
        %365 = OpIAdd %18 %361 %348
        %366 = OpAccessChain %41 %55 %365
               OpStore %366 %60
        %503 = OpCompositeInsert %24 %361 %556 0
               OpBranch %341
        %341 = OpLabel
        %562 = OpPhi %24 %556 %328 %503 %340
        %561 = OpPhi %18 %555 %328 %343 %340
        %372 = OpSGreaterThanEqual %50 %561 %19
               OpSelectionMerge %374 None
               OpBranchConditional %372 %373 %374
        %373 = OpLabel
        %376 = OpCompositeExtract %18 %562 1
        %377 = OpSLessThan %50 %376 %119
               OpBranch %374
        %374 = OpLabel
        %378 = OpPhi %50 %372 %341 %377 %373
               OpSelectionMerge %380 None
               OpBranchConditional %378 %379 %380
        %379 = OpLabel
        %382 = OpCompositeExtract %18 %562 0
        %384 = OpCompositeExtract %18 %562 1
        %385 = OpIAdd %18 %384 %82
        %386 = OpIMul %18 %385 %86
        %387 = OpIAdd %18 %382 %386
        %388 = OpAccessChain %41 %55 %387
        %389 = OpLoad %18 %388
        %390 = OpIEqual %50 %389 %19
               OpBranch %380
        %380 = OpLabel
        %391 = OpPhi %50 %378 %374 %390 %379
               OpSelectionMerge %393 None
               OpBranchConditional %391 %392 %393
        %392 = OpLabel
        %397 = OpCompositeExtract %18 %562 0
        %399 = OpCompositeExtract %18 %562 1
        %400 = OpIMul %18 %399 %86
        %401 = OpIAdd %18 %397 %400
        %402 = OpAccessChain %41 %55 %401
               OpStore %402 %60
        %407 = OpIAdd %18 %399 %60
        %408 = OpIMul %18 %407 %86
        %409 = OpIAdd %18 %397 %408
        %410 = OpAccessChain %41 %55 %409
               OpStore %410 %60
        %415 = OpIAdd %18 %399 %82
        %416 = OpIMul %18 %415 %86
        %417 = OpIAdd %18 %397 %416
        %418 = OpAccessChain %41 %55 %417
               OpStore %418 %60
        %515 = OpCompositeInsert %24 %415 %562 1
               OpBranch %393
        %393 = OpLabel
        %638 = OpPhi %24 %562 %380 %515 %392
               OpBranch %161
        %161 = OpLabel
        %637 = OpPhi %24 %568 %165 %638 %393
        %621 = OpPhi %18 %73 %165 %214 %393
        %569 = OpPhi %50 %570 %165 %591 %393
        %425 = OpIMul %18 %39 %86
        %428 = OpIAdd %18 %425 %34
        %429 = OpAccessChain %41 %55 %428
        %430 = OpLoad %18 %429
        %431 = OpIEqual %50 %430 %60
               OpSelectionMerge %433 None
               OpBranchConditional %431 %432 %433
        %432 = OpLabel
               OpStore %435 %437
               OpBranch %70
        %433 = OpLabel
               OpBranch %71
         %71 = OpLabel
               OpBranchConditional %569 %68 %70
         %70 = OpLabel
        %592 = OpPhi %50 %66 %432 %162 %71
               OpSelectionMerge %445 None
               OpBranchConditional %592 %442 %445
        %445 = OpLabel
               OpStore %435 %441
               OpBranch %442
        %442 = OpLabel
               OpReturn
               OpFunctionEnd
END

# uniforms for reference

# resolution
BUFFER reference_resolution DATA_TYPE vec2<float> STD140 DATA
 32.0 32.0
END

BUFFER reference_framebuffer FORMAT B8G8R8A8_UNORM

PIPELINE graphics reference_pipeline
  ATTACH reference_vertex_shader
  ATTACH reference_fragment_shader
  FRAMEBUFFER_SIZE 32 32
  BIND BUFFER reference_framebuffer AS color LOCATION 0
  BIND BUFFER reference_resolution AS uniform DESCRIPTOR_SET 0 BINDING 0
END
CLEAR_COLOR reference_pipeline 0 0 0 255

CLEAR reference_pipeline
RUN reference_pipeline DRAW_RECT POS 0 0 SIZE 32 32


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: 865
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %4 "main" %12 %435
               OpExecutionMode %4 OriginUpperLeft
               OpSource ESSL 320
               OpName %4 "main"
               OpName %12 "gl_FragCoord"
               OpName %15 "buf0"
               OpMemberName %15 0 "resolution"
               OpName %17 ""
               OpName %55 "map"
               OpName %435 "_GLF_color"
               OpDecorate %12 BuiltIn FragCoord
               OpMemberDecorate %15 0 Offset 0
               OpDecorate %15 Block
               OpDecorate %17 DescriptorSet 0
               OpDecorate %17 Binding 0
               OpDecorate %435 Location 0
          %2 = OpTypeVoid
          %3 = OpTypeFunction %2
          %6 = OpTypeFloat 32
          %7 = OpTypeVector %6 2
         %10 = OpTypeVector %6 4
         %11 = OpTypePointer Input %10
         %12 = OpVariable %11 Input
         %15 = OpTypeStruct %7
         %16 = OpTypePointer Uniform %15
         %17 = OpVariable %16 Uniform
         %18 = OpTypeInt 32 1
         %19 = OpConstant %18 0
         %20 = OpTypePointer Uniform %7
         %24 = OpTypeVector %18 2
         %27 = OpTypeInt 32 0
         %28 = OpConstant %27 0
         %32 = OpConstant %6 16
         %41 = OpTypePointer Function %18
         %49 = OpConstant %18 256
         %50 = OpTypeBool
         %52 = OpConstant %27 256
         %53 = OpTypeArray %18 %52
         %60 = OpConstant %18 1
         %63 = OpConstantComposite %24 %19 %19
         %66 = OpConstantTrue %50
         %82 = OpConstant %18 2
         %86 = OpConstant %18 16
        %119 = OpConstant %18 14
        %162 = OpConstantFalse %50
        %169 = OpConstant %18 8
        %434 = OpTypePointer Output %10
        %435 = OpVariable %434 Output
        %436 = OpConstant %6 1
        %437 = OpConstantComposite %10 %436 %436 %436 %436
        %440 = OpConstant %6 0
        %441 = OpConstantComposite %10 %440 %440 %440 %436
        %447 = OpTypePointer Function %53
        %648 = OpConstant %18 32
        %649 = OpUndef %24
          %4 = OpFunction %2 None %3
          %5 = OpLabel
         %55 = OpVariable %447 Function
               OpSelectionMerge %442 None
               OpSwitch %28 %443
        %443 = OpLabel
         %13 = OpLoad %10 %12
         %14 = OpVectorShuffle %7 %13 %13 0 1
         %21 = OpAccessChain %20 %17 %19
         %22 = OpLoad %7 %21
         %23 = OpFDiv %7 %14 %22
         %31 = OpCompositeExtract %6 %23 0
         %33 = OpFMul %6 %31 %32
         %34 = OpConvertFToS %18 %33
         %37 = OpCompositeExtract %6 %23 1
         %38 = OpFMul %6 %37 %32
         %39 = OpConvertFToS %18 %38
        %753 = OpSLessThan %50 %19 %49
        %827 = OpIAdd %18 %19 %60
        %863 = OpSLessThan %50 %827 %49
               OpBranch %43
         %43 = OpLabel
        %829 = OpPhi %50 %863 %443 %864 %44
        %755 = OpPhi %18 %827 %443 %828 %44
         %51 = OpPhi %50 %753 %443 %754 %44
        %518 = OpPhi %18 %19 %443 %61 %44
               OpLoopMerge %45 %44 None
               OpBranchConditional %51 %44 %45
         %44 = OpLabel
        %754 = OpPhi %50 %829 %43
         %61 = OpPhi %18 %755 %43
         %58 = OpAccessChain %41 %55 %518
               OpStore %58 %19
        %828 = OpIAdd %18 %61 %60
        %864 = OpSLessThan %50 %828 %49
               OpBranch %43
         %45 = OpLabel
               OpBranch %68
         %68 = OpLabel
        %591 = OpPhi %50 %66 %45 %569 %71
        %520 = OpPhi %24 %63 %45 %637 %71
        %519 = OpPhi %18 %19 %45 %621 %71
               OpLoopMerge %70 %71 None
               OpBranch %69
         %69 = OpLabel
         %73 = OpIAdd %18 %519 %60
         %76 = OpCompositeExtract %18 %520 0
         %77 = OpSGreaterThan %50 %76 %19
               OpSelectionMerge %79 None
               OpBranchConditional %77 %78 %79
         %78 = OpLabel
         %83 = OpISub %18 %76 %82
         %85 = OpCompositeExtract %18 %520 1
         %87 = OpIMul %18 %85 %86
         %88 = OpIAdd %18 %83 %87
         %89 = OpAccessChain %41 %55 %88
         %90 = OpLoad %18 %89
         %91 = OpIEqual %50 %90 %19
               OpBranch %79
         %79 = OpLabel
         %92 = OpPhi %50 %77 %69 %91 %78
        %650 = OpSelect %18 %92 %60 %19
         %98 = OpCompositeExtract %18 %520 1
         %99 = OpSGreaterThan %50 %98 %19
               OpSelectionMerge %101 None
               OpBranchConditional %99 %100 %101
        %100 = OpLabel
        %106 = OpISub %18 %98 %82
        %107 = OpIMul %18 %106 %86
        %108 = OpIAdd %18 %76 %107
        %109 = OpAccessChain %41 %55 %108
        %110 = OpLoad %18 %109
        %111 = OpIEqual %50 %110 %19
               OpBranch %101
        %101 = OpLabel
        %112 = OpPhi %50 %99 %79 %111 %100
               OpSelectionMerge %114 None
               OpBranchConditional %112 %113 %114
        %113 = OpLabel
        %116 = OpIAdd %18 %650 %60
               OpBranch %114
        %114 = OpLabel
        %529 = OpPhi %18 %650 %101 %116 %113
        %120 = OpSLessThan %50 %76 %119
               OpSelectionMerge %122 None
               OpBranchConditional %120 %121 %122
        %121 = OpLabel
        %125 = OpIAdd %18 %76 %82
        %128 = OpIMul %18 %98 %86
        %129 = OpIAdd %18 %125 %128
        %130 = OpAccessChain %41 %55 %129
        %131 = OpLoad %18 %130
        %132 = OpIEqual %50 %131 %19
               OpBranch %122
        %122 = OpLabel
        %133 = OpPhi %50 %120 %114 %132 %121
               OpSelectionMerge %135 None
               OpBranchConditional %133 %134 %135
        %134 = OpLabel
        %137 = OpIAdd %18 %529 %60
               OpBranch %135
        %135 = OpLabel
        %533 = OpPhi %18 %529 %122 %137 %134
        %140 = OpSLessThan %50 %98 %119
               OpSelectionMerge %142 None
               OpBranchConditional %140 %141 %142
        %141 = OpLabel
        %147 = OpIAdd %18 %98 %82
        %148 = OpIMul %18 %147 %86
        %149 = OpIAdd %18 %76 %148
        %150 = OpAccessChain %41 %55 %149
        %151 = OpLoad %18 %150
        %152 = OpIEqual %50 %151 %19
               OpBranch %142
        %142 = OpLabel
        %153 = OpPhi %50 %140 %135 %152 %141
               OpSelectionMerge %155 None
               OpBranchConditional %153 %154 %155
        %154 = OpLabel
        %157 = OpIAdd %18 %533 %60
               OpBranch %155
        %155 = OpLabel
        %534 = OpPhi %18 %533 %142 %157 %154
        %159 = OpIEqual %50 %534 %19
               OpSelectionMerge %161 None
               OpBranchConditional %159 %160 %207
        %160 = OpLabel
               OpBranch %163
        %163 = OpLabel
        %570 = OpPhi %50 %162 %160 %639 %166
        %568 = OpPhi %24 %520 %160 %619 %166
        %567 = OpPhi %18 %19 %160 %199 %166
        %170 = OpSLessThan %50 %567 %169
               OpLoopMerge %165 %166 None
               OpBranchConditional %170 %164 %165
        %164 = OpLabel
               OpBranch %172
        %172 = OpLabel
        %619 = OpPhi %24 %568 %164 %644 %175
        %617 = OpPhi %18 %19 %164 %197 %175
        %639 = OpPhi %50 %570 %164 %651 %175
        %178 = OpSLessThan %50 %617 %169
               OpLoopMerge %174 %175 None
               OpBranchConditional %178 %173 %174
        %173 = OpLabel
        %180 = OpIMul %18 %617 %82
        %182 = OpIMul %18 %567 %82
        %183 = OpIMul %18 %567 %648
        %184 = OpIAdd %18 %180 %183
        %185 = OpAccessChain %41 %55 %184
        %186 = OpLoad %18 %185
        %187 = OpIEqual %50 %186 %19
               OpSelectionMerge %189 None
               OpBranchConditional %187 %188 %189
        %188 = OpLabel
        %463 = OpCompositeInsert %24 %180 %649 0
        %465 = OpCompositeInsert %24 %182 %463 1
               OpBranch %189
        %189 = OpLabel
        %644 = OpPhi %24 %619 %173 %465 %188
        %651 = OpSelect %50 %187 %66 %639
               OpBranch %175
        %175 = OpLabel
        %197 = OpIAdd %18 %617 %60
               OpBranch %172
        %174 = OpLabel
               OpBranch %166
        %166 = OpLabel
        %199 = OpIAdd %18 %567 %60
               OpBranch %163
        %165 = OpLabel
        %201 = OpCompositeExtract %18 %568 0
        %203 = OpCompositeExtract %18 %568 1
        %204 = OpIMul %18 %203 %86
        %205 = OpIAdd %18 %201 %204
        %206 = OpAccessChain %41 %55 %205
               OpStore %206 %60
               OpBranch %161
        %207 = OpLabel
        %211 = OpSMod %18 %73 %534
        %214 = OpIAdd %18 %73 %534
        %216 = OpSGreaterThanEqual %50 %211 %19
        %652 = OpSelect %50 %216 %77 %216
               OpSelectionMerge %224 None
               OpBranchConditional %652 %223 %224
        %223 = OpLabel
        %227 = OpISub %18 %76 %82
        %230 = OpIMul %18 %98 %86
        %231 = OpIAdd %18 %227 %230
        %232 = OpAccessChain %41 %55 %231
        %233 = OpLoad %18 %232
        %234 = OpIEqual %50 %233 %19
               OpBranch %224
        %224 = OpLabel
        %235 = OpPhi %50 %652 %207 %234 %223
               OpSelectionMerge %237 None
               OpBranchConditional %235 %236 %237
        %236 = OpLabel
        %239 = OpISub %18 %211 %60
        %244 = OpIMul %18 %98 %86
        %245 = OpIAdd %18 %76 %244
        %246 = OpAccessChain %41 %55 %245
               OpStore %246 %60
        %249 = OpISub %18 %76 %60
        %253 = OpIAdd %18 %249 %244
        %254 = OpAccessChain %41 %55 %253
               OpStore %254 %60
        %257 = OpISub %18 %76 %82
        %261 = OpIAdd %18 %257 %244
        %262 = OpAccessChain %41 %55 %261
               OpStore %262 %60
        %479 = OpCompositeInsert %24 %257 %520 0
               OpBranch %237
        %237 = OpLabel
        %550 = OpPhi %24 %520 %224 %479 %236
        %549 = OpPhi %18 %211 %224 %239 %236
        %268 = OpSGreaterThanEqual %50 %549 %19
               OpSelectionMerge %270 None
               OpBranchConditional %268 %269 %270
        %269 = OpLabel
        %272 = OpCompositeExtract %18 %550 1
        %273 = OpSGreaterThan %50 %272 %19
               OpBranch %270
        %270 = OpLabel
        %274 = OpPhi %50 %268 %237 %273 %269
               OpSelectionMerge %276 None
               OpBranchConditional %274 %275 %276
        %275 = OpLabel
        %278 = OpCompositeExtract %18 %550 0
        %280 = OpCompositeExtract %18 %550 1
        %281 = OpISub %18 %280 %82
        %282 = OpIMul %18 %281 %86
        %283 = OpIAdd %18 %278 %282
        %284 = OpAccessChain %41 %55 %283
        %285 = OpLoad %18 %284
        %286 = OpIEqual %50 %285 %19
               OpBranch %276
        %276 = OpLabel
        %287 = OpPhi %50 %274 %270 %286 %275
               OpSelectionMerge %289 None
               OpBranchConditional %287 %288 %289
        %288 = OpLabel
        %291 = OpISub %18 %549 %60
        %293 = OpCompositeExtract %18 %550 0
        %295 = OpCompositeExtract %18 %550 1
        %296 = OpIMul %18 %295 %86
        %297 = OpIAdd %18 %293 %296
        %298 = OpAccessChain %41 %55 %297
               OpStore %298 %60
        %303 = OpISub %18 %295 %60
        %304 = OpIMul %18 %303 %86
        %305 = OpIAdd %18 %293 %304
        %306 = OpAccessChain %41 %55 %305
               OpStore %306 %60
        %311 = OpISub %18 %295 %82
        %312 = OpIMul %18 %311 %86
        %313 = OpIAdd %18 %293 %312
        %314 = OpAccessChain %41 %55 %313
               OpStore %314 %60
        %491 = OpCompositeInsert %24 %311 %550 1
               OpBranch %289
        %289 = OpLabel
        %556 = OpPhi %24 %550 %276 %491 %288
        %555 = OpPhi %18 %549 %276 %291 %288
        %320 = OpSGreaterThanEqual %50 %555 %19
               OpSelectionMerge %322 None
               OpBranchConditional %320 %321 %322
        %321 = OpLabel
        %324 = OpCompositeExtract %18 %556 0
        %325 = OpSLessThan %50 %324 %119
               OpBranch %322
        %322 = OpLabel
        %326 = OpPhi %50 %320 %289 %325 %321
               OpSelectionMerge %328 None
               OpBranchConditional %326 %327 %328
        %327 = OpLabel
        %330 = OpCompositeExtract %18 %556 0
        %331 = OpIAdd %18 %330 %82
        %333 = OpCompositeExtract %18 %556 1
        %334 = OpIMul %18 %333 %86
        %335 = OpIAdd %18 %331 %334
        %336 = OpAccessChain %41 %55 %335
        %337 = OpLoad %18 %336
        %338 = OpIEqual %50 %337 %19
               OpBranch %328
        %328 = OpLabel
        %339 = OpPhi %50 %326 %322 %338 %327
               OpSelectionMerge %341 None
               OpBranchConditional %339 %340 %341
        %340 = OpLabel
        %343 = OpISub %18 %555 %60
        %345 = OpCompositeExtract %18 %556 0
        %347 = OpCompositeExtract %18 %556 1
        %348 = OpIMul %18 %347 %86
        %349 = OpIAdd %18 %345 %348
        %350 = OpAccessChain %41 %55 %349
               OpStore %350 %60
        %353 = OpIAdd %18 %345 %60
        %357 = OpIAdd %18 %353 %348
        %358 = OpAccessChain %41 %55 %357
               OpStore %358 %60
        %361 = OpIAdd %18 %345 %82
        %365 = OpIAdd %18 %361 %348
        %366 = OpAccessChain %41 %55 %365
               OpStore %366 %60
        %503 = OpCompositeInsert %24 %361 %556 0
               OpBranch %341
        %341 = OpLabel
        %562 = OpPhi %24 %556 %328 %503 %340
        %561 = OpPhi %18 %555 %328 %343 %340
        %372 = OpSGreaterThanEqual %50 %561 %19
               OpSelectionMerge %374 None
               OpBranchConditional %372 %373 %374
        %373 = OpLabel
        %376 = OpCompositeExtract %18 %562 1
        %377 = OpSLessThan %50 %376 %119
               OpBranch %374
        %374 = OpLabel
        %378 = OpPhi %50 %372 %341 %377 %373
               OpSelectionMerge %380 None
               OpBranchConditional %378 %379 %380
        %379 = OpLabel
        %382 = OpCompositeExtract %18 %562 0
        %384 = OpCompositeExtract %18 %562 1
        %385 = OpIAdd %18 %384 %82
        %386 = OpIMul %18 %385 %86
        %387 = OpIAdd %18 %382 %386
        %388 = OpAccessChain %41 %55 %387
        %389 = OpLoad %18 %388
        %390 = OpIEqual %50 %389 %19
               OpBranch %380
        %380 = OpLabel
        %391 = OpPhi %50 %378 %374 %390 %379
               OpSelectionMerge %393 None
               OpBranchConditional %391 %392 %393
        %392 = OpLabel
        %397 = OpCompositeExtract %18 %562 0
        %399 = OpCompositeExtract %18 %562 1
        %400 = OpIMul %18 %399 %86
        %401 = OpIAdd %18 %397 %400
        %402 = OpAccessChain %41 %55 %401
               OpStore %402 %60
        %407 = OpIAdd %18 %399 %60
        %408 = OpIMul %18 %407 %86
        %409 = OpIAdd %18 %397 %408
        %410 = OpAccessChain %41 %55 %409
               OpStore %410 %60
        %415 = OpIAdd %18 %399 %82
        %416 = OpIMul %18 %415 %86
        %417 = OpIAdd %18 %397 %416
        %418 = OpAccessChain %41 %55 %417
               OpStore %418 %60
        %515 = OpCompositeInsert %24 %415 %562 1
               OpBranch %393
        %393 = OpLabel
        %638 = OpPhi %24 %562 %380 %515 %392
               OpBranch %161
        %161 = OpLabel
        %637 = OpPhi %24 %568 %165 %638 %393
        %621 = OpPhi %18 %73 %165 %214 %393
        %569 = OpPhi %50 %570 %165 %591 %393
        %425 = OpIMul %18 %39 %86
        %428 = OpIAdd %18 %425 %34
        %429 = OpAccessChain %41 %55 %428
        %430 = OpLoad %18 %429
        %431 = OpIEqual %50 %430 %60
               OpSelectionMerge %433 None
               OpBranchConditional %431 %432 %433
        %432 = OpLabel
               OpStore %435 %437
               OpBranch %70
        %433 = OpLabel
               OpBranch %71
         %71 = OpLabel
               OpBranchConditional %569 %68 %70
         %70 = OpLabel
        %592 = OpPhi %50 %66 %432 %162 %71
               OpSelectionMerge %445 None
               OpBranchConditional %592 %442 %445
        %445 = OpLabel
               OpStore %435 %441
               OpBranch %442
        %442 = OpLabel
               OpReturn
               OpFunctionEnd
END

# uniforms for variant

# resolution
BUFFER variant_resolution DATA_TYPE vec2<float> STD140 DATA
 32.0 32.0
END

BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM

PIPELINE graphics variant_pipeline
  ATTACH variant_vertex_shader
  ATTACH variant_fragment_shader
  FRAMEBUFFER_SIZE 32 32
  BIND BUFFER variant_framebuffer AS color LOCATION 0
  BIND BUFFER variant_resolution 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 32 32

EXPECT reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_framebuffer TOLERANCE 0.005