               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %main "main" %gl_FragCoord %_GLF_color
               OpExecutionMode %main OriginUpperLeft
               OpSource ESSL 320
               OpName %main "main"
               OpName %merge_i1_i1_i1_ "merge(i1;i1;i1;"
               OpName %from "from"
               OpName %mid "mid"
               OpName %to "to"
               OpName %mergeSort_ "mergeSort("
               OpName %k "k"
               OpName %i "i"
               OpName %j "j"
               OpName %data "data"
               OpName %temp "temp"
               OpName %i_0 "i"
               OpName %low "low"
               OpName %high "high"
               OpName %m "m"
               OpName %i_1 "i"
               OpName %from_0 "from"
               OpName %mid_0 "mid"
               OpName %to_0 "to"
               OpName %param "param"
               OpName %param_0 "param"
               OpName %param_1 "param"
               OpName %i_2 "i"
               OpName %buf0 "buf0"
               OpMemberName %buf0 0 "injectionSwitch"
               OpName %_ ""
               OpName %j_0 "j"
               OpName %gl_FragCoord "gl_FragCoord"
               OpName %grey "grey"
               OpName %_GLF_color "_GLF_color"
               OpMemberDecorate %buf0 0 Offset 0
               OpDecorate %buf0 Block
               OpDecorate %_ DescriptorSet 0
               OpDecorate %_ Binding 0
               OpDecorate %gl_FragCoord BuiltIn FragCoord
               OpDecorate %_GLF_color Location 0
       %void = OpTypeVoid
         %32 = OpTypeFunction %void
        %int = OpTypeInt 32 1
%_ptr_Function_int = OpTypePointer Function %int
         %35 = OpTypeFunction %void %_ptr_Function_int %_ptr_Function_int %_ptr_Function_int
      %int_1 = OpConstant %int 1
       %bool = OpTypeBool
       %uint = OpTypeInt 32 0
    %uint_10 = OpConstant %uint 10
%_arr_int_uint_10 = OpTypeArray %int %uint_10
%_ptr_Private__arr_int_uint_10 = OpTypePointer Private %_arr_int_uint_10
       %data = OpVariable %_ptr_Private__arr_int_uint_10 Private
%_ptr_Private_int = OpTypePointer Private %int
       %temp = OpVariable %_ptr_Private__arr_int_uint_10 Private
     %int_10 = OpConstant %int 10
      %int_0 = OpConstant %int 0
      %int_9 = OpConstant %int 9
      %int_2 = OpConstant %int 2
      %float = OpTypeFloat 32
    %v2float = OpTypeVector %float 2
       %buf0 = OpTypeStruct %v2float
%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
          %_ = OpVariable %_ptr_Uniform_buf0 Uniform
     %uint_0 = OpConstant %uint 0
%_ptr_Uniform_float = OpTypePointer Uniform %float
      %int_4 = OpConstant %int 4
      %int_3 = OpConstant %int 3
     %int_n1 = OpConstant %int -1
     %int_n2 = OpConstant %int -2
     %int_n3 = OpConstant %int -3
     %int_n4 = OpConstant %int -4
     %int_n5 = OpConstant %int -5
    %v4float = OpTypeVector %float 4
%_ptr_Input_v4float = OpTypePointer Input %v4float
%gl_FragCoord = OpVariable %_ptr_Input_v4float Input
     %uint_1 = OpConstant %uint 1
%_ptr_Input_float = OpTypePointer Input %float
     %int_30 = OpConstant %int 30
%_ptr_Function_float = OpTypePointer Function %float
  %float_0_5 = OpConstant %float 0.5
   %float_10 = OpConstant %float 10
     %int_60 = OpConstant %int 60
     %int_90 = OpConstant %int 90
    %int_120 = OpConstant %int 120
    %int_150 = OpConstant %int 150
    %int_180 = OpConstant %int 180
      %int_5 = OpConstant %int 5
    %int_210 = OpConstant %int 210
      %int_6 = OpConstant %int 6
    %int_240 = OpConstant %int 240
      %int_7 = OpConstant %int 7
    %int_270 = OpConstant %int 270
      %int_8 = OpConstant %int 8
%_ptr_Output_v4float = OpTypePointer Output %v4float
 %_GLF_color = OpVariable %_ptr_Output_v4float Output
    %v3float = OpTypeVector %float 3
    %float_1 = OpConstant %float 1
    %int_0_0 = OpConstant %int 0
       %true = OpConstantTrue %bool
      %false = OpConstantFalse %bool
    %float_0 = OpConstant %float 0
       %main = OpFunction %void None %32
         %86 = OpLabel
        %i_2 = OpVariable %_ptr_Function_int Function
        %j_0 = OpVariable %_ptr_Function_int Function
       %grey = OpVariable %_ptr_Function_float Function
         %87 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %uint_0
         %88 = OpLoad %float %87
         %89 = OpConvertFToS %int %88
               OpStore %i_2 %89
               OpBranch %90
         %90 = OpLabel
               OpLoopMerge %91 %92 None
               OpBranch %93
         %93 = OpLabel
         %94 = OpLoad %int %i_2
               OpSelectionMerge %95 None
               OpSwitch %94 %95 0 %96 1 %97 2 %98 3 %99 4 %100 5 %101 6 %102 7 %103 8 %104 9 %105
         %96 = OpLabel
        %106 = OpLoad %int %i_2
        %107 = OpAccessChain %_ptr_Private_int %data %106
               OpStore %107 %int_4
               OpBranch %95
         %97 = OpLabel
        %108 = OpLoad %int %i_2
        %109 = OpAccessChain %_ptr_Private_int %data %108
               OpStore %109 %int_3
               OpBranch %95
         %98 = OpLabel
        %110 = OpLoad %int %i_2
        %111 = OpAccessChain %_ptr_Private_int %data %110
               OpStore %111 %int_2
               OpBranch %95
         %99 = OpLabel
        %112 = OpLoad %int %i_2
        %113 = OpAccessChain %_ptr_Private_int %data %112
               OpStore %113 %int_1
               OpBranch %95
        %100 = OpLabel
        %114 = OpLoad %int %i_2
        %115 = OpAccessChain %_ptr_Private_int %data %114
               OpStore %115 %int_0
               OpBranch %95
        %101 = OpLabel
        %116 = OpLoad %int %i_2
        %117 = OpAccessChain %_ptr_Private_int %data %116
               OpStore %117 %int_n1
               OpBranch %95
        %102 = OpLabel
        %118 = OpLoad %int %i_2
        %119 = OpAccessChain %_ptr_Private_int %data %118
               OpStore %119 %int_n2
               OpBranch %95
        %103 = OpLabel
        %120 = OpLoad %int %i_2
        %121 = OpAccessChain %_ptr_Private_int %data %120
               OpStore %121 %int_n3
               OpBranch %95
        %104 = OpLabel
        %122 = OpLoad %int %i_2
        %123 = OpAccessChain %_ptr_Private_int %data %122
               OpStore %123 %int_n4
               OpBranch %95
        %105 = OpLabel
        %124 = OpLoad %int %i_2
        %125 = OpAccessChain %_ptr_Private_int %data %124
               OpStore %125 %int_n5
               OpBranch %95
         %95 = OpLabel
        %126 = OpLoad %int %i_2
        %127 = OpIAdd %int %126 %int_1
               OpStore %i_2 %127
               OpBranch %92
         %92 = OpLabel
        %128 = OpLoad %int %i_2
        %129 = OpSLessThan %bool %128 %int_10
               OpBranchConditional %129 %90 %91
         %91 = OpLabel
               OpStore %j_0 %int_0
               OpBranch %130
        %130 = OpLabel
               OpLoopMerge %131 %132 None
               OpBranch %133
        %133 = OpLabel
        %134 = OpLoad %int %j_0
        %135 = OpSLessThan %bool %134 %int_10
               OpBranchConditional %135 %136 %131
        %136 = OpLabel
        %137 = OpLoad %int %j_0
        %138 = OpLoad %int %j_0
        %139 = OpAccessChain %_ptr_Private_int %data %138
        %140 = OpLoad %int %139
        %141 = OpAccessChain %_ptr_Private_int %temp %137
               OpStore %141 %140
               OpBranch %132
        %132 = OpLabel
        %142 = OpLoad %int %j_0
        %143 = OpIAdd %int %142 %int_1
               OpStore %j_0 %143
               OpBranch %130
        %131 = OpLabel
        %144 = OpFunctionCall %void %mergeSort_
        %145 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %146 = OpLoad %float %145
        %147 = OpConvertFToS %int %146
        %148 = OpSLessThan %bool %147 %int_30
               OpSelectionMerge %149 None
               OpBranchConditional %148 %150 %151
        %150 = OpLabel
        %152 = OpAccessChain %_ptr_Private_int %data %int_0
        %153 = OpLoad %int %152
        %154 = OpConvertSToF %float %153
        %155 = OpFDiv %float %154 %float_10
        %156 = OpFAdd %float %float_0_5 %155
               OpStore %grey %156
               OpBranch %149
        %151 = OpLabel
        %157 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %158 = OpLoad %float %157
        %159 = OpConvertFToS %int %158
        %160 = OpSLessThan %bool %159 %int_60
               OpSelectionMerge %161 None
               OpBranchConditional %160 %162 %163
        %162 = OpLabel
        %164 = OpAccessChain %_ptr_Private_int %data %int_1
        %165 = OpLoad %int %164
        %166 = OpConvertSToF %float %165
        %167 = OpFDiv %float %166 %float_10
        %168 = OpFAdd %float %float_0_5 %167
               OpStore %grey %168
               OpBranch %161
        %163 = OpLabel
        %169 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %170 = OpLoad %float %169
        %171 = OpConvertFToS %int %170
        %172 = OpSLessThan %bool %171 %int_90
               OpSelectionMerge %173 None
               OpBranchConditional %172 %174 %175
        %174 = OpLabel
        %176 = OpAccessChain %_ptr_Private_int %data %int_2
        %177 = OpLoad %int %176
        %178 = OpConvertSToF %float %177
        %179 = OpFDiv %float %178 %float_10
        %180 = OpFAdd %float %float_0_5 %179
               OpStore %grey %180
               OpBranch %173
        %175 = OpLabel
        %181 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %182 = OpLoad %float %181
        %183 = OpConvertFToS %int %182
        %184 = OpSLessThan %bool %183 %int_120
               OpSelectionMerge %185 None
               OpBranchConditional %184 %186 %187
        %186 = OpLabel
        %188 = OpAccessChain %_ptr_Private_int %data %int_3
        %189 = OpLoad %int %188
        %190 = OpConvertSToF %float %189
        %191 = OpFDiv %float %190 %float_10
        %192 = OpFAdd %float %float_0_5 %191
               OpStore %grey %192
               OpBranch %185
        %187 = OpLabel
        %193 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %194 = OpLoad %float %193
        %195 = OpConvertFToS %int %194
        %196 = OpSLessThan %bool %195 %int_150
               OpSelectionMerge %197 None
               OpBranchConditional %196 %198 %199
        %198 = OpLabel
               OpKill
        %199 = OpLabel
        %200 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %201 = OpLoad %float %200
        %202 = OpConvertFToS %int %201
        %203 = OpSLessThan %bool %202 %int_180
               OpSelectionMerge %204 None
               OpBranchConditional %203 %205 %206
        %205 = OpLabel
        %207 = OpAccessChain %_ptr_Private_int %data %int_5
        %208 = OpLoad %int %207
        %209 = OpConvertSToF %float %208
        %210 = OpFDiv %float %209 %float_10
        %211 = OpFAdd %float %float_0_5 %210
               OpStore %grey %211
               OpBranch %204
        %206 = OpLabel
        %212 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %213 = OpLoad %float %212
        %214 = OpConvertFToS %int %213
        %215 = OpSLessThan %bool %214 %int_210
               OpSelectionMerge %216 None
               OpBranchConditional %215 %217 %218
        %217 = OpLabel
        %219 = OpAccessChain %_ptr_Private_int %data %int_6
        %220 = OpLoad %int %219
        %221 = OpConvertSToF %float %220
        %222 = OpFDiv %float %221 %float_10
        %223 = OpFAdd %float %float_0_5 %222
               OpStore %grey %223
               OpBranch %216
        %218 = OpLabel
        %224 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %225 = OpLoad %float %224
        %226 = OpConvertFToS %int %225
        %227 = OpSLessThan %bool %226 %int_240
               OpSelectionMerge %228 None
               OpBranchConditional %227 %229 %230
        %229 = OpLabel
        %231 = OpAccessChain %_ptr_Private_int %data %int_7
        %232 = OpLoad %int %231
        %233 = OpConvertSToF %float %232
        %234 = OpFDiv %float %233 %float_10
        %235 = OpFAdd %float %float_0_5 %234
               OpStore %grey %235
               OpBranch %228
        %230 = OpLabel
        %236 = OpAccessChain %_ptr_Input_float %gl_FragCoord %uint_1
        %237 = OpLoad %float %236
        %238 = OpConvertFToS %int %237
        %239 = OpSLessThan %bool %238 %int_270
               OpSelectionMerge %240 None
               OpBranchConditional %239 %241 %242
        %241 = OpLabel
        %243 = OpAccessChain %_ptr_Private_int %data %int_8
        %244 = OpLoad %int %243
        %245 = OpConvertSToF %float %244
        %246 = OpFDiv %float %245 %float_10
        %247 = OpFAdd %float %float_0_5 %246
               OpStore %grey %247
               OpBranch %240
        %242 = OpLabel
               OpKill
        %240 = OpLabel
               OpBranch %228
        %228 = OpLabel
               OpBranch %216
        %216 = OpLabel
               OpBranch %204
        %204 = OpLabel
               OpBranch %197
        %197 = OpLabel
               OpBranch %185
        %185 = OpLabel
               OpBranch %173
        %173 = OpLabel
               OpBranch %161
        %161 = OpLabel
               OpBranch %149
        %149 = OpLabel
        %248 = OpLoad %float %grey
        %249 = OpCompositeConstruct %v3float %248 %248 %248
        %250 = OpCompositeExtract %float %249 0
        %251 = OpCompositeExtract %float %249 1
        %252 = OpCompositeExtract %float %249 2
        %253 = OpCompositeConstruct %v4float %250 %251 %252 %float_1
               OpStore %_GLF_color %253
               OpReturn
               OpFunctionEnd
%merge_i1_i1_i1_ = OpFunction %void None %35
       %from = OpFunctionParameter %_ptr_Function_int
        %mid = OpFunctionParameter %_ptr_Function_int
         %to = OpFunctionParameter %_ptr_Function_int
        %254 = OpLabel
          %k = OpVariable %_ptr_Function_int Function
          %i = OpVariable %_ptr_Function_int Function
          %j = OpVariable %_ptr_Function_int Function
        %i_0 = OpVariable %_ptr_Function_int Function
        %255 = OpLoad %int %from
               OpStore %k %255
        %256 = OpLoad %int %from
               OpStore %i %256
        %257 = OpLoad %int %mid
        %258 = OpIAdd %int %257 %int_1
               OpStore %j %258
               OpBranch %259
        %259 = OpLabel
        %260 = OpFOrdGreaterThanEqual %bool %float_1 %float_0
               OpLoopMerge %261 %262 None
               OpBranchConditional %260 %263 %262
        %263 = OpLabel
        %264 = OpLoad %int %i
        %265 = OpLoad %int %mid
        %266 = OpSLessThanEqual %bool %264 %265
        %267 = OpLoad %int %j
        %268 = OpLoad %int %to
        %269 = OpSLessThanEqual %bool %267 %268
        %270 = OpLogicalAnd %bool %266 %269
               OpBranchConditional %270 %271 %261
        %271 = OpLabel
        %272 = OpLoad %int %i
        %273 = OpAccessChain %_ptr_Private_int %data %272
        %274 = OpLoad %int %273
        %275 = OpLoad %int %j
        %276 = OpAccessChain %_ptr_Private_int %data %275
        %277 = OpLoad %int %276
        %278 = OpSLessThan %bool %274 %277
               OpBranch %279
        %279 = OpLabel
               OpSelectionMerge %280 None
               OpBranchConditional %278 %281 %282
        %281 = OpLabel
        %283 = OpLoad %int %k
               OpBranch %280
        %282 = OpLabel
        %284 = OpCopyObject %int %int_0_0
               OpBranch %280
        %280 = OpLabel
        %285 = OpPhi %int %283 %281 %284 %282
        %286 = OpIAdd %int %285 %int_1
               OpBranch %287
        %287 = OpLabel
               OpSelectionMerge %288 None
               OpBranchConditional %278 %289 %288
        %289 = OpLabel
               OpStore %k %286
        %290 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %int_0
        %291 = OpLoad %float %290
        %292 = OpFUnordGreaterThan %bool %float_1 %291
               OpBranchConditional %292 %288 %262
        %288 = OpLabel
               OpBranch %293
        %293 = OpLabel
        %294 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %int_1
        %295 = OpLoad %float %294
        %296 = OpFOrdGreaterThanEqual %bool %295 %float_0
               OpBranchConditional %296 %297 %262
        %297 = OpLabel
        %298 = OpCopyObject %int %int_0_0
               OpBranch %299
        %299 = OpLabel
               OpSelectionMerge %300 None
               OpBranchConditional %278 %301 %302
        %301 = OpLabel
        %303 = OpLoad %int %i
               OpBranch %300
        %302 = OpLabel
        %304 = OpCopyObject %int %int_0_0
               OpBranch %300
        %300 = OpLabel
        %305 = OpPhi %int %303 %301 %304 %302
               OpBranch %306
        %306 = OpLabel
        %307 = OpSelect %int %278 %305 %298
        %308 = OpIAdd %int %307 %int_1
               OpSelectionMerge %309 None
               OpBranchConditional %278 %310 %309
        %310 = OpLabel
               OpStore %i %308
               OpBranch %309
        %309 = OpLabel
        %311 = OpAccessChain %_ptr_Private_int %data %307
               OpBranch %312
        %312 = OpLabel
        %313 = OpCopyObject %int %int_0_0
               OpBranch %314
        %314 = OpLabel
               OpSelectionMerge %315 None
               OpBranchConditional %278 %316 %317
        %316 = OpLabel
        %318 = OpLoad %int %311
        %319 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %int_1
        %320 = OpLoad %float %319
        %321 = OpFUnordGreaterThan %bool %float_0 %320
               OpBranchConditional %321 %262 %315
        %317 = OpLabel
        %322 = OpCopyObject %int %int_0_0
        %323 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %int_1
        %324 = OpLoad %float %323
        %325 = OpFUnordGreaterThanEqual %bool %324 %float_0
               OpBranchConditional %325 %315 %262
        %315 = OpLabel
        %326 = OpPhi %int %318 %316 %322 %317
               OpBranch %327
        %327 = OpLabel
        %328 = OpSelect %int %278 %326 %313
        %329 = OpAccessChain %_ptr_Private_int %temp %285
               OpSelectionMerge %330 None
               OpBranchConditional %278 %331 %330
        %331 = OpLabel
               OpStore %329 %328
               OpBranch %330
        %330 = OpLabel
               OpBranch %332
        %332 = OpLabel
               OpSelectionMerge %333 None
               OpBranchConditional %278 %334 %335
        %335 = OpLabel
        %336 = OpLoad %int %k
               OpBranch %333
        %334 = OpLabel
        %337 = OpCopyObject %int %int_0_0
               OpBranch %333
        %333 = OpLabel
        %338 = OpPhi %int %336 %335 %337 %334
        %339 = OpIAdd %int %338 %int_1
               OpSelectionMerge %340 None
               OpBranchConditional %278 %340 %341
        %341 = OpLabel
               OpStore %k %339
               OpBranch %340
        %340 = OpLabel
        %342 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %int_0
        %343 = OpLoad %float %342
        %344 = OpFUnordGreaterThan %bool %float_1 %343
               OpBranchConditional %344 %345 %262
        %345 = OpLabel
               OpSelectionMerge %346 None
               OpBranchConditional %278 %347 %348
        %348 = OpLabel
        %349 = OpLoad %int %j
               OpBranch %346
        %347 = OpLabel
        %350 = OpCopyObject %int %int_0_0
               OpBranch %346
        %346 = OpLabel
        %351 = OpPhi %int %349 %348 %350 %347
               OpBranch %352
        %352 = OpLabel
        %353 = OpCopyObject %int %int_0_0
               OpBranch %354
        %354 = OpLabel
        %355 = OpSelect %int %278 %353 %351
        %356 = OpIAdd %int %355 %int_1
               OpSelectionMerge %357 None
               OpBranchConditional %278 %357 %358
        %358 = OpLabel
               OpStore %j %356
               OpBranch %357
        %357 = OpLabel
        %359 = OpAccessChain %_ptr_Private_int %data %355
               OpSelectionMerge %360 None
               OpBranchConditional %278 %361 %362
        %362 = OpLabel
        %363 = OpLoad %int %359
               OpBranch %360
        %361 = OpLabel
        %364 = OpCopyObject %int %int_0_0
               OpBranch %360
        %360 = OpLabel
        %365 = OpPhi %int %363 %362 %364 %361
        %366 = OpAccessChain %_ptr_Private_int %temp %338
               OpSelectionMerge %367 None
               OpBranchConditional %278 %367 %368
        %368 = OpLabel
               OpStore %366 %365
               OpBranch %367
        %367 = OpLabel
               OpBranch %369
        %369 = OpLabel
               OpBranch %262
        %262 = OpLabel
               OpBranch %259
        %261 = OpLabel
               OpBranch %370
        %370 = OpLabel
               OpLoopMerge %371 %372 None
               OpBranch %373
        %373 = OpLabel
        %374 = OpLoad %int %i
        %375 = OpSLessThan %bool %374 %int_10
        %376 = OpLoad %int %i
        %377 = OpLoad %int %mid
        %378 = OpSLessThanEqual %bool %376 %377
        %379 = OpLogicalAnd %bool %375 %378
               OpBranchConditional %379 %380 %371
        %380 = OpLabel
        %381 = OpLoad %int %k
        %382 = OpIAdd %int %381 %int_1
               OpStore %k %382
        %383 = OpLoad %int %i
        %384 = OpIAdd %int %383 %int_1
               OpStore %i %384
        %385 = OpAccessChain %_ptr_Private_int %data %383
        %386 = OpLoad %int %385
        %387 = OpAccessChain %_ptr_Private_int %temp %381
               OpStore %387 %386
               OpBranch %372
        %372 = OpLabel
               OpBranch %370
        %371 = OpLabel
        %388 = OpLoad %int %from
               OpStore %i_0 %388
               OpBranch %389
        %389 = OpLabel
               OpLoopMerge %390 %391 None
               OpBranch %392
        %392 = OpLabel
        %393 = OpLoad %int %i_0
        %394 = OpLoad %int %to
        %395 = OpSLessThanEqual %bool %393 %394
               OpBranchConditional %395 %396 %390
        %396 = OpLabel
        %397 = OpLoad %int %i_0
        %398 = OpLoad %int %i_0
        %399 = OpAccessChain %_ptr_Private_int %temp %398
        %400 = OpLoad %int %399
        %401 = OpAccessChain %_ptr_Private_int %data %397
               OpStore %401 %400
               OpBranch %391
        %391 = OpLabel
        %402 = OpLoad %int %i_0
        %403 = OpIAdd %int %402 %int_1
               OpStore %i_0 %403
               OpBranch %389
        %390 = OpLabel
               OpReturn
               OpFunctionEnd
 %mergeSort_ = OpFunction %void None %32
        %404 = OpLabel
        %low = OpVariable %_ptr_Function_int Function
       %high = OpVariable %_ptr_Function_int Function
          %m = OpVariable %_ptr_Function_int Function
        %i_1 = OpVariable %_ptr_Function_int Function
     %from_0 = OpVariable %_ptr_Function_int Function
      %mid_0 = OpVariable %_ptr_Function_int Function
       %to_0 = OpVariable %_ptr_Function_int Function
      %param = OpVariable %_ptr_Function_int Function
    %param_0 = OpVariable %_ptr_Function_int Function
    %param_1 = OpVariable %_ptr_Function_int Function
               OpStore %low %int_0
               OpStore %high %int_9
               OpStore %m %int_1
               OpBranch %405
        %405 = OpLabel
               OpLoopMerge %406 %407 None
               OpBranch %408
        %408 = OpLabel
        %409 = OpLoad %int %m
        %410 = OpLoad %int %high
        %411 = OpSLessThanEqual %bool %409 %410
               OpBranchConditional %411 %412 %406
        %412 = OpLabel
        %413 = OpLoad %int %low
               OpStore %i_1 %413
               OpBranch %414
        %414 = OpLabel
               OpLoopMerge %415 %416 None
               OpBranch %417
        %417 = OpLabel
        %418 = OpLoad %int %i_1
        %419 = OpLoad %int %high
        %420 = OpSLessThan %bool %418 %419
               OpBranchConditional %420 %421 %415
        %421 = OpLabel
        %422 = OpLoad %int %i_1
               OpStore %from_0 %422
        %423 = OpLoad %int %i_1
        %424 = OpLoad %int %m
        %425 = OpIAdd %int %423 %424
        %426 = OpISub %int %425 %int_1
               OpStore %mid_0 %426
        %427 = OpLoad %int %i_1
        %428 = OpLoad %int %m
        %429 = OpIMul %int %int_2 %428
        %430 = OpIAdd %int %427 %429
        %431 = OpISub %int %430 %int_1
        %432 = OpLoad %int %high
        %433 = OpExtInst %int %1 SMin %431 %432
               OpStore %to_0 %433
        %434 = OpLoad %int %from_0
               OpStore %param %434
        %435 = OpLoad %int %mid_0
               OpStore %param_0 %435
        %436 = OpLoad %int %to_0
               OpStore %param_1 %436
        %437 = OpFunctionCall %void %merge_i1_i1_i1_ %param %param_0 %param_1
               OpBranch %416
        %416 = OpLabel
        %438 = OpLoad %int %m
        %439 = OpIMul %int %int_2 %438
        %440 = OpLoad %int %i_1
        %441 = OpIAdd %int %440 %439
               OpStore %i_1 %441
               OpBranch %414
        %415 = OpLabel
               OpBranch %407
        %407 = OpLabel
        %442 = OpLoad %int %m
        %443 = OpIMul %int %int_2 %442
               OpStore %m %443
               OpBranch %405
        %406 = OpLabel
               OpReturn
               OpFunctionEnd