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-instruction-simplify-inst-combine-calls-for-compare-function-call-result.amber
T
kbz_8 fd7038b853 yes
2026-05-06 23:44:13 +02:00

559 lines
19 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.
# A test for a coverage-gap found by the GraphicsFuzz project.
# Short description: A fragment shader that covers a specific instruction simplification path
# 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 310 es
# #define _int_0 _GLF_uniform_int_values[0]
# #define _int_2 _GLF_uniform_int_values[1]
# #define _int_3 _GLF_uniform_int_values[2]
# #define _int_4 _GLF_uniform_int_values[3]
# #define _int_5 _GLF_uniform_int_values[4]
# #define _int_6 _GLF_uniform_int_values[5]
# #define _int_10 _GLF_uniform_int_values[6]
# #define _int_11 _GLF_uniform_int_values[7]
# #define _int_7 _GLF_uniform_int_values[8]
# #define _int_8 _GLF_uniform_int_values[9]
# #define _int_9 _GLF_uniform_int_values[10]
# #define _int_1 _GLF_uniform_int_values[11]
#
# precision highp float;
#
# // Contents of _GLF_uniform_int_values: [0, 2, 3, 4, 5, 6, 10, 11, 7, 8, 9, 1]
# layout(set = 0, binding = 0) uniform buf0
# {
# int _GLF_uniform_int_values[12];
# };
#
# layout(location = 0) out vec4 _GLF_color;
#
# // Always returns a.
# int f(int a)
# {
# for (int i = _int_0; i < _int_10; i++)
# {
# if (i > _int_3)
# {
# return a;
# }
# }
# return _int_0;
# }
# void main()
# {
# int a[10];
# int ref[10];
# ref[_int_0] = _int_2;
# ref[_int_1] = _int_3;
# ref[_int_2] = _int_4;
# ref[_int_3] = _int_5;
# ref[_int_4] = _int_6;
#
# ref[_int_5] = _int_10;
# ref[_int_6] = _int_11;
#
# ref[_int_7] = _int_7;
# ref[_int_8] = _int_8;
# ref[_int_9] = _int_9;
#
# for (int i = _int_0; i < _int_10; i++)
# {
# a[i] = i;
#
# // True for i = 0..4.
# if (i < _int_10 / _int_2)
# {
# a[i] = i + _int_2;
#
# // Always true.
# if (i < _int_10)
# {
# continue;
# }
#
# // Unreachable code below.
# a[i] = i + _int_7;
#
# if (f(a[i]) < _int_7)
# {
# a[i]--;
# }
# }
# else
# {
# // True for i = 5..6.
# if (f(a[i]) < _int_7)
# {
# a[i] += _int_5;
# }
# }
# }
# for (int i = _int_0; i < _int_10; i++)
# {
# if (a[i] != ref[i])
# {
# _GLF_color = vec4(_int_0);
# return;
# }
# }
# _GLF_color = vec4(_int_1, _int_0, _int_0, _int_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: 235
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %214
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 310
OpName %4 "main"
OpName %10 "f(i1;"
OpName %9 "a"
OpName %12 "i"
OpName %16 "buf0"
OpMemberName %16 0 "_GLF_uniform_int_values"
OpName %18 ""
OpName %53 "ref"
OpName %112 "i"
OpName %124 "a"
OpName %157 "param"
OpName %172 "param"
OpName %190 "i"
OpName %214 "_GLF_color"
OpDecorate %10 RelaxedPrecision
OpDecorate %9 RelaxedPrecision
OpDecorate %12 RelaxedPrecision
OpDecorate %15 ArrayStride 16
OpMemberDecorate %16 0 RelaxedPrecision
OpMemberDecorate %16 0 Offset 0
OpDecorate %16 Block
OpDecorate %18 DescriptorSet 0
OpDecorate %18 Binding 0
OpDecorate %22 RelaxedPrecision
OpDecorate %28 RelaxedPrecision
OpDecorate %31 RelaxedPrecision
OpDecorate %34 RelaxedPrecision
OpDecorate %37 RelaxedPrecision
OpDecorate %41 RelaxedPrecision
OpDecorate %43 RelaxedPrecision
OpDecorate %45 RelaxedPrecision
OpDecorate %47 RelaxedPrecision
OpDecorate %53 RelaxedPrecision
OpDecorate %55 RelaxedPrecision
OpDecorate %57 RelaxedPrecision
OpDecorate %61 RelaxedPrecision
OpDecorate %63 RelaxedPrecision
OpDecorate %66 RelaxedPrecision
OpDecorate %69 RelaxedPrecision
OpDecorate %72 RelaxedPrecision
OpDecorate %75 RelaxedPrecision
OpDecorate %78 RelaxedPrecision
OpDecorate %81 RelaxedPrecision
OpDecorate %84 RelaxedPrecision
OpDecorate %86 RelaxedPrecision
OpDecorate %89 RelaxedPrecision
OpDecorate %92 RelaxedPrecision
OpDecorate %96 RelaxedPrecision
OpDecorate %98 RelaxedPrecision
OpDecorate %102 RelaxedPrecision
OpDecorate %104 RelaxedPrecision
OpDecorate %108 RelaxedPrecision
OpDecorate %110 RelaxedPrecision
OpDecorate %112 RelaxedPrecision
OpDecorate %114 RelaxedPrecision
OpDecorate %120 RelaxedPrecision
OpDecorate %122 RelaxedPrecision
OpDecorate %124 RelaxedPrecision
OpDecorate %125 RelaxedPrecision
OpDecorate %126 RelaxedPrecision
OpDecorate %128 RelaxedPrecision
OpDecorate %130 RelaxedPrecision
OpDecorate %132 RelaxedPrecision
OpDecorate %133 RelaxedPrecision
OpDecorate %137 RelaxedPrecision
OpDecorate %138 RelaxedPrecision
OpDecorate %140 RelaxedPrecision
OpDecorate %141 RelaxedPrecision
OpDecorate %143 RelaxedPrecision
OpDecorate %145 RelaxedPrecision
OpDecorate %150 RelaxedPrecision
OpDecorate %151 RelaxedPrecision
OpDecorate %153 RelaxedPrecision
OpDecorate %154 RelaxedPrecision
OpDecorate %156 RelaxedPrecision
OpDecorate %159 RelaxedPrecision
OpDecorate %160 RelaxedPrecision
OpDecorate %162 RelaxedPrecision
OpDecorate %166 RelaxedPrecision
OpDecorate %168 RelaxedPrecision
OpDecorate %169 RelaxedPrecision
OpDecorate %171 RelaxedPrecision
OpDecorate %174 RelaxedPrecision
OpDecorate %175 RelaxedPrecision
OpDecorate %177 RelaxedPrecision
OpDecorate %181 RelaxedPrecision
OpDecorate %183 RelaxedPrecision
OpDecorate %185 RelaxedPrecision
OpDecorate %186 RelaxedPrecision
OpDecorate %188 RelaxedPrecision
OpDecorate %189 RelaxedPrecision
OpDecorate %190 RelaxedPrecision
OpDecorate %192 RelaxedPrecision
OpDecorate %198 RelaxedPrecision
OpDecorate %200 RelaxedPrecision
OpDecorate %202 RelaxedPrecision
OpDecorate %204 RelaxedPrecision
OpDecorate %205 RelaxedPrecision
OpDecorate %207 RelaxedPrecision
OpDecorate %214 Location 0
OpDecorate %216 RelaxedPrecision
OpDecorate %220 RelaxedPrecision
OpDecorate %221 RelaxedPrecision
OpDecorate %223 RelaxedPrecision
OpDecorate %226 RelaxedPrecision
OpDecorate %229 RelaxedPrecision
OpDecorate %232 RelaxedPrecision
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeInt 32 1
%7 = OpTypePointer Function %6
%8 = OpTypeFunction %6 %7
%13 = OpTypeInt 32 0
%14 = OpConstant %13 12
%15 = OpTypeArray %6 %14
%16 = OpTypeStruct %15
%17 = OpTypePointer Uniform %16
%18 = OpVariable %17 Uniform
%19 = OpConstant %6 0
%20 = OpTypePointer Uniform %6
%29 = OpConstant %6 6
%32 = OpTypeBool
%35 = OpConstant %6 2
%44 = OpConstant %6 1
%50 = OpConstant %13 10
%51 = OpTypeArray %6 %50
%52 = OpTypePointer Function %51
%59 = OpConstant %6 11
%67 = OpConstant %6 3
%73 = OpConstant %6 4
%79 = OpConstant %6 5
%90 = OpConstant %6 7
%94 = OpConstant %6 8
%100 = OpConstant %6 9
%106 = OpConstant %6 10
%211 = OpTypeFloat 32
%212 = OpTypeVector %211 4
%213 = OpTypePointer Output %212
%214 = OpVariable %213 Output
%4 = OpFunction %2 None %3
%5 = OpLabel
%53 = OpVariable %52 Function
%112 = OpVariable %7 Function
%124 = OpVariable %52 Function
%157 = OpVariable %7 Function
%172 = OpVariable %7 Function
%190 = OpVariable %7 Function
%54 = OpAccessChain %20 %18 %19 %19
%55 = OpLoad %6 %54
%56 = OpAccessChain %20 %18 %19 %44
%57 = OpLoad %6 %56
%58 = OpAccessChain %7 %53 %55
OpStore %58 %57
%60 = OpAccessChain %20 %18 %19 %59
%61 = OpLoad %6 %60
%62 = OpAccessChain %20 %18 %19 %35
%63 = OpLoad %6 %62
%64 = OpAccessChain %7 %53 %61
OpStore %64 %63
%65 = OpAccessChain %20 %18 %19 %44
%66 = OpLoad %6 %65
%68 = OpAccessChain %20 %18 %19 %67
%69 = OpLoad %6 %68
%70 = OpAccessChain %7 %53 %66
OpStore %70 %69
%71 = OpAccessChain %20 %18 %19 %35
%72 = OpLoad %6 %71
%74 = OpAccessChain %20 %18 %19 %73
%75 = OpLoad %6 %74
%76 = OpAccessChain %7 %53 %72
OpStore %76 %75
%77 = OpAccessChain %20 %18 %19 %67
%78 = OpLoad %6 %77
%80 = OpAccessChain %20 %18 %19 %79
%81 = OpLoad %6 %80
%82 = OpAccessChain %7 %53 %78
OpStore %82 %81
%83 = OpAccessChain %20 %18 %19 %73
%84 = OpLoad %6 %83
%85 = OpAccessChain %20 %18 %19 %29
%86 = OpLoad %6 %85
%87 = OpAccessChain %7 %53 %84
OpStore %87 %86
%88 = OpAccessChain %20 %18 %19 %79
%89 = OpLoad %6 %88
%91 = OpAccessChain %20 %18 %19 %90
%92 = OpLoad %6 %91
%93 = OpAccessChain %7 %53 %89
OpStore %93 %92
%95 = OpAccessChain %20 %18 %19 %94
%96 = OpLoad %6 %95
%97 = OpAccessChain %20 %18 %19 %94
%98 = OpLoad %6 %97
%99 = OpAccessChain %7 %53 %96
OpStore %99 %98
%101 = OpAccessChain %20 %18 %19 %100
%102 = OpLoad %6 %101
%103 = OpAccessChain %20 %18 %19 %100
%104 = OpLoad %6 %103
%105 = OpAccessChain %7 %53 %102
OpStore %105 %104
%107 = OpAccessChain %20 %18 %19 %106
%108 = OpLoad %6 %107
%109 = OpAccessChain %20 %18 %19 %106
%110 = OpLoad %6 %109
%111 = OpAccessChain %7 %53 %108
OpStore %111 %110
%113 = OpAccessChain %20 %18 %19 %19
%114 = OpLoad %6 %113
OpStore %112 %114
OpBranch %115
%115 = OpLabel
OpLoopMerge %117 %118 None
OpBranch %119
%119 = OpLabel
%120 = OpLoad %6 %112
%121 = OpAccessChain %20 %18 %19 %29
%122 = OpLoad %6 %121
%123 = OpSLessThan %32 %120 %122
OpBranchConditional %123 %116 %117
%116 = OpLabel
%125 = OpLoad %6 %112
%126 = OpLoad %6 %112
%127 = OpAccessChain %7 %124 %125
OpStore %127 %126
%128 = OpLoad %6 %112
%129 = OpAccessChain %20 %18 %19 %29
%130 = OpLoad %6 %129
%131 = OpAccessChain %20 %18 %19 %44
%132 = OpLoad %6 %131
%133 = OpSDiv %6 %130 %132
%134 = OpSLessThan %32 %128 %133
OpSelectionMerge %136 None
OpBranchConditional %134 %135 %170
%135 = OpLabel
%137 = OpLoad %6 %112
%138 = OpLoad %6 %112
%139 = OpAccessChain %20 %18 %19 %44
%140 = OpLoad %6 %139
%141 = OpIAdd %6 %138 %140
%142 = OpAccessChain %7 %124 %137
OpStore %142 %141
%143 = OpLoad %6 %112
%144 = OpAccessChain %20 %18 %19 %29
%145 = OpLoad %6 %144
%146 = OpSLessThan %32 %143 %145
OpSelectionMerge %148 None
OpBranchConditional %146 %147 %148
%147 = OpLabel
OpBranch %118
%148 = OpLabel
%150 = OpLoad %6 %112
%151 = OpLoad %6 %112
%152 = OpAccessChain %20 %18 %19 %94
%153 = OpLoad %6 %152
%154 = OpIAdd %6 %151 %153
%155 = OpAccessChain %7 %124 %150
OpStore %155 %154
%156 = OpLoad %6 %112
%158 = OpAccessChain %7 %124 %156
%159 = OpLoad %6 %158
OpStore %157 %159
%160 = OpFunctionCall %6 %10 %157
%161 = OpAccessChain %20 %18 %19 %94
%162 = OpLoad %6 %161
%163 = OpSLessThan %32 %160 %162
OpSelectionMerge %165 None
OpBranchConditional %163 %164 %165
%164 = OpLabel
%166 = OpLoad %6 %112
%167 = OpAccessChain %7 %124 %166
%168 = OpLoad %6 %167
%169 = OpISub %6 %168 %44
OpStore %167 %169
OpBranch %165
%165 = OpLabel
OpBranch %136
%170 = OpLabel
%171 = OpLoad %6 %112
%173 = OpAccessChain %7 %124 %171
%174 = OpLoad %6 %173
OpStore %172 %174
%175 = OpFunctionCall %6 %10 %172
%176 = OpAccessChain %20 %18 %19 %94
%177 = OpLoad %6 %176
%178 = OpSLessThan %32 %175 %177
OpSelectionMerge %180 None
OpBranchConditional %178 %179 %180
%179 = OpLabel
%181 = OpLoad %6 %112
%182 = OpAccessChain %20 %18 %19 %73
%183 = OpLoad %6 %182
%184 = OpAccessChain %7 %124 %181
%185 = OpLoad %6 %184
%186 = OpIAdd %6 %185 %183
%187 = OpAccessChain %7 %124 %181
OpStore %187 %186
OpBranch %180
%180 = OpLabel
OpBranch %136
%136 = OpLabel
OpBranch %118
%118 = OpLabel
%188 = OpLoad %6 %112
%189 = OpIAdd %6 %188 %44
OpStore %112 %189
OpBranch %115
%117 = OpLabel
%191 = OpAccessChain %20 %18 %19 %19
%192 = OpLoad %6 %191
OpStore %190 %192
OpBranch %193
%193 = OpLabel
OpLoopMerge %195 %196 None
OpBranch %197
%197 = OpLabel
%198 = OpLoad %6 %190
%199 = OpAccessChain %20 %18 %19 %29
%200 = OpLoad %6 %199
%201 = OpSLessThan %32 %198 %200
OpBranchConditional %201 %194 %195
%194 = OpLabel
%202 = OpLoad %6 %190
%203 = OpAccessChain %7 %124 %202
%204 = OpLoad %6 %203
%205 = OpLoad %6 %190
%206 = OpAccessChain %7 %53 %205
%207 = OpLoad %6 %206
%208 = OpINotEqual %32 %204 %207
OpSelectionMerge %210 None
OpBranchConditional %208 %209 %210
%209 = OpLabel
%215 = OpAccessChain %20 %18 %19 %19
%216 = OpLoad %6 %215
%217 = OpConvertSToF %211 %216
%218 = OpCompositeConstruct %212 %217 %217 %217 %217
OpStore %214 %218
OpReturn
%210 = OpLabel
OpBranch %196
%196 = OpLabel
%220 = OpLoad %6 %190
%221 = OpIAdd %6 %220 %44
OpStore %190 %221
OpBranch %193
%195 = OpLabel
%222 = OpAccessChain %20 %18 %19 %59
%223 = OpLoad %6 %222
%224 = OpConvertSToF %211 %223
%225 = OpAccessChain %20 %18 %19 %19
%226 = OpLoad %6 %225
%227 = OpConvertSToF %211 %226
%228 = OpAccessChain %20 %18 %19 %19
%229 = OpLoad %6 %228
%230 = OpConvertSToF %211 %229
%231 = OpAccessChain %20 %18 %19 %59
%232 = OpLoad %6 %231
%233 = OpConvertSToF %211 %232
%234 = OpCompositeConstruct %212 %224 %227 %230 %233
OpStore %214 %234
OpReturn
OpFunctionEnd
%10 = OpFunction %6 None %8
%9 = OpFunctionParameter %7
%11 = OpLabel
%12 = OpVariable %7 Function
%21 = OpAccessChain %20 %18 %19 %19
%22 = OpLoad %6 %21
OpStore %12 %22
OpBranch %23
%23 = OpLabel
OpLoopMerge %25 %26 None
OpBranch %27
%27 = OpLabel
%28 = OpLoad %6 %12
%30 = OpAccessChain %20 %18 %19 %29
%31 = OpLoad %6 %30
%33 = OpSLessThan %32 %28 %31
OpBranchConditional %33 %24 %25
%24 = OpLabel
%34 = OpLoad %6 %12
%36 = OpAccessChain %20 %18 %19 %35
%37 = OpLoad %6 %36
%38 = OpSGreaterThan %32 %34 %37
OpSelectionMerge %40 None
OpBranchConditional %38 %39 %40
%39 = OpLabel
%41 = OpLoad %6 %9
OpReturnValue %41
%40 = OpLabel
OpBranch %26
%26 = OpLabel
%43 = OpLoad %6 %12
%45 = OpIAdd %6 %43 %44
OpStore %12 %45
OpBranch %23
%25 = OpLabel
%46 = OpAccessChain %20 %18 %19 %19
%47 = OpLoad %6 %46
OpReturnValue %47
OpFunctionEnd
END
# uniforms for variant
# _GLF_uniform_int_values
BUFFER variant__GLF_uniform_int_values DATA_TYPE int32[] STD140 DATA
0 2 3 4 5 6 10 11 7 8 9 1
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 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