spv.expect_assume.expectEXT.comp
// Module Version 10000
// Generated by (magic number): 8000b
// Id's are bound by 178

                              Capability Shader
                              Capability ExpectAssumeKHR
                              Extension  "SPV_KHR_expect_assume"
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel Logical GLSL450
                              EntryPoint GLCompute 4  "main"
                              ExecutionMode 4 LocalSize 8 1 1
                              Source GLSL 450
                              SourceExtension  "GL_EXT_expect_assume"
                              Name 4  "main"
                              Name 8  "x"
                              Name 18  "roblock"
                              MemberName 18(roblock) 0  "b"
                              MemberName 18(roblock) 1  "bv2"
                              MemberName 18(roblock) 2  "bv3"
                              MemberName 18(roblock) 3  "bv4"
                              MemberName 18(roblock) 4  "i"
                              MemberName 18(roblock) 5  "iv2"
                              MemberName 18(roblock) 6  "iv3"
                              MemberName 18(roblock) 7  "iv4"
                              MemberName 18(roblock) 8  "ui"
                              MemberName 18(roblock) 9  "uv2"
                              MemberName 18(roblock) 10  "uv3"
                              MemberName 18(roblock) 11  "uv4"
                              Name 20  "ro"
                              MemberDecorate 18(roblock) 0 NonWritable
                              MemberDecorate 18(roblock) 0 Offset 0
                              MemberDecorate 18(roblock) 1 NonWritable
                              MemberDecorate 18(roblock) 1 Offset 8
                              MemberDecorate 18(roblock) 2 NonWritable
                              MemberDecorate 18(roblock) 2 Offset 16
                              MemberDecorate 18(roblock) 3 NonWritable
                              MemberDecorate 18(roblock) 3 Offset 32
                              MemberDecorate 18(roblock) 4 NonWritable
                              MemberDecorate 18(roblock) 4 Offset 48
                              MemberDecorate 18(roblock) 5 NonWritable
                              MemberDecorate 18(roblock) 5 Offset 56
                              MemberDecorate 18(roblock) 6 NonWritable
                              MemberDecorate 18(roblock) 6 Offset 64
                              MemberDecorate 18(roblock) 7 NonWritable
                              MemberDecorate 18(roblock) 7 Offset 80
                              MemberDecorate 18(roblock) 8 NonWritable
                              MemberDecorate 18(roblock) 8 Offset 96
                              MemberDecorate 18(roblock) 9 NonWritable
                              MemberDecorate 18(roblock) 9 Offset 104
                              MemberDecorate 18(roblock) 10 NonWritable
                              MemberDecorate 18(roblock) 10 Offset 112
                              MemberDecorate 18(roblock) 11 NonWritable
                              MemberDecorate 18(roblock) 11 Offset 128
                              Decorate 18(roblock) BufferBlock
                              Decorate 20(ro) DescriptorSet 0
                              Decorate 20(ro) Binding 0
                              Decorate 177 BuiltIn WorkgroupSize
               2:             TypeVoid
               3:             TypeFunction 2
               6:             TypeInt 32 1
               7:             TypePointer Function 6(int)
               9:      6(int) Constant 0
              10:             TypeBool
              11:             TypeInt 32 0
              12:             TypeVector 11(int) 2
              13:             TypeVector 11(int) 3
              14:             TypeVector 11(int) 4
              15:             TypeVector 6(int) 2
              16:             TypeVector 6(int) 3
              17:             TypeVector 6(int) 4
     18(roblock):             TypeStruct 11(int) 12(ivec2) 13(ivec3) 14(ivec4) 6(int) 15(ivec2) 16(ivec3) 17(ivec4) 11(int) 12(ivec2) 13(ivec3) 14(ivec4)
              19:             TypePointer Uniform 18(roblock)
          20(ro):     19(ptr) Variable Uniform
              21:             TypePointer Uniform 11(int)
              24:     11(int) Constant 0
              26:    10(bool) ConstantTrue
              32:      6(int) Constant 1
              33:             TypePointer Uniform 12(ivec2)
              36:             TypeVector 10(bool) 2
              37:   12(ivec2) ConstantComposite 24 24
              39:    10(bool) ConstantFalse
              40:   36(bvec2) ConstantComposite 26 39
              48:      6(int) Constant 2
              49:             TypePointer Uniform 13(ivec3)
              52:             TypeVector 10(bool) 3
              53:   13(ivec3) ConstantComposite 24 24 24
              55:   52(bvec3) ConstantComposite 26 39 26
              63:      6(int) Constant 3
              64:             TypePointer Uniform 14(ivec4)
              67:             TypeVector 10(bool) 4
              68:   14(ivec4) ConstantComposite 24 24 24 24
              70:   67(bvec4) ConstantComposite 39 26 39 26
              79:      6(int) Constant 4
              80:             TypePointer Uniform 6(int)
              83:      6(int) Constant 10
              89:      6(int) Constant 5
              90:             TypePointer Uniform 15(ivec2)
              93:      6(int) Constant 11
              94:      6(int) Constant 4294967274
              95:   15(ivec2) ConstantComposite 93 94
             103:      6(int) Constant 6
             104:             TypePointer Uniform 16(ivec3)
             107:      6(int) Constant 33
             108:   16(ivec3) ConstantComposite 93 94 107
             116:      6(int) Constant 7
             117:             TypePointer Uniform 17(ivec4)
             120:      6(int) Constant 44
             121:   17(ivec4) ConstantComposite 93 94 107 120
             130:      6(int) Constant 8
             133:     11(int) Constant 10
             139:      6(int) Constant 9
             142:     11(int) Constant 11
             143:     11(int) Constant 22
             144:   12(ivec2) ConstantComposite 142 143
             154:     11(int) Constant 33
             155:   13(ivec3) ConstantComposite 142 143 154
             165:     11(int) Constant 44
             166:   14(ivec4) ConstantComposite 142 143 154 165
             175:     11(int) Constant 8
             176:     11(int) Constant 1
             177:   13(ivec3) ConstantComposite 175 176 176
         4(main):           2 Function None 3
               5:             Label
            8(x):      7(ptr) Variable Function
                              Store 8(x) 9
              22:     21(ptr) AccessChain 20(ro) 9
              23:     11(int) Load 22
              25:    10(bool) INotEqual 23 24
              27:    10(bool) ExpectKHR 25 26
              28:    10(bool) LogicalEqual 27 26
              29:    10(bool) LogicalNot 28
                              SelectionMerge 31 None
                              BranchConditional 29 30 31
              30:               Label
              34:     33(ptr)   AccessChain 20(ro) 32
              35:   12(ivec2)   Load 34
              38:   36(bvec2)   INotEqual 35 37
              41:   36(bvec2)   ExpectKHR 38 40
              42:   36(bvec2)   LogicalEqual 41 40
              43:    10(bool)   All 42
                                Branch 31
              31:             Label
              44:    10(bool) Phi 28 5 43 30
              45:    10(bool) LogicalNot 44
                              SelectionMerge 47 None
                              BranchConditional 45 46 47
              46:               Label
              50:     49(ptr)   AccessChain 20(ro) 48
              51:   13(ivec3)   Load 50
              54:   52(bvec3)   INotEqual 51 53
              56:   52(bvec3)   ExpectKHR 54 55
              57:   52(bvec3)   LogicalEqual 56 55
              58:    10(bool)   All 57
                                Branch 47
              47:             Label
              59:    10(bool) Phi 44 31 58 46
              60:    10(bool) LogicalNot 59
                              SelectionMerge 62 None
                              BranchConditional 60 61 62
              61:               Label
              65:     64(ptr)   AccessChain 20(ro) 63
              66:   14(ivec4)   Load 65
              69:   67(bvec4)   INotEqual 66 68
              71:   67(bvec4)   ExpectKHR 69 70
              72:   67(bvec4)   LogicalEqual 71 70
              73:    10(bool)   All 72
                                Branch 62
              62:             Label
              74:    10(bool) Phi 59 47 73 61
                              SelectionMerge 76 None
                              BranchConditional 74 75 76
              75:               Label
              77:      6(int)   Load 8(x)
              78:      6(int)   IAdd 77 32
                                Store 8(x) 78
                                Branch 76
              76:             Label
              81:     80(ptr) AccessChain 20(ro) 79
              82:      6(int) Load 81
              84:      6(int) ExpectKHR 82 83
              85:    10(bool) IEqual 84 83
              86:    10(bool) LogicalNot 85
                              SelectionMerge 88 None
                              BranchConditional 86 87 88
              87:               Label
              91:     90(ptr)   AccessChain 20(ro) 89
              92:   15(ivec2)   Load 91
              96:   15(ivec2)   ExpectKHR 92 95
              97:   36(bvec2)   IEqual 96 95
              98:    10(bool)   All 97
                                Branch 88
              88:             Label
              99:    10(bool) Phi 85 76 98 87
             100:    10(bool) LogicalNot 99
                              SelectionMerge 102 None
                              BranchConditional 100 101 102
             101:               Label
             105:    104(ptr)   AccessChain 20(ro) 103
             106:   16(ivec3)   Load 105
             109:   16(ivec3)   ExpectKHR 106 108
             110:   52(bvec3)   IEqual 109 108
             111:    10(bool)   All 110
                                Branch 102
             102:             Label
             112:    10(bool) Phi 99 88 111 101
             113:    10(bool) LogicalNot 112
                              SelectionMerge 115 None
                              BranchConditional 113 114 115
             114:               Label
             118:    117(ptr)   AccessChain 20(ro) 116
             119:   17(ivec4)   Load 118
             122:   17(ivec4)   ExpectKHR 119 121
             123:   67(bvec4)   IEqual 122 121
             124:    10(bool)   All 123
                                Branch 115
             115:             Label
             125:    10(bool) Phi 112 102 124 114
                              SelectionMerge 127 None
                              BranchConditional 125 126 127
             126:               Label
             128:      6(int)   Load 8(x)
             129:      6(int)   IAdd 128 32
                                Store 8(x) 129
                                Branch 127
             127:             Label
             131:     21(ptr) AccessChain 20(ro) 130
             132:     11(int) Load 131
             134:     11(int) ExpectKHR 132 133
             135:    10(bool) IEqual 134 133
             136:    10(bool) LogicalNot 135
                              SelectionMerge 138 None
                              BranchConditional 136 137 138
             137:               Label
             140:     33(ptr)   AccessChain 20(ro) 139
             141:   12(ivec2)   Load 140
             145:   12(ivec2)   ExpectKHR 141 144
             146:   36(bvec2)   IEqual 145 144
             147:    10(bool)   All 146
                                Branch 138
             138:             Label
             148:    10(bool) Phi 135 127 147 137
             149:    10(bool) LogicalNot 148
                              SelectionMerge 151 None
                              BranchConditional 149 150 151
             150:               Label
             152:     49(ptr)   AccessChain 20(ro) 83
             153:   13(ivec3)   Load 152
             156:   13(ivec3)   ExpectKHR 153 155
             157:   52(bvec3)   IEqual 156 155
             158:    10(bool)   All 157
                                Branch 151
             151:             Label
             159:    10(bool) Phi 148 138 158 150
             160:    10(bool) LogicalNot 159
                              SelectionMerge 162 None
                              BranchConditional 160 161 162
             161:               Label
             163:     64(ptr)   AccessChain 20(ro) 93
             164:   14(ivec4)   Load 163
             167:   14(ivec4)   ExpectKHR 164 166
             168:   67(bvec4)   IEqual 167 166
             169:    10(bool)   All 168
                                Branch 162
             162:             Label
             170:    10(bool) Phi 159 151 169 161
                              SelectionMerge 172 None
                              BranchConditional 170 171 172
             171:               Label
             173:      6(int)   Load 8(x)
             174:      6(int)   IAdd 173 32
                                Store 8(x) 174
                                Branch 172
             172:             Label
                              Return
                              FunctionEnd