Test/baseResults/spv.shortCircuit.frag.out

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