Merge vk-gl-cts/vulkan-cts-1.2.6 into vk-gl-cts/vulkan-cts-1.2.7
[platform/upstream/VK-GL-CTS.git] / external / vulkancts / data / vulkan / amber / graphicsfuzz / write-red-after-search.amber
1 #!amber
2
3 # Copyright 2019 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 bug found by GraphicsFuzz.
19
20 # Short description: A fragment shader performing a search computation, then writing red regardless
21
22 # The test passes because the uniform values used to run the shader guarantee
23 # that red will be written at the end, regardless of what the prior computation
24 # does.
25
26 SHADER vertex variant_vertex_shader PASSTHROUGH
27
28 # variant_fragment_shader is derived from the following GLSL:
29 # #version 310 es
30 # precision highp float;
31 #
32 # layout(location = 0) out vec4 _GLF_color;
33 #
34 # layout(set = 0, binding = 0) uniform buf0 {
35 #  vec2 injectionSwitch;
36 # };
37 # struct BST {
38 #  int data;
39 #  int leftIndex;
40 #  int rightIndex;
41 # } ;
42 #
43 # BST tree[10];
44 #
45 # struct Obj {
46 #  float odd_numbers[10];
47 #  float even_numbers[10];
48 # } ;
49 #
50 # void makeTreeNode(inout BST tree, int data)
51 # {
52 #  tree.data = data;
53 #  tree.leftIndex = - 1;
54 #  tree.rightIndex = - 1;
55 # }
56 # void insert(int treeIndex, int data)
57 # {
58 #  int baseIndex = 0;
59 #  while(baseIndex <= treeIndex)
60 #   {
61 #    if(data <= tree[baseIndex].data)
62 #     {
63 #      if(tree[baseIndex].leftIndex == - 1)
64 #       {
65 #        tree[baseIndex].leftIndex = treeIndex;
66 #        makeTreeNode(tree[treeIndex], data);
67 #        return;
68 #       }
69 #      else
70 #       {
71 #        baseIndex = tree[baseIndex].leftIndex;
72 #        continue;
73 #       }
74 #     }
75 #    else
76 #     {
77 #      if(tree[baseIndex].rightIndex == - 1)
78 #       {
79 #        tree[baseIndex].rightIndex = treeIndex;
80 #        makeTreeNode(tree[treeIndex], data);
81 #        return;
82 #       }
83 #      else
84 #       {
85 #        int GLF_live8i = 1;
86 #        float GLF_live8A[50];
87 #        GLF_live8A[GLF_live8i >= 0 && GLF_live8i < 50 ? GLF_live8i : 0] += GLF_live8A[(1 - 1) >= 0 && (1 - 1) < 50 ? 1 - 1 : 0];
88 #        do
89 #         {
90 #          baseIndex = tree[baseIndex].rightIndex;
91 #         }
92 #        while((injectionSwitch.x > injectionSwitch.y));
93 #        continue;
94 #       }
95 #     }
96 #   }
97 # }
98 # int search(int target)
99 # {
100 #  BST currentNode;
101 #  int index = 0;
102 #  while(index != - 1)
103 #   {
104 #    currentNode = tree[index];
105 #    if(currentNode.data == target)
106 #     {
107 #      return target;
108 #     }
109 #    index = target > currentNode.data ? currentNode.rightIndex : currentNode.leftIndex;
110 #   }
111 #  return - 1;
112 # }
113 # vec3 hueColor(float angle)
114 # {
115 #  float nodeData = float(search(15));
116 #  return (30.0 + angle * vec3(1.0, 5.0, nodeData)) / 50.0;
117 # }
118 # float makeFrame(float v)
119 # {
120 #  v *= 6.5;
121 #  if(v < 1.5)
122 #   {
123 #    return float(search(100));
124 #   }
125 #  if(v < 4.0)
126 #   {
127 #    return 0.0;
128 #   }
129 #  if(v < float(search(6)))
130 #   {
131 #    return 1.0;
132 #   }
133 #  return 10.0 + float(search(30));
134 # }
135 # void main()
136 # {
137 #  int treeIndex = 0;
138 #  makeTreeNode(tree[0], 9);
139 #  treeIndex ++;
140 #  insert(treeIndex, 5);
141 #  treeIndex ++;
142 #  int GLF_live1_looplimiter2 = 0;
143 #  for(
144 #      int GLF_live1i = 0;
145 #      1 < 4;
146 #      GLF_live1i ++
147 #  )
148 #   {
149 #    if(GLF_live1_looplimiter2 >= 7)
150 #     {
151 #      break;
152 #     }
153 #    GLF_live1_looplimiter2 ++;
154 #   }
155 #  insert(treeIndex, 12);
156 #  treeIndex ++;
157 #  insert(treeIndex, 15);
158 #  treeIndex ++;
159 #  insert(treeIndex, 7);
160 #  treeIndex ++;
161 #  insert(treeIndex, 8);
162 #  treeIndex ++;
163 #  insert(treeIndex, 2);
164 #  treeIndex ++;
165 #  insert(treeIndex, 6);
166 #  treeIndex ++;
167 #  Obj GLF_live4obj;
168 #  int GLF_live4_looplimiter3 = 0;
169 #  for(
170 #      int GLF_live4i = 0;
171 #      1 < 9;
172 #      GLF_live4i ++
173 #  )
174 #   {
175 #    if(GLF_live4_looplimiter3 >= 3)
176 #     {
177 #      break;
178 #     }
179 #    GLF_live4_looplimiter3 ++;
180 #    int GLF_live4index = 1;
181 #    GLF_live4obj.even_numbers[GLF_live4index >= 0 && GLF_live4index < 10 ? GLF_live4index : 0] = GLF_live4obj.even_numbers[1 >= 0 && 1 < 10 ? 1 : 0];
182 #    GLF_live4obj.even_numbers[GLF_live4i >= 0 && GLF_live4i < 10 ? GLF_live4i : 0] = 1.0;
183 #   }
184 #  insert(treeIndex, 17);
185 #  if((injectionSwitch.x > injectionSwitch.y))
186 #   {
187 #    return;
188 #   }
189 #  treeIndex ++;
190 #  insert(treeIndex, 13);
191 #  vec2 z = (gl_FragCoord.yx / vec2(256.0, 256.0));
192 #  float x = makeFrame(z.x);
193 #  float y = makeFrame(z.y);
194 #  int sum = - 100;
195 #  for(
196 #      int target = 0;
197 #      target < 20;
198 #      target ++
199 #  )
200 #   {
201 #    int result = search(target);
202 #    if(result > 0)
203 #     {
204 #     }
205 #    else
206 #     {
207 #      switch(result)
208 #       {
209 #        case - 1:
210 #        sum += 1;
211 #        break;
212 #        case 0:
213 #        return;
214 #       }
215 #     }
216 #   }
217 #  float a = x + y * float(sum);
218 #  _GLF_color = vec4(injectionSwitch.x < injectionSwitch.y ? vec3(1.0, 0.0, 0.0) : hueColor(a), 1.);
219 # }
220 SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
221 ; SPIR-V
222 ; Version: 1.0
223 ; Generator: Khronos Glslang Reference Front End; 7
224 ; Bound: 456
225 ; Schema: 0
226                OpCapability Shader
227           %1 = OpExtInstImport "GLSL.std.450"
228                OpMemoryModel Logical GLSL450
229                OpEntryPoint Fragment %4 "main" %381 %436
230                OpExecutionMode %4 OriginUpperLeft
231                OpSource ESSL 310
232                OpName %4 "main"
233                OpName %7 "BST"
234                OpMemberName %7 0 "data"
235                OpMemberName %7 1 "leftIndex"
236                OpMemberName %7 2 "rightIndex"
237                OpName %13 "makeTreeNode(struct-BST-i1-i1-i11;i1;"
238                OpName %11 "tree"
239                OpName %12 "data"
240                OpName %18 "insert(i1;i1;"
241                OpName %16 "treeIndex"
242                OpName %17 "data"
243                OpName %22 "search(i1;"
244                OpName %21 "target"
245                OpName %29 "hueColor(f1;"
246                OpName %28 "angle"
247                OpName %33 "makeFrame(f1;"
248                OpName %32 "v"
249                OpName %43 "baseIndex"
250                OpName %58 "tree"
251                OpName %76 "param"
252                OpName %80 "param"
253                OpName %102 "param"
254                OpName %105 "param"
255                OpName %112 "GLF_live8i"
256                OpName %116 "GLF_live8A"
257                OpName %139 "buf0"
258                OpMemberName %139 0 "injectionSwitch"
259                OpName %141 ""
260                OpName %151 "index"
261                OpName %159 "currentNode"
262                OpName %186 "nodeData"
263                OpName %188 "param"
264                OpName %214 "param"
265                OpName %227 "param"
266                OpName %236 "param"
267                OpName %242 "treeIndex"
268                OpName %244 "param"
269                OpName %247 "param"
270                OpName %254 "param"
271                OpName %256 "param"
272                OpName %260 "GLF_live1_looplimiter2"
273                OpName %261 "GLF_live1i"
274                OpName %279 "param"
275                OpName %281 "param"
276                OpName %285 "param"
277                OpName %287 "param"
278                OpName %291 "param"
279                OpName %293 "param"
280                OpName %298 "param"
281                OpName %300 "param"
282                OpName %304 "param"
283                OpName %306 "param"
284                OpName %310 "param"
285                OpName %312 "param"
286                OpName %316 "GLF_live4_looplimiter3"
287                OpName %317 "GLF_live4i"
288                OpName %331 "GLF_live4index"
289                OpName %333 "Obj"
290                OpMemberName %333 0 "odd_numbers"
291                OpMemberName %333 1 "even_numbers"
292                OpName %335 "GLF_live4obj"
293                OpName %358 "param"
294                OpName %360 "param"
295                OpName %373 "param"
296                OpName %375 "param"
297                OpName %378 "z"
298                OpName %381 "gl_FragCoord"
299                OpName %387 "x"
300                OpName %388 "param"
301                OpName %392 "y"
302                OpName %393 "param"
303                OpName %397 "sum"
304                OpName %399 "target"
305                OpName %408 "result"
306                OpName %409 "param"
307                OpName %428 "a"
308                OpName %436 "_GLF_color"
309                OpName %448 "param"
310                OpMemberDecorate %7 0 RelaxedPrecision
311                OpMemberDecorate %7 1 RelaxedPrecision
312                OpMemberDecorate %7 2 RelaxedPrecision
313                OpDecorate %12 RelaxedPrecision
314                OpDecorate %16 RelaxedPrecision
315                OpDecorate %17 RelaxedPrecision
316                OpDecorate %22 RelaxedPrecision
317                OpDecorate %21 RelaxedPrecision
318                OpDecorate %36 RelaxedPrecision
319                OpDecorate %43 RelaxedPrecision
320                OpDecorate %49 RelaxedPrecision
321                OpDecorate %50 RelaxedPrecision
322                OpDecorate %53 RelaxedPrecision
323                OpDecorate %59 RelaxedPrecision
324                OpDecorate %62 RelaxedPrecision
325                OpDecorate %66 RelaxedPrecision
326                OpDecorate %68 RelaxedPrecision
327                OpDecorate %72 RelaxedPrecision
328                OpDecorate %73 RelaxedPrecision
329                OpDecorate %75 RelaxedPrecision
330                OpDecorate %81 RelaxedPrecision
331                OpDecorate %87 RelaxedPrecision
332                OpDecorate %89 RelaxedPrecision
333                OpDecorate %92 RelaxedPrecision
334                OpDecorate %94 RelaxedPrecision
335                OpDecorate %98 RelaxedPrecision
336                OpDecorate %99 RelaxedPrecision
337                OpDecorate %101 RelaxedPrecision
338                OpDecorate %106 RelaxedPrecision
339                OpDecorate %112 RelaxedPrecision
340                OpDecorate %117 RelaxedPrecision
341                OpDecorate %119 RelaxedPrecision
342                OpDecorate %123 RelaxedPrecision
343                OpDecorate %135 RelaxedPrecision
344                OpDecorate %137 RelaxedPrecision
345                OpMemberDecorate %139 0 Offset 0
346                OpDecorate %139 Block
347                OpDecorate %141 DescriptorSet 0
348                OpDecorate %141 Binding 0
349                OpDecorate %151 RelaxedPrecision
350                OpDecorate %157 RelaxedPrecision
351                OpDecorate %160 RelaxedPrecision
352                OpDecorate %164 RelaxedPrecision
353                OpDecorate %165 RelaxedPrecision
354                OpDecorate %169 RelaxedPrecision
355                OpDecorate %171 RelaxedPrecision
356                OpDecorate %173 RelaxedPrecision
357                OpDecorate %179 RelaxedPrecision
358                OpDecorate %182 RelaxedPrecision
359                OpDecorate %183 RelaxedPrecision
360                OpDecorate %189 RelaxedPrecision
361                OpDecorate %215 RelaxedPrecision
362                OpDecorate %228 RelaxedPrecision
363                OpDecorate %237 RelaxedPrecision
364                OpDecorate %242 RelaxedPrecision
365                OpDecorate %251 RelaxedPrecision
366                OpDecorate %252 RelaxedPrecision
367                OpDecorate %255 RelaxedPrecision
368                OpDecorate %258 RelaxedPrecision
369                OpDecorate %259 RelaxedPrecision
370                OpDecorate %260 RelaxedPrecision
371                OpDecorate %261 RelaxedPrecision
372                OpDecorate %268 RelaxedPrecision
373                OpDecorate %274 RelaxedPrecision
374                OpDecorate %275 RelaxedPrecision
375                OpDecorate %276 RelaxedPrecision
376                OpDecorate %277 RelaxedPrecision
377                OpDecorate %280 RelaxedPrecision
378                OpDecorate %283 RelaxedPrecision
379                OpDecorate %284 RelaxedPrecision
380                OpDecorate %286 RelaxedPrecision
381                OpDecorate %289 RelaxedPrecision
382                OpDecorate %290 RelaxedPrecision
383                OpDecorate %292 RelaxedPrecision
384                OpDecorate %295 RelaxedPrecision
385                OpDecorate %296 RelaxedPrecision
386                OpDecorate %299 RelaxedPrecision
387                OpDecorate %302 RelaxedPrecision
388                OpDecorate %303 RelaxedPrecision
389                OpDecorate %305 RelaxedPrecision
390                OpDecorate %308 RelaxedPrecision
391                OpDecorate %309 RelaxedPrecision
392                OpDecorate %311 RelaxedPrecision
393                OpDecorate %314 RelaxedPrecision
394                OpDecorate %315 RelaxedPrecision
395                OpDecorate %316 RelaxedPrecision
396                OpDecorate %317 RelaxedPrecision
397                OpDecorate %323 RelaxedPrecision
398                OpDecorate %329 RelaxedPrecision
399                OpDecorate %330 RelaxedPrecision
400                OpDecorate %331 RelaxedPrecision
401                OpDecorate %336 RelaxedPrecision
402                OpDecorate %338 RelaxedPrecision
403                OpDecorate %342 RelaxedPrecision
404                OpDecorate %347 RelaxedPrecision
405                OpDecorate %349 RelaxedPrecision
406                OpDecorate %352 RelaxedPrecision
407                OpDecorate %355 RelaxedPrecision
408                OpDecorate %356 RelaxedPrecision
409                OpDecorate %359 RelaxedPrecision
410                OpDecorate %370 RelaxedPrecision
411                OpDecorate %371 RelaxedPrecision
412                OpDecorate %374 RelaxedPrecision
413                OpDecorate %381 BuiltIn FragCoord
414                OpDecorate %397 RelaxedPrecision
415                OpDecorate %399 RelaxedPrecision
416                OpDecorate %405 RelaxedPrecision
417                OpDecorate %408 RelaxedPrecision
418                OpDecorate %410 RelaxedPrecision
419                OpDecorate %411 RelaxedPrecision
420                OpDecorate %412 RelaxedPrecision
421                OpDecorate %417 RelaxedPrecision
422                OpDecorate %421 RelaxedPrecision
423                OpDecorate %422 RelaxedPrecision
424                OpDecorate %426 RelaxedPrecision
425                OpDecorate %427 RelaxedPrecision
426                OpDecorate %431 RelaxedPrecision
427                OpDecorate %436 Location 0
428           %2 = OpTypeVoid
429           %3 = OpTypeFunction %2
430           %6 = OpTypeInt 32 1
431           %7 = OpTypeStruct %6 %6 %6
432           %8 = OpTypePointer Function %7
433           %9 = OpTypePointer Function %6
434          %10 = OpTypeFunction %2 %8 %9
435          %15 = OpTypeFunction %2 %9 %9
436          %20 = OpTypeFunction %6 %9
437          %24 = OpTypeFloat 32
438          %25 = OpTypePointer Function %24
439          %26 = OpTypeVector %24 3
440          %27 = OpTypeFunction %26 %25
441          %31 = OpTypeFunction %24 %25
442          %35 = OpConstant %6 0
443          %38 = OpConstant %6 1
444          %39 = OpConstant %6 -1
445          %41 = OpConstant %6 2
446          %51 = OpTypeBool
447          %54 = OpTypeInt 32 0
448          %55 = OpConstant %54 10
449          %56 = OpTypeArray %7 %55
450          %57 = OpTypePointer Private %56
451          %58 = OpVariable %57 Private
452          %60 = OpTypePointer Private %6
453          %77 = OpTypePointer Private %7
454         %113 = OpConstant %54 50
455         %114 = OpTypeArray %24 %113
456         %115 = OpTypePointer Function %114
457         %120 = OpConstant %6 50
458         %138 = OpTypeVector %24 2
459         %139 = OpTypeStruct %138
460         %140 = OpTypePointer Uniform %139
461         %141 = OpVariable %140 Uniform
462         %142 = OpConstant %54 0
463         %143 = OpTypePointer Uniform %24
464         %146 = OpConstant %54 1
465         %187 = OpConstant %6 15
466         %191 = OpConstant %24 30
467         %193 = OpConstant %24 1
468         %194 = OpConstant %24 5
469         %200 = OpConstant %24 50
470         %205 = OpConstant %24 6.5
471         %209 = OpConstant %24 1.5
472         %213 = OpConstant %6 100
473         %219 = OpConstant %24 4
474         %223 = OpConstant %24 0
475         %226 = OpConstant %6 6
476         %234 = OpConstant %24 10
477         %235 = OpConstant %6 30
478         %243 = OpConstant %6 9
479         %253 = OpConstant %6 5
480         %267 = OpConstantTrue %51
481         %269 = OpConstant %6 7
482         %278 = OpConstant %6 12
483         %297 = OpConstant %6 8
484         %324 = OpConstant %6 3
485         %332 = OpTypeArray %24 %55
486         %333 = OpTypeStruct %332 %332
487         %334 = OpTypePointer Function %333
488         %339 = OpConstant %6 10
489         %357 = OpConstant %6 17
490         %372 = OpConstant %6 13
491         %377 = OpTypePointer Function %138
492         %379 = OpTypeVector %24 4
493         %380 = OpTypePointer Input %379
494         %381 = OpVariable %380 Input
495         %384 = OpConstant %24 256
496         %385 = OpConstantComposite %138 %384 %384
497         %398 = OpConstant %6 -100
498         %406 = OpConstant %6 20
499         %435 = OpTypePointer Output %379
500         %436 = OpVariable %435 Output
501         %442 = OpTypePointer Function %26
502         %446 = OpConstantComposite %26 %193 %223 %223
503           %4 = OpFunction %2 None %3
504           %5 = OpLabel
505         %242 = OpVariable %9 Function
506         %244 = OpVariable %8 Function
507         %247 = OpVariable %9 Function
508         %254 = OpVariable %9 Function
509         %256 = OpVariable %9 Function
510         %260 = OpVariable %9 Function
511         %261 = OpVariable %9 Function
512         %279 = OpVariable %9 Function
513         %281 = OpVariable %9 Function
514         %285 = OpVariable %9 Function
515         %287 = OpVariable %9 Function
516         %291 = OpVariable %9 Function
517         %293 = OpVariable %9 Function
518         %298 = OpVariable %9 Function
519         %300 = OpVariable %9 Function
520         %304 = OpVariable %9 Function
521         %306 = OpVariable %9 Function
522         %310 = OpVariable %9 Function
523         %312 = OpVariable %9 Function
524         %316 = OpVariable %9 Function
525         %317 = OpVariable %9 Function
526         %331 = OpVariable %9 Function
527         %335 = OpVariable %334 Function
528         %358 = OpVariable %9 Function
529         %360 = OpVariable %9 Function
530         %373 = OpVariable %9 Function
531         %375 = OpVariable %9 Function
532         %378 = OpVariable %377 Function
533         %387 = OpVariable %25 Function
534         %388 = OpVariable %25 Function
535         %392 = OpVariable %25 Function
536         %393 = OpVariable %25 Function
537         %397 = OpVariable %9 Function
538         %399 = OpVariable %9 Function
539         %408 = OpVariable %9 Function
540         %409 = OpVariable %9 Function
541         %428 = OpVariable %25 Function
542         %443 = OpVariable %442 Function
543         %448 = OpVariable %25 Function
544                OpStore %242 %35
545         %245 = OpAccessChain %77 %58 %35
546         %246 = OpLoad %7 %245
547                OpStore %244 %246
548                OpStore %247 %243
549         %248 = OpFunctionCall %2 %13 %244 %247
550         %249 = OpLoad %7 %244
551         %250 = OpAccessChain %77 %58 %35
552                OpStore %250 %249
553         %251 = OpLoad %6 %242
554         %252 = OpIAdd %6 %251 %38
555                OpStore %242 %252
556         %255 = OpLoad %6 %242
557                OpStore %254 %255
558                OpStore %256 %253
559         %257 = OpFunctionCall %2 %18 %254 %256
560         %258 = OpLoad %6 %242
561         %259 = OpIAdd %6 %258 %38
562                OpStore %242 %259
563                OpStore %260 %35
564                OpStore %261 %35
565                OpBranch %262
566         %262 = OpLabel
567                OpLoopMerge %264 %265 None
568                OpBranch %266
569         %266 = OpLabel
570                OpBranchConditional %267 %263 %264
571         %263 = OpLabel
572         %268 = OpLoad %6 %260
573         %270 = OpSGreaterThanEqual %51 %268 %269
574                OpSelectionMerge %272 None
575                OpBranchConditional %270 %271 %272
576         %271 = OpLabel
577                OpBranch %264
578         %272 = OpLabel
579         %274 = OpLoad %6 %260
580         %275 = OpIAdd %6 %274 %38
581                OpStore %260 %275
582                OpBranch %265
583         %265 = OpLabel
584         %276 = OpLoad %6 %261
585         %277 = OpIAdd %6 %276 %38
586                OpStore %261 %277
587                OpBranch %262
588         %264 = OpLabel
589         %280 = OpLoad %6 %242
590                OpStore %279 %280
591                OpStore %281 %278
592         %282 = OpFunctionCall %2 %18 %279 %281
593         %283 = OpLoad %6 %242
594         %284 = OpIAdd %6 %283 %38
595                OpStore %242 %284
596         %286 = OpLoad %6 %242
597                OpStore %285 %286
598                OpStore %287 %187
599         %288 = OpFunctionCall %2 %18 %285 %287
600         %289 = OpLoad %6 %242
601         %290 = OpIAdd %6 %289 %38
602                OpStore %242 %290
603         %292 = OpLoad %6 %242
604                OpStore %291 %292
605                OpStore %293 %269
606         %294 = OpFunctionCall %2 %18 %291 %293
607         %295 = OpLoad %6 %242
608         %296 = OpIAdd %6 %295 %38
609                OpStore %242 %296
610         %299 = OpLoad %6 %242
611                OpStore %298 %299
612                OpStore %300 %297
613         %301 = OpFunctionCall %2 %18 %298 %300
614         %302 = OpLoad %6 %242
615         %303 = OpIAdd %6 %302 %38
616                OpStore %242 %303
617         %305 = OpLoad %6 %242
618                OpStore %304 %305
619                OpStore %306 %41
620         %307 = OpFunctionCall %2 %18 %304 %306
621         %308 = OpLoad %6 %242
622         %309 = OpIAdd %6 %308 %38
623                OpStore %242 %309
624         %311 = OpLoad %6 %242
625                OpStore %310 %311
626                OpStore %312 %226
627         %313 = OpFunctionCall %2 %18 %310 %312
628         %314 = OpLoad %6 %242
629         %315 = OpIAdd %6 %314 %38
630                OpStore %242 %315
631                OpStore %316 %35
632                OpStore %317 %35
633                OpBranch %318
634         %318 = OpLabel
635                OpLoopMerge %320 %321 None
636                OpBranch %322
637         %322 = OpLabel
638                OpBranchConditional %267 %319 %320
639         %319 = OpLabel
640         %323 = OpLoad %6 %316
641         %325 = OpSGreaterThanEqual %51 %323 %324
642                OpSelectionMerge %327 None
643                OpBranchConditional %325 %326 %327
644         %326 = OpLabel
645                OpBranch %320
646         %327 = OpLabel
647         %329 = OpLoad %6 %316
648         %330 = OpIAdd %6 %329 %38
649                OpStore %316 %330
650                OpStore %331 %38
651         %336 = OpLoad %6 %331
652         %337 = OpSGreaterThanEqual %51 %336 %35
653         %338 = OpLoad %6 %331
654         %340 = OpSLessThan %51 %338 %339
655         %341 = OpLogicalAnd %51 %337 %340
656         %342 = OpLoad %6 %331
657         %343 = OpSelect %6 %341 %342 %35
658         %344 = OpAccessChain %25 %335 %38 %38
659         %345 = OpLoad %24 %344
660         %346 = OpAccessChain %25 %335 %38 %343
661                OpStore %346 %345
662         %347 = OpLoad %6 %317
663         %348 = OpSGreaterThanEqual %51 %347 %35
664         %349 = OpLoad %6 %317
665         %350 = OpSLessThan %51 %349 %339
666         %351 = OpLogicalAnd %51 %348 %350
667         %352 = OpLoad %6 %317
668         %353 = OpSelect %6 %351 %352 %35
669         %354 = OpAccessChain %25 %335 %38 %353
670                OpStore %354 %193
671                OpBranch %321
672         %321 = OpLabel
673         %355 = OpLoad %6 %317
674         %356 = OpIAdd %6 %355 %38
675                OpStore %317 %356
676                OpBranch %318
677         %320 = OpLabel
678         %359 = OpLoad %6 %242
679                OpStore %358 %359
680                OpStore %360 %357
681         %361 = OpFunctionCall %2 %18 %358 %360
682         %362 = OpAccessChain %143 %141 %35 %142
683         %363 = OpLoad %24 %362
684         %364 = OpAccessChain %143 %141 %35 %146
685         %365 = OpLoad %24 %364
686         %366 = OpFOrdGreaterThan %51 %363 %365
687                OpSelectionMerge %368 None
688                OpBranchConditional %366 %367 %368
689         %367 = OpLabel
690                OpReturn
691         %368 = OpLabel
692         %370 = OpLoad %6 %242
693         %371 = OpIAdd %6 %370 %38
694                OpStore %242 %371
695         %374 = OpLoad %6 %242
696                OpStore %373 %374
697                OpStore %375 %372
698         %376 = OpFunctionCall %2 %18 %373 %375
699         %382 = OpLoad %379 %381
700         %383 = OpVectorShuffle %138 %382 %382 1 0
701         %386 = OpFDiv %138 %383 %385
702                OpStore %378 %386
703         %389 = OpAccessChain %25 %378 %142
704         %390 = OpLoad %24 %389
705                OpStore %388 %390
706         %391 = OpFunctionCall %24 %33 %388
707                OpStore %387 %391
708         %394 = OpAccessChain %25 %378 %146
709         %395 = OpLoad %24 %394
710                OpStore %393 %395
711         %396 = OpFunctionCall %24 %33 %393
712                OpStore %392 %396
713                OpStore %397 %398
714                OpStore %399 %35
715                OpBranch %400
716         %400 = OpLabel
717                OpLoopMerge %402 %403 None
718                OpBranch %404
719         %404 = OpLabel
720         %405 = OpLoad %6 %399
721         %407 = OpSLessThan %51 %405 %406
722                OpBranchConditional %407 %401 %402
723         %401 = OpLabel
724         %410 = OpLoad %6 %399
725                OpStore %409 %410
726         %411 = OpFunctionCall %6 %22 %409
727                OpStore %408 %411
728         %412 = OpLoad %6 %408
729         %413 = OpSGreaterThan %51 %412 %35
730                OpSelectionMerge %415 None
731                OpBranchConditional %413 %414 %416
732         %414 = OpLabel
733                OpBranch %415
734         %416 = OpLabel
735         %417 = OpLoad %6 %408
736                OpSelectionMerge %420 None
737                OpSwitch %417 %420 -1 %418 0 %419
738         %418 = OpLabel
739         %421 = OpLoad %6 %397
740         %422 = OpIAdd %6 %421 %38
741                OpStore %397 %422
742                OpBranch %420
743         %419 = OpLabel
744                OpReturn
745         %420 = OpLabel
746                OpBranch %415
747         %415 = OpLabel
748                OpBranch %403
749         %403 = OpLabel
750         %426 = OpLoad %6 %399
751         %427 = OpIAdd %6 %426 %38
752                OpStore %399 %427
753                OpBranch %400
754         %402 = OpLabel
755         %429 = OpLoad %24 %387
756         %430 = OpLoad %24 %392
757         %431 = OpLoad %6 %397
758         %432 = OpConvertSToF %24 %431
759         %433 = OpFMul %24 %430 %432
760         %434 = OpFAdd %24 %429 %433
761                OpStore %428 %434
762         %437 = OpAccessChain %143 %141 %35 %142
763         %438 = OpLoad %24 %437
764         %439 = OpAccessChain %143 %141 %35 %146
765         %440 = OpLoad %24 %439
766         %441 = OpFOrdLessThan %51 %438 %440
767                OpSelectionMerge %445 None
768                OpBranchConditional %441 %444 %447
769         %444 = OpLabel
770                OpStore %443 %446
771                OpBranch %445
772         %447 = OpLabel
773         %449 = OpLoad %24 %428
774                OpStore %448 %449
775         %450 = OpFunctionCall %26 %29 %448
776                OpStore %443 %450
777                OpBranch %445
778         %445 = OpLabel
779         %451 = OpLoad %26 %443
780         %452 = OpCompositeExtract %24 %451 0
781         %453 = OpCompositeExtract %24 %451 1
782         %454 = OpCompositeExtract %24 %451 2
783         %455 = OpCompositeConstruct %379 %452 %453 %454 %193
784                OpStore %436 %455
785                OpReturn
786                OpFunctionEnd
787          %13 = OpFunction %2 None %10
788          %11 = OpFunctionParameter %8
789          %12 = OpFunctionParameter %9
790          %14 = OpLabel
791          %36 = OpLoad %6 %12
792          %37 = OpAccessChain %9 %11 %35
793                OpStore %37 %36
794          %40 = OpAccessChain %9 %11 %38
795                OpStore %40 %39
796          %42 = OpAccessChain %9 %11 %41
797                OpStore %42 %39
798                OpReturn
799                OpFunctionEnd
800          %18 = OpFunction %2 None %15
801          %16 = OpFunctionParameter %9
802          %17 = OpFunctionParameter %9
803          %19 = OpLabel
804          %43 = OpVariable %9 Function
805          %76 = OpVariable %8 Function
806          %80 = OpVariable %9 Function
807         %102 = OpVariable %8 Function
808         %105 = OpVariable %9 Function
809         %112 = OpVariable %9 Function
810         %116 = OpVariable %115 Function
811                OpStore %43 %35
812                OpBranch %44
813          %44 = OpLabel
814                OpLoopMerge %46 %47 None
815                OpBranch %48
816          %48 = OpLabel
817          %49 = OpLoad %6 %43
818          %50 = OpLoad %6 %16
819          %52 = OpSLessThanEqual %51 %49 %50
820                OpBranchConditional %52 %45 %46
821          %45 = OpLabel
822          %53 = OpLoad %6 %17
823          %59 = OpLoad %6 %43
824          %61 = OpAccessChain %60 %58 %59 %35
825          %62 = OpLoad %6 %61
826          %63 = OpSLessThanEqual %51 %53 %62
827                OpSelectionMerge %65 None
828                OpBranchConditional %63 %64 %91
829          %64 = OpLabel
830          %66 = OpLoad %6 %43
831          %67 = OpAccessChain %60 %58 %66 %38
832          %68 = OpLoad %6 %67
833          %69 = OpIEqual %51 %68 %39
834                OpSelectionMerge %71 None
835                OpBranchConditional %69 %70 %86
836          %70 = OpLabel
837          %72 = OpLoad %6 %43
838          %73 = OpLoad %6 %16
839          %74 = OpAccessChain %60 %58 %72 %38
840                OpStore %74 %73
841          %75 = OpLoad %6 %16
842          %78 = OpAccessChain %77 %58 %75
843          %79 = OpLoad %7 %78
844                OpStore %76 %79
845          %81 = OpLoad %6 %17
846                OpStore %80 %81
847          %82 = OpFunctionCall %2 %13 %76 %80
848          %83 = OpLoad %7 %76
849          %84 = OpAccessChain %77 %58 %75
850                OpStore %84 %83
851                OpReturn
852          %86 = OpLabel
853          %87 = OpLoad %6 %43
854          %88 = OpAccessChain %60 %58 %87 %38
855          %89 = OpLoad %6 %88
856                OpStore %43 %89
857                OpBranch %47
858          %71 = OpLabel
859                OpBranch %65
860          %91 = OpLabel
861          %92 = OpLoad %6 %43
862          %93 = OpAccessChain %60 %58 %92 %41
863          %94 = OpLoad %6 %93
864          %95 = OpIEqual %51 %94 %39
865                OpSelectionMerge %97 None
866                OpBranchConditional %95 %96 %111
867          %96 = OpLabel
868          %98 = OpLoad %6 %43
869          %99 = OpLoad %6 %16
870         %100 = OpAccessChain %60 %58 %98 %41
871                OpStore %100 %99
872         %101 = OpLoad %6 %16
873         %103 = OpAccessChain %77 %58 %101
874         %104 = OpLoad %7 %103
875                OpStore %102 %104
876         %106 = OpLoad %6 %17
877                OpStore %105 %106
878         %107 = OpFunctionCall %2 %13 %102 %105
879         %108 = OpLoad %7 %102
880         %109 = OpAccessChain %77 %58 %101
881                OpStore %109 %108
882                OpReturn
883         %111 = OpLabel
884                OpStore %112 %38
885         %117 = OpLoad %6 %112
886         %118 = OpSGreaterThanEqual %51 %117 %35
887         %119 = OpLoad %6 %112
888         %121 = OpSLessThan %51 %119 %120
889         %122 = OpLogicalAnd %51 %118 %121
890         %123 = OpLoad %6 %112
891         %124 = OpSelect %6 %122 %123 %35
892         %125 = OpAccessChain %25 %116 %35
893         %126 = OpLoad %24 %125
894         %127 = OpAccessChain %25 %116 %124
895         %128 = OpLoad %24 %127
896         %129 = OpFAdd %24 %128 %126
897         %130 = OpAccessChain %25 %116 %124
898                OpStore %130 %129
899                OpBranch %131
900         %131 = OpLabel
901                OpLoopMerge %133 %134 None
902                OpBranch %132
903         %132 = OpLabel
904         %135 = OpLoad %6 %43
905         %136 = OpAccessChain %60 %58 %135 %41
906         %137 = OpLoad %6 %136
907                OpStore %43 %137
908                OpBranch %134
909         %134 = OpLabel
910         %144 = OpAccessChain %143 %141 %35 %142
911         %145 = OpLoad %24 %144
912         %147 = OpAccessChain %143 %141 %35 %146
913         %148 = OpLoad %24 %147
914         %149 = OpFOrdGreaterThan %51 %145 %148
915                OpBranchConditional %149 %131 %133
916         %133 = OpLabel
917                OpBranch %47
918          %97 = OpLabel
919                OpBranch %65
920          %65 = OpLabel
921                OpBranch %47
922          %47 = OpLabel
923                OpBranch %44
924          %46 = OpLabel
925                OpReturn
926                OpFunctionEnd
927          %22 = OpFunction %6 None %20
928          %21 = OpFunctionParameter %9
929          %23 = OpLabel
930         %151 = OpVariable %9 Function
931         %159 = OpVariable %8 Function
932         %175 = OpVariable %9 Function
933                OpStore %151 %35
934                OpBranch %152
935         %152 = OpLabel
936                OpLoopMerge %154 %155 None
937                OpBranch %156
938         %156 = OpLabel
939         %157 = OpLoad %6 %151
940         %158 = OpINotEqual %51 %157 %39
941                OpBranchConditional %158 %153 %154
942         %153 = OpLabel
943         %160 = OpLoad %6 %151
944         %161 = OpAccessChain %77 %58 %160
945         %162 = OpLoad %7 %161
946                OpStore %159 %162
947         %163 = OpAccessChain %9 %159 %35
948         %164 = OpLoad %6 %163
949         %165 = OpLoad %6 %21
950         %166 = OpIEqual %51 %164 %165
951                OpSelectionMerge %168 None
952                OpBranchConditional %166 %167 %168
953         %167 = OpLabel
954         %169 = OpLoad %6 %21
955                OpReturnValue %169
956         %168 = OpLabel
957         %171 = OpLoad %6 %21
958         %172 = OpAccessChain %9 %159 %35
959         %173 = OpLoad %6 %172
960         %174 = OpSGreaterThan %51 %171 %173
961                OpSelectionMerge %177 None
962                OpBranchConditional %174 %176 %180
963         %176 = OpLabel
964         %178 = OpAccessChain %9 %159 %41
965         %179 = OpLoad %6 %178
966                OpStore %175 %179
967                OpBranch %177
968         %180 = OpLabel
969         %181 = OpAccessChain %9 %159 %38
970         %182 = OpLoad %6 %181
971                OpStore %175 %182
972                OpBranch %177
973         %177 = OpLabel
974         %183 = OpLoad %6 %175
975                OpStore %151 %183
976                OpBranch %155
977         %155 = OpLabel
978                OpBranch %152
979         %154 = OpLabel
980                OpReturnValue %39
981                OpFunctionEnd
982          %29 = OpFunction %26 None %27
983          %28 = OpFunctionParameter %25
984          %30 = OpLabel
985         %186 = OpVariable %25 Function
986         %188 = OpVariable %9 Function
987                OpStore %188 %187
988         %189 = OpFunctionCall %6 %22 %188
989         %190 = OpConvertSToF %24 %189
990                OpStore %186 %190
991         %192 = OpLoad %24 %28
992         %195 = OpLoad %24 %186
993         %196 = OpCompositeConstruct %26 %193 %194 %195
994         %197 = OpVectorTimesScalar %26 %196 %192
995         %198 = OpCompositeConstruct %26 %191 %191 %191
996         %199 = OpFAdd %26 %198 %197
997         %201 = OpCompositeConstruct %26 %200 %200 %200
998         %202 = OpFDiv %26 %199 %201
999                OpReturnValue %202
1000                OpFunctionEnd
1001          %33 = OpFunction %24 None %31
1002          %32 = OpFunctionParameter %25
1003          %34 = OpLabel
1004         %214 = OpVariable %9 Function
1005         %227 = OpVariable %9 Function
1006         %236 = OpVariable %9 Function
1007         %206 = OpLoad %24 %32
1008         %207 = OpFMul %24 %206 %205
1009                OpStore %32 %207
1010         %208 = OpLoad %24 %32
1011         %210 = OpFOrdLessThan %51 %208 %209
1012                OpSelectionMerge %212 None
1013                OpBranchConditional %210 %211 %212
1014         %211 = OpLabel
1015                OpStore %214 %213
1016         %215 = OpFunctionCall %6 %22 %214
1017         %216 = OpConvertSToF %24 %215
1018                OpReturnValue %216
1019         %212 = OpLabel
1020         %218 = OpLoad %24 %32
1021         %220 = OpFOrdLessThan %51 %218 %219
1022                OpSelectionMerge %222 None
1023                OpBranchConditional %220 %221 %222
1024         %221 = OpLabel
1025                OpReturnValue %223
1026         %222 = OpLabel
1027         %225 = OpLoad %24 %32
1028                OpStore %227 %226
1029         %228 = OpFunctionCall %6 %22 %227
1030         %229 = OpConvertSToF %24 %228
1031         %230 = OpFOrdLessThan %51 %225 %229
1032                OpSelectionMerge %232 None
1033                OpBranchConditional %230 %231 %232
1034         %231 = OpLabel
1035                OpReturnValue %193
1036         %232 = OpLabel
1037                OpStore %236 %235
1038         %237 = OpFunctionCall %6 %22 %236
1039         %238 = OpConvertSToF %24 %237
1040         %239 = OpFAdd %24 %234 %238
1041                OpReturnValue %239
1042                OpFunctionEnd
1043 END
1044
1045 # uniforms for variant
1046
1047 # injectionSwitch
1048 BUFFER variant_injectionSwitch DATA_TYPE vec2<float> DATA
1049  0.0 1.0
1050 END
1051
1052 BUFFER framebuffer FORMAT B8G8R8A8_UNORM
1053
1054 PIPELINE graphics gfz_pipeline
1055   ATTACH variant_vertex_shader
1056   ATTACH variant_fragment_shader
1057   FRAMEBUFFER_SIZE 256 256
1058   BIND BUFFER framebuffer AS color LOCATION 0
1059   BIND BUFFER variant_injectionSwitch AS uniform DESCRIPTOR_SET 0 BINDING 0
1060 END
1061 CLEAR_COLOR gfz_pipeline 0 0 0 255
1062
1063 CLEAR gfz_pipeline
1064 RUN gfz_pipeline DRAW_RECT POS 0 0 SIZE 256 256
1065 EXPECT framebuffer IDX 0 0 SIZE 256 256 EQ_RGB 255 0 0