#!amber # Copyright 2019 Google LLC # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # http://www.apache.org/licenses/LICENSE-2.0 # # Unless required by applicable law or agreed to in writing, software # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. # A test for a bug found by GraphicsFuzz. # Short description: A fragment shader with complex nested loops, breaks, etc. # The test passes because the shader always outputs the color red. # pickColor(i) returns red (because i is always 1). # mand() returns red because it sets iteration to 1, breaks from the first loop, # does not enter the if, and returns pickColor(iteration). # main() writes red because it sets data[0] to mand() and then writes # vec4(data[0], 1.0) to the color output variable. # Optimized using spirv-opt with the following arguments: # '-O' # spirv-opt commit hash: 06407250a169c6a03b3765e86619075af1a8c187 SHADER vertex variant_vertex_shader PASSTHROUGH # variant_fragment_shader is derived from the following GLSL: # #version 310 es # precision highp float; # # precision highp int; # # layout(set = 0, binding = 0) uniform buf0 # { # vec2 injectionSwitch; # }; # layout(location = 0) out vec4 _GLF_color; # # vec3 pickColor(int i) # { # return vec3(float(i), 0.0, 0.0); // i is always 1 # } # # // Returns vec3(1.0, 0.0, 0.0) # vec3 mand() # { # float x = 0.0, y = 0.0; # int iteration = 1; # int k = 1; # int iterationCap = 17; # do # { # if (injectionSwitch.x < 10.0) // always true # { # break; # } # if (injectionSwitch.x < 20.0) # { # discard; # } # iteration++; # if (injectionSwitch.x < 30.0) # { # return vec3(1.0); # } # } while (k < iterationCap); # # if (injectionSwitch.x > 10.0) // always false # { # if (gl_FragCoord.x < 0.0) # { # do # { # _GLF_color = vec4(1.0); # } while (gl_FragCoord.y < 0.0); # } # do # { # _GLF_color = vec4(1.0); # } while (gl_FragCoord.x < 0.0); # return vec3(1.0); # } # return pickColor(iteration); // pickColor(1) # } # void main() # { # vec3 data[16]; # for ( # int i = 0; # i < int(injectionSwitch.y); // i < 1 # i++) # { # for ( # int j = 0; # j < 2; # j++) # { # data[int(injectionSwitch.x)] = mand(); // data[0] = vec3(1.0, 0.0, 0.0); # } # } # _GLF_color = vec4(data[0], 1.0); # } SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 ; SPIR-V ; Version: 1.0 ; Generator: Khronos Glslang Reference Front End; 7 ; Bound: 255 ; Schema: 0 OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %4 "main" %79 %91 OpExecutionMode %4 OriginUpperLeft OpSource ESSL 310 OpName %4 "main" OpName %36 "buf0" OpMemberName %36 0 "injectionSwitch" OpName %38 "" OpName %79 "gl_FragCoord" OpName %91 "_GLF_color" OpName %133 "data" OpMemberDecorate %36 0 Offset 0 OpDecorate %36 Block OpDecorate %38 DescriptorSet 0 OpDecorate %38 Binding 0 OpDecorate %79 BuiltIn FragCoord OpDecorate %91 Location 0 %2 = OpTypeVoid %3 = OpTypeFunction %2 %6 = OpTypeInt 32 1 %8 = OpTypeFloat 32 %9 = OpTypeVector %8 3 %19 = OpConstant %8 0 %27 = OpConstant %6 1 %35 = OpTypeVector %8 2 %36 = OpTypeStruct %35 %37 = OpTypePointer Uniform %36 %38 = OpVariable %37 Uniform %39 = OpConstant %6 0 %40 = OpTypeInt 32 0 %41 = OpConstant %40 0 %42 = OpTypePointer Uniform %8 %45 = OpConstant %8 10 %46 = OpTypeBool %53 = OpConstant %8 20 %62 = OpConstant %8 30 %66 = OpConstant %8 1 %67 = OpConstantComposite %9 %66 %66 %66 %77 = OpTypeVector %8 4 %78 = OpTypePointer Input %77 %79 = OpVariable %78 Input %80 = OpTypePointer Input %8 %90 = OpTypePointer Output %77 %91 = OpVariable %90 Output %92 = OpConstantComposite %77 %66 %66 %66 %66 %93 = OpConstant %40 1 %128 = OpConstant %6 2 %130 = OpConstant %40 16 %131 = OpTypeArray %9 %130 %132 = OpTypePointer Function %131 %138 = OpTypePointer Function %9 %159 = OpConstantFalse %46 %162 = OpConstantTrue %46 %251 = OpUndef %9 %4 = OpFunction %2 None %3 %5 = OpLabel %133 = OpVariable %132 Function OpBranch %111 %111 = OpLabel %237 = OpPhi %6 %39 %5 %143 %124 %250 = OpPhi %9 %251 %5 %249 %124 %117 = OpAccessChain %42 %38 %39 %93 %118 = OpLoad %8 %117 %119 = OpConvertFToS %6 %118 %120 = OpSLessThan %46 %237 %119 OpLoopMerge %113 %124 None OpBranchConditional %120 %112 %113 %112 = OpLabel OpBranch %122 %122 = OpLabel %249 = OpPhi %9 %250 %112 %245 %175 %238 = OpPhi %6 %39 %112 %141 %175 %129 = OpSLessThan %46 %238 %128 OpLoopMerge %252 %175 None OpBranchConditional %129 %123 %252 %123 = OpLabel %134 = OpAccessChain %42 %38 %39 %41 %135 = OpLoad %8 %134 %136 = OpConvertFToS %6 %135 OpBranch %174 %174 = OpLabel OpLoopMerge %254 %176 None OpBranch %178 %178 = OpLabel %240 = OpPhi %6 %27 %174 %194 %198 OpLoopMerge %179 %198 None OpBranch %181 %181 = OpLabel %184 = OpFOrdLessThan %46 %135 %45 OpSelectionMerge %185 None OpBranchConditional %184 %186 %185 %186 = OpLabel OpBranch %179 %185 = OpLabel %189 = OpFOrdLessThan %46 %135 %53 OpSelectionMerge %190 None OpBranchConditional %189 %191 %190 %191 = OpLabel OpKill %190 = OpLabel %194 = OpIAdd %6 %240 %27 %197 = OpFOrdLessThan %46 %135 %62 OpSelectionMerge %253 None OpBranchConditional %197 %199 %198 %199 = OpLabel OpBranch %179 %253 = OpLabel OpBranch %198 %198 = OpLabel OpBranch %178 %179 = OpLabel %246 = OpPhi %9 %249 %186 %67 %199 %244 = OpPhi %6 %240 %186 %194 %199 %241 = OpPhi %46 %159 %186 %162 %199 OpSelectionMerge %204 None OpBranchConditional %241 %254 %204 %204 = OpLabel %207 = OpFOrdGreaterThan %46 %135 %45 OpSelectionMerge %208 None OpBranchConditional %207 %209 %208 %209 = OpLabel %210 = OpAccessChain %80 %79 %41 %211 = OpLoad %8 %210 %212 = OpFOrdLessThan %46 %211 %19 OpSelectionMerge %213 None OpBranchConditional %212 %214 %213 %214 = OpLabel OpBranch %215 %215 = OpLabel OpStore %91 %92 %219 = OpAccessChain %80 %79 %93 %220 = OpLoad %8 %219 %221 = OpFOrdLessThan %46 %220 %19 OpLoopMerge %216 %215 None OpBranchConditional %221 %215 %216 %216 = OpLabel OpBranch %213 %213 = OpLabel OpBranch %222 %222 = OpLabel OpStore %91 %92 OpLoopMerge %223 %222 None OpBranchConditional %212 %222 %223 %223 = OpLabel OpBranch %254 %208 = OpLabel %235 = OpConvertSToF %8 %244 %236 = OpCompositeConstruct %9 %235 %19 %19 OpBranch %254 %176 = OpLabel OpBranch %174 %254 = OpLabel %245 = OpPhi %9 %246 %179 %67 %223 %236 %208 OpBranch %175 %175 = OpLabel %139 = OpAccessChain %138 %133 %136 OpStore %139 %245 %141 = OpIAdd %6 %238 %27 OpBranch %122 %252 = OpLabel OpBranch %124 %124 = OpLabel %143 = OpIAdd %6 %237 %27 OpBranch %111 %113 = OpLabel %144 = OpAccessChain %138 %133 %39 %145 = OpLoad %9 %144 %146 = OpCompositeExtract %8 %145 0 %147 = OpCompositeExtract %8 %145 1 %148 = OpCompositeExtract %8 %145 2 %149 = OpCompositeConstruct %77 %146 %147 %148 %66 OpStore %91 %149 OpReturn OpFunctionEnd END # uniforms for variant # injectionSwitch BUFFER variant_injectionSwitch DATA_TYPE vec2 DATA 0.0 1.0 END BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM PIPELINE graphics variant_pipeline ATTACH variant_vertex_shader ATTACH variant_fragment_shader FRAMEBUFFER_SIZE 256 256 BIND BUFFER variant_framebuffer AS color LOCATION 0 BIND BUFFER variant_injectionSwitch AS uniform DESCRIPTOR_SET 0 BINDING 0 END CLEAR_COLOR variant_pipeline 0 0 0 255 CLEAR variant_pipeline RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255