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 BRW 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_33 _GLF_uniform_int_values[0] 30# #define _int_157 _GLF_uniform_int_values[1] 31# #define _int_1 _GLF_uniform_int_values[2] 32# #define _int_0 _GLF_uniform_int_values[3] 33# #define _int_9 _GLF_uniform_int_values[4] 34# 35# precision highp int; 36# precision highp float; 37# 38# // Contents of _GLF_uniform_int_values: [33, 157, 1, 0, 9] 39# layout(set = 0, binding = 0) uniform buf0 40# { 41# int _GLF_uniform_int_values[5]; 42# }; 43# 44# layout(location = 0) out vec4 _GLF_color; 45# 46# void main() 47# { 48# int a = _int_1; 49# 50# for(int i = _int_0; i < _int_33; i++) 51# { 52# a += int[9](1, 2, 3, 4, 5, 6, 7, 8, 9)[i % _int_9]; 53# } 54# 55# if(a == _int_157) 56# { 57# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1); 58# } 59# else 60# { 61# _GLF_color = vec4(_int_0); 62# } 63# } 64SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 65; SPIR-V 66; Version: 1.0 67; Generator: Khronos Glslang Reference Front End; 10 68; Bound: 84 69; Schema: 0 70 OpCapability Shader 71 %1 = OpExtInstImport "GLSL.std.450" 72 OpMemoryModel Logical GLSL450 73 OpEntryPoint Fragment %4 "main" %65 74 OpExecutionMode %4 OriginUpperLeft 75 OpSource ESSL 320 76 OpName %4 "main" 77 OpName %8 "a" 78 OpName %12 "buf0" 79 OpMemberName %12 0 "_GLF_uniform_int_values" 80 OpName %14 "" 81 OpName %20 "i" 82 OpName %49 "indexable" 83 OpName %65 "_GLF_color" 84 OpDecorate %11 ArrayStride 16 85 OpMemberDecorate %12 0 Offset 0 86 OpDecorate %12 Block 87 OpDecorate %14 DescriptorSet 0 88 OpDecorate %14 Binding 0 89 OpDecorate %65 Location 0 90 %2 = OpTypeVoid 91 %3 = OpTypeFunction %2 92 %6 = OpTypeInt 32 1 93 %7 = OpTypePointer Function %6 94 %9 = OpTypeInt 32 0 95 %10 = OpConstant %9 5 96 %11 = OpTypeArray %6 %10 97 %12 = OpTypeStruct %11 98 %13 = OpTypePointer Uniform %12 99 %14 = OpVariable %13 Uniform 100 %15 = OpConstant %6 0 101 %16 = OpConstant %6 2 102 %17 = OpTypePointer Uniform %6 103 %21 = OpConstant %6 3 104 %32 = OpTypeBool 105 %34 = OpConstant %9 9 106 %35 = OpTypeArray %6 %34 107 %36 = OpConstant %6 1 108 %37 = OpConstant %6 4 109 %38 = OpConstant %6 5 110 %39 = OpConstant %6 6 111 %40 = OpConstant %6 7 112 %41 = OpConstant %6 8 113 %42 = OpConstant %6 9 114 %43 = OpConstantComposite %35 %36 %16 %21 %37 %38 %39 %40 %41 %42 115 %48 = OpTypePointer Function %35 116 %62 = OpTypeFloat 32 117 %63 = OpTypeVector %62 4 118 %64 = OpTypePointer Output %63 119 %65 = OpVariable %64 Output 120 %4 = OpFunction %2 None %3 121 %5 = OpLabel 122 %8 = OpVariable %7 Function 123 %20 = OpVariable %7 Function 124 %49 = OpVariable %48 Function 125 %18 = OpAccessChain %17 %14 %15 %16 126 %19 = OpLoad %6 %18 127 OpStore %8 %19 128 %22 = OpAccessChain %17 %14 %15 %21 129 %23 = OpLoad %6 %22 130 OpStore %20 %23 131 OpBranch %24 132 %24 = OpLabel 133 OpLoopMerge %26 %27 None 134 OpBranch %28 135 %28 = OpLabel 136 %29 = OpLoad %6 %20 137 %30 = OpAccessChain %17 %14 %15 %15 138 %31 = OpLoad %6 %30 139 %33 = OpSLessThan %32 %29 %31 140 OpBranchConditional %33 %25 %26 141 %25 = OpLabel 142 %44 = OpLoad %6 %20 143 %45 = OpAccessChain %17 %14 %15 %37 144 %46 = OpLoad %6 %45 145 %47 = OpSMod %6 %44 %46 146 OpStore %49 %43 147 %50 = OpAccessChain %7 %49 %47 148 %51 = OpLoad %6 %50 149 %52 = OpLoad %6 %8 150 %53 = OpIAdd %6 %52 %51 151 OpStore %8 %53 152 OpBranch %27 153 %27 = OpLabel 154 %54 = OpLoad %6 %20 155 %55 = OpIAdd %6 %54 %36 156 OpStore %20 %55 157 OpBranch %24 158 %26 = OpLabel 159 %56 = OpLoad %6 %8 160 %57 = OpAccessChain %17 %14 %15 %36 161 %58 = OpLoad %6 %57 162 %59 = OpIEqual %32 %56 %58 163 OpSelectionMerge %61 None 164 OpBranchConditional %59 %60 %79 165 %60 = OpLabel 166 %66 = OpAccessChain %17 %14 %15 %16 167 %67 = OpLoad %6 %66 168 %68 = OpConvertSToF %62 %67 169 %69 = OpAccessChain %17 %14 %15 %21 170 %70 = OpLoad %6 %69 171 %71 = OpConvertSToF %62 %70 172 %72 = OpAccessChain %17 %14 %15 %21 173 %73 = OpLoad %6 %72 174 %74 = OpConvertSToF %62 %73 175 %75 = OpAccessChain %17 %14 %15 %16 176 %76 = OpLoad %6 %75 177 %77 = OpConvertSToF %62 %76 178 %78 = OpCompositeConstruct %63 %68 %71 %74 %77 179 OpStore %65 %78 180 OpBranch %61 181 %79 = OpLabel 182 %80 = OpAccessChain %17 %14 %15 %21 183 %81 = OpLoad %6 %80 184 %82 = OpConvertSToF %62 %81 185 %83 = OpCompositeConstruct %63 %82 %82 %82 %82 186 OpStore %65 %83 187 OpBranch %61 188 %61 = OpLabel 189 OpReturn 190 OpFunctionEnd 191END 192 193# uniforms for variant 194 195# _GLF_uniform_int_values 196BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA 197 33 157 1 0 9 198END 199 200BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 201 202PIPELINE graphics variant_pipeline 203 ATTACH variant_vertex_shader 204 ATTACH variant_fragment_shader 205 FRAMEBUFFER_SIZE 16 16 206 BIND BUFFER variant_framebuffer AS color LOCATION 0 207 BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 0 208END 209CLEAR_COLOR variant_pipeline 0 0 0 255 210 211CLEAR variant_pipeline 212RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 16 16 213 214EXPECT variant_framebuffer IDX 0 0 SIZE 16 16 EQ_RGBA 255 0 0 255 215