blob: 1d1ed0c5bca04ab8eeccc1c223a43e107e1e8b61 [file] [log] [blame]
#!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 more complex conditionals
# 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; 10
; Bound: 164
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %16 %139
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %12 "checkSwap(f1;f1;"
OpName %10 "a"
OpName %11 "b"
OpName %16 "gl_FragCoord"
OpName %23 "buf1"
OpMemberName %23 0 "resolution"
OpName %25 ""
OpName %49 "i"
OpName %61 "data"
OpName %66 "buf0"
OpMemberName %66 0 "injectionSwitch"
OpName %68 ""
OpName %76 "i"
OpName %85 "j"
OpName %100 "doSwap"
OpName %103 "param"
OpName %106 "param"
OpName %113 "temp"
OpName %139 "_GLF_color"
OpDecorate %16 BuiltIn FragCoord
OpMemberDecorate %23 0 Offset 0
OpDecorate %23 Block
OpDecorate %25 DescriptorSet 0
OpDecorate %25 Binding 1
OpMemberDecorate %66 0 Offset 0
OpDecorate %66 Block
OpDecorate %68 DescriptorSet 0
OpDecorate %68 Binding 0
OpDecorate %139 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypePointer Function %6
%8 = OpTypeBool
%9 = OpTypeFunction %8 %7 %7
%14 = OpTypeVector %6 4
%15 = OpTypePointer Input %14
%16 = OpVariable %15 Input
%17 = OpTypeInt 32 0
%18 = OpConstant %17 1
%19 = OpTypePointer Input %6
%22 = OpTypeVector %6 2
%23 = OpTypeStruct %22
%24 = OpTypePointer Uniform %23
%25 = OpVariable %24 Uniform
%26 = OpTypeInt 32 1
%27 = OpConstant %26 0
%28 = OpTypePointer Uniform %6
%31 = OpConstant %6 2
%34 = OpTypePointer Function %8
%48 = OpTypePointer Function %26
%56 = OpConstant %26 10
%58 = OpConstant %17 10
%59 = OpTypeArray %6 %58
%60 = OpTypePointer Function %59
%66 = OpTypeStruct %22
%67 = OpTypePointer Uniform %66
%68 = OpVariable %67 Uniform
%74 = OpConstant %26 1
%83 = OpConstant %26 9
%129 = OpConstant %17 0
%138 = OpTypePointer Output %14
%139 = OpVariable %138 Output
%142 = OpConstant %6 10
%144 = OpConstant %26 5
%151 = OpConstant %6 1
%4 = OpFunction %2 None %3
%5 = OpLabel
%49 = OpVariable %48 Function
%61 = OpVariable %60 Function
%76 = OpVariable %48 Function
%85 = OpVariable %48 Function
%100 = OpVariable %34 Function
%103 = OpVariable %7 Function
%106 = OpVariable %7 Function
%113 = OpVariable %7 Function
OpStore %49 %27
OpBranch %50
%50 = OpLabel
OpLoopMerge %52 %53 None
OpBranch %54
%54 = OpLabel
%55 = OpLoad %26 %49
%57 = OpSLessThan %8 %55 %56
OpBranchConditional %57 %51 %52
%51 = OpLabel
%62 = OpLoad %26 %49
%63 = OpLoad %26 %49
%64 = OpISub %26 %56 %63
%65 = OpConvertSToF %6 %64
%69 = OpAccessChain %28 %68 %27 %18
%70 = OpLoad %6 %69
%71 = OpFMul %6 %65 %70
%72 = OpAccessChain %7 %61 %62
OpStore %72 %71
OpBranch %53
%53 = OpLabel
%73 = OpLoad %26 %49
%75 = OpIAdd %26 %73 %74
OpStore %49 %75
OpBranch %50
%52 = OpLabel
OpStore %76 %27
OpBranch %77
%77 = OpLabel
OpLoopMerge %79 %80 None
OpBranch %81
%81 = OpLabel
%82 = OpLoad %26 %76
%84 = OpSLessThan %8 %82 %83
OpBranchConditional %84 %78 %79
%78 = OpLabel
OpStore %85 %27
OpBranch %86
%86 = OpLabel
OpLoopMerge %88 %89 None
OpBranch %90
%90 = OpLabel
%91 = OpLoad %26 %85
%92 = OpSLessThan %8 %91 %56
OpBranchConditional %92 %87 %88
%87 = OpLabel
%93 = OpLoad %26 %85
%94 = OpLoad %26 %76
%95 = OpIAdd %26 %94 %74
%96 = OpSLessThan %8 %93 %95
OpSelectionMerge %98 None
OpBranchConditional %96 %97 %98
%97 = OpLabel
OpBranch %89
%98 = OpLabel
%101 = OpLoad %26 %76
%102 = OpLoad %26 %85
%104 = OpAccessChain %7 %61 %101
%105 = OpLoad %6 %104
OpStore %103 %105
%107 = OpAccessChain %7 %61 %102
%108 = OpLoad %6 %107
OpStore %106 %108
%109 = OpFunctionCall %8 %12 %103 %106
OpStore %100 %109
%110 = OpLoad %8 %100
OpSelectionMerge %112 None
OpBranchConditional %110 %111 %112
%111 = OpLabel
%114 = OpLoad %26 %76
%115 = OpAccessChain %7 %61 %114
%116 = OpLoad %6 %115
OpStore %113 %116
%117 = OpLoad %26 %76
%118 = OpLoad %26 %85
%119 = OpAccessChain %7 %61 %118
%120 = OpLoad %6 %119
%121 = OpAccessChain %7 %61 %117
OpStore %121 %120
%122 = OpLoad %26 %85
%123 = OpLoad %6 %113
%124 = OpAccessChain %7 %61 %122
OpStore %124 %123
OpBranch %112
%112 = OpLabel
OpBranch %89
%89 = OpLabel
%125 = OpLoad %26 %85
%126 = OpIAdd %26 %125 %74
OpStore %85 %126
OpBranch %86
%88 = OpLabel
OpBranch %80
%80 = OpLabel
%127 = OpLoad %26 %76
%128 = OpIAdd %26 %127 %74
OpStore %76 %128
OpBranch %77
%79 = OpLabel
%130 = OpAccessChain %19 %16 %129
%131 = OpLoad %6 %130
%132 = OpAccessChain %28 %25 %27 %129
%133 = OpLoad %6 %132
%134 = OpFDiv %6 %133 %31
%135 = OpFOrdLessThan %8 %131 %134
OpSelectionMerge %137 None
OpBranchConditional %135 %136 %153
%136 = OpLabel
%140 = OpAccessChain %7 %61 %27
%141 = OpLoad %6 %140
%143 = OpFDiv %6 %141 %142
%145 = OpAccessChain %7 %61 %144
%146 = OpLoad %6 %145
%147 = OpFDiv %6 %146 %142
%148 = OpAccessChain %7 %61 %83
%149 = OpLoad %6 %148
%150 = OpFDiv %6 %149 %142
%152 = OpCompositeConstruct %14 %143 %147 %150 %151
OpStore %139 %152
OpBranch %137
%153 = OpLabel
%154 = OpAccessChain %7 %61 %144
%155 = OpLoad %6 %154
%156 = OpFDiv %6 %155 %142
%157 = OpAccessChain %7 %61 %83
%158 = OpLoad %6 %157
%159 = OpFDiv %6 %158 %142
%160 = OpAccessChain %7 %61 %27
%161 = OpLoad %6 %160
%162 = OpFDiv %6 %161 %142
%163 = OpCompositeConstruct %14 %156 %159 %162 %151
OpStore %139 %163
OpBranch %137
%137 = OpLabel
OpReturn
OpFunctionEnd
%12 = OpFunction %8 None %9
%10 = OpFunctionParameter %7
%11 = OpFunctionParameter %7
%13 = OpLabel
%35 = OpVariable %34 Function
%20 = OpAccessChain %19 %16 %18
%21 = OpLoad %6 %20
%29 = OpAccessChain %28 %25 %27 %18
%30 = OpLoad %6 %29
%32 = OpFDiv %6 %30 %31
%33 = OpFOrdLessThan %8 %21 %32
OpSelectionMerge %37 None
OpBranchConditional %33 %36 %41
%36 = OpLabel
%38 = OpLoad %6 %10
%39 = OpLoad %6 %11
%40 = OpFOrdGreaterThan %8 %38 %39
OpStore %35 %40
OpBranch %37
%41 = OpLabel
%42 = OpLoad %6 %10
%43 = OpLoad %6 %11
%44 = OpFOrdLessThan %8 %42 %43
OpStore %35 %44
OpBranch %37
%37 = OpLabel
%45 = OpLoad %8 %35
OpReturnValue %45
OpFunctionEnd
END
# uniforms for reference
# injectionSwitch
BUFFER reference_injectionSwitch DATA_TYPE vec2<float> STD140 DATA
0.0 1.0
END
# 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_injectionSwitch AS uniform DESCRIPTOR_SET 0 BINDING 0
BIND BUFFER reference_resolution AS uniform DESCRIPTOR_SET 0 BINDING 1
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; 10
; Bound: 816
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %16 %139
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %12 "checkSwap(f1;f1;"
OpName %10 "a"
OpName %11 "b"
OpName %16 "gl_FragCoord"
OpName %23 "buf1"
OpMemberName %23 0 "resolution"
OpName %25 ""
OpName %49 "i"
OpName %61 "data"
OpName %66 "buf0"
OpMemberName %66 0 "injectionSwitch"
OpName %68 ""
OpName %76 "i"
OpName %85 "j"
OpName %100 "doSwap"
OpName %103 "param"
OpName %106 "param"
OpName %113 "temp"
OpName %139 "_GLF_color"
OpDecorate %16 BuiltIn FragCoord
OpMemberDecorate %23 0 Offset 0
OpDecorate %23 Block
OpDecorate %25 DescriptorSet 0
OpDecorate %25 Binding 1
OpMemberDecorate %66 0 Offset 0
OpDecorate %66 Block
OpDecorate %68 DescriptorSet 0
OpDecorate %68 Binding 0
OpDecorate %139 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypePointer Function %6
%8 = OpTypeBool
%9 = OpTypeFunction %8 %7 %7
%14 = OpTypeVector %6 4
%15 = OpTypePointer Input %14
%16 = OpVariable %15 Input
%17 = OpTypeInt 32 0
%18 = OpConstant %17 1
%19 = OpTypePointer Input %6
%22 = OpTypeVector %6 2
%23 = OpTypeStruct %22
%24 = OpTypePointer Uniform %23
%25 = OpVariable %24 Uniform
%26 = OpTypeInt 32 1
%27 = OpConstant %26 0
%28 = OpTypePointer Uniform %6
%31 = OpConstant %6 2
%34 = OpTypePointer Function %8
%48 = OpTypePointer Function %26
%56 = OpConstant %26 10
%58 = OpConstant %17 10
%59 = OpTypeArray %6 %58
%60 = OpTypePointer Function %59
%66 = OpTypeStruct %22
%67 = OpTypePointer Uniform %66
%68 = OpVariable %67 Uniform
%74 = OpConstant %26 1
%83 = OpConstant %26 9
%129 = OpConstant %17 0
%138 = OpTypePointer Output %14
%139 = OpVariable %138 Output
%142 = OpConstant %6 10
%144 = OpConstant %26 5
%151 = OpConstant %6 1
%285 = OpConstant %6 0
%387 = OpConstantFalse %8
%815 = OpConstantTrue %8
%4 = OpFunction %2 None %3
%5 = OpLabel
%49 = OpVariable %48 Function
%61 = OpVariable %60 Function
%76 = OpVariable %48 Function
%85 = OpVariable %48 Function
%100 = OpVariable %34 Function
%103 = OpVariable %7 Function
%106 = OpVariable %7 Function
%113 = OpVariable %7 Function
OpStore %49 %27
OpBranch %50
%50 = OpLabel
OpLoopMerge %52 %53 None
OpBranch %54
%54 = OpLabel
%55 = OpLoad %26 %49
%57 = OpSLessThan %8 %55 %56
OpBranchConditional %57 %51 %52
%51 = OpLabel
%62 = OpLoad %26 %49
%63 = OpLoad %26 %49
%64 = OpISub %26 %56 %63
%65 = OpConvertSToF %6 %64
%69 = OpAccessChain %28 %68 %27 %18
%70 = OpLoad %6 %69
%71 = OpFMul %6 %65 %70
%72 = OpAccessChain %7 %61 %62
OpStore %72 %71
OpBranch %53
%53 = OpLabel
%73 = OpLoad %26 %49
%75 = OpIAdd %26 %73 %74
OpStore %49 %75
OpBranch %50
%52 = OpLabel
OpStore %76 %27
OpBranch %77
%77 = OpLabel
OpLoopMerge %79 %80 None
OpBranch %81
%81 = OpLabel
%82 = OpLoad %26 %76
%84 = OpSLessThan %8 %82 %83
OpBranchConditional %84 %78 %79
%78 = OpLabel
OpStore %85 %27
OpBranch %86
%86 = OpLabel
OpLoopMerge %88 %89 None
OpBranch %90
%90 = OpLabel
%91 = OpLoad %26 %85
%92 = OpSLessThan %8 %91 %56
OpBranchConditional %92 %87 %88
%87 = OpLabel
%93 = OpLoad %26 %85
%94 = OpLoad %26 %76
%95 = OpIAdd %26 %94 %74
%96 = OpSLessThan %8 %93 %95
OpSelectionMerge %98 None
OpBranchConditional %96 %97 %98
%97 = OpLabel
OpBranch %89
%98 = OpLabel
%101 = OpLoad %26 %76
%102 = OpLoad %26 %85
%104 = OpAccessChain %7 %61 %101
%105 = OpLoad %6 %104
OpStore %103 %105
%107 = OpAccessChain %7 %61 %102
%108 = OpLoad %6 %107
OpStore %106 %108
%109 = OpFunctionCall %8 %12 %103 %106
OpStore %100 %109
%110 = OpLoad %8 %100
OpSelectionMerge %112 None
OpBranchConditional %110 %111 %112
%111 = OpLabel
%114 = OpLoad %26 %76
%115 = OpAccessChain %7 %61 %114
%116 = OpLoad %6 %115
OpStore %113 %116
%117 = OpLoad %26 %76
%118 = OpLoad %26 %85
%119 = OpAccessChain %7 %61 %118
%120 = OpLoad %6 %119
%121 = OpAccessChain %7 %61 %117
OpStore %121 %120
%122 = OpLoad %26 %85
%123 = OpLoad %6 %113
%124 = OpAccessChain %7 %61 %122
OpStore %124 %123
OpBranch %112
%112 = OpLabel
OpBranch %89
%89 = OpLabel
%125 = OpLoad %26 %85
%126 = OpIAdd %26 %125 %74
OpStore %85 %126
OpBranch %86
%88 = OpLabel
OpBranch %80
%80 = OpLabel
%127 = OpLoad %26 %76
%128 = OpIAdd %26 %127 %74
OpStore %76 %128
OpBranch %77
%79 = OpLabel
%130 = OpAccessChain %19 %16 %129
%131 = OpLoad %6 %130
%132 = OpAccessChain %28 %25 %27 %129
%133 = OpLoad %6 %132
%134 = OpFDiv %6 %133 %31
%135 = OpFOrdLessThan %8 %131 %134
OpSelectionMerge %137 None
OpBranchConditional %135 %136 %153
%136 = OpLabel
%140 = OpAccessChain %7 %61 %27
%141 = OpLoad %6 %140
%143 = OpFDiv %6 %141 %142
%145 = OpAccessChain %7 %61 %144
%146 = OpLoad %6 %145
%147 = OpFDiv %6 %146 %142
%148 = OpAccessChain %7 %61 %83
%149 = OpLoad %6 %148
%150 = OpFDiv %6 %149 %142
%152 = OpCompositeConstruct %14 %143 %147 %150 %151
OpStore %139 %152
OpBranch %137
%153 = OpLabel
%154 = OpAccessChain %7 %61 %144
%155 = OpLoad %6 %154
%156 = OpFDiv %6 %155 %142
%157 = OpAccessChain %7 %61 %83
%158 = OpLoad %6 %157
%159 = OpFDiv %6 %158 %142
%160 = OpAccessChain %7 %61 %27
%161 = OpLoad %6 %160
%162 = OpFDiv %6 %161 %142
%163 = OpCompositeConstruct %14 %156 %159 %162 %151
OpStore %139 %163
OpBranch %137
%137 = OpLabel
OpReturn
OpFunctionEnd
%12 = OpFunction %8 None %9
%10 = OpFunctionParameter %7
%11 = OpFunctionParameter %7
%13 = OpLabel
%35 = OpVariable %34 Function
%20 = OpAccessChain %19 %16 %18
%21 = OpLoad %6 %20
%29 = OpAccessChain %28 %25 %27 %18
%30 = OpLoad %6 %29
%32 = OpFDiv %6 %30 %31
%33 = OpFOrdLessThan %8 %21 %32
OpBranch %36
%36 = OpLabel
OpSelectionMerge %351 None
OpBranchConditional %33 %352 %354
%352 = OpLabel
%353 = OpLoad %6 %10
OpBranch %351
%354 = OpLabel
%355 = OpCopyObject %6 %285
OpBranch %351
%351 = OpLabel
%38 = OpPhi %6 %353 %352 %355 %354
OpSelectionMerge %386 None
OpBranchConditional %387 %385 %385
%385 = OpLabel
OpSelectionMerge %356 None
OpBranchConditional %33 %357 %359
%357 = OpLabel
%358 = OpLoad %6 %11
OpBranch %356
%359 = OpLabel
%360 = OpCopyObject %6 %285
OpBranch %356
%356 = OpLabel
%39 = OpPhi %6 %358 %357 %360 %359
%40 = OpFOrdGreaterThan %8 %38 %39
OpBranch %362
%362 = OpLabel
OpSelectionMerge %479 None
OpBranchConditional %33 %480 %479
%480 = OpLabel
OpStore %35 %40
OpBranch %479
%479 = OpLabel
OpBranchConditional %815 %361 %386
%361 = OpLabel
OpBranch %386
%386 = OpLabel
OpBranch %41
%41 = OpLabel
OpSelectionMerge %363 None
OpBranchConditional %33 %366 %364
%364 = OpLabel
%365 = OpLoad %6 %10
OpBranch %363
%366 = OpLabel
%367 = OpCopyObject %6 %285
OpBranch %363
%363 = OpLabel
%42 = OpPhi %6 %365 %364 %367 %366
OpSelectionMerge %368 None
OpBranchConditional %33 %371 %369
%369 = OpLabel
%370 = OpLoad %6 %11
OpBranch %368
%371 = OpLabel
%372 = OpCopyObject %6 %285
OpBranch %368
%368 = OpLabel
%43 = OpPhi %6 %370 %369 %372 %371
%44 = OpFOrdLessThan %8 %42 %43
OpSelectionMerge %373 None
OpBranchConditional %33 %373 %374
%374 = OpLabel
OpStore %35 %44
OpBranch %373
%373 = OpLabel
OpBranch %37
%37 = OpLabel
%45 = OpLoad %8 %35
OpReturnValue %45
OpFunctionEnd
END
# uniforms for variant
# injectionSwitch
BUFFER variant_injectionSwitch DATA_TYPE vec2<float> STD140 DATA
0.0 1.0
END
# 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_injectionSwitch AS uniform DESCRIPTOR_SET 0 BINDING 0
BIND BUFFER variant_resolution AS uniform DESCRIPTOR_SET 0 BINDING 1
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