1spv.shortCircuit.frag
2// Module Version 10000
3// Generated by (magic number): 80007
4// Id's are bound by 147
5
6                              Capability Shader
7               1:             ExtInstImport  "GLSL.std.450"
8                              MemoryModel Logical GLSL450
9                              EntryPoint Fragment 4  "main" 12 24 34 113 140 142
10                              ExecutionMode 4 OriginUpperLeft
11                              Source GLSL 400
12                              Name 4  "main"
13                              Name 8  "foo("
14                              Name 12  "of1"
15                              Name 24  "of4"
16                              Name 27  "ub"
17                              Name 34  "ui"
18                              Name 44  "uba"
19                              Name 113  "uf"
20                              Name 140  "uiv4"
21                              Name 142  "uv4"
22                              Name 145  "ub41"
23                              Name 146  "ub42"
24                              Decorate 34(ui) Flat
25                              Decorate 140(uiv4) Flat
26               2:             TypeVoid
27               3:             TypeFunction 2
28               6:             TypeBool
29               7:             TypeFunction 6(bool)
30              10:             TypeFloat 32
31              11:             TypePointer Output 10(float)
32         12(of1):     11(ptr) Variable Output
33              14:   10(float) Constant 1065353216
34              17:   10(float) Constant 1092616192
35              21:   10(float) Constant 0
36              22:             TypeVector 10(float) 4
37              23:             TypePointer Output 22(fvec4)
38         24(of4):     23(ptr) Variable Output
39              25:   22(fvec4) ConstantComposite 21 21 21 21
40              26:             TypePointer Private 6(bool)
41          27(ub):     26(ptr) Variable Private
42              32:             TypeInt 32 1
43              33:             TypePointer Input 32(int)
44          34(ui):     33(ptr) Variable Input
45              36:     32(int) Constant 2
46         44(uba):     26(ptr) Variable Private
47             112:             TypePointer Input 10(float)
48         113(uf):    112(ptr) Variable Input
49             116:   10(float) Constant 1082130432
50             138:             TypeVector 32(int) 4
51             139:             TypePointer Input 138(ivec4)
52       140(uiv4):    139(ptr) Variable Input
53             141:             TypePointer Input 22(fvec4)
54        142(uv4):    141(ptr) Variable Input
55             143:             TypeVector 6(bool) 4
56             144:             TypePointer Private 143(bvec4)
57       145(ub41):    144(ptr) Variable Private
58       146(ub42):    144(ptr) Variable Private
59         4(main):           2 Function None 3
60               5:             Label
61                              Store 12(of1) 21
62                              Store 24(of4) 25
63              28:     6(bool) Load 27(ub)
64              29:     6(bool) LogicalNot 28
65                              SelectionMerge 31 None
66                              BranchConditional 29 30 31
67              30:               Label
68              35:     32(int)   Load 34(ui)
69              37:     6(bool)   SGreaterThan 35 36
70                                Branch 31
71              31:             Label
72              38:     6(bool) Phi 28 5 37 30
73                              SelectionMerge 40 None
74                              BranchConditional 38 39 40
75              39:               Label
76              41:   10(float)   Load 12(of1)
77              42:   10(float)   FAdd 41 14
78                                Store 12(of1) 42
79                                Branch 40
80              40:             Label
81              43:     6(bool) Load 27(ub)
82              45:     6(bool) Load 44(uba)
83              46:     6(bool) LogicalNot 45
84              47:     6(bool) LogicalAnd 43 46
85                              SelectionMerge 49 None
86                              BranchConditional 47 48 49
87              48:               Label
88              50:   10(float)   Load 12(of1)
89              51:   10(float)   FAdd 50 14
90                                Store 12(of1) 51
91                                Branch 49
92              49:             Label
93              52:     6(bool) Load 27(ub)
94              53:     6(bool) LogicalNot 52
95                              SelectionMerge 55 None
96                              BranchConditional 53 54 55
97              54:               Label
98              56:     6(bool)   FunctionCall 8(foo()
99                                Branch 55
100              55:             Label
101              57:     6(bool) Phi 52 49 56 54
102                              SelectionMerge 59 None
103                              BranchConditional 57 58 59
104              58:               Label
105              60:   10(float)   Load 12(of1)
106              61:   10(float)   FAdd 60 14
107                                Store 12(of1) 61
108                                Branch 59
109              59:             Label
110              62:     6(bool) Load 27(ub)
111                              SelectionMerge 64 None
112                              BranchConditional 62 63 64
113              63:               Label
114              65:     6(bool)   FunctionCall 8(foo()
115                                Branch 64
116              64:             Label
117              66:     6(bool) Phi 62 59 65 63
118                              SelectionMerge 68 None
119                              BranchConditional 66 67 68
120              67:               Label
121              69:   10(float)   Load 12(of1)
122              70:   10(float)   FAdd 69 14
123                                Store 12(of1) 70
124                                Branch 68
125              68:             Label
126              71:     6(bool) FunctionCall 8(foo()
127              72:     6(bool) Load 27(ub)
128              73:     6(bool) LogicalOr 71 72
129                              SelectionMerge 75 None
130                              BranchConditional 73 74 75
131              74:               Label
132              76:   10(float)   Load 12(of1)
133              77:   10(float)   FAdd 76 14
134                                Store 12(of1) 77
135                                Branch 75
136              75:             Label
137              78:     6(bool) FunctionCall 8(foo()
138              79:     6(bool) Load 27(ub)
139              80:     6(bool) LogicalAnd 78 79
140                              SelectionMerge 82 None
141                              BranchConditional 80 81 82
142              81:               Label
143              83:   10(float)   Load 12(of1)
144              84:   10(float)   FAdd 83 14
145                                Store 12(of1) 84
146                                Branch 82
147              82:             Label
148              85:     6(bool) Load 27(ub)
149              86:     6(bool) LogicalNot 85
150                              SelectionMerge 88 None
151                              BranchConditional 86 87 88
152              87:               Label
153              89:   10(float)   Load 12(of1)
154              90:   10(float)   FAdd 89 14
155                                Store 12(of1) 90
156              91:     6(bool)   FOrdGreaterThan 90 14
157                                Branch 88
158              88:             Label
159              92:     6(bool) Phi 85 82 91 87
160                              SelectionMerge 94 None
161                              BranchConditional 92 93 94
162              93:               Label
163              95:   22(fvec4)   Load 24(of4)
164              96:   22(fvec4)   CompositeConstruct 14 14 14 14
165              97:   22(fvec4)   FAdd 95 96
166                                Store 24(of4) 97
167                                Branch 94
168              94:             Label
169              98:   10(float) Load 12(of1)
170              99:   10(float) FAdd 98 14
171                              Store 12(of1) 99
172             100:     6(bool) FOrdGreaterThan 99 14
173             101:     6(bool) Load 27(ub)
174             102:     6(bool) LogicalOr 100 101
175                              SelectionMerge 104 None
176                              BranchConditional 102 103 104
177             103:               Label
178             105:   22(fvec4)   Load 24(of4)
179             106:   22(fvec4)   CompositeConstruct 14 14 14 14
180             107:   22(fvec4)   FAdd 105 106
181                                Store 24(of4) 107
182                                Branch 104
183             104:             Label
184             108:     6(bool) Load 27(ub)
185             109:     6(bool) LogicalNot 108
186                              SelectionMerge 111 None
187                              BranchConditional 109 110 111
188             110:               Label
189             114:   10(float)   Load 113(uf)
190             115:   10(float)   ExtInst 1(GLSL.std.450) 13(Sin) 114
191             117:   10(float)   FMul 115 116
192             118:   10(float)   Load 12(of1)
193             119:     6(bool)   FOrdGreaterThan 117 118
194                                Branch 111
195             111:             Label
196             120:     6(bool) Phi 108 104 119 110
197                              SelectionMerge 122 None
198                              BranchConditional 120 121 122
199             121:               Label
200             123:   10(float)   Load 12(of1)
201             124:   10(float)   FAdd 123 14
202                                Store 12(of1) 124
203                                Branch 122
204             122:             Label
205             125:     6(bool) Load 27(ub)
206                              SelectionMerge 127 None
207                              BranchConditional 125 126 127
208             126:               Label
209             128:   10(float)   Load 113(uf)
210             129:   10(float)   ExtInst 1(GLSL.std.450) 13(Sin) 128
211             130:   10(float)   FMul 129 116
212             131:   10(float)   Load 12(of1)
213             132:     6(bool)   FOrdGreaterThan 130 131
214                                Branch 127
215             127:             Label
216             133:     6(bool) Phi 125 122 132 126
217                              SelectionMerge 135 None
218                              BranchConditional 133 134 135
219             134:               Label
220             136:   10(float)   Load 12(of1)
221             137:   10(float)   FAdd 136 14
222                                Store 12(of1) 137
223                                Branch 135
224             135:             Label
225                              Return
226                              FunctionEnd
227         8(foo():     6(bool) Function None 7
228               9:             Label
229              13:   10(float) Load 12(of1)
230              15:   10(float) FAdd 13 14
231                              Store 12(of1) 15
232              16:   10(float) Load 12(of1)
233              18:     6(bool) FOrdGreaterThan 16 17
234                              ReturnValue 18
235                              FunctionEnd
236