kbz_8/Vulkan-CTS-bin
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Files
master
Vulkan-CTS-bin/vulkan/amber/graphicsfuzz/nested-for-loops-switch-fallthrough.amber
T
kbz_8 fd7038b853 yes
2026-05-06 23:44:13 +02:00

558 lines
18 KiB
Plaintext
Raw Permalink Blame History

#!amber
# Copyright 2020 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.
DEVICE_EXTENSION VK_KHR_shader_terminate_invocation
# A test for a bug found by GraphicsFuzz.
# Short description: A fragment shader with few nested loops with fallthrough
# A fragment shader with several nested loops depending on each other and switch case with fallthrough.
# The test passes because shader always writes red.
# Optimized using spirv-opt with the following arguments:
# '-O'
# spirv-opt commit hash: ab7ac60f14ae66006bed5c989a2cfd4c4881704c
SHADER vertex variant_vertex_shader PASSTHROUGH
# variant_fragment_shader is derived from the following GLSL:
# #version 310 es
# precision highp float;
# precision highp int;
#
# layout(set = 0, binding = 0) uniform buf0
# {
# float zero;
# };
# layout(location = 0) out vec4 _GLF_color;
#
# void main()
# {
# float sums[9];
# int sum_index = 0;
#
# _GLF_color = vec4(0, 0, 0, 1);
#
# sums[0] = 0.0;
#
# // sum_index is modified in loops A and B like this:
# // A: 0 -> 1, 1 -> 2
# // B: 2 -> 3
# // A: 3 -> 4, 4 -> 5
# // B: 5 -> 6. At this point we set red channel to 1.
# // A: 6: return from main.
# for(int i0 = 2; i0 < 5; i0++)
# {
# // Loop A: After this loop sum_index = sum_index + 2.
# for(int i1 = 2; i1 < 4; i1++)
# {
# for(int i2 = 0; i2 < i0; i2++)
# {
# for(int i3 = 0; i3 < i1; i3++)
# {
# switch(sum_index)
# {
# case 0:
# sums[sum_index]++;
# break;
# case 1:
# sums[sum_index]++;
# break;
# case 2:
# sums[sum_index]++;
# case 3:
# sums[sum_index]++;
# case 4:
# sums[sum_index]++;
# case 5:
# sums[sum_index]++;
# break;
# case 6:
# // This is hit eventually.
# return;
# case 7:
# sums[sum_index]++;
# break;
# case 8:
# sums[sum_index]++;
# }
# }
# }
#
# if(clamp(1.0, gl_FragCoord.y, gl_FragCoord.y) < 0.0) // Always false.
# continue;
#
# if(zero < 0.0) // Always false.
# sums[sum_index]++;
#
# if(gl_FragCoord.y < 0.0) // Always false.
# discard;
#
# sum_index++;
# }
#
# // Loop B: After this loop sum_index = sum_index + 1.
# //
# // Cases that are not supposed to be hit set the green channel
# // to one to mark an error.
# for(int i4 = 4; i4 < 5; i4++)
# {
# for(int i5 = 0; i5 < i0; i5++)
# {
# for(int i6 = 0; i6 < i4; i6++)
# {
# switch(sum_index)
# {
# case 0:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# case 1:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# case 2:
# sums[sum_index]++;
# break;
# case 3:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# case 4:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# break;
# case 5:
# sums[sum_index]++;
# if (sums[0] != 0.0) // Always true.
# _GLF_color.r = 1.0;
# break;
# case 6:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# case 7:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# case 8:
# sums[sum_index]++;
# _GLF_color.g = 1.0;
# }
# }
# }
#
# sum_index++;
#
# if (zero < 1.0) // Always true, but we run the loop only once anyway.
# break;
# }
# }
#
# // We never reach here. Both branches write incorrect color.
# if (sums[0] == 0.0)
# _GLF_color = vec4(0);
# else
# _GLF_color = vec4(1);
# }
SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 8
; Bound: 358
; Schema: 0
OpCapability Shader
OpExtension "SPV_KHR_terminate_invocation"
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %13 %117
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 310
OpName %4 "main"
OpName %13 "_GLF_color"
OpName %21 "sums"
OpName %117 "gl_FragCoord"
OpName %129 "buf0"
OpMemberName %129 0 "zero"
OpName %131 ""
OpDecorate %13 Location 0
OpDecorate %117 BuiltIn FragCoord
OpMemberDecorate %129 0 Offset 0
OpDecorate %129 Block
OpDecorate %131 DescriptorSet 0
OpDecorate %131 Binding 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeInt 32 1
%9 = OpConstant %6 0
%10 = OpTypeFloat 32
%11 = OpTypeVector %10 4
%12 = OpTypePointer Output %11
%13 = OpVariable %12 Output
%14 = OpConstant %10 0
%15 = OpConstant %10 1
%16 = OpConstantComposite %11 %14 %14 %14 %15
%17 = OpTypeInt 32 0
%18 = OpConstant %17 9
%19 = OpTypeArray %10 %18
%20 = OpTypePointer Function %19
%22 = OpTypePointer Function %10
%25 = OpConstant %6 2
%32 = OpConstant %6 5
%33 = OpTypeBool
%42 = OpConstant %6 4
%112 = OpConstant %6 1
%116 = OpTypePointer Input %11
%117 = OpVariable %116 Input
%118 = OpConstant %17 1
%119 = OpTypePointer Input %10
%129 = OpTypeStruct %10
%130 = OpTypePointer Uniform %129
%131 = OpVariable %130 Uniform
%132 = OpTypePointer Uniform %10
%193 = OpTypePointer Output %10
%225 = OpConstant %17 0
%265 = OpConstantComposite %11 %14 %14 %14 %14
%267 = OpConstantComposite %11 %15 %15 %15 %15
%272 = OpConstantFalse %33
%275 = OpConstantTrue %33
%4 = OpFunction %2 None %3
%5 = OpLabel
%21 = OpVariable %20 Function
OpBranch %269
%269 = OpLabel
OpStore %13 %16
%23 = OpAccessChain %22 %21 %9
OpStore %23 %14
OpLoopMerge %268 %271 None
OpBranch %26
%26 = OpLabel
%300 = OpPhi %33 %272 %269 %312 %29
%295 = OpPhi %6 %9 %269 %356 %29
%284 = OpPhi %6 %25 %269 %259 %29
%34 = OpSLessThan %33 %284 %32
OpLoopMerge %28 %29 None
OpBranchConditional %34 %27 %28
%27 = OpLabel
OpBranch %36
%36 = OpLabel
%299 = OpPhi %33 %300 %27 %304 %39
%294 = OpPhi %6 %295 %27 %357 %39
%285 = OpPhi %6 %25 %27 %151 %39
%43 = OpSLessThan %33 %285 %42
OpLoopMerge %38 %39 None
OpBranchConditional %43 %37 %38
%37 = OpLabel
OpBranch %45
%45 = OpLabel
%298 = OpPhi %33 %299 %37 %296 %48
%286 = OpPhi %6 %9 %37 %115 %48
%52 = OpSLessThan %33 %286 %284
OpLoopMerge %47 %48 None
OpBranchConditional %52 %46 %47
%46 = OpLabel
OpBranch %54
%54 = OpLabel
%289 = OpPhi %6 %9 %46 %113 %57
%61 = OpSLessThan %33 %289 %285
OpLoopMerge %56 %57 None
OpBranchConditional %61 %55 %56
%55 = OpLabel
OpSelectionMerge %72 None
OpSwitch %294 %72 0 %63 1 %64 2 %65 3 %66 4 %67 5 %68 6 %69 7 %70 8 %71
%63 = OpLabel
%74 = OpAccessChain %22 %21 %294
%75 = OpLoad %10 %74
%76 = OpFAdd %10 %75 %15
OpStore %74 %76
OpBranch %72
%64 = OpLabel
%79 = OpAccessChain %22 %21 %294
%80 = OpLoad %10 %79
%81 = OpFAdd %10 %80 %15
OpStore %79 %81
OpBranch %72
%65 = OpLabel
%84 = OpAccessChain %22 %21 %294
%85 = OpLoad %10 %84
%86 = OpFAdd %10 %85 %15
OpStore %84 %86
OpBranch %66
%66 = OpLabel
%88 = OpAccessChain %22 %21 %294
%89 = OpLoad %10 %88
%90 = OpFAdd %10 %89 %15
OpStore %88 %90
OpBranch %67
%67 = OpLabel
%92 = OpAccessChain %22 %21 %294
%93 = OpLoad %10 %92
%94 = OpFAdd %10 %93 %15
OpStore %92 %94
OpBranch %68
%68 = OpLabel
%96 = OpAccessChain %22 %21 %294
%97 = OpLoad %10 %96
%98 = OpFAdd %10 %97 %15
OpStore %96 %98
OpBranch %72
%69 = OpLabel
OpBranch %56
%70 = OpLabel
%102 = OpAccessChain %22 %21 %294
%103 = OpLoad %10 %102
%104 = OpFAdd %10 %103 %15
OpStore %102 %104
OpBranch %72
%71 = OpLabel
%107 = OpAccessChain %22 %21 %294
%108 = OpLoad %10 %107
%109 = OpFAdd %10 %108 %15
OpStore %107 %109
OpBranch %72
%72 = OpLabel
OpBranch %57
%57 = OpLabel
%113 = OpIAdd %6 %289 %112
OpBranch %54
%56 = OpLabel
%296 = OpPhi %33 %298 %54 %275 %69
OpSelectionMerge %276 None
OpBranchConditional %296 %47 %276
%276 = OpLabel
OpBranch %48
%48 = OpLabel
%115 = OpIAdd %6 %286 %112
OpBranch %45
%47 = OpLabel
%304 = OpPhi %33 %298 %45 %296 %56
OpSelectionMerge %278 None
OpBranchConditional %304 %38 %278
%278 = OpLabel
%120 = OpAccessChain %119 %117 %118
%121 = OpLoad %10 %120
%124 = OpExtInst %10 %1 FClamp %15 %121 %121
%125 = OpFOrdLessThan %33 %124 %14
OpSelectionMerge %127 None
OpBranchConditional %125 %126 %127
%126 = OpLabel
OpBranch %39
%127 = OpLabel
%133 = OpAccessChain %132 %131 %9
%134 = OpLoad %10 %133
%135 = OpFOrdLessThan %33 %134 %14
OpSelectionMerge %137 None
OpBranchConditional %135 %136 %137
%136 = OpLabel
%139 = OpAccessChain %22 %21 %294
%140 = OpLoad %10 %139
%141 = OpFAdd %10 %140 %15
OpStore %139 %141
OpBranch %137
%137 = OpLabel
%144 = OpFOrdLessThan %33 %121 %14
OpSelectionMerge %146 None
OpBranchConditional %144 %145 %146
%145 = OpLabel
OpTerminateInvocation
%146 = OpLabel
%149 = OpIAdd %6 %294 %112
OpBranch %39
%39 = OpLabel
%357 = OpPhi %6 %294 %126 %149 %146
%151 = OpIAdd %6 %285 %112
OpBranch %36
%38 = OpLabel
%312 = OpPhi %33 %299 %36 %304 %47
OpSelectionMerge %280 None
OpBranchConditional %312 %28 %280
%280 = OpLabel
OpBranch %153
%153 = OpLabel
%322 = OpPhi %6 %294 %280 %249 %156
%313 = OpPhi %6 %42 %280 %257 %156
%159 = OpSLessThan %33 %313 %32
OpLoopMerge %155 %156 None
OpBranchConditional %159 %154 %155
%154 = OpLabel
OpBranch %161
%161 = OpLabel
%314 = OpPhi %6 %9 %154 %247 %164
%168 = OpSLessThan %33 %314 %284
OpLoopMerge %163 %164 None
OpBranchConditional %168 %162 %163
%162 = OpLabel
OpBranch %170
%170 = OpLabel
%326 = OpPhi %6 %9 %162 %245 %173
%177 = OpSLessThan %33 %326 %313
OpLoopMerge %172 %173 None
OpBranchConditional %177 %171 %172
%171 = OpLabel
OpSelectionMerge %188 None
OpSwitch %322 %188 0 %179 1 %180 2 %181 3 %182 4 %183 5 %184 6 %185 7 %186 8 %187
%179 = OpLabel
%190 = OpAccessChain %22 %21 %322
%191 = OpLoad %10 %190
%192 = OpFAdd %10 %191 %15
OpStore %190 %192
%194 = OpAccessChain %193 %13 %118
OpStore %194 %15
OpBranch %180
%180 = OpLabel
%196 = OpAccessChain %22 %21 %322
%197 = OpLoad %10 %196
%198 = OpFAdd %10 %197 %15
OpStore %196 %198
%199 = OpAccessChain %193 %13 %118
OpStore %199 %15
OpBranch %181
%181 = OpLabel
%201 = OpAccessChain %22 %21 %322
%202 = OpLoad %10 %201
%203 = OpFAdd %10 %202 %15
OpStore %201 %203
OpBranch %188
%182 = OpLabel
%206 = OpAccessChain %22 %21 %322
%207 = OpLoad %10 %206
%208 = OpFAdd %10 %207 %15
OpStore %206 %208
%209 = OpAccessChain %193 %13 %118
OpStore %209 %15
OpBranch %183
%183 = OpLabel
%211 = OpAccessChain %22 %21 %322
%212 = OpLoad %10 %211
%213 = OpFAdd %10 %212 %15
OpStore %211 %213
%214 = OpAccessChain %193 %13 %118
OpStore %214 %15
OpBranch %188
%184 = OpLabel
%217 = OpAccessChain %22 %21 %322
%218 = OpLoad %10 %217
%219 = OpFAdd %10 %218 %15
OpStore %217 %219
%221 = OpLoad %10 %23
%222 = OpFOrdNotEqual %33 %221 %14
OpSelectionMerge %224 None
OpBranchConditional %222 %223 %224
%223 = OpLabel
%226 = OpAccessChain %193 %13 %225
OpStore %226 %15
OpBranch %224
%224 = OpLabel
OpBranch %188
%185 = OpLabel
%229 = OpAccessChain %22 %21 %322
%230 = OpLoad %10 %229
%231 = OpFAdd %10 %230 %15
OpStore %229 %231
%232 = OpAccessChain %193 %13 %118
OpStore %232 %15
OpBranch %186
%186 = OpLabel
%234 = OpAccessChain %22 %21 %322
%235 = OpLoad %10 %234
%236 = OpFAdd %10 %235 %15
OpStore %234 %236
%237 = OpAccessChain %193 %13 %118
OpStore %237 %15
OpBranch %187
%187 = OpLabel
%239 = OpAccessChain %22 %21 %322
%240 = OpLoad %10 %239
%241 = OpFAdd %10 %240 %15
OpStore %239 %241
%242 = OpAccessChain %193 %13 %118
OpStore %242 %15
OpBranch %188
%188 = OpLabel
OpBranch %173
%173 = OpLabel
%245 = OpIAdd %6 %326 %112
OpBranch %170
%172 = OpLabel
OpBranch %164
%164 = OpLabel
%247 = OpIAdd %6 %314 %112
OpBranch %161
%163 = OpLabel
%249 = OpIAdd %6 %322 %112
%250 = OpAccessChain %132 %131 %9
%251 = OpLoad %10 %250
%252 = OpFOrdLessThan %33 %251 %15
OpSelectionMerge %254 None
OpBranchConditional %252 %253 %254
%253 = OpLabel
OpBranch %155
%254 = OpLabel
OpBranch %156
%156 = OpLabel
%257 = OpIAdd %6 %313 %112
OpBranch %153
%155 = OpLabel
%356 = OpPhi %6 %322 %153 %249 %253
OpBranch %29
%29 = OpLabel
%259 = OpIAdd %6 %284 %112
OpBranch %26
%28 = OpLabel
%342 = OpPhi %33 %300 %26 %312 %38
OpSelectionMerge %282 None
OpBranchConditional %342 %268 %282
%282 = OpLabel
%261 = OpLoad %10 %23
%262 = OpFOrdEqual %33 %261 %14
OpSelectionMerge %264 None
OpBranchConditional %262 %263 %266
%263 = OpLabel
OpStore %13 %265
OpBranch %264
%266 = OpLabel
OpStore %13 %267
OpBranch %264
%264 = OpLabel
OpBranch %268
%271 = OpLabel
OpBranch %269
%268 = OpLabel
OpReturn
OpFunctionEnd
END
# uniforms for variant
# zero
BUFFER variant_zero DATA_TYPE float DATA
0.0
END
BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics variant_pipeline
ATTACH variant_vertex_shader
ATTACH variant_fragment_shader
FRAMEBUFFER_SIZE 64 64
BIND BUFFER variant_framebuffer AS color LOCATION 0
BIND BUFFER variant_zero 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 64 64
EXPECT variant_framebuffer IDX 0 0 SIZE 64 64 EQ_RGBA 255 0 0 255
Reference in New Issue View Git Blame Copy Permalink