blob: 1b45fef78ed4c65f807828fc4727ac5693410692 [file] [log] [blame]
#!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 bug found by GraphicsFuzz.
# Short description: A fragment shader with conditional bitwise or clamped
# The test passes because both shaders render the same image.
SHADER vertex reference_vertex_shader PASSTHROUGH
# reference_fragment_shader is derived from the following GLSL:
# #version 320 es
# precision highp float;
#
# precision highp int;
#
# layout(location = 0) out vec4 _GLF_color;
#
# layout(set = 0, binding = 0) uniform buf0
# {
# vec2 resolution;
# };
# struct QuicksortObject
# {
# int numbers[10];
# };
#
# QuicksortObject obj;
#
# void swap(int i, int j)
# {
# int temp = obj.numbers[i];
# obj.numbers[i] = obj.numbers[j];
# obj.numbers[j] = temp;
# }
# int performPartition(int l, int h)
# {
# int pivot = obj.numbers[h];
# int i = l - 1;
# for (int j = l; j <= h - 1; j++)
# {
# if (obj.numbers[j] <= pivot)
# {
# i++;
# swap(i, j);
# }
# }
# i++;
# swap(i, h);
# return i;
# }
# void quicksort()
# {
# int l = 0, h = 9;
# int stack[10];
# int top = -1;
# stack[++top] = l;
# stack[++top] = h;
# while (top >= 0)
# {
# h = stack[top--];
# l = stack[top--];
# int p = performPartition(l, h);
# if (p - 1 > l)
# {
# stack[++top] = l;
# stack[++top] = p - 1;
# }
# if (p + 1 < h)
# {
# stack[++top] = p + 1;
# stack[++top] = h;
# }
# }
# }
# void main()
# {
# for (int i = 0; i < 10; i++)
# {
# obj.numbers[i] = (10 - i);
# obj.numbers[i] = obj.numbers[i] * obj.numbers[i];
# }
# quicksort();
# vec2 uv = gl_FragCoord.xy / resolution;
# vec3 color = vec3(1.0, 2.0, 3.0);
# color.x += float(obj.numbers[0]);
# if (uv.x > (1.0 / 4.0))
# {
# color.x += float(obj.numbers[1]);
# }
# if (uv.x > (2.0 / 4.0))
# {
# color.y += float(obj.numbers[2]);
# }
# if (uv.x > (3.0 / 4.0))
# {
# color.z += float(obj.numbers[3]);
# }
# color.y += float(obj.numbers[4]);
# if (uv.y > (1.0 / 4.0))
# {
# color.x += float(obj.numbers[5]);
# }
# if (uv.y > (2.0 / 4.0))
# {
# color.y += float(obj.numbers[6]);
# }
# if (uv.y > (3.0 / 4.0))
# {
# color.z += float(obj.numbers[7]);
# }
# color.z += float(obj.numbers[8]);
# if (abs(uv.x - uv.y) < 0.25)
# {
# color.x += float(obj.numbers[9]);
# }
# _GLF_color = vec4(normalize(color), 1.0);
# }
SHADER fragment reference_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 10
; Bound: 331
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %183 %324
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %11 "swap(i1;i1;"
OpName %9 "i"
OpName %10 "j"
OpName %16 "performPartition(i1;i1;"
OpName %14 "l"
OpName %15 "h"
OpName %18 "quicksort("
OpName %20 "temp"
OpName %24 "QuicksortObject"
OpMemberName %24 0 "numbers"
OpName %26 "obj"
OpName %40 "pivot"
OpName %44 "i"
OpName %48 "j"
OpName %69 "param"
OpName %71 "param"
OpName %78 "param"
OpName %80 "param"
OpName %86 "l"
OpName %87 "h"
OpName %89 "top"
OpName %92 "stack"
OpName %116 "p"
OpName %117 "param"
OpName %119 "param"
OpName %152 "i"
OpName %180 "uv"
OpName %183 "gl_FragCoord"
OpName %186 "buf0"
OpMemberName %186 0 "resolution"
OpName %188 ""
OpName %195 "color"
OpName %324 "_GLF_color"
OpDecorate %183 BuiltIn FragCoord
OpMemberDecorate %186 0 Offset 0
OpDecorate %186 Block
OpDecorate %188 DescriptorSet 0
OpDecorate %188 Binding 0
OpDecorate %324 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeInt 32 1
%7 = OpTypePointer Function %6
%8 = OpTypeFunction %2 %7 %7
%13 = OpTypeFunction %6 %7 %7
%21 = OpTypeInt 32 0
%22 = OpConstant %21 10
%23 = OpTypeArray %6 %22
%24 = OpTypeStruct %23
%25 = OpTypePointer Private %24
%26 = OpVariable %25 Private
%27 = OpConstant %6 0
%29 = OpTypePointer Private %6
%46 = OpConstant %6 1
%58 = OpTypeBool
%88 = OpConstant %6 9
%90 = OpConstant %6 -1
%91 = OpTypePointer Function %23
%159 = OpConstant %6 10
%177 = OpTypeFloat 32
%178 = OpTypeVector %177 2
%179 = OpTypePointer Function %178
%181 = OpTypeVector %177 4
%182 = OpTypePointer Input %181
%183 = OpVariable %182 Input
%186 = OpTypeStruct %178
%187 = OpTypePointer Uniform %186
%188 = OpVariable %187 Uniform
%189 = OpTypePointer Uniform %178
%193 = OpTypeVector %177 3
%194 = OpTypePointer Function %193
%196 = OpConstant %177 1
%197 = OpConstant %177 2
%198 = OpConstant %177 3
%199 = OpConstantComposite %193 %196 %197 %198
%203 = OpConstant %21 0
%204 = OpTypePointer Function %177
%211 = OpConstant %177 0.25
%224 = OpConstant %177 0.5
%228 = OpConstant %6 2
%232 = OpConstant %21 1
%239 = OpConstant %177 0.75
%243 = OpConstant %6 3
%247 = OpConstant %21 2
%252 = OpConstant %6 4
%265 = OpConstant %6 5
%278 = OpConstant %6 6
%291 = OpConstant %6 7
%299 = OpConstant %6 8
%323 = OpTypePointer Output %181
%324 = OpVariable %323 Output
%4 = OpFunction %2 None %3
%5 = OpLabel
%152 = OpVariable %7 Function
%180 = OpVariable %179 Function
%195 = OpVariable %194 Function
OpStore %152 %27
OpBranch %153
%153 = OpLabel
OpLoopMerge %155 %156 None
OpBranch %157
%157 = OpLabel
%158 = OpLoad %6 %152
%160 = OpSLessThan %58 %158 %159
OpBranchConditional %160 %154 %155
%154 = OpLabel
%161 = OpLoad %6 %152
%162 = OpLoad %6 %152
%163 = OpISub %6 %159 %162
%164 = OpAccessChain %29 %26 %27 %161
OpStore %164 %163
%165 = OpLoad %6 %152
%166 = OpLoad %6 %152
%167 = OpAccessChain %29 %26 %27 %166
%168 = OpLoad %6 %167
%169 = OpLoad %6 %152
%170 = OpAccessChain %29 %26 %27 %169
%171 = OpLoad %6 %170
%172 = OpIMul %6 %168 %171
%173 = OpAccessChain %29 %26 %27 %165
OpStore %173 %172
OpBranch %156
%156 = OpLabel
%174 = OpLoad %6 %152
%175 = OpIAdd %6 %174 %46
OpStore %152 %175
OpBranch %153
%155 = OpLabel
%176 = OpFunctionCall %2 %18
%184 = OpLoad %181 %183
%185 = OpVectorShuffle %178 %184 %184 0 1
%190 = OpAccessChain %189 %188 %27
%191 = OpLoad %178 %190
%192 = OpFDiv %178 %185 %191
OpStore %180 %192
OpStore %195 %199
%200 = OpAccessChain %29 %26 %27 %27
%201 = OpLoad %6 %200
%202 = OpConvertSToF %177 %201
%205 = OpAccessChain %204 %195 %203
%206 = OpLoad %177 %205
%207 = OpFAdd %177 %206 %202
%208 = OpAccessChain %204 %195 %203
OpStore %208 %207
%209 = OpAccessChain %204 %180 %203
%210 = OpLoad %177 %209
%212 = OpFOrdGreaterThan %58 %210 %211
OpSelectionMerge %214 None
OpBranchConditional %212 %213 %214
%213 = OpLabel
%215 = OpAccessChain %29 %26 %27 %46
%216 = OpLoad %6 %215
%217 = OpConvertSToF %177 %216
%218 = OpAccessChain %204 %195 %203
%219 = OpLoad %177 %218
%220 = OpFAdd %177 %219 %217
%221 = OpAccessChain %204 %195 %203
OpStore %221 %220
OpBranch %214
%214 = OpLabel
%222 = OpAccessChain %204 %180 %203
%223 = OpLoad %177 %222
%225 = OpFOrdGreaterThan %58 %223 %224
OpSelectionMerge %227 None
OpBranchConditional %225 %226 %227
%226 = OpLabel
%229 = OpAccessChain %29 %26 %27 %228
%230 = OpLoad %6 %229
%231 = OpConvertSToF %177 %230
%233 = OpAccessChain %204 %195 %232
%234 = OpLoad %177 %233
%235 = OpFAdd %177 %234 %231
%236 = OpAccessChain %204 %195 %232
OpStore %236 %235
OpBranch %227
%227 = OpLabel
%237 = OpAccessChain %204 %180 %203
%238 = OpLoad %177 %237
%240 = OpFOrdGreaterThan %58 %238 %239
OpSelectionMerge %242 None
OpBranchConditional %240 %241 %242
%241 = OpLabel
%244 = OpAccessChain %29 %26 %27 %243
%245 = OpLoad %6 %244
%246 = OpConvertSToF %177 %245
%248 = OpAccessChain %204 %195 %247
%249 = OpLoad %177 %248
%250 = OpFAdd %177 %249 %246
%251 = OpAccessChain %204 %195 %247
OpStore %251 %250
OpBranch %242
%242 = OpLabel
%253 = OpAccessChain %29 %26 %27 %252
%254 = OpLoad %6 %253
%255 = OpConvertSToF %177 %254
%256 = OpAccessChain %204 %195 %232
%257 = OpLoad %177 %256
%258 = OpFAdd %177 %257 %255
%259 = OpAccessChain %204 %195 %232
OpStore %259 %258
%260 = OpAccessChain %204 %180 %232
%261 = OpLoad %177 %260
%262 = OpFOrdGreaterThan %58 %261 %211
OpSelectionMerge %264 None
OpBranchConditional %262 %263 %264
%263 = OpLabel
%266 = OpAccessChain %29 %26 %27 %265
%267 = OpLoad %6 %266
%268 = OpConvertSToF %177 %267
%269 = OpAccessChain %204 %195 %203
%270 = OpLoad %177 %269
%271 = OpFAdd %177 %270 %268
%272 = OpAccessChain %204 %195 %203
OpStore %272 %271
OpBranch %264
%264 = OpLabel
%273 = OpAccessChain %204 %180 %232
%274 = OpLoad %177 %273
%275 = OpFOrdGreaterThan %58 %274 %224
OpSelectionMerge %277 None
OpBranchConditional %275 %276 %277
%276 = OpLabel
%279 = OpAccessChain %29 %26 %27 %278
%280 = OpLoad %6 %279
%281 = OpConvertSToF %177 %280
%282 = OpAccessChain %204 %195 %232
%283 = OpLoad %177 %282
%284 = OpFAdd %177 %283 %281
%285 = OpAccessChain %204 %195 %232
OpStore %285 %284
OpBranch %277
%277 = OpLabel
%286 = OpAccessChain %204 %180 %232
%287 = OpLoad %177 %286
%288 = OpFOrdGreaterThan %58 %287 %239
OpSelectionMerge %290 None
OpBranchConditional %288 %289 %290
%289 = OpLabel
%292 = OpAccessChain %29 %26 %27 %291
%293 = OpLoad %6 %292
%294 = OpConvertSToF %177 %293
%295 = OpAccessChain %204 %195 %247
%296 = OpLoad %177 %295
%297 = OpFAdd %177 %296 %294
%298 = OpAccessChain %204 %195 %247
OpStore %298 %297
OpBranch %290
%290 = OpLabel
%300 = OpAccessChain %29 %26 %27 %299
%301 = OpLoad %6 %300
%302 = OpConvertSToF %177 %301
%303 = OpAccessChain %204 %195 %247
%304 = OpLoad %177 %303
%305 = OpFAdd %177 %304 %302
%306 = OpAccessChain %204 %195 %247
OpStore %306 %305
%307 = OpAccessChain %204 %180 %203
%308 = OpLoad %177 %307
%309 = OpAccessChain %204 %180 %232
%310 = OpLoad %177 %309
%311 = OpFSub %177 %308 %310
%312 = OpExtInst %177 %1 FAbs %311
%313 = OpFOrdLessThan %58 %312 %211
OpSelectionMerge %315 None
OpBranchConditional %313 %314 %315
%314 = OpLabel
%316 = OpAccessChain %29 %26 %27 %88
%317 = OpLoad %6 %316
%318 = OpConvertSToF %177 %317
%319 = OpAccessChain %204 %195 %203
%320 = OpLoad %177 %319
%321 = OpFAdd %177 %320 %318
%322 = OpAccessChain %204 %195 %203
OpStore %322 %321
OpBranch %315
%315 = OpLabel
%325 = OpLoad %193 %195
%326 = OpExtInst %193 %1 Normalize %325
%327 = OpCompositeExtract %177 %326 0
%328 = OpCompositeExtract %177 %326 1
%329 = OpCompositeExtract %177 %326 2
%330 = OpCompositeConstruct %181 %327 %328 %329 %196
OpStore %324 %330
OpReturn
OpFunctionEnd
%11 = OpFunction %2 None %8
%9 = OpFunctionParameter %7
%10 = OpFunctionParameter %7
%12 = OpLabel
%20 = OpVariable %7 Function
%28 = OpLoad %6 %9
%30 = OpAccessChain %29 %26 %27 %28
%31 = OpLoad %6 %30
OpStore %20 %31
%32 = OpLoad %6 %9
%33 = OpLoad %6 %10
%34 = OpAccessChain %29 %26 %27 %33
%35 = OpLoad %6 %34
%36 = OpAccessChain %29 %26 %27 %32
OpStore %36 %35
%37 = OpLoad %6 %10
%38 = OpLoad %6 %20
%39 = OpAccessChain %29 %26 %27 %37
OpStore %39 %38
OpReturn
OpFunctionEnd
%16 = OpFunction %6 None %13
%14 = OpFunctionParameter %7
%15 = OpFunctionParameter %7
%17 = OpLabel
%40 = OpVariable %7 Function
%44 = OpVariable %7 Function
%48 = OpVariable %7 Function
%69 = OpVariable %7 Function
%71 = OpVariable %7 Function
%78 = OpVariable %7 Function
%80 = OpVariable %7 Function
%41 = OpLoad %6 %15
%42 = OpAccessChain %29 %26 %27 %41
%43 = OpLoad %6 %42
OpStore %40 %43
%45 = OpLoad %6 %14
%47 = OpISub %6 %45 %46
OpStore %44 %47
%49 = OpLoad %6 %14
OpStore %48 %49
OpBranch %50
%50 = OpLabel
OpLoopMerge %52 %53 None
OpBranch %54
%54 = OpLabel
%55 = OpLoad %6 %48
%56 = OpLoad %6 %15
%57 = OpISub %6 %56 %46
%59 = OpSLessThanEqual %58 %55 %57
OpBranchConditional %59 %51 %52
%51 = OpLabel
%60 = OpLoad %6 %48
%61 = OpAccessChain %29 %26 %27 %60
%62 = OpLoad %6 %61
%63 = OpLoad %6 %40
%64 = OpSLessThanEqual %58 %62 %63
OpSelectionMerge %66 None
OpBranchConditional %64 %65 %66
%65 = OpLabel
%67 = OpLoad %6 %44
%68 = OpIAdd %6 %67 %46
OpStore %44 %68
%70 = OpLoad %6 %44
OpStore %69 %70
%72 = OpLoad %6 %48
OpStore %71 %72
%73 = OpFunctionCall %2 %11 %69 %71
OpBranch %66
%66 = OpLabel
OpBranch %53
%53 = OpLabel
%74 = OpLoad %6 %48
%75 = OpIAdd %6 %74 %46
OpStore %48 %75
OpBranch %50
%52 = OpLabel
%76 = OpLoad %6 %44
%77 = OpIAdd %6 %76 %46
OpStore %44 %77
%79 = OpLoad %6 %44
OpStore %78 %79
%81 = OpLoad %6 %15
OpStore %80 %81
%82 = OpFunctionCall %2 %11 %78 %80
%83 = OpLoad %6 %44
OpReturnValue %83
OpFunctionEnd
%18 = OpFunction %2 None %3
%19 = OpLabel
%86 = OpVariable %7 Function
%87 = OpVariable %7 Function
%89 = OpVariable %7 Function
%92 = OpVariable %91 Function
%116 = OpVariable %7 Function
%117 = OpVariable %7 Function
%119 = OpVariable %7 Function
OpStore %86 %27
OpStore %87 %88
OpStore %89 %90
%93 = OpLoad %6 %89
%94 = OpIAdd %6 %93 %46
OpStore %89 %94
%95 = OpLoad %6 %86
%96 = OpAccessChain %7 %92 %94
OpStore %96 %95
%97 = OpLoad %6 %89
%98 = OpIAdd %6 %97 %46
OpStore %89 %98
%99 = OpLoad %6 %87
%100 = OpAccessChain %7 %92 %98
OpStore %100 %99
OpBranch %101
%101 = OpLabel
OpLoopMerge %103 %104 None
OpBranch %105
%105 = OpLabel
%106 = OpLoad %6 %89
%107 = OpSGreaterThanEqual %58 %106 %27
OpBranchConditional %107 %102 %103
%102 = OpLabel
%108 = OpLoad %6 %89
%109 = OpISub %6 %108 %46
OpStore %89 %109
%110 = OpAccessChain %7 %92 %108
%111 = OpLoad %6 %110
OpStore %87 %111
%112 = OpLoad %6 %89
%113 = OpISub %6 %112 %46
OpStore %89 %113
%114 = OpAccessChain %7 %92 %112
%115 = OpLoad %6 %114
OpStore %86 %115
%118 = OpLoad %6 %86
OpStore %117 %118
%120 = OpLoad %6 %87
OpStore %119 %120
%121 = OpFunctionCall %6 %16 %117 %119
OpStore %116 %121
%122 = OpLoad %6 %116
%123 = OpISub %6 %122 %46
%124 = OpLoad %6 %86
%125 = OpSGreaterThan %58 %123 %124
OpSelectionMerge %127 None
OpBranchConditional %125 %126 %127
%126 = OpLabel
%128 = OpLoad %6 %89
%129 = OpIAdd %6 %128 %46
OpStore %89 %129
%130 = OpLoad %6 %86
%131 = OpAccessChain %7 %92 %129
OpStore %131 %130
%132 = OpLoad %6 %89
%133 = OpIAdd %6 %132 %46
OpStore %89 %133
%134 = OpLoad %6 %116
%135 = OpISub %6 %134 %46
%136 = OpAccessChain %7 %92 %133
OpStore %136 %135
OpBranch %127
%127 = OpLabel
%137 = OpLoad %6 %116
%138 = OpIAdd %6 %137 %46
%139 = OpLoad %6 %87
%140 = OpSLessThan %58 %138 %139
OpSelectionMerge %142 None
OpBranchConditional %140 %141 %142
%141 = OpLabel
%143 = OpLoad %6 %89
%144 = OpIAdd %6 %143 %46
OpStore %89 %144
%145 = OpLoad %6 %116
%146 = OpIAdd %6 %145 %46
%147 = OpAccessChain %7 %92 %144
OpStore %147 %146
%148 = OpLoad %6 %89
%149 = OpIAdd %6 %148 %46
OpStore %89 %149
%150 = OpLoad %6 %87
%151 = OpAccessChain %7 %92 %149
OpStore %151 %150
OpBranch %142
%142 = OpLabel
OpBranch %104
%104 = OpLabel
OpBranch %101
%103 = OpLabel
OpReturn
OpFunctionEnd
END
# uniforms for reference
# resolution
BUFFER reference_resolution DATA_TYPE vec2<float> DATA
256.0 256.0
END
BUFFER reference_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics reference_pipeline
ATTACH reference_vertex_shader
ATTACH reference_fragment_shader
FRAMEBUFFER_SIZE 256 256
BIND BUFFER reference_framebuffer AS color LOCATION 0
BIND BUFFER reference_resolution AS uniform DESCRIPTOR_SET 0 BINDING 0
END
CLEAR_COLOR reference_pipeline 0 0 0 255
CLEAR reference_pipeline
RUN reference_pipeline DRAW_RECT POS 0 0 SIZE 256 256
SHADER vertex variant_vertex_shader PASSTHROUGH
# variant_fragment_shader is derived from the following GLSL:
# #version 320 es
# precision highp float;
#
# precision highp int;
#
# layout(location = 0) out vec4 _GLF_color;
#
# layout(set = 0, binding = 0) uniform buf0
# {
# vec2 resolution;
# };
# struct QuicksortObject
# {
# int numbers[10];
# };
#
# QuicksortObject obj;
#
# void swap(int i, int j)
# {
# int temp = obj.numbers[i];
# obj.numbers[i] = obj.numbers[j];
# obj.numbers[j] = temp;
# }
# int performPartition(int l, int h)
# {
# int pivot = obj.numbers[h];
# int i = l - 1;
# for (int j = l; j <= h - 1; j++)
# {
# if (obj.numbers[j] <= pivot)
# {
# i++;
# swap(i, j);
# }
# }
# i++;
# swap(i, h);
# return i;
# }
# void quicksort()
# {
# int l = 0, h = 9;
# int stack[10];
# int top = -1;
# stack[++top] = l;
# // gl_FragCoord.y >= 0.0 is always true.
# // h | (h << 0) == h
# // int_a == h
# int int_a = ((gl_FragCoord.y >= 0.0) ? (h | ((false ? 1 : (h << 0)))) : 1);
# // clamp_a == h
# int clamp_a = (clamp(h, h, int_a));
# stack[++top] = (clamp_a / 1);
# while (top >= 0)
# {
# h = stack[top--];
# l = stack[top--];
# int p = performPartition(l, h);
# if (p - 1 > l)
# {
# stack[++top] = l;
# stack[++top] = p - 1;
# }
# if (p + 1 < h)
# {
# stack[++top] = p + 1;
# stack[++top] = h;
# }
# }
# }
# void main()
# {
# for (int i = 0; i < 10; i++)
# {
# obj.numbers[i] = (10 - i);
# obj.numbers[i] = obj.numbers[i] * obj.numbers[i];
# }
# quicksort();
# vec2 uv = gl_FragCoord.xy / resolution;
# vec3 color = vec3(1.0, 2.0, 3.0);
# color.x += float(obj.numbers[0]);
# if (uv.x > (1.0 / 4.0))
# {
# color.x += float(obj.numbers[1]);
# }
# if (uv.x > (2.0 / 4.0))
# {
# color.y += float(obj.numbers[2]);
# }
# if (uv.x > (3.0 / 4.0))
# {
# color.z += float(obj.numbers[3]);
# }
# color.y += float(obj.numbers[4]);
# if (uv.y > (1.0 / 4.0))
# {
# color.x += float(obj.numbers[5]);
# }
# if (uv.y > (2.0 / 4.0))
# {
# color.y += float(obj.numbers[6]);
# }
# if (uv.y > (3.0 / 4.0))
# {
# color.z += float(obj.numbers[7]);
# }
# color.z += float(obj.numbers[8]);
# if (abs(uv.x - uv.y) < 0.25)
# {
# color.x += float(obj.numbers[9]);
# }
# _GLF_color = vec4(normalize(color), 1.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: 358
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %101 %351
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %11 "swap(i1;i1;"
OpName %9 "i"
OpName %10 "j"
OpName %16 "performPartition(i1;i1;"
OpName %14 "l"
OpName %15 "h"
OpName %18 "quicksort("
OpName %20 "temp"
OpName %24 "QuicksortObject"
OpMemberName %24 0 "numbers"
OpName %26 "obj"
OpName %40 "pivot"
OpName %44 "i"
OpName %48 "j"
OpName %69 "param"
OpName %71 "param"
OpName %78 "param"
OpName %80 "param"
OpName %86 "l"
OpName %87 "h"
OpName %89 "top"
OpName %92 "stack"
OpName %97 "int_a"
OpName %101 "gl_FragCoord"
OpName %123 "clamp_a"
OpName %148 "p"
OpName %149 "param"
OpName %151 "param"
OpName %184 "i"
OpName %211 "uv"
OpName %214 "buf0"
OpMemberName %214 0 "resolution"
OpName %216 ""
OpName %223 "color"
OpName %351 "_GLF_color"
OpDecorate %101 BuiltIn FragCoord
OpMemberDecorate %214 0 Offset 0
OpDecorate %214 Block
OpDecorate %216 DescriptorSet 0
OpDecorate %216 Binding 0
OpDecorate %351 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeInt 32 1
%7 = OpTypePointer Function %6
%8 = OpTypeFunction %2 %7 %7
%13 = OpTypeFunction %6 %7 %7
%21 = OpTypeInt 32 0
%22 = OpConstant %21 10
%23 = OpTypeArray %6 %22
%24 = OpTypeStruct %23
%25 = OpTypePointer Private %24
%26 = OpVariable %25 Private
%27 = OpConstant %6 0
%29 = OpTypePointer Private %6
%46 = OpConstant %6 1
%58 = OpTypeBool
%88 = OpConstant %6 9
%90 = OpConstant %6 -1
%91 = OpTypePointer Function %23
%98 = OpTypeFloat 32
%99 = OpTypeVector %98 4
%100 = OpTypePointer Input %99
%101 = OpVariable %100 Input
%102 = OpConstant %21 1
%103 = OpTypePointer Input %98
%106 = OpConstant %98 0
%112 = OpConstantFalse %58
%191 = OpConstant %6 10
%209 = OpTypeVector %98 2
%210 = OpTypePointer Function %209
%214 = OpTypeStruct %209
%215 = OpTypePointer Uniform %214
%216 = OpVariable %215 Uniform
%217 = OpTypePointer Uniform %209
%221 = OpTypeVector %98 3
%222 = OpTypePointer Function %221
%224 = OpConstant %98 1
%225 = OpConstant %98 2
%226 = OpConstant %98 3
%227 = OpConstantComposite %221 %224 %225 %226
%231 = OpConstant %21 0
%232 = OpTypePointer Function %98
%239 = OpConstant %98 0.25
%252 = OpConstant %98 0.5
%256 = OpConstant %6 2
%266 = OpConstant %98 0.75
%270 = OpConstant %6 3
%274 = OpConstant %21 2
%279 = OpConstant %6 4
%292 = OpConstant %6 5
%305 = OpConstant %6 6
%318 = OpConstant %6 7
%326 = OpConstant %6 8
%350 = OpTypePointer Output %99
%351 = OpVariable %350 Output
%4 = OpFunction %2 None %3
%5 = OpLabel
%184 = OpVariable %7 Function
%211 = OpVariable %210 Function
%223 = OpVariable %222 Function
OpStore %184 %27
OpBranch %185
%185 = OpLabel
OpLoopMerge %187 %188 None
OpBranch %189
%189 = OpLabel
%190 = OpLoad %6 %184
%192 = OpSLessThan %58 %190 %191
OpBranchConditional %192 %186 %187
%186 = OpLabel
%193 = OpLoad %6 %184
%194 = OpLoad %6 %184
%195 = OpISub %6 %191 %194
%196 = OpAccessChain %29 %26 %27 %193
OpStore %196 %195
%197 = OpLoad %6 %184
%198 = OpLoad %6 %184
%199 = OpAccessChain %29 %26 %27 %198
%200 = OpLoad %6 %199
%201 = OpLoad %6 %184
%202 = OpAccessChain %29 %26 %27 %201
%203 = OpLoad %6 %202
%204 = OpIMul %6 %200 %203
%205 = OpAccessChain %29 %26 %27 %197
OpStore %205 %204
OpBranch %188
%188 = OpLabel
%206 = OpLoad %6 %184
%207 = OpIAdd %6 %206 %46
OpStore %184 %207
OpBranch %185
%187 = OpLabel
%208 = OpFunctionCall %2 %18
%212 = OpLoad %99 %101
%213 = OpVectorShuffle %209 %212 %212 0 1
%218 = OpAccessChain %217 %216 %27
%219 = OpLoad %209 %218
%220 = OpFDiv %209 %213 %219
OpStore %211 %220
OpStore %223 %227
%228 = OpAccessChain %29 %26 %27 %27
%229 = OpLoad %6 %228
%230 = OpConvertSToF %98 %229
%233 = OpAccessChain %232 %223 %231
%234 = OpLoad %98 %233
%235 = OpFAdd %98 %234 %230
%236 = OpAccessChain %232 %223 %231
OpStore %236 %235
%237 = OpAccessChain %232 %211 %231
%238 = OpLoad %98 %237
%240 = OpFOrdGreaterThan %58 %238 %239
OpSelectionMerge %242 None
OpBranchConditional %240 %241 %242
%241 = OpLabel
%243 = OpAccessChain %29 %26 %27 %46
%244 = OpLoad %6 %243
%245 = OpConvertSToF %98 %244
%246 = OpAccessChain %232 %223 %231
%247 = OpLoad %98 %246
%248 = OpFAdd %98 %247 %245
%249 = OpAccessChain %232 %223 %231
OpStore %249 %248
OpBranch %242
%242 = OpLabel
%250 = OpAccessChain %232 %211 %231
%251 = OpLoad %98 %250
%253 = OpFOrdGreaterThan %58 %251 %252
OpSelectionMerge %255 None
OpBranchConditional %253 %254 %255
%254 = OpLabel
%257 = OpAccessChain %29 %26 %27 %256
%258 = OpLoad %6 %257
%259 = OpConvertSToF %98 %258
%260 = OpAccessChain %232 %223 %102
%261 = OpLoad %98 %260
%262 = OpFAdd %98 %261 %259
%263 = OpAccessChain %232 %223 %102
OpStore %263 %262
OpBranch %255
%255 = OpLabel
%264 = OpAccessChain %232 %211 %231
%265 = OpLoad %98 %264
%267 = OpFOrdGreaterThan %58 %265 %266
OpSelectionMerge %269 None
OpBranchConditional %267 %268 %269
%268 = OpLabel
%271 = OpAccessChain %29 %26 %27 %270
%272 = OpLoad %6 %271
%273 = OpConvertSToF %98 %272
%275 = OpAccessChain %232 %223 %274
%276 = OpLoad %98 %275
%277 = OpFAdd %98 %276 %273
%278 = OpAccessChain %232 %223 %274
OpStore %278 %277
OpBranch %269
%269 = OpLabel
%280 = OpAccessChain %29 %26 %27 %279
%281 = OpLoad %6 %280
%282 = OpConvertSToF %98 %281
%283 = OpAccessChain %232 %223 %102
%284 = OpLoad %98 %283
%285 = OpFAdd %98 %284 %282
%286 = OpAccessChain %232 %223 %102
OpStore %286 %285
%287 = OpAccessChain %232 %211 %102
%288 = OpLoad %98 %287
%289 = OpFOrdGreaterThan %58 %288 %239
OpSelectionMerge %291 None
OpBranchConditional %289 %290 %291
%290 = OpLabel
%293 = OpAccessChain %29 %26 %27 %292
%294 = OpLoad %6 %293
%295 = OpConvertSToF %98 %294
%296 = OpAccessChain %232 %223 %231
%297 = OpLoad %98 %296
%298 = OpFAdd %98 %297 %295
%299 = OpAccessChain %232 %223 %231
OpStore %299 %298
OpBranch %291
%291 = OpLabel
%300 = OpAccessChain %232 %211 %102
%301 = OpLoad %98 %300
%302 = OpFOrdGreaterThan %58 %301 %252
OpSelectionMerge %304 None
OpBranchConditional %302 %303 %304
%303 = OpLabel
%306 = OpAccessChain %29 %26 %27 %305
%307 = OpLoad %6 %306
%308 = OpConvertSToF %98 %307
%309 = OpAccessChain %232 %223 %102
%310 = OpLoad %98 %309
%311 = OpFAdd %98 %310 %308
%312 = OpAccessChain %232 %223 %102
OpStore %312 %311
OpBranch %304
%304 = OpLabel
%313 = OpAccessChain %232 %211 %102
%314 = OpLoad %98 %313
%315 = OpFOrdGreaterThan %58 %314 %266
OpSelectionMerge %317 None
OpBranchConditional %315 %316 %317
%316 = OpLabel
%319 = OpAccessChain %29 %26 %27 %318
%320 = OpLoad %6 %319
%321 = OpConvertSToF %98 %320
%322 = OpAccessChain %232 %223 %274
%323 = OpLoad %98 %322
%324 = OpFAdd %98 %323 %321
%325 = OpAccessChain %232 %223 %274
OpStore %325 %324
OpBranch %317
%317 = OpLabel
%327 = OpAccessChain %29 %26 %27 %326
%328 = OpLoad %6 %327
%329 = OpConvertSToF %98 %328
%330 = OpAccessChain %232 %223 %274
%331 = OpLoad %98 %330
%332 = OpFAdd %98 %331 %329
%333 = OpAccessChain %232 %223 %274
OpStore %333 %332
%334 = OpAccessChain %232 %211 %231
%335 = OpLoad %98 %334
%336 = OpAccessChain %232 %211 %102
%337 = OpLoad %98 %336
%338 = OpFSub %98 %335 %337
%339 = OpExtInst %98 %1 FAbs %338
%340 = OpFOrdLessThan %58 %339 %239
OpSelectionMerge %342 None
OpBranchConditional %340 %341 %342
%341 = OpLabel
%343 = OpAccessChain %29 %26 %27 %88
%344 = OpLoad %6 %343
%345 = OpConvertSToF %98 %344
%346 = OpAccessChain %232 %223 %231
%347 = OpLoad %98 %346
%348 = OpFAdd %98 %347 %345
%349 = OpAccessChain %232 %223 %231
OpStore %349 %348
OpBranch %342
%342 = OpLabel
%352 = OpLoad %221 %223
%353 = OpExtInst %221 %1 Normalize %352
%354 = OpCompositeExtract %98 %353 0
%355 = OpCompositeExtract %98 %353 1
%356 = OpCompositeExtract %98 %353 2
%357 = OpCompositeConstruct %99 %354 %355 %356 %224
OpStore %351 %357
OpReturn
OpFunctionEnd
%11 = OpFunction %2 None %8
%9 = OpFunctionParameter %7
%10 = OpFunctionParameter %7
%12 = OpLabel
%20 = OpVariable %7 Function
%28 = OpLoad %6 %9
%30 = OpAccessChain %29 %26 %27 %28
%31 = OpLoad %6 %30
OpStore %20 %31
%32 = OpLoad %6 %9
%33 = OpLoad %6 %10
%34 = OpAccessChain %29 %26 %27 %33
%35 = OpLoad %6 %34
%36 = OpAccessChain %29 %26 %27 %32
OpStore %36 %35
%37 = OpLoad %6 %10
%38 = OpLoad %6 %20
%39 = OpAccessChain %29 %26 %27 %37
OpStore %39 %38
OpReturn
OpFunctionEnd
%16 = OpFunction %6 None %13
%14 = OpFunctionParameter %7
%15 = OpFunctionParameter %7
%17 = OpLabel
%40 = OpVariable %7 Function
%44 = OpVariable %7 Function
%48 = OpVariable %7 Function
%69 = OpVariable %7 Function
%71 = OpVariable %7 Function
%78 = OpVariable %7 Function
%80 = OpVariable %7 Function
%41 = OpLoad %6 %15
%42 = OpAccessChain %29 %26 %27 %41
%43 = OpLoad %6 %42
OpStore %40 %43
%45 = OpLoad %6 %14
%47 = OpISub %6 %45 %46
OpStore %44 %47
%49 = OpLoad %6 %14
OpStore %48 %49
OpBranch %50
%50 = OpLabel
OpLoopMerge %52 %53 None
OpBranch %54
%54 = OpLabel
%55 = OpLoad %6 %48
%56 = OpLoad %6 %15
%57 = OpISub %6 %56 %46
%59 = OpSLessThanEqual %58 %55 %57
OpBranchConditional %59 %51 %52
%51 = OpLabel
%60 = OpLoad %6 %48
%61 = OpAccessChain %29 %26 %27 %60
%62 = OpLoad %6 %61
%63 = OpLoad %6 %40
%64 = OpSLessThanEqual %58 %62 %63
OpSelectionMerge %66 None
OpBranchConditional %64 %65 %66
%65 = OpLabel
%67 = OpLoad %6 %44
%68 = OpIAdd %6 %67 %46
OpStore %44 %68
%70 = OpLoad %6 %44
OpStore %69 %70
%72 = OpLoad %6 %48
OpStore %71 %72
%73 = OpFunctionCall %2 %11 %69 %71
OpBranch %66
%66 = OpLabel
OpBranch %53
%53 = OpLabel
%74 = OpLoad %6 %48
%75 = OpIAdd %6 %74 %46
OpStore %48 %75
OpBranch %50
%52 = OpLabel
%76 = OpLoad %6 %44
%77 = OpIAdd %6 %76 %46
OpStore %44 %77
%79 = OpLoad %6 %44
OpStore %78 %79
%81 = OpLoad %6 %15
OpStore %80 %81
%82 = OpFunctionCall %2 %11 %78 %80
%83 = OpLoad %6 %44
OpReturnValue %83
OpFunctionEnd
%18 = OpFunction %2 None %3
%19 = OpLabel
%86 = OpVariable %7 Function
%87 = OpVariable %7 Function
%89 = OpVariable %7 Function
%92 = OpVariable %91 Function
%97 = OpVariable %7 Function
%108 = OpVariable %7 Function
%113 = OpVariable %7 Function
%123 = OpVariable %7 Function
%148 = OpVariable %7 Function
%149 = OpVariable %7 Function
%151 = OpVariable %7 Function
OpStore %86 %27
OpStore %87 %88
OpStore %89 %90
%93 = OpLoad %6 %89
%94 = OpIAdd %6 %93 %46
OpStore %89 %94
%95 = OpLoad %6 %86
%96 = OpAccessChain %7 %92 %94
OpStore %96 %95
%104 = OpAccessChain %103 %101 %102
%105 = OpLoad %98 %104
%107 = OpFOrdGreaterThanEqual %58 %105 %106
OpSelectionMerge %110 None
OpBranchConditional %107 %109 %121
%109 = OpLabel
%111 = OpLoad %6 %87
OpSelectionMerge %115 None
OpBranchConditional %112 %114 %116
%114 = OpLabel
OpStore %113 %46
OpBranch %115
%116 = OpLabel
%117 = OpLoad %6 %87
%118 = OpShiftLeftLogical %6 %117 %27
OpStore %113 %118
OpBranch %115
%115 = OpLabel
%119 = OpLoad %6 %113
%120 = OpBitwiseOr %6 %111 %119
OpStore %108 %120
OpBranch %110
%121 = OpLabel
OpStore %108 %46
OpBranch %110
%110 = OpLabel
%122 = OpLoad %6 %108
OpStore %97 %122
%124 = OpLoad %6 %87
%125 = OpLoad %6 %87
%126 = OpLoad %6 %97
%127 = OpExtInst %6 %1 SClamp %124 %125 %126
OpStore %123 %127
%128 = OpLoad %6 %89
%129 = OpIAdd %6 %128 %46
OpStore %89 %129
%130 = OpLoad %6 %123
%131 = OpSDiv %6 %130 %46
%132 = OpAccessChain %7 %92 %129
OpStore %132 %131
OpBranch %133
%133 = OpLabel
OpLoopMerge %135 %136 None
OpBranch %137
%137 = OpLabel
%138 = OpLoad %6 %89
%139 = OpSGreaterThanEqual %58 %138 %27
OpBranchConditional %139 %134 %135
%134 = OpLabel
%140 = OpLoad %6 %89
%141 = OpISub %6 %140 %46
OpStore %89 %141
%142 = OpAccessChain %7 %92 %140
%143 = OpLoad %6 %142
OpStore %87 %143
%144 = OpLoad %6 %89
%145 = OpISub %6 %144 %46
OpStore %89 %145
%146 = OpAccessChain %7 %92 %144
%147 = OpLoad %6 %146
OpStore %86 %147
%150 = OpLoad %6 %86
OpStore %149 %150
%152 = OpLoad %6 %87
OpStore %151 %152
%153 = OpFunctionCall %6 %16 %149 %151
OpStore %148 %153
%154 = OpLoad %6 %148
%155 = OpISub %6 %154 %46
%156 = OpLoad %6 %86
%157 = OpSGreaterThan %58 %155 %156
OpSelectionMerge %159 None
OpBranchConditional %157 %158 %159
%158 = OpLabel
%160 = OpLoad %6 %89
%161 = OpIAdd %6 %160 %46
OpStore %89 %161
%162 = OpLoad %6 %86
%163 = OpAccessChain %7 %92 %161
OpStore %163 %162
%164 = OpLoad %6 %89
%165 = OpIAdd %6 %164 %46
OpStore %89 %165
%166 = OpLoad %6 %148
%167 = OpISub %6 %166 %46
%168 = OpAccessChain %7 %92 %165
OpStore %168 %167
OpBranch %159
%159 = OpLabel
%169 = OpLoad %6 %148
%170 = OpIAdd %6 %169 %46
%171 = OpLoad %6 %87
%172 = OpSLessThan %58 %170 %171
OpSelectionMerge %174 None
OpBranchConditional %172 %173 %174
%173 = OpLabel
%175 = OpLoad %6 %89
%176 = OpIAdd %6 %175 %46
OpStore %89 %176
%177 = OpLoad %6 %148
%178 = OpIAdd %6 %177 %46
%179 = OpAccessChain %7 %92 %176
OpStore %179 %178
%180 = OpLoad %6 %89
%181 = OpIAdd %6 %180 %46
OpStore %89 %181
%182 = OpLoad %6 %87
%183 = OpAccessChain %7 %92 %181
OpStore %183 %182
OpBranch %174
%174 = OpLabel
OpBranch %136
%136 = OpLabel
OpBranch %133
%135 = OpLabel
OpReturn
OpFunctionEnd
END
# uniforms for variant
# resolution
BUFFER variant_resolution DATA_TYPE vec2<float> DATA
256.0 256.0
END
BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics variant_pipeline
ATTACH variant_vertex_shader
ATTACH variant_fragment_shader
FRAMEBUFFER_SIZE 256 256
BIND BUFFER variant_framebuffer AS color LOCATION 0
BIND BUFFER variant_resolution 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 256 256
EXPECT reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_framebuffer TOLERANCE 0.005