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 GraphicsFuzz. 19 20# Short description: A fragment shader that covers a specific instruction folding path. 21 22# The test passes because 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# precision highp float; 29# 30# precision highp int; 31# 32# layout(set = 0, binding = 0) uniform buf0 33# { 34# int one; 35# }; 36# layout(location = 0) out vec4 _GLF_color; 37# 38# void main() 39# { 40# // If condition is always true. 41# if (((~0) | one) == (~0)) 42# _GLF_color = vec4(1, 0, 0, 1); 43# else 44# _GLF_color = vec4(0); 45# } 46SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 47; SPIR-V 48; Version: 1.0 49; Generator: Khronos Glslang Reference Front End; 8 50; Bound: 29 51; Schema: 0 52 OpCapability Shader 53 %1 = OpExtInstImport "GLSL.std.450" 54 OpMemoryModel Logical GLSL450 55 OpEntryPoint Fragment %4 "main" %23 56 OpExecutionMode %4 OriginUpperLeft 57 OpSource ESSL 310 58 OpName %4 "main" 59 OpName %8 "buf0" 60 OpMemberName %8 0 "one" 61 OpName %10 "" 62 OpName %23 "_GLF_color" 63 OpMemberDecorate %8 0 Offset 0 64 OpDecorate %8 Block 65 OpDecorate %10 DescriptorSet 0 66 OpDecorate %10 Binding 0 67 OpDecorate %23 Location 0 68 %2 = OpTypeVoid 69 %3 = OpTypeFunction %2 70 %6 = OpTypeInt 32 1 71 %7 = OpConstant %6 -1 72 %8 = OpTypeStruct %6 73 %9 = OpTypePointer Uniform %8 74 %10 = OpVariable %9 Uniform 75 %11 = OpConstant %6 0 76 %12 = OpTypePointer Uniform %6 77 %16 = OpTypeBool 78 %20 = OpTypeFloat 32 79 %21 = OpTypeVector %20 4 80 %22 = OpTypePointer Output %21 81 %23 = OpVariable %22 Output 82 %24 = OpConstant %20 1 83 %25 = OpConstant %20 0 84 %26 = OpConstantComposite %21 %24 %25 %25 %24 85 %28 = OpConstantComposite %21 %25 %25 %25 %25 86 %4 = OpFunction %2 None %3 87 %5 = OpLabel 88 %13 = OpAccessChain %12 %10 %11 89 %14 = OpLoad %6 %13 90 %15 = OpBitwiseOr %6 %7 %14 91 %17 = OpIEqual %16 %15 %7 92 OpSelectionMerge %19 None 93 OpBranchConditional %17 %18 %27 94 %18 = OpLabel 95 OpStore %23 %26 96 OpBranch %19 97 %27 = OpLabel 98 OpStore %23 %28 99 OpBranch %19 100 %19 = OpLabel 101 OpReturn 102 OpFunctionEnd 103END 104 105# uniforms for variant 106 107# one 108BUFFER variant_one DATA_TYPE int32 DATA 109 1 110END 111 112BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 113 114PIPELINE graphics variant_pipeline 115 ATTACH variant_vertex_shader 116 ATTACH variant_fragment_shader 117 FRAMEBUFFER_SIZE 256 256 118 BIND BUFFER variant_framebuffer AS color LOCATION 0 119 BIND BUFFER variant_one AS uniform DESCRIPTOR_SET 0 BINDING 0 120END 121CLEAR_COLOR variant_pipeline 0 0 0 255 122 123CLEAR variant_pipeline 124RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 125 126EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255 127