c22f37cfb4
The loop test is always emitted before the loop body. For do-while loops, use a phi node to track whether we're on the first loop iteration, and only check the loop test on the second and subsequent iterations. For do-while loops, the loop test branch no longer occurs at the top of the loop, so it must get its own selection merge instruction. A block can't be the target of more than one merge instruction. So when the loop test executes after the body (as in do-while in GLSL) we need to introduce a dummy block to be the target of the selection merge just before the loop test conditional branch. The other arm of the branch exits the loop and hence is the "break block" exception in the structured control flow rules.
73 lines
3.2 KiB
Plaintext
73 lines
3.2 KiB
Plaintext
spv.doWhileLoop.frag
|
|
|
|
Linked fragment stage:
|
|
|
|
|
|
// Module Version 99
|
|
// Generated by (magic number): 51a00bb
|
|
// Id's are bound by 38
|
|
|
|
Source GLSL 110
|
|
1: ExtInstImport "GLSL.std.450"
|
|
MemoryModel Logical GLSL450
|
|
EntryPoint Fragment 4
|
|
Name 4 "main"
|
|
Name 10 "color"
|
|
Name 12 "BaseColor"
|
|
Name 25 "d"
|
|
Name 30 "bigColor"
|
|
Name 36 "gl_FragColor"
|
|
Decorate 12(BaseColor) Smooth
|
|
Decorate 36(gl_FragColor) BuiltIn FragColor
|
|
2: TypeVoid
|
|
3: TypeFunction 2
|
|
7: TypeFloat 32
|
|
8: TypeVector 7(float) 4
|
|
9: TypePointer Function 8(fvec4)
|
|
11: TypePointer Input 8(fvec4)
|
|
12(BaseColor): 11(ptr) Variable Input
|
|
17: TypeBool
|
|
18: 17(bool) ConstantTrue
|
|
24: TypePointer UniformConstant 7(float)
|
|
25(d): 24(ptr) Variable UniformConstant
|
|
29: TypePointer UniformConstant 8(fvec4)
|
|
30(bigColor): 29(ptr) Variable UniformConstant
|
|
34: 17(bool) ConstantFalse
|
|
35: TypePointer Output 8(fvec4)
|
|
36(gl_FragColor): 35(ptr) Variable Output
|
|
4(main): 2 Function None 3
|
|
5: Label
|
|
10(color): 9(ptr) Variable Function
|
|
13: 8(fvec4) Load 12(BaseColor)
|
|
Store 10(color) 13
|
|
Branch 14
|
|
14: Label
|
|
16: 17(bool) Phi 18 5 34 20
|
|
LoopMerge 15 None
|
|
Branch 19
|
|
19: Label
|
|
SelectionMerge 20 None
|
|
BranchConditional 16 20 21
|
|
21: Label
|
|
22: 8(fvec4) Load 10(color)
|
|
23: 7(float) CompositeExtract 22 0
|
|
26: 7(float) Load 25(d)
|
|
27: 17(bool) FOrdLessThan 23 26
|
|
SelectionMerge 28 None
|
|
BranchConditional 27 28 15
|
|
28: Label
|
|
Branch 20
|
|
20: Label
|
|
31: 8(fvec4) Load 30(bigColor)
|
|
32: 8(fvec4) Load 10(color)
|
|
33: 8(fvec4) FAdd 32 31
|
|
Store 10(color) 33
|
|
Branch 14
|
|
15: Label
|
|
37: 8(fvec4) Load 10(color)
|
|
Store 36(gl_FragColor) 37
|
|
Branch 6
|
|
6: Label
|
|
Return
|
|
FunctionEnd
|