1#!amber 2 3# Copyright 2022 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 coverage-gap found by the GraphicsFuzz project. 19 20# Short description: A fragment shader that covers specific LLVM code paths 21 22# The test passes because the shader always writes red. 23 24SHADER vertex variant_vertex_shader PASSTHROUGH 25 26# variant_fragment_shader is derived from the following GLSL: 27# #version 320 es 28# 29# #define _int_2 _GLF_uniform_int_values[0] 30# #define _int_1 _GLF_uniform_int_values[1] 31# #define _int_0 _GLF_uniform_int_values[2] 32# #define _int_10 _GLF_uniform_int_values[3] 33# #define _float_2_0 _GLF_uniform_float_values[0] 34# #define _float_1_0 _GLF_uniform_float_values[1] 35# #define _float_0_0 _GLF_uniform_float_values[2] 36# 37# precision highp float; 38# precision highp int; 39# 40# // Contents of _GLF_uniform_int_values: [2, 1, 0, 10] 41# layout(set = 0, binding = 0) uniform buf0 42# { 43# int _GLF_uniform_int_values[4]; 44# }; 45# 46# // Contents of _GLF_uniform_float_values: [2.0, 1.0, 0.0] 47# layout(set = 0, binding = 1) uniform buf1 48# { 49# float _GLF_uniform_float_values[3]; 50# }; 51# 52# // Contents of zero: 0.0 53# layout(set = 0, binding = 2) uniform buf2 54# { 55# float zero; 56# }; 57# 58# layout(location = 0) out vec4 _GLF_color; 59# 60# void main() 61# { 62# float data[10] = float[10](_float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0); 63# 64# // Set elements 1..9 to zero. 65# for(int i = _int_1; i < _int_10; i ++) 66# { 67# data[i] = zero; 68# } 69# 70# for(int i = 0; i < 9; i ++) 71# { 72# // True for i = 1. 73# if(data[i] < _float_1_0) 74# { 75# data[i] = _float_2_0; 76# break; 77# } 78# } 79# 80# // Always true. 81# if(data[_int_0] == _float_1_0 && data[_int_1] == _float_2_0 && data[_int_2] == _float_0_0) 82# { 83# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1); 84# } 85# else 86# { 87# _GLF_color = vec4(_int_0); 88# } 89# } 90SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 91; SPIR-V 92; Version: 1.0 93; Generator: Khronos Glslang Reference Front End; 10 94; Bound: 148 95; Schema: 0 96 OpCapability Shader 97 %1 = OpExtInstImport "GLSL.std.450" 98 OpMemoryModel Logical GLSL450 99 OpEntryPoint Fragment %4 "main" %129 100 OpExecutionMode %4 OriginUpperLeft 101 OpSource ESSL 320 102 OpName %4 "main" 103 OpName %11 "data" 104 OpName %14 "buf1" 105 OpMemberName %14 0 "_GLF_uniform_float_values" 106 OpName %16 "" 107 OpName %43 "i" 108 OpName %46 "buf0" 109 OpMemberName %46 0 "_GLF_uniform_int_values" 110 OpName %48 "" 111 OpName %64 "buf2" 112 OpMemberName %64 0 "zero" 113 OpName %66 "" 114 OpName %73 "i" 115 OpName %129 "_GLF_color" 116 OpDecorate %13 ArrayStride 16 117 OpMemberDecorate %14 0 Offset 0 118 OpDecorate %14 Block 119 OpDecorate %16 DescriptorSet 0 120 OpDecorate %16 Binding 1 121 OpDecorate %45 ArrayStride 16 122 OpMemberDecorate %46 0 Offset 0 123 OpDecorate %46 Block 124 OpDecorate %48 DescriptorSet 0 125 OpDecorate %48 Binding 0 126 OpMemberDecorate %64 0 Offset 0 127 OpDecorate %64 Block 128 OpDecorate %66 DescriptorSet 0 129 OpDecorate %66 Binding 2 130 OpDecorate %129 Location 0 131 %2 = OpTypeVoid 132 %3 = OpTypeFunction %2 133 %6 = OpTypeFloat 32 134 %7 = OpTypeInt 32 0 135 %8 = OpConstant %7 10 136 %9 = OpTypeArray %6 %8 137 %10 = OpTypePointer Function %9 138 %12 = OpConstant %7 3 139 %13 = OpTypeArray %6 %12 140 %14 = OpTypeStruct %13 141 %15 = OpTypePointer Uniform %14 142 %16 = OpVariable %15 Uniform 143 %17 = OpTypeInt 32 1 144 %18 = OpConstant %17 0 145 %19 = OpConstant %17 1 146 %20 = OpTypePointer Uniform %6 147 %42 = OpTypePointer Function %17 148 %44 = OpConstant %7 4 149 %45 = OpTypeArray %17 %44 150 %46 = OpTypeStruct %45 151 %47 = OpTypePointer Uniform %46 152 %48 = OpVariable %47 Uniform 153 %49 = OpTypePointer Uniform %17 154 %58 = OpConstant %17 3 155 %61 = OpTypeBool 156 %64 = OpTypeStruct %6 157 %65 = OpTypePointer Uniform %64 158 %66 = OpVariable %65 Uniform 159 %69 = OpTypePointer Function %6 160 %80 = OpConstant %17 9 161 %97 = OpConstant %17 2 162 %127 = OpTypeVector %6 4 163 %128 = OpTypePointer Output %127 164 %129 = OpVariable %128 Output 165 %4 = OpFunction %2 None %3 166 %5 = OpLabel 167 %11 = OpVariable %10 Function 168 %43 = OpVariable %42 Function 169 %73 = OpVariable %42 Function 170 %21 = OpAccessChain %20 %16 %18 %19 171 %22 = OpLoad %6 %21 172 %23 = OpAccessChain %20 %16 %18 %19 173 %24 = OpLoad %6 %23 174 %25 = OpAccessChain %20 %16 %18 %19 175 %26 = OpLoad %6 %25 176 %27 = OpAccessChain %20 %16 %18 %19 177 %28 = OpLoad %6 %27 178 %29 = OpAccessChain %20 %16 %18 %19 179 %30 = OpLoad %6 %29 180 %31 = OpAccessChain %20 %16 %18 %19 181 %32 = OpLoad %6 %31 182 %33 = OpAccessChain %20 %16 %18 %19 183 %34 = OpLoad %6 %33 184 %35 = OpAccessChain %20 %16 %18 %19 185 %36 = OpLoad %6 %35 186 %37 = OpAccessChain %20 %16 %18 %19 187 %38 = OpLoad %6 %37 188 %39 = OpAccessChain %20 %16 %18 %19 189 %40 = OpLoad %6 %39 190 %41 = OpCompositeConstruct %9 %22 %24 %26 %28 %30 %32 %34 %36 %38 %40 191 OpStore %11 %41 192 %50 = OpAccessChain %49 %48 %18 %19 193 %51 = OpLoad %17 %50 194 OpStore %43 %51 195 OpBranch %52 196 %52 = OpLabel 197 OpLoopMerge %54 %55 None 198 OpBranch %56 199 %56 = OpLabel 200 %57 = OpLoad %17 %43 201 %59 = OpAccessChain %49 %48 %18 %58 202 %60 = OpLoad %17 %59 203 %62 = OpSLessThan %61 %57 %60 204 OpBranchConditional %62 %53 %54 205 %53 = OpLabel 206 %63 = OpLoad %17 %43 207 %67 = OpAccessChain %20 %66 %18 208 %68 = OpLoad %6 %67 209 %70 = OpAccessChain %69 %11 %63 210 OpStore %70 %68 211 OpBranch %55 212 %55 = OpLabel 213 %71 = OpLoad %17 %43 214 %72 = OpIAdd %17 %71 %19 215 OpStore %43 %72 216 OpBranch %52 217 %54 = OpLabel 218 OpStore %73 %18 219 OpBranch %74 220 %74 = OpLabel 221 OpLoopMerge %76 %77 None 222 OpBranch %78 223 %78 = OpLabel 224 %79 = OpLoad %17 %73 225 %81 = OpSLessThan %61 %79 %80 226 OpBranchConditional %81 %75 %76 227 %75 = OpLabel 228 %82 = OpLoad %17 %73 229 %83 = OpAccessChain %69 %11 %82 230 %84 = OpLoad %6 %83 231 %85 = OpAccessChain %20 %16 %18 %19 232 %86 = OpLoad %6 %85 233 %87 = OpFOrdLessThan %61 %84 %86 234 OpSelectionMerge %89 None 235 OpBranchConditional %87 %88 %89 236 %88 = OpLabel 237 %90 = OpLoad %17 %73 238 %91 = OpAccessChain %20 %16 %18 %18 239 %92 = OpLoad %6 %91 240 %93 = OpAccessChain %69 %11 %90 241 OpStore %93 %92 242 OpBranch %76 243 %89 = OpLabel 244 OpBranch %77 245 %77 = OpLabel 246 %95 = OpLoad %17 %73 247 %96 = OpIAdd %17 %95 %19 248 OpStore %73 %96 249 OpBranch %74 250 %76 = OpLabel 251 %98 = OpAccessChain %49 %48 %18 %97 252 %99 = OpLoad %17 %98 253 %100 = OpAccessChain %69 %11 %99 254 %101 = OpLoad %6 %100 255 %102 = OpAccessChain %20 %16 %18 %19 256 %103 = OpLoad %6 %102 257 %104 = OpFOrdEqual %61 %101 %103 258 OpSelectionMerge %106 None 259 OpBranchConditional %104 %105 %106 260 %105 = OpLabel 261 %107 = OpAccessChain %49 %48 %18 %19 262 %108 = OpLoad %17 %107 263 %109 = OpAccessChain %69 %11 %108 264 %110 = OpLoad %6 %109 265 %111 = OpAccessChain %20 %16 %18 %18 266 %112 = OpLoad %6 %111 267 %113 = OpFOrdEqual %61 %110 %112 268 OpBranch %106 269 %106 = OpLabel 270 %114 = OpPhi %61 %104 %76 %113 %105 271 OpSelectionMerge %116 None 272 OpBranchConditional %114 %115 %116 273 %115 = OpLabel 274 %117 = OpAccessChain %49 %48 %18 %18 275 %118 = OpLoad %17 %117 276 %119 = OpAccessChain %69 %11 %118 277 %120 = OpLoad %6 %119 278 %121 = OpAccessChain %20 %16 %18 %97 279 %122 = OpLoad %6 %121 280 %123 = OpFOrdEqual %61 %120 %122 281 OpBranch %116 282 %116 = OpLabel 283 %124 = OpPhi %61 %114 %106 %123 %115 284 OpSelectionMerge %126 None 285 OpBranchConditional %124 %125 %143 286 %125 = OpLabel 287 %130 = OpAccessChain %49 %48 %18 %19 288 %131 = OpLoad %17 %130 289 %132 = OpConvertSToF %6 %131 290 %133 = OpAccessChain %49 %48 %18 %97 291 %134 = OpLoad %17 %133 292 %135 = OpConvertSToF %6 %134 293 %136 = OpAccessChain %49 %48 %18 %97 294 %137 = OpLoad %17 %136 295 %138 = OpConvertSToF %6 %137 296 %139 = OpAccessChain %49 %48 %18 %19 297 %140 = OpLoad %17 %139 298 %141 = OpConvertSToF %6 %140 299 %142 = OpCompositeConstruct %127 %132 %135 %138 %141 300 OpStore %129 %142 301 OpBranch %126 302 %143 = OpLabel 303 %144 = OpAccessChain %49 %48 %18 %97 304 %145 = OpLoad %17 %144 305 %146 = OpConvertSToF %6 %145 306 %147 = OpCompositeConstruct %127 %146 %146 %146 %146 307 OpStore %129 %147 308 OpBranch %126 309 %126 = OpLabel 310 OpReturn 311 OpFunctionEnd 312END 313 314# uniforms for variant 315 316# zero 317BUFFER variant_zero DATA_TYPE float STD140 DATA 318 0.0 319END 320# _GLF_uniform_float_values 321BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA 322 2.0 1.0 0.0 323END 324# _GLF_uniform_int_values 325BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA 326 2 1 0 10 327END 328 329BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 330 331PIPELINE graphics variant_pipeline 332 ATTACH variant_vertex_shader 333 ATTACH variant_fragment_shader 334 FRAMEBUFFER_SIZE 32 32 335 BIND BUFFER variant_framebuffer AS color LOCATION 0 336 BIND BUFFER variant_zero AS uniform DESCRIPTOR_SET 0 BINDING 2 337 BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 1 338 BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 0 339END 340CLEAR_COLOR variant_pipeline 0 0 0 255 341 342CLEAR variant_pipeline 343RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 32 32 344 345EXPECT variant_framebuffer IDX 0 0 SIZE 32 32 EQ_RGBA 255 0 0 255 346