1#!amber 2 3# Copyright 2019 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 const folding rule 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(location = 0) out vec4 _GLF_color; 33# 34# layout(set = 0, binding = 0) uniform buf0 35# { 36# float zero; 37# }; 38# 39# void main() 40# { 41# if (vec4(clamp(2.0, zero, 1.0), clamp(-1.0, 0.0, zero), 0, 1) != vec4(1, 0, 0, 1)) 42# _GLF_color = vec4(0); 43# else 44# _GLF_color = vec4(1, 0, 0, 1); 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: 36 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 "buf0" 60 OpMemberName %8 0 "zero" 61 OpName %10 "" 62 OpName %33 "_GLF_color" 63 OpMemberDecorate %8 0 Offset 0 64 OpDecorate %8 Block 65 OpDecorate %10 DescriptorSet 0 66 OpDecorate %10 Binding 0 67 OpDecorate %33 Location 0 68 %2 = OpTypeVoid 69 %3 = OpTypeFunction %2 70 %6 = OpTypeFloat 32 71 %7 = OpConstant %6 2 72 %8 = OpTypeStruct %6 73 %9 = OpTypePointer Uniform %8 74 %10 = OpVariable %9 Uniform 75 %11 = OpTypeInt 32 1 76 %12 = OpConstant %11 0 77 %13 = OpTypePointer Uniform %6 78 %16 = OpConstant %6 1 79 %18 = OpConstant %6 -1 80 %19 = OpConstant %6 0 81 %23 = OpTypeVector %6 4 82 %25 = OpConstantComposite %23 %16 %19 %19 %16 83 %26 = OpTypeBool 84 %27 = OpTypeVector %26 4 85 %32 = OpTypePointer Output %23 86 %33 = OpVariable %32 Output 87 %34 = OpConstantComposite %23 %19 %19 %19 %19 88 %4 = OpFunction %2 None %3 89 %5 = OpLabel 90 %14 = OpAccessChain %13 %10 %12 91 %15 = OpLoad %6 %14 92 %17 = OpExtInst %6 %1 FClamp %7 %15 %16 93 %20 = OpAccessChain %13 %10 %12 94 %21 = OpLoad %6 %20 95 %22 = OpExtInst %6 %1 FClamp %18 %19 %21 96 %24 = OpCompositeConstruct %23 %17 %22 %19 %16 97 %28 = OpFOrdNotEqual %27 %24 %25 98 %29 = OpAny %26 %28 99 OpSelectionMerge %31 None 100 OpBranchConditional %29 %30 %35 101 %30 = OpLabel 102 OpStore %33 %34 103 OpBranch %31 104 %35 = OpLabel 105 OpStore %33 %25 106 OpBranch %31 107 %31 = OpLabel 108 OpReturn 109 OpFunctionEnd 110END 111 112# uniforms for variant 113 114# zero 115BUFFER variant_zero DATA_TYPE float DATA 116 0.0 117END 118 119BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 120 121PIPELINE graphics variant_pipeline 122 ATTACH variant_vertex_shader 123 ATTACH variant_fragment_shader 124 FRAMEBUFFER_SIZE 256 256 125 BIND BUFFER variant_framebuffer AS color LOCATION 0 126 BIND BUFFER variant_zero AS uniform DESCRIPTOR_SET 0 BINDING 0 127END 128CLEAR_COLOR variant_pipeline 0 0 0 255 129 130CLEAR variant_pipeline 131RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 132 133EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255 134