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# layout(location = 0) out vec4 _GLF_color; 31# layout(set = 0, binding = 0) uniform buf0 32# { 33# float one; 34# }; 35# 36# void main() 37# { 38# float f = 4.0 * (2.0 / one); 39# 40# // If condition is always true. 41# if(f > 7.9 && f < 8.1) 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: 39 51; Schema: 0 52 OpCapability Shader 53 %1 = OpExtInstImport "GLSL.std.450" 54 OpMemoryModel Logical GLSL450 55 OpEntryPoint Fragment %4 "main" %33 56 OpExecutionMode %4 OriginUpperLeft 57 OpSource ESSL 310 58 OpName %4 "main" 59 OpName %8 "f" 60 OpName %11 "buf0" 61 OpMemberName %11 0 "one" 62 OpName %13 "" 63 OpName %33 "_GLF_color" 64 OpMemberDecorate %11 0 Offset 0 65 OpDecorate %11 Block 66 OpDecorate %13 DescriptorSet 0 67 OpDecorate %13 Binding 0 68 OpDecorate %33 Location 0 69 %2 = OpTypeVoid 70 %3 = OpTypeFunction %2 71 %6 = OpTypeFloat 32 72 %7 = OpTypePointer Function %6 73 %9 = OpConstant %6 4 74 %10 = OpConstant %6 2 75 %11 = OpTypeStruct %6 76 %12 = OpTypePointer Uniform %11 77 %13 = OpVariable %12 Uniform 78 %14 = OpTypeInt 32 1 79 %15 = OpConstant %14 0 80 %16 = OpTypePointer Uniform %6 81 %22 = OpConstant %6 7.9000001 82 %23 = OpTypeBool 83 %26 = OpConstant %6 8.10000038 84 %31 = OpTypeVector %6 4 85 %32 = OpTypePointer Output %31 86 %33 = OpVariable %32 Output 87 %34 = OpConstant %6 1 88 %35 = OpConstant %6 0 89 %36 = OpConstantComposite %31 %34 %35 %35 %34 90 %38 = OpConstantComposite %31 %35 %35 %35 %35 91 %4 = OpFunction %2 None %3 92 %5 = OpLabel 93 %8 = OpVariable %7 Function 94 %17 = OpAccessChain %16 %13 %15 95 %18 = OpLoad %6 %17 96 %19 = OpFDiv %6 %10 %18 97 %20 = OpFMul %6 %9 %19 98 OpStore %8 %20 99 %21 = OpLoad %6 %8 100 %24 = OpFOrdGreaterThan %23 %21 %22 101 %25 = OpLoad %6 %8 102 %27 = OpFOrdLessThan %23 %25 %26 103 %28 = OpLogicalAnd %23 %24 %27 104 OpSelectionMerge %30 None 105 OpBranchConditional %28 %29 %37 106 %29 = OpLabel 107 OpStore %33 %36 108 OpBranch %30 109 %37 = OpLabel 110 OpStore %33 %38 111 OpBranch %30 112 %30 = OpLabel 113 OpReturn 114 OpFunctionEnd 115END 116 117# uniforms for variant 118 119# one 120BUFFER variant_one DATA_TYPE float DATA 121 1.0 122END 123 124BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 125 126PIPELINE graphics variant_pipeline 127 ATTACH variant_vertex_shader 128 ATTACH variant_fragment_shader 129 FRAMEBUFFER_SIZE 256 256 130 BIND BUFFER variant_framebuffer AS color LOCATION 0 131 BIND BUFFER variant_one AS uniform DESCRIPTOR_SET 0 BINDING 0 132END 133CLEAR_COLOR variant_pipeline 0 0 0 255 134 135CLEAR variant_pipeline 136RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 137 138EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255 139