| #!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 |
| 256.0 256.0 |
| 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 |
| 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 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: 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 |
| 256.0 256.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_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 256 256 |
| |
| EXPECT reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_framebuffer TOLERANCE 0.005 |