kbz_8/Vulkan-CTS-bin
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Files
master
Vulkan-CTS-bin/vulkan/amber/graphicsfuzz/cov-nested-functions-struct-arrays-vector-lengths.amber
T
kbz_8 fd7038b853 yes
2026-05-06 23:44:13 +02:00

499 lines
16 KiB
Plaintext
Raw Permalink Blame History

#!amber
# Copyright 2021 Google LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
# A test for a coverage-gap found by the GraphicsFuzz project.
# Short description: A fragment shader that covers specific LLVM code paths
# The test passes because the shader always writes red.
SHADER vertex variant_vertex_shader PASSTHROUGH
# variant_fragment_shader is derived from the following GLSL:
# #version 320 es
# #define _int_1 _GLF_uniform_int_values[0]
# #define _int_4 _GLF_uniform_int_values[1]
# #define _int_35 _GLF_uniform_int_values[2]
# #define _int_0 _GLF_uniform_int_values[3]
# #define _float_1_0 _GLF_uniform_float_values[0]
# #define _float_0_0 _GLF_uniform_float_values[1]
# #define _float_2_0 _GLF_uniform_float_values[2]
#
# precision highp float;
# precision highp int;
#
# // Contents of _GLF_uniform_float_values: [1.0, 0.0, 2.0]
# layout(set = 0, binding = 0) uniform buf0
# {
# float _GLF_uniform_float_values[3];
# };
#
# // Contents of _GLF_uniform_int_values: [1, 4, 35, 0]
# layout(set = 0, binding = 1) uniform buf1
# {
# int _GLF_uniform_int_values[4];
# };
#
# const int _GLF_global_loop_bound = 100;
# int _GLF_global_loop_count = 0;
#
# struct S
# {
# int data0;
# int data1;
# };
#
# int a = 1;
#
# S arr[10] = S[10](S(1, 1), S(1, 1), S(1, 1), S(1, 1), S(1, 1), S(1, 1), S(1, 1), S(1, 1), S(1, 1), S(1, 1));
#
# layout(location = 0) out vec4 _GLF_color;
#
# // Has no effect because the original value is always one. Also this function is never called.
# void func0(inout S s)
# {
# s.data0 = _int_1;
# }
#
# // Always returns vec4(fract(x), 1, 1).
# vec3 func1(float x)
# {
# // Always false because x is the result of a call to sin.
# if(x > _float_1_0)
# {
# return vec3(_int_0);
# }
#
# return vec3(fract(x), _float_1_0, _float_1_0);
# }
#
# vec3 func2()
# {
# // Always true.
# if(gl_FragCoord.x > _float_0_0)
# {
# // a becomes one.
# a = S[10](S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1), S(_int_1, _int_1))[a].data1;
# }
#
# vec3 v0 = vec3(_float_1_0);
# for(int i = _int_35; i >= _int_1 && _GLF_global_loop_count < _GLF_global_loop_bound; i--)
# {
# _GLF_global_loop_count++;
#
# vec3 v1 = func1(sin(float(i)));
#
# // Always true.
# if(length(v1) >= _float_0_0)
# {
# v0 = v1;
# }
# }
#
# return v0;
# }
#
# void main()
# {
# a = _int_4;
# func2();
# vec3 v = func2();
#
# // Always true.
# if(gl_FragCoord.x > _float_0_0)
# {
# // Always false.
# if(arr[a].data1 == 0)
# {
# func0(arr[a]);
# return;
# }
# }
#
# // Guaranteed to be true because of an identical check in func2.
# if(length(v) > _float_0_0)
# {
# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_1);
# }
# else
# {
# _GLF_color = vec4(_int_0);
# }
# }
SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 10
; Bound: 238
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %75 %219
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %7 "S"
OpMemberName %7 0 "data0"
OpMemberName %7 1 "data1"
OpName %11 "func0(struct-S-i1-i11;"
OpName %10 "s"
OpName %18 "func1(f1;"
OpName %17 "x"
OpName %21 "func2("
OpName %24 "_GLF_global_loop_count"
OpName %26 "a"
OpName %32 "arr"
OpName %37 "buf1"
OpMemberName %37 0 "_GLF_uniform_int_values"
OpName %39 ""
OpName %48 "buf0"
OpMemberName %48 0 "_GLF_uniform_float_values"
OpName %50 ""
OpName %75 "gl_FragCoord"
OpName %138 "indexable"
OpName %142 "v0"
OpName %146 "i"
OpName %165 "v1"
OpName %169 "param"
OpName %187 "v"
OpName %203 "param"
OpName %219 "_GLF_color"
OpDecorate %36 ArrayStride 16
OpMemberDecorate %37 0 Offset 0
OpDecorate %37 Block
OpDecorate %39 DescriptorSet 0
OpDecorate %39 Binding 1
OpDecorate %47 ArrayStride 16
OpMemberDecorate %48 0 Offset 0
OpDecorate %48 Block
OpDecorate %50 DescriptorSet 0
OpDecorate %50 Binding 0
OpDecorate %75 BuiltIn FragCoord
OpDecorate %219 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeInt 32 1
%7 = OpTypeStruct %6 %6
%8 = OpTypePointer Function %7
%9 = OpTypeFunction %2 %8
%13 = OpTypeFloat 32
%14 = OpTypePointer Function %13
%15 = OpTypeVector %13 3
%16 = OpTypeFunction %15 %14
%20 = OpTypeFunction %15
%23 = OpTypePointer Private %6
%24 = OpVariable %23 Private
%25 = OpConstant %6 0
%26 = OpVariable %23 Private
%27 = OpConstant %6 1
%28 = OpTypeInt 32 0
%29 = OpConstant %28 10
%30 = OpTypeArray %7 %29
%31 = OpTypePointer Private %30
%32 = OpVariable %31 Private
%33 = OpConstantComposite %7 %27 %27
%34 = OpConstantComposite %30 %33 %33 %33 %33 %33 %33 %33 %33 %33 %33
%35 = OpConstant %28 4
%36 = OpTypeArray %6 %35
%37 = OpTypeStruct %36
%38 = OpTypePointer Uniform %37
%39 = OpVariable %38 Uniform
%40 = OpTypePointer Uniform %6
%43 = OpTypePointer Function %6
%46 = OpConstant %28 3
%47 = OpTypeArray %13 %46
%48 = OpTypeStruct %47
%49 = OpTypePointer Uniform %48
%50 = OpVariable %49 Uniform
%51 = OpTypePointer Uniform %13
%54 = OpTypeBool
%58 = OpConstant %6 3
%73 = OpTypeVector %13 4
%74 = OpTypePointer Input %73
%75 = OpVariable %74 Input
%76 = OpConstant %28 0
%77 = OpTypePointer Input %13
%137 = OpTypePointer Function %30
%141 = OpTypePointer Function %15
%147 = OpConstant %6 2
%160 = OpConstant %6 100
%204 = OpTypePointer Private %7
%218 = OpTypePointer Output %73
%219 = OpVariable %218 Output
%4 = OpFunction %2 None %3
%5 = OpLabel
%187 = OpVariable %141 Function
%203 = OpVariable %8 Function
OpStore %24 %25
OpStore %26 %27
OpStore %32 %34
%184 = OpAccessChain %40 %39 %25 %27
%185 = OpLoad %6 %184
OpStore %26 %185
%186 = OpFunctionCall %15 %21
%188 = OpFunctionCall %15 %21
OpStore %187 %188
%189 = OpAccessChain %77 %75 %76
%190 = OpLoad %13 %189
%191 = OpAccessChain %51 %50 %25 %27
%192 = OpLoad %13 %191
%193 = OpFOrdGreaterThan %54 %190 %192
OpSelectionMerge %195 None
OpBranchConditional %193 %194 %195
%194 = OpLabel
%196 = OpLoad %6 %26
%197 = OpAccessChain %23 %32 %196 %27
%198 = OpLoad %6 %197
%199 = OpIEqual %54 %198 %25
OpSelectionMerge %201 None
OpBranchConditional %199 %200 %201
%200 = OpLabel
%202 = OpLoad %6 %26
%205 = OpAccessChain %204 %32 %202
%206 = OpLoad %7 %205
OpStore %203 %206
%207 = OpFunctionCall %2 %11 %203
%208 = OpLoad %7 %203
%209 = OpAccessChain %204 %32 %202
OpStore %209 %208
OpReturn
%201 = OpLabel
OpBranch %195
%195 = OpLabel
%211 = OpLoad %15 %187
%212 = OpExtInst %13 %1 Length %211
%213 = OpAccessChain %51 %50 %25 %27
%214 = OpLoad %13 %213
%215 = OpFOrdGreaterThan %54 %212 %214
OpSelectionMerge %217 None
OpBranchConditional %215 %216 %233
%216 = OpLabel
%220 = OpAccessChain %40 %39 %25 %25
%221 = OpLoad %6 %220
%222 = OpConvertSToF %13 %221
%223 = OpAccessChain %40 %39 %25 %58
%224 = OpLoad %6 %223
%225 = OpConvertSToF %13 %224
%226 = OpAccessChain %40 %39 %25 %58
%227 = OpLoad %6 %226
%228 = OpConvertSToF %13 %227
%229 = OpAccessChain %40 %39 %25 %25
%230 = OpLoad %6 %229
%231 = OpConvertSToF %13 %230
%232 = OpCompositeConstruct %73 %222 %225 %228 %231
OpStore %219 %232
OpBranch %217
%233 = OpLabel
%234 = OpAccessChain %40 %39 %25 %58
%235 = OpLoad %6 %234
%236 = OpConvertSToF %13 %235
%237 = OpCompositeConstruct %73 %236 %236 %236 %236
OpStore %219 %237
OpBranch %217
%217 = OpLabel
OpReturn
OpFunctionEnd
%11 = OpFunction %2 None %9
%10 = OpFunctionParameter %8
%12 = OpLabel
%41 = OpAccessChain %40 %39 %25 %25
%42 = OpLoad %6 %41
%44 = OpAccessChain %43 %10 %25
OpStore %44 %42
OpReturn
OpFunctionEnd
%18 = OpFunction %15 None %16
%17 = OpFunctionParameter %14
%19 = OpLabel
%45 = OpLoad %13 %17
%52 = OpAccessChain %51 %50 %25 %25
%53 = OpLoad %13 %52
%55 = OpFOrdGreaterThan %54 %45 %53
OpSelectionMerge %57 None
OpBranchConditional %55 %56 %57
%56 = OpLabel
%59 = OpAccessChain %40 %39 %25 %58
%60 = OpLoad %6 %59
%61 = OpConvertSToF %13 %60
%62 = OpCompositeConstruct %15 %61 %61 %61
OpReturnValue %62
%57 = OpLabel
%64 = OpLoad %13 %17
%65 = OpExtInst %13 %1 Fract %64
%66 = OpAccessChain %51 %50 %25 %25
%67 = OpLoad %13 %66
%68 = OpAccessChain %51 %50 %25 %25
%69 = OpLoad %13 %68
%70 = OpCompositeConstruct %15 %65 %67 %69
OpReturnValue %70
OpFunctionEnd
%21 = OpFunction %15 None %20
%22 = OpLabel
%138 = OpVariable %137 Function
%142 = OpVariable %141 Function
%146 = OpVariable %43 Function
%165 = OpVariable %141 Function
%169 = OpVariable %14 Function
%78 = OpAccessChain %77 %75 %76
%79 = OpLoad %13 %78
%80 = OpAccessChain %51 %50 %25 %27
%81 = OpLoad %13 %80
%82 = OpFOrdGreaterThan %54 %79 %81
OpSelectionMerge %84 None
OpBranchConditional %82 %83 %84
%83 = OpLabel
%85 = OpAccessChain %40 %39 %25 %25
%86 = OpLoad %6 %85
%87 = OpAccessChain %40 %39 %25 %25
%88 = OpLoad %6 %87
%89 = OpCompositeConstruct %7 %86 %88
%90 = OpAccessChain %40 %39 %25 %25
%91 = OpLoad %6 %90
%92 = OpAccessChain %40 %39 %25 %25
%93 = OpLoad %6 %92
%94 = OpCompositeConstruct %7 %91 %93
%95 = OpAccessChain %40 %39 %25 %25
%96 = OpLoad %6 %95
%97 = OpAccessChain %40 %39 %25 %25
%98 = OpLoad %6 %97
%99 = OpCompositeConstruct %7 %96 %98
%100 = OpAccessChain %40 %39 %25 %25
%101 = OpLoad %6 %100
%102 = OpAccessChain %40 %39 %25 %25
%103 = OpLoad %6 %102
%104 = OpCompositeConstruct %7 %101 %103
%105 = OpAccessChain %40 %39 %25 %25
%106 = OpLoad %6 %105
%107 = OpAccessChain %40 %39 %25 %25
%108 = OpLoad %6 %107
%109 = OpCompositeConstruct %7 %106 %108
%110 = OpAccessChain %40 %39 %25 %25
%111 = OpLoad %6 %110
%112 = OpAccessChain %40 %39 %25 %25
%113 = OpLoad %6 %112
%114 = OpCompositeConstruct %7 %111 %113
%115 = OpAccessChain %40 %39 %25 %25
%116 = OpLoad %6 %115
%117 = OpAccessChain %40 %39 %25 %25
%118 = OpLoad %6 %117
%119 = OpCompositeConstruct %7 %116 %118
%120 = OpAccessChain %40 %39 %25 %25
%121 = OpLoad %6 %120
%122 = OpAccessChain %40 %39 %25 %25
%123 = OpLoad %6 %122
%124 = OpCompositeConstruct %7 %121 %123
%125 = OpAccessChain %40 %39 %25 %25
%126 = OpLoad %6 %125
%127 = OpAccessChain %40 %39 %25 %25
%128 = OpLoad %6 %127
%129 = OpCompositeConstruct %7 %126 %128
%130 = OpAccessChain %40 %39 %25 %25
%131 = OpLoad %6 %130
%132 = OpAccessChain %40 %39 %25 %25
%133 = OpLoad %6 %132
%134 = OpCompositeConstruct %7 %131 %133
%135 = OpCompositeConstruct %30 %89 %94 %99 %104 %109 %114 %119 %124 %129 %134
%136 = OpLoad %6 %26
OpStore %138 %135
%139 = OpAccessChain %43 %138 %136 %27
%140 = OpLoad %6 %139
OpStore %26 %140
OpBranch %84
%84 = OpLabel
%143 = OpAccessChain %51 %50 %25 %25
%144 = OpLoad %13 %143
%145 = OpCompositeConstruct %15 %144 %144 %144
OpStore %142 %145
%148 = OpAccessChain %40 %39 %25 %147
%149 = OpLoad %6 %148
OpStore %146 %149
OpBranch %150
%150 = OpLabel
OpLoopMerge %152 %153 None
OpBranch %154
%154 = OpLabel
%155 = OpLoad %6 %146
%156 = OpAccessChain %40 %39 %25 %25
%157 = OpLoad %6 %156
%158 = OpSGreaterThanEqual %54 %155 %157
%159 = OpLoad %6 %24
%161 = OpSLessThan %54 %159 %160
%162 = OpLogicalAnd %54 %158 %161
OpBranchConditional %162 %151 %152
%151 = OpLabel
%163 = OpLoad %6 %24
%164 = OpIAdd %6 %163 %27
OpStore %24 %164
%166 = OpLoad %6 %146
%167 = OpConvertSToF %13 %166
%168 = OpExtInst %13 %1 Sin %167
OpStore %169 %168
%170 = OpFunctionCall %15 %18 %169
OpStore %165 %170
%171 = OpLoad %15 %165
%172 = OpExtInst %13 %1 Length %171
%173 = OpAccessChain %51 %50 %25 %27
%174 = OpLoad %13 %173
%175 = OpFOrdGreaterThanEqual %54 %172 %174
OpSelectionMerge %177 None
OpBranchConditional %175 %176 %177
%176 = OpLabel
%178 = OpLoad %15 %165
OpStore %142 %178
OpBranch %177
%177 = OpLabel
OpBranch %153
%153 = OpLabel
%179 = OpLoad %6 %146
%180 = OpISub %6 %179 %27
OpStore %146 %180
OpBranch %150
%152 = OpLabel
%181 = OpLoad %15 %142
OpReturnValue %181
OpFunctionEnd
END
# uniforms for variant
# _GLF_uniform_int_values
BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA
1 4 35 0
END
# _GLF_uniform_float_values
BUFFER variant__GLF_uniform_float_values DATA_TYPE float[] STD140 DATA
1.0 0.0 2.0
END
BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics variant_pipeline
ATTACH variant_vertex_shader
ATTACH variant_fragment_shader
FRAMEBUFFER_SIZE 16 16
BIND BUFFER variant_framebuffer AS color LOCATION 0
BIND BUFFER variant__GLF_uniform_int_values AS uniform DESCRIPTOR_SET 0 BINDING 1
BIND BUFFER variant__GLF_uniform_float_values AS uniform DESCRIPTOR_SET 0 BINDING 0
END
CLEAR_COLOR variant_pipeline 0 0 0 255
CLEAR variant_pipeline
RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 16 16
EXPECT variant_framebuffer IDX 0 0 SIZE 16 16 EQ_RGBA 255 0 0 255
Reference in New Issue View Git Blame Copy Permalink