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 bug found by GraphicsFuzz. 19 20# Short description: A fragment shader with a for loop containing nested ifs 21 22# The test passes because the two-iteration loop only writes red to the output color variable. 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# 32# void main() 33# { 34# for ( 35# int j = 0; 36# j < 2; 37# j++) 38# { 39# if (j < 1) 40# { 41# _GLF_color = vec4(1.0, 0.0, 0.0, 1.0); // red 42# } 43# if (j != 3) 44# { 45# if (j != 4) 46# { 47# if (j == 5) // always false 48# { 49# _GLF_color[0] = float(ldexp(1.0, 2)); 50# } 51# else 52# { 53# float a; 54# a = float(ldexp(1.0, 2)); 55# _GLF_color = vec4(1.0, 0.0, 0.0, 1.0); // red 56# } 57# } 58# } 59# } 60# } 61SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 62; SPIR-V 63; Version: 1.0 64; Generator: Khronos Glslang Reference Front End; 7 65; Bound: 57 66; Schema: 0 67 OpCapability Shader 68 %1 = OpExtInstImport "GLSL.std.450" 69 OpMemoryModel Logical GLSL450 70 OpEntryPoint Fragment %4 "main" %27 71 OpExecutionMode %4 OriginUpperLeft 72 OpSource ESSL 310 73 OpName %4 "main" 74 OpName %8 "j" 75 OpName %27 "_GLF_color" 76 OpName %53 "a" 77 OpDecorate %8 RelaxedPrecision 78 OpDecorate %15 RelaxedPrecision 79 OpDecorate %19 RelaxedPrecision 80 OpDecorate %27 Location 0 81 OpDecorate %31 RelaxedPrecision 82 OpDecorate %36 RelaxedPrecision 83 OpDecorate %41 RelaxedPrecision 84 OpDecorate %55 RelaxedPrecision 85 OpDecorate %56 RelaxedPrecision 86 %2 = OpTypeVoid 87 %3 = OpTypeFunction %2 88 %6 = OpTypeInt 32 1 89 %7 = OpTypePointer Function %6 90 %9 = OpConstant %6 0 91 %16 = OpConstant %6 2 92 %17 = OpTypeBool 93 %20 = OpConstant %6 1 94 %24 = OpTypeFloat 32 95 %25 = OpTypeVector %24 4 96 %26 = OpTypePointer Output %25 97 %27 = OpVariable %26 Output 98 %28 = OpConstant %24 1 99 %29 = OpConstant %24 0 100 %30 = OpConstantComposite %25 %28 %29 %29 %28 101 %32 = OpConstant %6 3 102 %37 = OpConstant %6 4 103 %42 = OpConstant %6 5 104 %47 = OpTypeInt 32 0 105 %48 = OpConstant %47 0 106 %49 = OpTypePointer Output %24 107 %52 = OpTypePointer Function %24 108 %4 = OpFunction %2 None %3 109 %5 = OpLabel 110 %8 = OpVariable %7 Function 111 %53 = OpVariable %52 Function 112 OpStore %8 %9 113 OpBranch %10 114 %10 = OpLabel 115 OpLoopMerge %12 %13 None 116 OpBranch %14 117 %14 = OpLabel 118 %15 = OpLoad %6 %8 119 %18 = OpSLessThan %17 %15 %16 120 OpBranchConditional %18 %11 %12 121 %11 = OpLabel 122 %19 = OpLoad %6 %8 123 %21 = OpSLessThan %17 %19 %20 124 OpSelectionMerge %23 None 125 OpBranchConditional %21 %22 %23 126 %22 = OpLabel 127 OpStore %27 %30 128 OpBranch %23 129 %23 = OpLabel 130 %31 = OpLoad %6 %8 131 %33 = OpINotEqual %17 %31 %32 132 OpSelectionMerge %35 None 133 OpBranchConditional %33 %34 %35 134 %34 = OpLabel 135 %36 = OpLoad %6 %8 136 %38 = OpINotEqual %17 %36 %37 137 OpSelectionMerge %40 None 138 OpBranchConditional %38 %39 %40 139 %39 = OpLabel 140 %41 = OpLoad %6 %8 141 %43 = OpIEqual %17 %41 %42 142 OpSelectionMerge %45 None 143 OpBranchConditional %43 %44 %51 144 %44 = OpLabel 145 %46 = OpExtInst %24 %1 Ldexp %28 %16 146 %50 = OpAccessChain %49 %27 %48 147 OpStore %50 %46 148 OpBranch %45 149 %51 = OpLabel 150 %54 = OpExtInst %24 %1 Ldexp %28 %16 151 OpStore %53 %54 152 OpStore %27 %30 153 OpBranch %45 154 %45 = OpLabel 155 OpBranch %40 156 %40 = OpLabel 157 OpBranch %35 158 %35 = OpLabel 159 OpBranch %13 160 %13 = OpLabel 161 %55 = OpLoad %6 %8 162 %56 = OpIAdd %6 %55 %20 163 OpStore %8 %56 164 OpBranch %10 165 %12 = OpLabel 166 OpReturn 167 OpFunctionEnd 168END 169 170# uniforms for variant 171 172 173BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 174 175PIPELINE graphics variant_pipeline 176 ATTACH variant_vertex_shader 177 ATTACH variant_fragment_shader 178 FRAMEBUFFER_SIZE 256 256 179 BIND BUFFER variant_framebuffer AS color LOCATION 0 180END 181CLEAR_COLOR variant_pipeline 0 0 0 255 182 183CLEAR variant_pipeline 184RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 185 186EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255 187