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 bug found by GraphicsFuzz. 19 20# Short description: A fragment shader that assigns array values to other array 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# precision highp int; 30# 31# layout(location = 0) out vec4 _GLF_color; 32# 33# void func(int x) 34# { 35# int data[9], temp[2]; 36# int a = 0; 37# data[0] = 5; 38# 39# // For the values of x used in this test, the following loop 40# // runs at least twice, making temp[0] = 5 and temp[1] = 5. 41# while (a <= x) 42# { 43# // Always true. 44# if (a <= 10) { 45# // When a == 0 this sets temp[0] to data[0] == 5; 46# // otherwise it sets temp[1] to data[0] == 5. 47# temp[min(a, 1)] = data[min(a, 0)]; 48# a++; 49# } 50# } 51# 52# // This loop sets data[0] and data[1] to 5 and 6. 53# for (int i = 0; i < 2; i++) 54# data[i] = temp[0] + i; 55# 56# if (data[0] == 5 && data[1] == 6) 57# _GLF_color = vec4(1, 0, 0, 1); 58# else 59# _GLF_color = vec4(0); 60# } 61# 62# void main() 63# { 64# for (int i = 1; i < 6; i++) 65# func(i); 66# } 67SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0 68; SPIR-V 69; Version: 1.0 70; Generator: Khronos Glslang Reference Front End; 8 71; Bound: 100 72; Schema: 0 73 OpCapability Shader 74 %1 = OpExtInstImport "GLSL.std.450" 75 OpMemoryModel Logical GLSL450 76 OpEntryPoint Fragment %4 "main" %81 77 OpExecutionMode %4 OriginUpperLeft 78 OpSource ESSL 310 79 OpName %4 "main" 80 OpName %10 "func(i1;" 81 OpName %9 "x" 82 OpName %12 "a" 83 OpName %18 "data" 84 OpName %38 "temp" 85 OpName %49 "i" 86 OpName %81 "_GLF_color" 87 OpName %87 "i" 88 OpName %95 "param" 89 OpDecorate %81 Location 0 90 %2 = OpTypeVoid 91 %3 = OpTypeFunction %2 92 %6 = OpTypeInt 32 1 93 %7 = OpTypePointer Function %6 94 %8 = OpTypeFunction %2 %7 95 %13 = OpConstant %6 0 96 %14 = OpTypeInt 32 0 97 %15 = OpConstant %14 9 98 %16 = OpTypeArray %6 %15 99 %17 = OpTypePointer Function %16 100 %19 = OpConstant %6 5 101 %28 = OpTypeBool 102 %31 = OpConstant %6 10 103 %35 = OpConstant %14 2 104 %36 = OpTypeArray %6 %35 105 %37 = OpTypePointer Function %36 106 %40 = OpConstant %6 1 107 %56 = OpConstant %6 2 108 %73 = OpConstant %6 6 109 %78 = OpTypeFloat 32 110 %79 = OpTypeVector %78 4 111 %80 = OpTypePointer Output %79 112 %81 = OpVariable %80 Output 113 %82 = OpConstant %78 1 114 %83 = OpConstant %78 0 115 %84 = OpConstantComposite %79 %82 %83 %83 %82 116 %86 = OpConstantComposite %79 %83 %83 %83 %83 117 %4 = OpFunction %2 None %3 118 %5 = OpLabel 119 %87 = OpVariable %7 Function 120 %95 = OpVariable %7 Function 121 OpStore %87 %40 122 OpBranch %88 123 %88 = OpLabel 124 OpLoopMerge %90 %91 None 125 OpBranch %92 126 %92 = OpLabel 127 %93 = OpLoad %6 %87 128 %94 = OpSLessThan %28 %93 %73 129 OpBranchConditional %94 %89 %90 130 %89 = OpLabel 131 %96 = OpLoad %6 %87 132 OpStore %95 %96 133 %97 = OpFunctionCall %2 %10 %95 134 OpBranch %91 135 %91 = OpLabel 136 %98 = OpLoad %6 %87 137 %99 = OpIAdd %6 %98 %40 138 OpStore %87 %99 139 OpBranch %88 140 %90 = OpLabel 141 OpReturn 142 OpFunctionEnd 143 %10 = OpFunction %2 None %8 144 %9 = OpFunctionParameter %7 145 %11 = OpLabel 146 %12 = OpVariable %7 Function 147 %18 = OpVariable %17 Function 148 %38 = OpVariable %37 Function 149 %49 = OpVariable %7 Function 150 OpStore %12 %13 151 %20 = OpAccessChain %7 %18 %13 152 OpStore %20 %19 153 OpBranch %21 154 %21 = OpLabel 155 OpLoopMerge %23 %24 None 156 OpBranch %25 157 %25 = OpLabel 158 %26 = OpLoad %6 %12 159 %27 = OpLoad %6 %9 160 %29 = OpSLessThanEqual %28 %26 %27 161 OpBranchConditional %29 %22 %23 162 %22 = OpLabel 163 %30 = OpLoad %6 %12 164 %32 = OpSLessThanEqual %28 %30 %31 165 OpSelectionMerge %34 None 166 OpBranchConditional %32 %33 %34 167 %33 = OpLabel 168 %39 = OpLoad %6 %12 169 %41 = OpExtInst %6 %1 SMin %39 %40 170 %42 = OpLoad %6 %12 171 %43 = OpExtInst %6 %1 SMin %42 %13 172 %44 = OpAccessChain %7 %18 %43 173 %45 = OpLoad %6 %44 174 %46 = OpAccessChain %7 %38 %41 175 OpStore %46 %45 176 %47 = OpLoad %6 %12 177 %48 = OpIAdd %6 %47 %40 178 OpStore %12 %48 179 OpBranch %34 180 %34 = OpLabel 181 OpBranch %24 182 %24 = OpLabel 183 OpBranch %21 184 %23 = OpLabel 185 OpStore %49 %13 186 OpBranch %50 187 %50 = OpLabel 188 OpLoopMerge %52 %53 None 189 OpBranch %54 190 %54 = OpLabel 191 %55 = OpLoad %6 %49 192 %57 = OpSLessThan %28 %55 %56 193 OpBranchConditional %57 %51 %52 194 %51 = OpLabel 195 %58 = OpLoad %6 %49 196 %59 = OpAccessChain %7 %38 %13 197 %60 = OpLoad %6 %59 198 %61 = OpLoad %6 %49 199 %62 = OpIAdd %6 %60 %61 200 %63 = OpAccessChain %7 %18 %58 201 OpStore %63 %62 202 OpBranch %53 203 %53 = OpLabel 204 %64 = OpLoad %6 %49 205 %65 = OpIAdd %6 %64 %40 206 OpStore %49 %65 207 OpBranch %50 208 %52 = OpLabel 209 %66 = OpAccessChain %7 %18 %13 210 %67 = OpLoad %6 %66 211 %68 = OpIEqual %28 %67 %19 212 OpSelectionMerge %70 None 213 OpBranchConditional %68 %69 %70 214 %69 = OpLabel 215 %71 = OpAccessChain %7 %18 %40 216 %72 = OpLoad %6 %71 217 %74 = OpIEqual %28 %72 %73 218 OpBranch %70 219 %70 = OpLabel 220 %75 = OpPhi %28 %68 %52 %74 %69 221 OpSelectionMerge %77 None 222 OpBranchConditional %75 %76 %85 223 %76 = OpLabel 224 OpStore %81 %84 225 OpBranch %77 226 %85 = OpLabel 227 OpStore %81 %86 228 OpBranch %77 229 %77 = OpLabel 230 OpReturn 231 OpFunctionEnd 232END 233 234 235BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM 236 237PIPELINE graphics variant_pipeline 238 ATTACH variant_vertex_shader 239 ATTACH variant_fragment_shader 240 FRAMEBUFFER_SIZE 256 256 241 BIND BUFFER variant_framebuffer AS color LOCATION 0 242END 243CLEAR_COLOR variant_pipeline 0 0 0 255 244 245CLEAR variant_pipeline 246RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256 247 248EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255 249