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