external/vulkancts/data/vulkan/amber/graphicsfuzz/cov-set-array-elements-to-uniform-check-value-break.amber

   1 #!amber
   2
   3 # Copyright 2022 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 the GraphicsFuzz project.
  19
  20 # Short description: A fragment shader that covers specific LLVM code paths
  21
  22 # The test passes because the shader always writes red.
  23
  24 SHADER vertex variant_vertex_shader PASSTHROUGH
  25
  26 # variant_fragment_shader is derived from the following GLSL:
  27 # #version 320 es
  28 #
  29 # #define _int_2 _GLF_uniform_int_values[0]
  30 # #define _int_1 _GLF_uniform_int_values[1]
  31 # #define _int_0 _GLF_uniform_int_values[2]
  32 # #define _int_10 _GLF_uniform_int_values[3]
  33 # #define _float_2_0 _GLF_uniform_float_values[0]
  34 # #define _float_1_0 _GLF_uniform_float_values[1]
  35 # #define _float_0_0 _GLF_uniform_float_values[2]
  36 #
  37 # precision highp float;
  38 # precision highp int;
  39 #
  40 # // Contents of _GLF_uniform_int_values: [2, 1, 0, 10]
  41 # layout(set = 0, binding = 0) uniform buf0
  42 # {
  43 #     int _GLF_uniform_int_values[4];
  44 # };
  45 #
  46 # // Contents of _GLF_uniform_float_values: [2.0, 1.0, 0.0]
  47 # layout(set = 0, binding = 1) uniform buf1
  48 # {
  49 #     float _GLF_uniform_float_values[3];
  50 # };
  51 #
  52 # // Contents of zero: 0.0
  53 # layout(set = 0, binding = 2) uniform buf2
  54 # {
  55 #     float zero;
  56 # };
  57 #
  58 # layout(location = 0) out vec4 _GLF_color;
  59 #
  60 # void main()
  61 # {
  62 #     float data[10] = float[10](_float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0, _float_1_0);
  63 #
  64 #     // Set elements 1..9 to zero.
  65 #     for(int i = _int_1; i < _int_10; i ++)
  66 #     {
  67 #         data[i] = zero;
  68 #     }
  69 #
  70 #     for(int i = 0; i < 9; i ++)
  71 #     {
  72 #         // True for i = 1.
  73 #         if(data[i] < _float_1_0)
  74 #         {
  75 #             data[i] = _float_2_0;
  76 #             break;
  77 #         }
  78 #     }
  79 #
  80 #     // Always true.
  81 #     if(data[_int_0] == _float_1_0 && data[_int_1] == _float_2_0 && data[_int_2] == _float_0_0)
  82 #     {
  83 #         _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1);
  84 #     }
  85 #     else
  86 #     {
  87 #         _GLF_color = vec4(_int_0);
  88 #     }
  89 # }
  90 SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
  91 ; SPIR-V
  92 ; Version: 1.0
  93 ; Generator: Khronos Glslang Reference Front End; 10
  94 ; Bound: 148
  95 ; Schema: 0
  96                OpCapability Shader
  97           %1 = OpExtInstImport "GLSL.std.450"
  98                OpMemoryModel Logical GLSL450
  99                OpEntryPoint Fragment %4 "main" %129
 100                OpExecutionMode %4 OriginUpperLeft
 101                OpSource ESSL 320
 102                OpName %4 "main"
 103                OpName %11 "data"
 104                OpName %14 "buf1"
 105                OpMemberName %14 0 "_GLF_uniform_float_values"
 106                OpName %16 ""
 107                OpName %43 "i"
 108                OpName %46 "buf0"
 109                OpMemberName %46 0 "_GLF_uniform_int_values"
 110                OpName %48 ""
 111                OpName %64 "buf2"
 112                OpMemberName %64 0 "zero"
 113                OpName %66 ""
 114                OpName %73 "i"
 115                OpName %129 "_GLF_color"
 116                OpDecorate %13 ArrayStride 16
 117                OpMemberDecorate %14 0 Offset 0
 118                OpDecorate %14 Block
 119                OpDecorate %16 DescriptorSet 0
 120                OpDecorate %16 Binding 1
 121                OpDecorate %45 ArrayStride 16
 122                OpMemberDecorate %46 0 Offset 0
 123                OpDecorate %46 Block
 124                OpDecorate %48 DescriptorSet 0
 125                OpDecorate %48 Binding 0
 126                OpMemberDecorate %64 0 Offset 0
 127                OpDecorate %64 Block
 128                OpDecorate %66 DescriptorSet 0
 129                OpDecorate %66 Binding 2
 130                OpDecorate %129 Location 0
 131           %2 = OpTypeVoid
 132           %3 = OpTypeFunction %2
 133           %6 = OpTypeFloat 32
 134           %7 = OpTypeInt 32 0
 135           %8 = OpConstant %7 10
 136           %9 = OpTypeArray %6 %8
 137          %10 = OpTypePointer Function %9
 138          %12 = OpConstant %7 3
 139          %13 = OpTypeArray %6 %12
 140          %14 = OpTypeStruct %13
 141          %15 = OpTypePointer Uniform %14
 142          %16 = OpVariable %15 Uniform
 143          %17 = OpTypeInt 32 1
 144          %18 = OpConstant %17 0
 145          %19 = OpConstant %17 1
 146          %20 = OpTypePointer Uniform %6
 147          %42 = OpTypePointer Function %17
 148          %44 = OpConstant %7 4
 149          %45 = OpTypeArray %17 %44
 150          %46 = OpTypeStruct %45
 151          %47 = OpTypePointer Uniform %46
 152          %48 = OpVariable %47 Uniform
 153          %49 = OpTypePointer Uniform %17
 154          %58 = OpConstant %17 3
 155          %61 = OpTypeBool
 156          %64 = OpTypeStruct %6
 157          %65 = OpTypePointer Uniform %64
 158          %66 = OpVariable %65 Uniform
 159          %69 = OpTypePointer Function %6
 160          %80 = OpConstant %17 9
 161          %97 = OpConstant %17 2
 162         %127 = OpTypeVector %6 4
 163         %128 = OpTypePointer Output %127
 164         %129 = OpVariable %128 Output
 165           %4 = OpFunction %2 None %3
 166           %5 = OpLabel
 167          %11 = OpVariable %10 Function
 168          %43 = OpVariable %42 Function
 169          %73 = OpVariable %42 Function
 170          %21 = OpAccessChain %20 %16 %18 %19
 171          %22 = OpLoad %6 %21
 172          %23 = OpAccessChain %20 %16 %18 %19
 173          %24 = OpLoad %6 %23
 174          %25 = OpAccessChain %20 %16 %18 %19
 175          %26 = OpLoad %6 %25
 176          %27 = OpAccessChain %20 %16 %18 %19
 177          %28 = OpLoad %6 %27
 178          %29 = OpAccessChain %20 %16 %18 %19
 179          %30 = OpLoad %6 %29
 180          %31 = OpAccessChain %20 %16 %18 %19
 181          %32 = OpLoad %6 %31
 182          %33 = OpAccessChain %20 %16 %18 %19
 183          %34 = OpLoad %6 %33
 184          %35 = OpAccessChain %20 %16 %18 %19
 185          %36 = OpLoad %6 %35
 186          %37 = OpAccessChain %20 %16 %18 %19
 187          %38 = OpLoad %6 %37
 188          %39 = OpAccessChain %20 %16 %18 %19
 189          %40 = OpLoad %6 %39
 190          %41 = OpCompositeConstruct %9 %22 %24 %26 %28 %30 %32 %34 %36 %38 %40
 191                OpStore %11 %41
 192          %50 = OpAccessChain %49 %48 %18 %19
 193          %51 = OpLoad %17 %50
 194                OpStore %43 %51
 195                OpBranch %52
 196          %52 = OpLabel
 197                OpLoopMerge %54 %55 None
 198                OpBranch %56
 199          %56 = OpLabel
 200          %57 = OpLoad %17 %43
 201          %59 = OpAccessChain %49 %48 %18 %58
 202          %60 = OpLoad %17 %59
 203          %62 = OpSLessThan %61 %57 %60
 204                OpBranchConditional %62 %53 %54
 205          %53 = OpLabel
 206          %63 = OpLoad %17 %43
 207          %67 = OpAccessChain %20 %66 %18
 208          %68 = OpLoad %6 %67
 209          %70 = OpAccessChain %69 %11 %63
 210                OpStore %70 %68
 211                OpBranch %55
 212          %55 = OpLabel
 213          %71 = OpLoad %17 %43
 214          %72 = OpIAdd %17 %71 %19
 215                OpStore %43 %72
 216                OpBranch %52
 217          %54 = OpLabel
 218                OpStore %73 %18
 219                OpBranch %74
 220          %74 = OpLabel
 221                OpLoopMerge %76 %77 None
 222                OpBranch %78
 223          %78 = OpLabel
 224          %79 = OpLoad %17 %73
 225          %81 = OpSLessThan %61 %79 %80
 226                OpBranchConditional %81 %75 %76
 227          %75 = OpLabel
 228          %82 = OpLoad %17 %73
 229          %83 = OpAccessChain %69 %11 %82
 230          %84 = OpLoad %6 %83
 231          %85 = OpAccessChain %20 %16 %18 %19
 232          %86 = OpLoad %6 %85
 233          %87 = OpFOrdLessThan %61 %84 %86
 234                OpSelectionMerge %89 None
 235                OpBranchConditional %87 %88 %89
 236          %88 = OpLabel
 237          %90 = OpLoad %17 %73
 238          %91 = OpAccessChain %20 %16 %18 %18
 239          %92 = OpLoad %6 %91
 240          %93 = OpAccessChain %69 %11 %90
 241                OpStore %93 %92
 242                OpBranch %76
 243          %89 = OpLabel
 244                OpBranch %77
 245          %77 = OpLabel
 246          %95 = OpLoad %17 %73
 247          %96 = OpIAdd %17 %95 %19
 248                OpStore %73 %96
 249                OpBranch %74
 250          %76 = OpLabel
 251          %98 = OpAccessChain %49 %48 %18 %97
 252          %99 = OpLoad %17 %98
 253         %100 = OpAccessChain %69 %11 %99
 254         %101 = OpLoad %6 %100
 255         %102 = OpAccessChain %20 %16 %18 %19
 256         %103 = OpLoad %6 %102
 257         %104 = OpFOrdEqual %61 %101 %103
 258                OpSelectionMerge %106 None
 259                OpBranchConditional %104 %105 %106
 260         %105 = OpLabel
 261         %107 = OpAccessChain %49 %48 %18 %19
 262         %108 = OpLoad %17 %107
 263         %109 = OpAccessChain %69 %11 %108
 264         %110 = OpLoad %6 %109
 265         %111 = OpAccessChain %20 %16 %18 %18
 266         %112 = OpLoad %6 %111
 267         %113 = OpFOrdEqual %61 %110 %112
 268                OpBranch %106
 269         %106 = OpLabel
 270         %114 = OpPhi %61 %104 %76 %113 %105
 271                OpSelectionMerge %116 None
 272                OpBranchConditional %114 %115 %116
 273         %115 = OpLabel
 274         %117 = OpAccessChain %49 %48 %18 %18
 275         %118 = OpLoad %17 %117
 276         %119 = OpAccessChain %69 %11 %118
 277         %120 = OpLoad %6 %119
 278         %121 = OpAccessChain %20 %16 %18 %97
 279         %122 = OpLoad %6 %121
 280         %123 = OpFOrdEqual %61 %120 %122
 281                OpBranch %116
 282         %116 = OpLabel
 283         %124 = OpPhi %61 %114 %106 %123 %115
 284                OpSelectionMerge %126 None
 285                OpBranchConditional %124 %125 %143
 286         %125 = OpLabel
 287         %130 = OpAccessChain %49 %48 %18 %19
 288         %131 = OpLoad %17 %130
 289         %132 = OpConvertSToF %6 %131
 290         %133 = OpAccessChain %49 %48 %18 %97
 291         %134 = OpLoad %17 %133
 292         %135 = OpConvertSToF %6 %134
 293         %136 = OpAccessChain %49 %48 %18 %97
 294         %137 = OpLoad %17 %136
 295         %138 = OpConvertSToF %6 %137
 296         %139 = OpAccessChain %49 %48 %18 %19
 297         %140 = OpLoad %17 %139
 298         %141 = OpConvertSToF %6 %140
 299         %142 = OpCompositeConstruct %127 %132 %135 %138 %141
 300                OpStore %129 %142
 301                OpBranch %126
 302         %143 = OpLabel
 303         %144 = OpAccessChain %49 %48 %18 %97
 304         %145 = OpLoad %17 %144
 305         %146 = OpConvertSToF %6 %145
 306         %147 = OpCompositeConstruct %127 %146 %146 %146 %146
 307                OpStore %129 %147
 308                OpBranch %126
 309         %126 = OpLabel
 310                OpReturn
 311                OpFunctionEnd
 312 END
 313
 314 # uniforms for variant
 315
 316 # zero
 317 BUFFER variant_zero DATA_TYPE float STD140 DATA
 318  0.0
 319 END
 320 # _GLF_uniform_float_values
 321 BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA
 322  2.0 1.0 0.0
 323 END
 324 # _GLF_uniform_int_values
 325 BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA
 326  2 1 0 10
 327 END
 328
 329 BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
 330
 331 PIPELINE graphics variant_pipeline
 332   ATTACH variant_vertex_shader
 333   ATTACH variant_fragment_shader
 334   FRAMEBUFFER_SIZE 32 32
 335   BIND BUFFER variant_framebuffer AS color LOCATION 0
 336   BIND BUFFER variant_zero AS uniform DESCRIPTOR_SET 0 BINDING 2
 337   BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 1
 338   BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 0
 339 END
 340 CLEAR_COLOR variant_pipeline 0 0 0 255
 341
 342 CLEAR variant_pipeline
 343 RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 32 32
 344
 345 EXPECT variant_framebuffer IDX 0 0 SIZE 32 32 EQ_RGBA 255 0 0 255