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