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# #define _int_20 _GLF_uniform_int_values[0] 29# #define _int_1 _GLF_uniform_int_values[1] 30# #define _int_0 _GLF_uniform_int_values[2] 31# #define _int_5 _GLF_uniform_int_values[3] 32# #define _int_3 _GLF_uniform_int_values[4] 33# #define _float_0_0 _GLF_uniform_float_values[0] 34# 35# precision highp float; 36# precision highp int; 37# 38# // Contents of _GLF_uniform_float_values: 0.0 39# layout(set = 0, binding = 0) uniform buf0 40# { 41# float _GLF_uniform_float_values[1]; 42# }; 43# 44# // Contents of _GLF_uniform_int_values: [20, 1, 0, 5, 3] 45# layout(set = 0, binding = 1) uniform buf1 46# { 47# int _GLF_uniform_int_values[5]; 48# }; 49# 50# const int _GLF_global_loop_bound = 10; 51# int _GLF_global_loop_count = 0; 52# 53# layout(location = 0) out vec4 _GLF_color; 54# 55# void main() 56# { 57# int a = _int_1; 58# 59# for(int i = _int_0; i < _int_3; i++) 60# { 61# // Always true. 62# if(gl_FragCoord.x > _float_0_0) 63# { 64# a++; 65# } 66# } 67# 68# while(_GLF_global_loop_count < _GLF_global_loop_bound) 69# { 70# _GLF_global_loop_count ++; 71# 72# // Breaks when a is five. 73# if(a * a + _int_1 > _int_20) 74# { 75# break; 76# } 77# 78# a++; 79# } 80# 81# // Always true. 82# if(a == _int_5) 83# { 84# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1); 85# } 86# else 87# { 88# _GLF_color = vec4(_int_0); 89# } 90# } 91SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 92; SPIR-V 93; Version: 1.0 94; Generator: Khronos Glslang Reference Front End; 10 95; Bound: 111 96; Schema: 0 97 OpCapability Shader 98 %1 = OpExtInstImport "GLSL.std.450" 99 OpMemoryModel Logical GLSL450 100 OpEntryPoint Fragment %4 "main" %40 %92 101 OpExecutionMode %4 OriginUpperLeft 102 OpSource ESSL 320 103 OpName %4 "main" 104 OpName %8 "_GLF_global_loop_count" 105 OpName %11 "a" 106 OpName %15 "buf1" 107 OpMemberName %15 0 "_GLF_uniform_int_values" 108 OpName %17 "" 109 OpName %22 "i" 110 OpName %40 "gl_FragCoord" 111 OpName %47 "buf0" 112 OpMemberName %47 0 "_GLF_uniform_float_values" 113 OpName %49 "" 114 OpName %92 "_GLF_color" 115 OpDecorate %14 ArrayStride 16 116 OpMemberDecorate %15 0 Offset 0 117 OpDecorate %15 Block 118 OpDecorate %17 DescriptorSet 0 119 OpDecorate %17 Binding 1 120 OpDecorate %40 BuiltIn FragCoord 121 OpDecorate %46 ArrayStride 16 122 OpMemberDecorate %47 0 Offset 0 123 OpDecorate %47 Block 124 OpDecorate %49 DescriptorSet 0 125 OpDecorate %49 Binding 0 126 OpDecorate %92 Location 0 127 %2 = OpTypeVoid 128 %3 = OpTypeFunction %2 129 %6 = OpTypeInt 32 1 130 %7 = OpTypePointer Private %6 131 %8 = OpVariable %7 Private 132 %9 = OpConstant %6 0 133 %10 = OpTypePointer Function %6 134 %12 = OpTypeInt 32 0 135 %13 = OpConstant %12 5 136 %14 = OpTypeArray %6 %13 137 %15 = OpTypeStruct %14 138 %16 = OpTypePointer Uniform %15 139 %17 = OpVariable %16 Uniform 140 %18 = OpConstant %6 1 141 %19 = OpTypePointer Uniform %6 142 %23 = OpConstant %6 2 143 %32 = OpConstant %6 4 144 %35 = OpTypeBool 145 %37 = OpTypeFloat 32 146 %38 = OpTypeVector %37 4 147 %39 = OpTypePointer Input %38 148 %40 = OpVariable %39 Input 149 %41 = OpConstant %12 0 150 %42 = OpTypePointer Input %37 151 %45 = OpConstant %12 1 152 %46 = OpTypeArray %37 %45 153 %47 = OpTypeStruct %46 154 %48 = OpTypePointer Uniform %47 155 %49 = OpVariable %48 Uniform 156 %50 = OpTypePointer Uniform %37 157 %66 = OpConstant %6 10 158 %85 = OpConstant %6 3 159 %91 = OpTypePointer Output %38 160 %92 = OpVariable %91 Output 161 %4 = OpFunction %2 None %3 162 %5 = OpLabel 163 %11 = OpVariable %10 Function 164 %22 = OpVariable %10 Function 165 OpStore %8 %9 166 %20 = OpAccessChain %19 %17 %9 %18 167 %21 = OpLoad %6 %20 168 OpStore %11 %21 169 %24 = OpAccessChain %19 %17 %9 %23 170 %25 = OpLoad %6 %24 171 OpStore %22 %25 172 OpBranch %26 173 %26 = OpLabel 174 OpLoopMerge %28 %29 None 175 OpBranch %30 176 %30 = OpLabel 177 %31 = OpLoad %6 %22 178 %33 = OpAccessChain %19 %17 %9 %32 179 %34 = OpLoad %6 %33 180 %36 = OpSLessThan %35 %31 %34 181 OpBranchConditional %36 %27 %28 182 %27 = OpLabel 183 %43 = OpAccessChain %42 %40 %41 184 %44 = OpLoad %37 %43 185 %51 = OpAccessChain %50 %49 %9 %9 186 %52 = OpLoad %37 %51 187 %53 = OpFOrdGreaterThan %35 %44 %52 188 OpSelectionMerge %55 None 189 OpBranchConditional %53 %54 %55 190 %54 = OpLabel 191 %56 = OpLoad %6 %11 192 %57 = OpIAdd %6 %56 %18 193 OpStore %11 %57 194 OpBranch %55 195 %55 = OpLabel 196 OpBranch %29 197 %29 = OpLabel 198 %58 = OpLoad %6 %22 199 %59 = OpIAdd %6 %58 %18 200 OpStore %22 %59 201 OpBranch %26 202 %28 = OpLabel 203 OpBranch %60 204 %60 = OpLabel 205 OpLoopMerge %62 %63 None 206 OpBranch %64 207 %64 = OpLabel 208 %65 = OpLoad %6 %8 209 %67 = OpSLessThan %35 %65 %66 210 OpBranchConditional %67 %61 %62 211 %61 = OpLabel 212 %68 = OpLoad %6 %8 213 %69 = OpIAdd %6 %68 %18 214 OpStore %8 %69 215 %70 = OpLoad %6 %11 216 %71 = OpLoad %6 %11 217 %72 = OpIMul %6 %70 %71 218 %73 = OpAccessChain %19 %17 %9 %18 219 %74 = OpLoad %6 %73 220 %75 = OpIAdd %6 %72 %74 221 %76 = OpAccessChain %19 %17 %9 %9 222 %77 = OpLoad %6 %76 223 %78 = OpSGreaterThan %35 %75 %77 224 OpSelectionMerge %80 None 225 OpBranchConditional %78 %79 %80 226 %79 = OpLabel 227 OpBranch %62 228 %80 = OpLabel 229 %82 = OpLoad %6 %11 230 %83 = OpIAdd %6 %82 %18 231 OpStore %11 %83 232 OpBranch %63 233 %63 = OpLabel 234 OpBranch %60 235 %62 = OpLabel 236 %84 = OpLoad %6 %11 237 %86 = OpAccessChain %19 %17 %9 %85 238 %87 = OpLoad %6 %86 239 %88 = OpIEqual %35 %84 %87 240 OpSelectionMerge %90 None 241 OpBranchConditional %88 %89 %106 242 %89 = OpLabel 243 %93 = OpAccessChain %19 %17 %9 %18 244 %94 = OpLoad %6 %93 245 %95 = OpConvertSToF %37 %94 246 %96 = OpAccessChain %19 %17 %9 %23 247 %97 = OpLoad %6 %96 248 %98 = OpConvertSToF %37 %97 249 %99 = OpAccessChain %19 %17 %9 %23 250 %100 = OpLoad %6 %99 251 %101 = OpConvertSToF %37 %100 252 %102 = OpAccessChain %19 %17 %9 %18 253 %103 = OpLoad %6 %102 254 %104 = OpConvertSToF %37 %103 255 %105 = OpCompositeConstruct %38 %95 %98 %101 %104 256 OpStore %92 %105 257 OpBranch %90 258 %106 = OpLabel 259 %107 = OpAccessChain %19 %17 %9 %23 260 %108 = OpLoad %6 %107 261 %109 = OpConvertSToF %37 %108 262 %110 = OpCompositeConstruct %38 %109 %109 %109 %109 263 OpStore %92 %110 264 OpBranch %90 265 %90 = OpLabel 266 OpReturn 267 OpFunctionEnd 268END 269 270# uniforms for variant 271 272# _GLF_uniform_int_values 273BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA 274 20 1 0 5 3 275END 276# _GLF_uniform_float_values 277BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA 278 0.0 279END 280 281BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 282 283PIPELINE graphics variant_pipeline 284 ATTACH variant_vertex_shader 285 ATTACH variant_fragment_shader 286 FRAMEBUFFER_SIZE 32 32 287 BIND BUFFER variant_framebuffer AS color LOCATION 0 288 BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 1 289 BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 0 290END 291CLEAR_COLOR variant_pipeline 0 0 0 255 292 293CLEAR variant_pipeline 294RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 32 32 295 296EXPECT variant_framebuffer IDX 0 0 SIZE 32 32 EQ_RGBA 255 0 0 255 297