e770b3e6cf
Structured control-flow rules allow leaving the middle of a construct through a return, but not through a jump to a block that does a return. Addresses issue #58.
105 lines
4.9 KiB
Plaintext
105 lines
4.9 KiB
Plaintext
spv.forwardFun.frag
|
|
|
|
Linked fragment stage:
|
|
|
|
|
|
// Module Version 99
|
|
// Generated by (magic number): 51a00bb
|
|
// Id's are bound by 57
|
|
|
|
Source ESSL 100
|
|
Capability Shader
|
|
1: ExtInstImport "GLSL.std.450"
|
|
MemoryModel Logical GLSL450
|
|
EntryPoint Fragment 4 "main"
|
|
ExecutionMode 4 OriginLowerLeft
|
|
Name 4 "main"
|
|
Name 6 "bar("
|
|
Name 10 "unreachableReturn("
|
|
Name 16 "foo(vf4;"
|
|
Name 15 "bar"
|
|
Name 18 "color"
|
|
Name 20 "BaseColor"
|
|
Name 21 "param"
|
|
Name 27 "f"
|
|
Name 30 "gl_FragColor"
|
|
Name 36 "d"
|
|
Name 56 "bigColor"
|
|
Decorate 18(color) RelaxedPrecision
|
|
Decorate 20(BaseColor) RelaxedPrecision
|
|
Decorate 20(BaseColor) Smooth
|
|
Decorate 27(f) RelaxedPrecision
|
|
Decorate 30(gl_FragColor) RelaxedPrecision
|
|
Decorate 30(gl_FragColor) BuiltIn FragColor
|
|
Decorate 36(d) RelaxedPrecision
|
|
Decorate 56(bigColor) RelaxedPrecision
|
|
Decorate 56(bigColor) NoStaticUse
|
|
2: TypeVoid
|
|
3: TypeFunction 2
|
|
8: TypeFloat 32
|
|
9: TypeFunction 8(float)
|
|
12: TypeVector 8(float) 4
|
|
13: TypePointer Function 12(fvec4)
|
|
14: TypeFunction 8(float) 13(ptr)
|
|
19: TypePointer Input 12(fvec4)
|
|
20(BaseColor): 19(ptr) Variable Input
|
|
26: TypePointer Function 8(float)
|
|
29: TypePointer Output 12(fvec4)
|
|
30(gl_FragColor): 29(ptr) Variable Output
|
|
35: TypePointer UniformConstant 8(float)
|
|
36(d): 35(ptr) Variable UniformConstant
|
|
38: 8(float) Constant 1082549862
|
|
39: TypeBool
|
|
43: 8(float) Constant 1067030938
|
|
46: 8(float) Constant 1083179008
|
|
55: TypePointer UniformConstant 12(fvec4)
|
|
56(bigColor): 55(ptr) Variable UniformConstant
|
|
4(main): 2 Function None 3
|
|
5: Label
|
|
18(color): 13(ptr) Variable Function
|
|
21(param): 13(ptr) Variable Function
|
|
27(f): 26(ptr) Variable Function
|
|
22: 12(fvec4) Load 20(BaseColor)
|
|
Store 21(param) 22
|
|
23: 8(float) FunctionCall 16(foo(vf4;) 21(param)
|
|
24: 12(fvec4) CompositeConstruct 23 23 23 23
|
|
Store 18(color) 24
|
|
25: 2 FunctionCall 6(bar()
|
|
28: 8(float) FunctionCall 10(unreachableReturn()
|
|
Store 27(f) 28
|
|
31: 12(fvec4) Load 18(color)
|
|
32: 8(float) Load 27(f)
|
|
33: 12(fvec4) VectorTimesScalar 31 32
|
|
Store 30(gl_FragColor) 33
|
|
Return
|
|
FunctionEnd
|
|
6(bar(): 2 Function None 3
|
|
7: Label
|
|
Return
|
|
FunctionEnd
|
|
10(unreachableReturn(): 8(float) Function None 9
|
|
11: Label
|
|
34: 2 FunctionCall 6(bar()
|
|
37: 8(float) Load 36(d)
|
|
40: 39(bool) FOrdLessThan 37 38
|
|
SelectionMerge 42 None
|
|
BranchConditional 40 41 45
|
|
41: Label
|
|
ReturnValue 43
|
|
45: Label
|
|
ReturnValue 46
|
|
42: Label
|
|
48: 8(float) Undef
|
|
ReturnValue 48
|
|
FunctionEnd
|
|
16(foo(vf4;): 8(float) Function None 14
|
|
15(bar): 13(ptr) FunctionParameter
|
|
17: Label
|
|
49: 12(fvec4) Load 15(bar)
|
|
50: 8(float) CompositeExtract 49 0
|
|
51: 12(fvec4) Load 15(bar)
|
|
52: 8(float) CompositeExtract 51 1
|
|
53: 8(float) FAdd 50 52
|
|
ReturnValue 53
|
|
FunctionEnd
|