• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 the GraphicsFuzz project.
19
20# Short description: A fragment shader that covers a specific instruction simplify code path
21
22# The test passes because the 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# #define _float_1_0 _GLF_uniform_float_values[0]
29# #define _float_0_0 _GLF_uniform_float_values[1]
30# #define _float_0_2 _GLF_uniform_float_values[2]
31# #define _float_0_95 _GLF_uniform_float_values[3]
32# #define _float_0_62 _GLF_uniform_float_values[4]
33# #define _float_0_63 _GLF_uniform_float_values[5]
34# #define _float_0_96 _GLF_uniform_float_values[6]
35#
36# precision highp float;
37#
38# // Contents of _GLF_uniform_float_values: [1.0, 0.0, 0.2, 0.95, 0.62, 0.63, 0.96]
39# layout(set = 0, binding = 0) uniform buf0
40# {
41#     float _GLF_uniform_float_values[7];
42# };
43# layout(location = 0) out vec4 _GLF_color;
44#
45# void main()
46# {
47#     vec4 v1 = vec4(_float_0_2, _float_0_2, _float_1_0, _float_0_2);
48#
49#     // This results in an undefined value, but not in undefined behavior. v2 becomes
50#     // [1.57, 1.11, undefined, 0.92]. The undefined z-component doesn't matter
51#     // since it's not accessed when assigning the final color.
52#     vec4 v2 = asin(vec4(1.0, 0.9, 1.1, 0.8));
53#
54#     vec4 v3 = vec4(_float_1_0);
55#     vec4 v4 = smoothstep(v1, v2, v3);
56#
57#     _GLF_color = v4.xywx;
58#
59#     if (v4.x > _float_0_62 && v4.x < _float_0_63 && v4.y > _float_0_95
60#         && v4.y < _float_0_96 && v4.w == _float_1_0)
61#     {
62#         _GLF_color = vec4(_float_1_0, _float_0_0, _float_0_0, _float_1_0);
63#     }
64#     else
65#     {
66#         _GLF_color = vec4(_float_0_0);
67#     }
68# }
69SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
70; SPIR-V
71; Version: 1.0
72; Generator: Khronos Glslang Reference Front End; 10
73; Bound: 110
74; Schema: 0
75               OpCapability Shader
76          %1 = OpExtInstImport "GLSL.std.450"
77               OpMemoryModel Logical GLSL450
78               OpEntryPoint Fragment %4 "main" %45
79               OpExecutionMode %4 OriginUpperLeft
80               OpSource ESSL 310
81               OpName %4 "main"
82               OpName %9 "v1"
83               OpName %13 "buf0"
84               OpMemberName %13 0 "_GLF_uniform_float_values"
85               OpName %15 ""
86               OpName %29 "v2"
87               OpName %35 "v3"
88               OpName %39 "v4"
89               OpName %45 "_GLF_color"
90               OpDecorate %12 ArrayStride 16
91               OpMemberDecorate %13 0 Offset 0
92               OpDecorate %13 Block
93               OpDecorate %15 DescriptorSet 0
94               OpDecorate %15 Binding 0
95               OpDecorate %45 Location 0
96          %2 = OpTypeVoid
97          %3 = OpTypeFunction %2
98          %6 = OpTypeFloat 32
99          %7 = OpTypeVector %6 4
100          %8 = OpTypePointer Function %7
101         %10 = OpTypeInt 32 0
102         %11 = OpConstant %10 7
103         %12 = OpTypeArray %6 %11
104         %13 = OpTypeStruct %12
105         %14 = OpTypePointer Uniform %13
106         %15 = OpVariable %14 Uniform
107         %16 = OpTypeInt 32 1
108         %17 = OpConstant %16 0
109         %18 = OpConstant %16 2
110         %19 = OpTypePointer Uniform %6
111         %30 = OpConstant %6 1.57079637
112         %31 = OpConstant %6 1.11976957
113         %32 = OpConstant %6 0x1.8p+128
114         %33 = OpConstant %6 0.927295208
115         %34 = OpConstantComposite %7 %30 %31 %32 %33
116         %44 = OpTypePointer Output %7
117         %45 = OpVariable %44 Output
118         %48 = OpTypeBool
119         %49 = OpConstant %10 0
120         %50 = OpTypePointer Function %6
121         %53 = OpConstant %16 4
122         %61 = OpConstant %16 5
123         %68 = OpConstant %10 1
124         %71 = OpConstant %16 3
125         %80 = OpConstant %16 6
126         %87 = OpConstant %10 3
127         %98 = OpConstant %16 1
128          %4 = OpFunction %2 None %3
129          %5 = OpLabel
130          %9 = OpVariable %8 Function
131         %29 = OpVariable %8 Function
132         %35 = OpVariable %8 Function
133         %39 = OpVariable %8 Function
134         %20 = OpAccessChain %19 %15 %17 %18
135         %21 = OpLoad %6 %20
136         %22 = OpAccessChain %19 %15 %17 %18
137         %23 = OpLoad %6 %22
138         %24 = OpAccessChain %19 %15 %17 %17
139         %25 = OpLoad %6 %24
140         %26 = OpAccessChain %19 %15 %17 %18
141         %27 = OpLoad %6 %26
142         %28 = OpCompositeConstruct %7 %21 %23 %25 %27
143               OpStore %9 %28
144               OpStore %29 %34
145         %36 = OpAccessChain %19 %15 %17 %17
146         %37 = OpLoad %6 %36
147         %38 = OpCompositeConstruct %7 %37 %37 %37 %37
148               OpStore %35 %38
149         %40 = OpLoad %7 %9
150         %41 = OpLoad %7 %29
151         %42 = OpLoad %7 %35
152         %43 = OpExtInst %7 %1 SmoothStep %40 %41 %42
153               OpStore %39 %43
154         %46 = OpLoad %7 %39
155         %47 = OpVectorShuffle %7 %46 %46 0 1 3 0
156               OpStore %45 %47
157         %51 = OpAccessChain %50 %39 %49
158         %52 = OpLoad %6 %51
159         %54 = OpAccessChain %19 %15 %17 %53
160         %55 = OpLoad %6 %54
161         %56 = OpFOrdGreaterThan %48 %52 %55
162               OpSelectionMerge %58 None
163               OpBranchConditional %56 %57 %58
164         %57 = OpLabel
165         %59 = OpAccessChain %50 %39 %49
166         %60 = OpLoad %6 %59
167         %62 = OpAccessChain %19 %15 %17 %61
168         %63 = OpLoad %6 %62
169         %64 = OpFOrdLessThan %48 %60 %63
170               OpBranch %58
171         %58 = OpLabel
172         %65 = OpPhi %48 %56 %5 %64 %57
173               OpSelectionMerge %67 None
174               OpBranchConditional %65 %66 %67
175         %66 = OpLabel
176         %69 = OpAccessChain %50 %39 %68
177         %70 = OpLoad %6 %69
178         %72 = OpAccessChain %19 %15 %17 %71
179         %73 = OpLoad %6 %72
180         %74 = OpFOrdGreaterThan %48 %70 %73
181               OpBranch %67
182         %67 = OpLabel
183         %75 = OpPhi %48 %65 %58 %74 %66
184               OpSelectionMerge %77 None
185               OpBranchConditional %75 %76 %77
186         %76 = OpLabel
187         %78 = OpAccessChain %50 %39 %68
188         %79 = OpLoad %6 %78
189         %81 = OpAccessChain %19 %15 %17 %80
190         %82 = OpLoad %6 %81
191         %83 = OpFOrdLessThan %48 %79 %82
192               OpBranch %77
193         %77 = OpLabel
194         %84 = OpPhi %48 %75 %67 %83 %76
195               OpSelectionMerge %86 None
196               OpBranchConditional %84 %85 %86
197         %85 = OpLabel
198         %88 = OpAccessChain %50 %39 %87
199         %89 = OpLoad %6 %88
200         %90 = OpAccessChain %19 %15 %17 %17
201         %91 = OpLoad %6 %90
202         %92 = OpFOrdEqual %48 %89 %91
203               OpBranch %86
204         %86 = OpLabel
205         %93 = OpPhi %48 %84 %77 %92 %85
206               OpSelectionMerge %95 None
207               OpBranchConditional %93 %94 %106
208         %94 = OpLabel
209         %96 = OpAccessChain %19 %15 %17 %17
210         %97 = OpLoad %6 %96
211         %99 = OpAccessChain %19 %15 %17 %98
212        %100 = OpLoad %6 %99
213        %101 = OpAccessChain %19 %15 %17 %98
214        %102 = OpLoad %6 %101
215        %103 = OpAccessChain %19 %15 %17 %17
216        %104 = OpLoad %6 %103
217        %105 = OpCompositeConstruct %7 %97 %100 %102 %104
218               OpStore %45 %105
219               OpBranch %95
220        %106 = OpLabel
221        %107 = OpAccessChain %19 %15 %17 %98
222        %108 = OpLoad %6 %107
223        %109 = OpCompositeConstruct %7 %108 %108 %108 %108
224               OpStore %45 %109
225               OpBranch %95
226         %95 = OpLabel
227               OpReturn
228               OpFunctionEnd
229END
230
231# uniforms for variant
232
233# _GLF_uniform_float_values
234BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA
235 1.0 0.0 0.2 0.95 0.62 0.63 0.96
236END
237
238BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
239
240PIPELINE graphics variant_pipeline
241  ATTACH variant_vertex_shader
242  ATTACH variant_fragment_shader
243  FRAMEBUFFER_SIZE 256 256
244  BIND BUFFER variant_framebuffer AS color LOCATION 0
245  BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 0
246END
247CLEAR_COLOR variant_pipeline 0 0 0 255
248
249CLEAR variant_pipeline
250RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256
251
252EXPECT variant_framebuffer IDX 0 0 SIZE 256 256 EQ_RGBA 255 0 0 255
253