1#!amber 2 3# Copyright 2019 Google LLC 4# 5# Licensed under the Apache License, Version 2.0 (the "License"); 6# you may not use this file except in compliance with the License. 7# You may obtain a copy of the License at 8# 9# http://www.apache.org/licenses/LICENSE-2.0 10# 11# Unless required by applicable law or agreed to in writing, software 12# distributed under the License is distributed on an "AS IS" BASIS, 13# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 14# See the License for the specific language governing permissions and 15# limitations under the License. 16 17 18# A test for a bug found by GraphicsFuzz. 19 20# Short description: Fragment shader with pair of outer loops 21 22# The test passes because fragments in the top-left quadrant write red, and all other fragments are guaranteed to be discarded 23 24SHADER vertex variant_vertex_shader PASSTHROUGH 25 26# variant_fragment_shader is derived from the following GLSL: 27# #version 310 es 28# precision highp float; 29# 30# layout(set = 0, binding = 0) uniform buf0 { 31# vec2 injectionSwitch; 32# }; 33# layout(location = 0) out vec4 _GLF_color; 34# 35# void main() 36# { 37# _GLF_color = vec4(1.0, 0.0, 0.0, 1.0); 38# if (gl_FragCoord.x < 128.0 && gl_FragCoord.y < 128.0) { 39# return; 40# } 41# int odd_index = 0; 42# while(odd_index <= 1) 43# { 44# _GLF_color.x += 0.25; 45# odd_index ++; 46# } 47# int even_index = 1; 48# while(even_index >= 0) 49# { 50# _GLF_color.x += 0.25; 51# if(injectionSwitch.x > injectionSwitch.y) 52# { 53# // Unreachable 54# continue; 55# } 56# if(even_index >= 1) 57# { 58# // Guaranteed to be reached during the first loop iteration 59# discard; 60# } 61# int ll; // Uninitialized, but unreachable due to the above discard 62# for( 63# int j = 1; 64# true; 65# j ++ 66# ) 67# { 68# if(ll >= 3) 69# { 70# break; 71# } 72# ll ++; 73# if(uint(j) < uint(1)) 74# { 75# continue; 76# } 77# if(injectionSwitch.x > injectionSwitch.y) 78# { 79# break; 80# } 81# } 82# if(injectionSwitch.x > injectionSwitch.y) 83# { 84# _GLF_color = vec4(1.0); 85# } 86# even_index --; 87# } 88# } 89SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 90; SPIR-V 91; Version: 1.0 92; Generator: Khronos Glslang Reference Front End; 8 93; Bound: 125 94; Schema: 0 95 OpCapability Shader 96 %1 = OpExtInstImport "GLSL.std.450" 97 OpMemoryModel Logical GLSL450 98 OpEntryPoint Fragment %4 "main" %9 %15 99 OpExecutionMode %4 OriginUpperLeft 100 OpSource ESSL 310 101 OpName %4 "main" 102 OpName %9 "_GLF_color" 103 OpName %15 "gl_FragCoord" 104 OpName %35 "odd_index" 105 OpName %53 "even_index" 106 OpName %66 "buf0" 107 OpMemberName %66 0 "injectionSwitch" 108 OpName %68 "" 109 OpName %83 "j" 110 OpName %90 "ll" 111 OpDecorate %9 Location 0 112 OpDecorate %15 BuiltIn FragCoord 113 OpDecorate %35 RelaxedPrecision 114 OpDecorate %42 RelaxedPrecision 115 OpDecorate %51 RelaxedPrecision 116 OpDecorate %52 RelaxedPrecision 117 OpDecorate %53 RelaxedPrecision 118 OpDecorate %59 RelaxedPrecision 119 OpMemberDecorate %66 0 Offset 0 120 OpDecorate %66 Block 121 OpDecorate %68 DescriptorSet 0 122 OpDecorate %68 Binding 0 123 OpDecorate %78 RelaxedPrecision 124 OpDecorate %83 RelaxedPrecision 125 OpDecorate %90 RelaxedPrecision 126 OpDecorate %91 RelaxedPrecision 127 OpDecorate %97 RelaxedPrecision 128 OpDecorate %98 RelaxedPrecision 129 OpDecorate %99 RelaxedPrecision 130 OpDecorate %113 RelaxedPrecision 131 OpDecorate %114 RelaxedPrecision 132 OpDecorate %123 RelaxedPrecision 133 OpDecorate %124 RelaxedPrecision 134 %2 = OpTypeVoid 135 %3 = OpTypeFunction %2 136 %6 = OpTypeFloat 32 137 %7 = OpTypeVector %6 4 138 %8 = OpTypePointer Output %7 139 %9 = OpVariable %8 Output 140 %10 = OpConstant %6 1 141 %11 = OpConstant %6 0 142 %12 = OpConstantComposite %7 %10 %11 %11 %10 143 %13 = OpTypeBool 144 %14 = OpTypePointer Input %7 145 %15 = OpVariable %14 Input 146 %16 = OpTypeInt 32 0 147 %17 = OpConstant %16 0 148 %18 = OpTypePointer Input %6 149 %21 = OpConstant %6 128 150 %25 = OpConstant %16 1 151 %33 = OpTypeInt 32 1 152 %34 = OpTypePointer Function %33 153 %36 = OpConstant %33 0 154 %43 = OpConstant %33 1 155 %45 = OpConstant %6 0.25 156 %46 = OpTypePointer Output %6 157 %65 = OpTypeVector %6 2 158 %66 = OpTypeStruct %65 159 %67 = OpTypePointer Uniform %66 160 %68 = OpVariable %67 Uniform 161 %69 = OpTypePointer Uniform %6 162 %89 = OpConstantTrue %13 163 %92 = OpConstant %33 3 164 %122 = OpConstantComposite %7 %10 %10 %10 %10 165 %4 = OpFunction %2 None %3 166 %5 = OpLabel 167 %35 = OpVariable %34 Function 168 %53 = OpVariable %34 Function 169 %83 = OpVariable %34 Function 170 %90 = OpVariable %34 Function 171 OpStore %9 %12 172 %19 = OpAccessChain %18 %15 %17 173 %20 = OpLoad %6 %19 174 %22 = OpFOrdLessThan %13 %20 %21 175 OpSelectionMerge %24 None 176 OpBranchConditional %22 %23 %24 177 %23 = OpLabel 178 %26 = OpAccessChain %18 %15 %25 179 %27 = OpLoad %6 %26 180 %28 = OpFOrdLessThan %13 %27 %21 181 OpBranch %24 182 %24 = OpLabel 183 %29 = OpPhi %13 %22 %5 %28 %23 184 OpSelectionMerge %31 None 185 OpBranchConditional %29 %30 %31 186 %30 = OpLabel 187 OpReturn 188 %31 = OpLabel 189 OpStore %35 %36 190 OpBranch %37 191 %37 = OpLabel 192 OpLoopMerge %39 %40 None 193 OpBranch %41 194 %41 = OpLabel 195 %42 = OpLoad %33 %35 196 %44 = OpSLessThanEqual %13 %42 %43 197 OpBranchConditional %44 %38 %39 198 %38 = OpLabel 199 %47 = OpAccessChain %46 %9 %17 200 %48 = OpLoad %6 %47 201 %49 = OpFAdd %6 %48 %45 202 %50 = OpAccessChain %46 %9 %17 203 OpStore %50 %49 204 %51 = OpLoad %33 %35 205 %52 = OpIAdd %33 %51 %43 206 OpStore %35 %52 207 OpBranch %40 208 %40 = OpLabel 209 OpBranch %37 210 %39 = OpLabel 211 OpStore %53 %43 212 OpBranch %54 213 %54 = OpLabel 214 OpLoopMerge %56 %57 None 215 OpBranch %58 216 %58 = OpLabel 217 %59 = OpLoad %33 %53 218 %60 = OpSGreaterThanEqual %13 %59 %36 219 OpBranchConditional %60 %55 %56 220 %55 = OpLabel 221 %61 = OpAccessChain %46 %9 %17 222 %62 = OpLoad %6 %61 223 %63 = OpFAdd %6 %62 %45 224 %64 = OpAccessChain %46 %9 %17 225 OpStore %64 %63 226 %70 = OpAccessChain %69 %68 %36 %17 227 %71 = OpLoad %6 %70 228 %72 = OpAccessChain %69 %68 %36 %25 229 %73 = OpLoad %6 %72 230 %74 = OpFOrdGreaterThan %13 %71 %73 231 OpSelectionMerge %76 None 232 OpBranchConditional %74 %75 %76 233 %75 = OpLabel 234 OpBranch %57 235 %76 = OpLabel 236 %78 = OpLoad %33 %53 237 %79 = OpSGreaterThanEqual %13 %78 %43 238 OpSelectionMerge %81 None 239 OpBranchConditional %79 %80 %81 240 %80 = OpLabel 241 OpKill 242 %81 = OpLabel 243 OpStore %83 %43 244 OpBranch %84 245 %84 = OpLabel 246 OpLoopMerge %86 %87 None 247 OpBranch %88 248 %88 = OpLabel 249 OpBranchConditional %89 %85 %86 250 %85 = OpLabel 251 %91 = OpLoad %33 %90 252 %93 = OpSGreaterThanEqual %13 %91 %92 253 OpSelectionMerge %95 None 254 OpBranchConditional %93 %94 %95 255 %94 = OpLabel 256 OpBranch %86 257 %95 = OpLabel 258 %97 = OpLoad %33 %90 259 %98 = OpIAdd %33 %97 %43 260 OpStore %90 %98 261 %99 = OpLoad %33 %83 262 %100 = OpBitcast %16 %99 263 %101 = OpULessThan %13 %100 %25 264 OpSelectionMerge %103 None 265 OpBranchConditional %101 %102 %103 266 %102 = OpLabel 267 OpBranch %87 268 %103 = OpLabel 269 %105 = OpAccessChain %69 %68 %36 %17 270 %106 = OpLoad %6 %105 271 %107 = OpAccessChain %69 %68 %36 %25 272 %108 = OpLoad %6 %107 273 %109 = OpFOrdGreaterThan %13 %106 %108 274 OpSelectionMerge %111 None 275 OpBranchConditional %109 %110 %111 276 %110 = OpLabel 277 OpBranch %86 278 %111 = OpLabel 279 OpBranch %87 280 %87 = OpLabel 281 %113 = OpLoad %33 %83 282 %114 = OpIAdd %33 %113 %43 283 OpStore %83 %114 284 OpBranch %84 285 %86 = OpLabel 286 %115 = OpAccessChain %69 %68 %36 %17 287 %116 = OpLoad %6 %115 288 %117 = OpAccessChain %69 %68 %36 %25 289 %118 = OpLoad %6 %117 290 %119 = OpFOrdGreaterThan %13 %116 %118 291 OpSelectionMerge %121 None 292 OpBranchConditional %119 %120 %121 293 %120 = OpLabel 294 OpStore %9 %122 295 OpBranch %121 296 %121 = OpLabel 297 %123 = OpLoad %33 %53 298 %124 = OpISub %33 %123 %43 299 OpStore %53 %124 300 OpBranch %57 301 %57 = OpLabel 302 OpBranch %54 303 %56 = OpLabel 304 OpReturn 305 OpFunctionEnd 306END 307 308# uniforms for variant 309 310# injectionSwitch 311BUFFER variant_injectionSwitch DATA_TYPE vec2<float> DATA 312 0.0 1.0 313END 314 315BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 316 317PIPELINE graphics variant_pipeline 318 ATTACH variant_vertex_shader 319 ATTACH variant_fragment_shader 320 FRAMEBUFFER_SIZE 256 256 321 BIND BUFFER variant_framebuffer AS color LOCATION 0 322 BIND BUFFER variant_injectionSwitch AS uniform DESCRIPTOR_SET 0 BINDING 0 323END 324CLEAR_COLOR variant_pipeline 0 0 0 255 325 326CLEAR variant_pipeline 327RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 328 329EXPECT variant_framebuffer IDX 0 0 SIZE 100 100 EQ_RGBA 255 0 0 255