spv.shortCircuit.frag // Module Version 10000 // Generated by (magic number): 80007 // Id's are bound by 147 Capability Shader 1: ExtInstImport "GLSL.std.450" MemoryModel Logical GLSL450 EntryPoint Fragment 4 "main" 12 24 34 113 140 142 ExecutionMode 4 OriginUpperLeft Source GLSL 400 Name 4 "main" Name 8 "foo(" Name 12 "of1" Name 24 "of4" Name 27 "ub" Name 34 "ui" Name 44 "uba" Name 113 "uf" Name 140 "uiv4" Name 142 "uv4" Name 145 "ub41" Name 146 "ub42" Decorate 34(ui) Flat Decorate 140(uiv4) Flat 2: TypeVoid 3: TypeFunction 2 6: TypeBool 7: TypeFunction 6(bool) 10: TypeFloat 32 11: TypePointer Output 10(float) 12(of1): 11(ptr) Variable Output 14: 10(float) Constant 1065353216 17: 10(float) Constant 1092616192 21: 10(float) Constant 0 22: TypeVector 10(float) 4 23: TypePointer Output 22(fvec4) 24(of4): 23(ptr) Variable Output 25: 22(fvec4) ConstantComposite 21 21 21 21 26: TypePointer Private 6(bool) 27(ub): 26(ptr) Variable Private 32: TypeInt 32 1 33: TypePointer Input 32(int) 34(ui): 33(ptr) Variable Input 36: 32(int) Constant 2 44(uba): 26(ptr) Variable Private 112: TypePointer Input 10(float) 113(uf): 112(ptr) Variable Input 116: 10(float) Constant 1082130432 138: TypeVector 32(int) 4 139: TypePointer Input 138(ivec4) 140(uiv4): 139(ptr) Variable Input 141: TypePointer Input 22(fvec4) 142(uv4): 141(ptr) Variable Input 143: TypeVector 6(bool) 4 144: TypePointer Private 143(bvec4) 145(ub41): 144(ptr) Variable Private 146(ub42): 144(ptr) Variable Private 4(main): 2 Function None 3 5: Label Store 12(of1) 21 Store 24(of4) 25 28: 6(bool) Load 27(ub) 29: 6(bool) LogicalNot 28 SelectionMerge 31 None BranchConditional 29 30 31 30: Label 35: 32(int) Load 34(ui) 37: 6(bool) SGreaterThan 35 36 Branch 31 31: Label 38: 6(bool) Phi 28 5 37 30 SelectionMerge 40 None BranchConditional 38 39 40 39: Label 41: 10(float) Load 12(of1) 42: 10(float) FAdd 41 14 Store 12(of1) 42 Branch 40 40: Label 43: 6(bool) Load 27(ub) 45: 6(bool) Load 44(uba) 46: 6(bool) LogicalNot 45 47: 6(bool) LogicalAnd 43 46 SelectionMerge 49 None BranchConditional 47 48 49 48: Label 50: 10(float) Load 12(of1) 51: 10(float) FAdd 50 14 Store 12(of1) 51 Branch 49 49: Label 52: 6(bool) Load 27(ub) 53: 6(bool) LogicalNot 52 SelectionMerge 55 None BranchConditional 53 54 55 54: Label 56: 6(bool) FunctionCall 8(foo() Branch 55 55: Label 57: 6(bool) Phi 52 49 56 54 SelectionMerge 59 None BranchConditional 57 58 59 58: Label 60: 10(float) Load 12(of1) 61: 10(float) FAdd 60 14 Store 12(of1) 61 Branch 59 59: Label 62: 6(bool) Load 27(ub) SelectionMerge 64 None BranchConditional 62 63 64 63: Label 65: 6(bool) FunctionCall 8(foo() Branch 64 64: Label 66: 6(bool) Phi 62 59 65 63 SelectionMerge 68 None BranchConditional 66 67 68 67: Label 69: 10(float) Load 12(of1) 70: 10(float) FAdd 69 14 Store 12(of1) 70 Branch 68 68: Label 71: 6(bool) FunctionCall 8(foo() 72: 6(bool) Load 27(ub) 73: 6(bool) LogicalOr 71 72 SelectionMerge 75 None BranchConditional 73 74 75 74: Label 76: 10(float) Load 12(of1) 77: 10(float) FAdd 76 14 Store 12(of1) 77 Branch 75 75: Label 78: 6(bool) FunctionCall 8(foo() 79: 6(bool) Load 27(ub) 80: 6(bool) LogicalAnd 78 79 SelectionMerge 82 None BranchConditional 80 81 82 81: Label 83: 10(float) Load 12(of1) 84: 10(float) FAdd 83 14 Store 12(of1) 84 Branch 82 82: Label 85: 6(bool) Load 27(ub) 86: 6(bool) LogicalNot 85 SelectionMerge 88 None BranchConditional 86 87 88 87: Label 89: 10(float) Load 12(of1) 90: 10(float) FAdd 89 14 Store 12(of1) 90 91: 6(bool) FOrdGreaterThan 90 14 Branch 88 88: Label 92: 6(bool) Phi 85 82 91 87 SelectionMerge 94 None BranchConditional 92 93 94 93: Label 95: 22(fvec4) Load 24(of4) 96: 22(fvec4) CompositeConstruct 14 14 14 14 97: 22(fvec4) FAdd 95 96 Store 24(of4) 97 Branch 94 94: Label 98: 10(float) Load 12(of1) 99: 10(float) FAdd 98 14 Store 12(of1) 99 100: 6(bool) FOrdGreaterThan 99 14 101: 6(bool) Load 27(ub) 102: 6(bool) LogicalOr 100 101 SelectionMerge 104 None BranchConditional 102 103 104 103: Label 105: 22(fvec4) Load 24(of4) 106: 22(fvec4) CompositeConstruct 14 14 14 14 107: 22(fvec4) FAdd 105 106 Store 24(of4) 107 Branch 104 104: Label 108: 6(bool) Load 27(ub) 109: 6(bool) LogicalNot 108 SelectionMerge 111 None BranchConditional 109 110 111 110: Label 114: 10(float) Load 113(uf) 115: 10(float) ExtInst 1(GLSL.std.450) 13(Sin) 114 117: 10(float) FMul 115 116 118: 10(float) Load 12(of1) 119: 6(bool) FOrdGreaterThan 117 118 Branch 111 111: Label 120: 6(bool) Phi 108 104 119 110 SelectionMerge 122 None BranchConditional 120 121 122 121: Label 123: 10(float) Load 12(of1) 124: 10(float) FAdd 123 14 Store 12(of1) 124 Branch 122 122: Label 125: 6(bool) Load 27(ub) SelectionMerge 127 None BranchConditional 125 126 127 126: Label 128: 10(float) Load 113(uf) 129: 10(float) ExtInst 1(GLSL.std.450) 13(Sin) 128 130: 10(float) FMul 129 116 131: 10(float) Load 12(of1) 132: 6(bool) FOrdGreaterThan 130 131 Branch 127 127: Label 133: 6(bool) Phi 125 122 132 126 SelectionMerge 135 None BranchConditional 133 134 135 134: Label 136: 10(float) Load 12(of1) 137: 10(float) FAdd 136 14 Store 12(of1) 137 Branch 135 135: Label Return FunctionEnd 8(foo(): 6(bool) Function None 7 9: Label 13: 10(float) Load 12(of1) 15: 10(float) FAdd 13 14 Store 12(of1) 15 16: 10(float) Load 12(of1) 18: 6(bool) FOrdGreaterThan 16 17 ReturnValue 18 FunctionEnd