dawn-cmake/test/vk-gl-cts/graphicsfuzz/spv-stable-mergesort-func-i.../2.wgsl.expected.spvasm

742 lines
27 KiB
Plaintext

SKIP: FAILED
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
; Bound: 471
; Schema: 0
OpCapability Shader
%255 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %main "main" %tint_symbol %tint_symbol_2
OpExecutionMode %main OriginUpperLeft
OpName %data "data"
OpName %temp "temp"
OpName %buf0 "buf0"
OpMemberName %buf0 0 "injectionSwitch"
OpName %x_28 "x_28"
OpName %gl_FragCoord "gl_FragCoord"
OpName %x_GLF_color "x_GLF_color"
OpName %tint_symbol "tint_symbol"
OpName %tint_symbol_2 "tint_symbol_2"
OpName %merge_i1_i1_i1_ "merge_i1_i1_i1_"
OpName %from "from"
OpName %mid "mid"
OpName %to "to"
OpName %k "k"
OpName %i "i"
OpName %j "j"
OpName %i_1 "i_1"
OpName %main_1 "main_1"
OpName %x_85 "x_85"
OpName %x_86 "x_86"
OpName %x_87 "x_87"
OpName %x_88 "x_88"
OpName %x_89 "x_89"
OpName %x_90 "x_90"
OpName %x_91 "x_91"
OpName %x_92 "x_92"
OpName %x_93 "x_93"
OpName %x_94 "x_94"
OpName %i_3 "i_3"
OpName %j_1 "j_1"
OpName %grey "grey"
OpName %main_out "main_out"
OpMemberName %main_out 0 "x_GLF_color_1"
OpName %tint_symbol_3 "tint_symbol_3"
OpName %tint_symbol_1 "tint_symbol_1"
OpName %main "main"
OpName %mergeSort_ "mergeSort_"
OpName %low "low"
OpName %high "high"
OpName %m "m"
OpName %i_2 "i_2"
OpName %from_1 "from_1"
OpName %mid_1 "mid_1"
OpName %to_1 "to_1"
OpName %param "param"
OpName %param_1 "param_1"
OpName %param_2 "param_2"
OpDecorate %_arr_int_uint_10 ArrayStride 4
OpDecorate %buf0 Block
OpMemberDecorate %buf0 0 Offset 0
OpDecorate %x_28 NonWritable
OpDecorate %x_28 DescriptorSet 0
OpDecorate %x_28 Binding 0
OpDecorate %tint_symbol BuiltIn FragCoord
OpDecorate %tint_symbol_2 Location 0
OpMemberDecorate %main_out 0 Offset 0
%int = OpTypeInt 32 1
%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
%7 = OpConstantNull %_arr_int_uint_10
%data = OpVariable %_ptr_Private__arr_int_uint_10 Private %7
%temp = OpVariable %_ptr_Private__arr_int_uint_10 Private %7
%float = OpTypeFloat 32
%v2float = OpTypeVector %float 2
%buf0 = OpTypeStruct %v2float
%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
%x_28 = OpVariable %_ptr_Uniform_buf0 Uniform
%v4float = OpTypeVector %float 4
%_ptr_Private_v4float = OpTypePointer Private %v4float
%17 = OpConstantNull %v4float
%gl_FragCoord = OpVariable %_ptr_Private_v4float Private %17
%x_GLF_color = OpVariable %_ptr_Private_v4float Private %17
%_ptr_Input_v4float = OpTypePointer Input %v4float
%tint_symbol = OpVariable %_ptr_Input_v4float Input
%_ptr_Output_v4float = OpTypePointer Output %v4float
%tint_symbol_2 = OpVariable %_ptr_Output_v4float Output %17
%void = OpTypeVoid
%_ptr_Function_int = OpTypePointer Function %int
%23 = OpTypeFunction %void %_ptr_Function_int %_ptr_Function_int %_ptr_Function_int
%32 = OpConstantNull %int
%int_1 = OpConstant %int 1
%bool = OpTypeBool
%_ptr_Private_int = OpTypePointer Private %int
%int_10 = OpConstant %int 10
%132 = OpTypeFunction %void
%_ptr_Function_float = OpTypePointer Function %float
%149 = OpConstantNull %float
%uint_0 = OpConstant %uint 0
%_ptr_Uniform_float = OpTypePointer Uniform %float
%int_n5 = OpConstant %int -5
%int_n4 = OpConstant %int -4
%int_n3 = OpConstant %int -3
%int_n2 = OpConstant %int -2
%int_n1 = OpConstant %int -1
%int_0 = OpConstant %int 0
%int_2 = OpConstant %int 2
%int_3 = OpConstant %int 3
%int_4 = OpConstant %int 4
%int_9 = OpConstant %int 9
%uint_1 = OpConstant %uint 1
%_ptr_Private_float = OpTypePointer Private %float
%int_30 = OpConstant %int 30
%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
%v3float = OpTypeVector %float 3
%float_1 = OpConstant %float 1
%main_out = OpTypeStruct %v4float
%400 = OpTypeFunction %void %main_out
%merge_i1_i1_i1_ = OpFunction %void None %23
%from = OpFunctionParameter %_ptr_Function_int
%mid = OpFunctionParameter %_ptr_Function_int
%to = OpFunctionParameter %_ptr_Function_int
%30 = OpLabel
%k = OpVariable %_ptr_Function_int Function %32
%i = OpVariable %_ptr_Function_int Function %32
%j = OpVariable %_ptr_Function_int Function %32
%i_1 = OpVariable %_ptr_Function_int Function %32
%37 = OpLoad %int %from
OpStore %k %37
%39 = OpLoad %int %from
OpStore %i %39
%41 = OpLoad %int %mid
%43 = OpIAdd %int %41 %int_1
OpStore %j %43
OpBranch %44
%44 = OpLabel
OpLoopMerge %45 %46 None
OpBranch %47
%47 = OpLabel
%48 = OpLoad %int %i
%50 = OpLoad %int %mid
%51 = OpLoad %int %j
%53 = OpLoad %int %to
%54 = OpSLessThanEqual %bool %48 %50
OpSelectionMerge %56 None
OpBranchConditional %54 %57 %56
%57 = OpLabel
%58 = OpSLessThanEqual %bool %51 %53
OpBranch %56
%56 = OpLabel
%59 = OpPhi %bool %54 %47 %58 %57
OpSelectionMerge %60 None
OpBranchConditional %59 %61 %62
%61 = OpLabel
OpBranch %60
%62 = OpLabel
OpBranch %45
%60 = OpLabel
%63 = OpLoad %int %i
%65 = OpAccessChain %_ptr_Private_int %data %63
%66 = OpLoad %int %65
%67 = OpLoad %int %j
%68 = OpAccessChain %_ptr_Private_int %data %67
%69 = OpLoad %int %68
%70 = OpSLessThan %bool %66 %69
OpSelectionMerge %71 None
OpBranchConditional %70 %72 %73
%72 = OpLabel
%74 = OpLoad %int %k
%75 = OpIAdd %int %74 %int_1
OpStore %k %75
%76 = OpLoad %int %i
%77 = OpIAdd %int %76 %int_1
OpStore %i %77
%78 = OpAccessChain %_ptr_Private_int %data %76
%79 = OpLoad %int %78
%80 = OpAccessChain %_ptr_Private_int %temp %74
OpStore %80 %79
OpBranch %71
%73 = OpLabel
%81 = OpLoad %int %k
%82 = OpIAdd %int %81 %int_1
OpStore %k %82
%83 = OpLoad %int %j
%84 = OpIAdd %int %83 %int_1
OpStore %j %84
%85 = OpAccessChain %_ptr_Private_int %data %83
%86 = OpLoad %int %85
%87 = OpAccessChain %_ptr_Private_int %temp %81
OpStore %87 %86
OpBranch %71
%71 = OpLabel
OpBranch %46
%46 = OpLabel
OpBranch %44
%45 = OpLabel
OpBranch %88
%88 = OpLabel
OpLoopMerge %89 %90 None
OpBranch %91
%91 = OpLabel
%92 = OpLoad %int %i
%93 = OpLoad %int %i
%95 = OpLoad %int %mid
%97 = OpSLessThan %bool %92 %int_10
OpSelectionMerge %98 None
OpBranchConditional %97 %99 %98
%99 = OpLabel
%100 = OpSLessThanEqual %bool %93 %95
OpBranch %98
%98 = OpLabel
%101 = OpPhi %bool %97 %91 %100 %99
OpSelectionMerge %102 None
OpBranchConditional %101 %103 %104
%103 = OpLabel
OpBranch %102
%104 = OpLabel
OpBranch %89
%102 = OpLabel
%105 = OpLoad %int %k
%106 = OpIAdd %int %105 %int_1
OpStore %k %106
%107 = OpLoad %int %i
%108 = OpIAdd %int %107 %int_1
OpStore %i %108
%109 = OpAccessChain %_ptr_Private_int %data %107
%110 = OpLoad %int %109
%111 = OpAccessChain %_ptr_Private_int %temp %105
OpStore %111 %110
OpBranch %90
%90 = OpLabel
OpBranch %88
%89 = OpLabel
%113 = OpLoad %int %from
OpStore %i_1 %113
OpBranch %114
%114 = OpLabel
OpLoopMerge %115 %116 None
OpBranch %117
%117 = OpLabel
%118 = OpLoad %int %i_1
%120 = OpLoad %int %to
%121 = OpSLessThanEqual %bool %118 %120
OpSelectionMerge %122 None
OpBranchConditional %121 %123 %124
%123 = OpLabel
OpBranch %122
%124 = OpLabel
OpBranch %115
%122 = OpLabel
%125 = OpLoad %int %i_1
%126 = OpLoad %int %i_1
%127 = OpAccessChain %_ptr_Private_int %temp %126
%128 = OpLoad %int %127
%129 = OpAccessChain %_ptr_Private_int %data %125
OpStore %129 %128
OpBranch %116
%116 = OpLabel
%130 = OpLoad %int %i_1
%131 = OpIAdd %int %130 %int_1
OpStore %i_1 %131
OpBranch %114
%115 = OpLabel
OpReturn
OpFunctionEnd
%main_1 = OpFunction %void None %132
%134 = OpLabel
%x_85 = OpVariable %_ptr_Function_int Function %32
%x_86 = OpVariable %_ptr_Function_int Function %32
%x_87 = OpVariable %_ptr_Function_int Function %32
%x_88 = OpVariable %_ptr_Function_int Function %32
%x_89 = OpVariable %_ptr_Function_int Function %32
%x_90 = OpVariable %_ptr_Function_int Function %32
%x_91 = OpVariable %_ptr_Function_int Function %32
%x_92 = OpVariable %_ptr_Function_int Function %32
%x_93 = OpVariable %_ptr_Function_int Function %32
%x_94 = OpVariable %_ptr_Function_int Function %32
%i_3 = OpVariable %_ptr_Function_int Function %32
%j_1 = OpVariable %_ptr_Function_int Function %32
%grey = OpVariable %_ptr_Function_float Function %149
%152 = OpAccessChain %_ptr_Uniform_float %x_28 %uint_0 %uint_0
%153 = OpLoad %float %152
%154 = OpConvertFToS %int %153
OpStore %i_3 %154
OpBranch %155
%155 = OpLabel
OpLoopMerge %156 %157 None
OpBranch %158
%158 = OpLabel
%159 = OpLoad %int %i_3
OpSelectionMerge %160 None
OpSwitch %159 %161 9 %162 8 %163 7 %164 6 %165 5 %166 4 %167 3 %168 2 %169 1 %170 0 %171
%162 = OpLabel
%172 = OpLoad %int %i_3
%173 = OpAccessChain %_ptr_Private_int %data %172
OpStore %173 %int_n5
OpBranch %160
%163 = OpLabel
%175 = OpLoad %int %i_3
%176 = OpAccessChain %_ptr_Private_int %data %175
OpStore %176 %int_n4
OpBranch %160
%164 = OpLabel
%178 = OpLoad %int %i_3
%179 = OpAccessChain %_ptr_Private_int %data %178
OpStore %179 %int_n3
OpBranch %160
%165 = OpLabel
%181 = OpLoad %int %i_3
%182 = OpAccessChain %_ptr_Private_int %data %181
OpStore %182 %int_n2
OpBranch %160
%166 = OpLabel
%184 = OpLoad %int %i_3
%185 = OpAccessChain %_ptr_Private_int %data %184
OpStore %185 %int_n1
OpBranch %160
%167 = OpLabel
%187 = OpLoad %int %i_3
%188 = OpAccessChain %_ptr_Private_int %data %187
OpStore %188 %int_0
OpBranch %160
%168 = OpLabel
%190 = OpLoad %int %i_3
%191 = OpAccessChain %_ptr_Private_int %data %190
OpStore %191 %int_1
OpBranch %160
%169 = OpLabel
%192 = OpLoad %int %i_3
%193 = OpAccessChain %_ptr_Private_int %data %192
OpStore %193 %int_2
OpBranch %160
%170 = OpLabel
%195 = OpLoad %int %i_3
%196 = OpAccessChain %_ptr_Private_int %data %195
OpStore %196 %int_3
OpBranch %160
%171 = OpLabel
%198 = OpLoad %int %i_3
%199 = OpAccessChain %_ptr_Private_int %data %198
OpStore %199 %int_4
OpBranch %160
%161 = OpLabel
OpBranch %160
%160 = OpLabel
%201 = OpLoad %int %i_3
%202 = OpIAdd %int %201 %int_1
OpStore %i_3 %202
OpBranch %157
%157 = OpLabel
%203 = OpLoad %int %i_3
%204 = OpSLessThan %bool %203 %int_10
OpSelectionMerge %205 None
OpBranchConditional %204 %206 %207
%206 = OpLabel
OpBranch %205
%207 = OpLabel
OpBranch %156
%205 = OpLabel
OpBranch %155
%156 = OpLabel
OpStore %j_1 %int_0
OpBranch %208
%208 = OpLabel
OpLoopMerge %209 %210 None
OpBranch %211
%211 = OpLabel
%212 = OpLoad %int %j_1
%213 = OpSLessThan %bool %212 %int_10
OpSelectionMerge %214 None
OpBranchConditional %213 %215 %216
%215 = OpLabel
OpBranch %214
%216 = OpLabel
OpBranch %209
%214 = OpLabel
%217 = OpLoad %int %j_1
%218 = OpLoad %int %j_1
%219 = OpAccessChain %_ptr_Private_int %data %218
%220 = OpLoad %int %219
%221 = OpAccessChain %_ptr_Private_int %temp %217
OpStore %221 %220
OpBranch %210
%210 = OpLabel
%222 = OpLoad %int %j_1
%223 = OpIAdd %int %222 %int_1
OpStore %j_1 %223
OpBranch %208
%209 = OpLabel
OpStore %x_94 %int_0
OpStore %x_93 %int_9
OpStore %x_92 %int_1
OpBranch %225
%225 = OpLabel
OpLoopMerge %226 %227 None
OpBranch %228
%228 = OpLabel
%229 = OpLoad %int %x_92
%230 = OpLoad %int %x_93
%231 = OpSLessThanEqual %bool %229 %230
OpSelectionMerge %232 None
OpBranchConditional %231 %233 %234
%233 = OpLabel
OpBranch %232
%234 = OpLabel
OpBranch %226
%232 = OpLabel
%235 = OpLoad %int %x_94
OpStore %x_91 %235
OpBranch %236
%236 = OpLabel
OpLoopMerge %237 %238 None
OpBranch %239
%239 = OpLabel
%240 = OpLoad %int %x_91
%241 = OpLoad %int %x_93
%242 = OpSLessThan %bool %240 %241
OpSelectionMerge %243 None
OpBranchConditional %242 %244 %245
%244 = OpLabel
OpBranch %243
%245 = OpLabel
OpBranch %237
%243 = OpLabel
%246 = OpLoad %int %x_91
OpStore %x_90 %246
%247 = OpLoad %int %x_91
%248 = OpLoad %int %x_92
%249 = OpIAdd %int %247 %248
%250 = OpISub %int %249 %int_1
OpStore %x_89 %250
%251 = OpLoad %int %x_91
%252 = OpLoad %int %x_92
%253 = OpLoad %int %x_93
%256 = OpIMul %int %int_2 %252
%257 = OpIAdd %int %251 %256
%258 = OpISub %int %257 %int_1
%254 = OpExtInst %int %255 SMin %258 %253
OpStore %x_88 %254
%259 = OpLoad %int %x_90
OpStore %x_87 %259
%260 = OpLoad %int %x_89
OpStore %x_86 %260
%261 = OpLoad %int %x_88
OpStore %x_85 %261
%262 = OpFunctionCall %void %merge_i1_i1_i1_ %x_87 %x_86 %x_85
OpBranch %238
%238 = OpLabel
%266 = OpLoad %int %x_92
%267 = OpLoad %int %x_91
%268 = OpIMul %int %int_2 %266
%269 = OpIAdd %int %267 %268
OpStore %x_91 %269
OpBranch %236
%237 = OpLabel
OpBranch %227
%227 = OpLabel
%270 = OpLoad %int %x_92
%271 = OpIMul %int %int_2 %270
OpStore %x_92 %271
OpBranch %225
%226 = OpLabel
%274 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%275 = OpLoad %float %274
%276 = OpConvertFToS %int %275
%278 = OpSLessThan %bool %276 %int_30
OpSelectionMerge %279 None
OpBranchConditional %278 %280 %281
%280 = OpLabel
%282 = OpAccessChain %_ptr_Private_int %data %int_0
%283 = OpLoad %int %282
%285 = OpConvertSToF %float %283
%287 = OpFDiv %float %285 %float_10
%288 = OpFAdd %float %float_0_5 %287
OpStore %grey %288
OpBranch %279
%281 = OpLabel
%289 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%290 = OpLoad %float %289
%291 = OpConvertFToS %int %290
%293 = OpSLessThan %bool %291 %int_60
OpSelectionMerge %294 None
OpBranchConditional %293 %295 %296
%295 = OpLabel
%297 = OpAccessChain %_ptr_Private_int %data %int_1
%298 = OpLoad %int %297
%299 = OpConvertSToF %float %298
%300 = OpFDiv %float %299 %float_10
%301 = OpFAdd %float %float_0_5 %300
OpStore %grey %301
OpBranch %294
%296 = OpLabel
%302 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%303 = OpLoad %float %302
%304 = OpConvertFToS %int %303
%306 = OpSLessThan %bool %304 %int_90
OpSelectionMerge %307 None
OpBranchConditional %306 %308 %309
%308 = OpLabel
%310 = OpAccessChain %_ptr_Private_int %data %int_2
%311 = OpLoad %int %310
%312 = OpConvertSToF %float %311
%313 = OpFDiv %float %312 %float_10
%314 = OpFAdd %float %float_0_5 %313
OpStore %grey %314
OpBranch %307
%309 = OpLabel
%315 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%316 = OpLoad %float %315
%317 = OpConvertFToS %int %316
%319 = OpSLessThan %bool %317 %int_120
OpSelectionMerge %320 None
OpBranchConditional %319 %321 %322
%321 = OpLabel
%323 = OpAccessChain %_ptr_Private_int %data %int_3
%324 = OpLoad %int %323
%325 = OpConvertSToF %float %324
%326 = OpFDiv %float %325 %float_10
%327 = OpFAdd %float %float_0_5 %326
OpStore %grey %327
OpBranch %320
%322 = OpLabel
%328 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%329 = OpLoad %float %328
%330 = OpConvertFToS %int %329
%332 = OpSLessThan %bool %330 %int_150
OpSelectionMerge %333 None
OpBranchConditional %332 %334 %335
%334 = OpLabel
OpKill
%335 = OpLabel
%336 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%337 = OpLoad %float %336
%338 = OpConvertFToS %int %337
%340 = OpSLessThan %bool %338 %int_180
OpSelectionMerge %341 None
OpBranchConditional %340 %342 %343
%342 = OpLabel
%345 = OpAccessChain %_ptr_Private_int %data %int_5
%346 = OpLoad %int %345
%347 = OpConvertSToF %float %346
%348 = OpFDiv %float %347 %float_10
%349 = OpFAdd %float %float_0_5 %348
OpStore %grey %349
OpBranch %341
%343 = OpLabel
%350 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%351 = OpLoad %float %350
%352 = OpConvertFToS %int %351
%354 = OpSLessThan %bool %352 %int_210
OpSelectionMerge %355 None
OpBranchConditional %354 %356 %357
%356 = OpLabel
%359 = OpAccessChain %_ptr_Private_int %data %int_6
%360 = OpLoad %int %359
%361 = OpConvertSToF %float %360
%362 = OpFDiv %float %361 %float_10
%363 = OpFAdd %float %float_0_5 %362
OpStore %grey %363
OpBranch %355
%357 = OpLabel
%364 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%365 = OpLoad %float %364
%366 = OpConvertFToS %int %365
%368 = OpSLessThan %bool %366 %int_240
OpSelectionMerge %369 None
OpBranchConditional %368 %370 %371
%370 = OpLabel
%373 = OpAccessChain %_ptr_Private_int %data %int_7
%374 = OpLoad %int %373
%375 = OpConvertSToF %float %374
%376 = OpFDiv %float %375 %float_10
%377 = OpFAdd %float %float_0_5 %376
OpStore %grey %377
OpBranch %369
%371 = OpLabel
%378 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1
%379 = OpLoad %float %378
%380 = OpConvertFToS %int %379
%382 = OpSLessThan %bool %380 %int_270
OpSelectionMerge %383 None
OpBranchConditional %382 %384 %385
%384 = OpLabel
%387 = OpAccessChain %_ptr_Private_int %data %int_8
%388 = OpLoad %int %387
%389 = OpConvertSToF %float %388
%390 = OpFDiv %float %389 %float_10
%391 = OpFAdd %float %float_0_5 %390
OpStore %grey %391
OpBranch %383
%385 = OpLabel
OpKill
%383 = OpLabel
OpBranch %369
%369 = OpLabel
OpBranch %355
%355 = OpLabel
OpBranch %341
%341 = OpLabel
OpBranch %333
%333 = OpLabel
OpBranch %320
%320 = OpLabel
OpBranch %307
%307 = OpLabel
OpBranch %294
%294 = OpLabel
OpBranch %279
%279 = OpLabel
%392 = OpLoad %float %grey
%394 = OpCompositeConstruct %v3float %392 %392 %392
%395 = OpCompositeExtract %float %394 0
%396 = OpCompositeExtract %float %394 1
%397 = OpCompositeExtract %float %394 2
%399 = OpCompositeConstruct %v4float %395 %396 %397 %float_1
OpStore %x_GLF_color %399
OpReturn
OpFunctionEnd
%tint_symbol_3 = OpFunction %void None %400
%tint_symbol_1 = OpFunctionParameter %main_out
%404 = OpLabel
%405 = OpCompositeExtract %v4float %tint_symbol_1 0
OpStore %tint_symbol_2 %405
OpReturn
OpFunctionEnd
%main = OpFunction %void None %132
%407 = OpLabel
%408 = OpLoad %v4float %tint_symbol
OpStore %gl_FragCoord %408
%409 = OpFunctionCall %void %main_1
%411 = OpLoad %v4float %x_GLF_color
%412 = OpCompositeConstruct %main_out %411
%410 = OpFunctionCall %void %tint_symbol_3 %412
OpReturn
OpFunctionEnd
%mergeSort_ = OpFunction %void None %132
%414 = OpLabel
%low = OpVariable %_ptr_Function_int Function %32
%high = OpVariable %_ptr_Function_int Function %32
%m = OpVariable %_ptr_Function_int Function %32
%i_2 = OpVariable %_ptr_Function_int Function %32
%from_1 = OpVariable %_ptr_Function_int Function %32
%mid_1 = OpVariable %_ptr_Function_int Function %32
%to_1 = OpVariable %_ptr_Function_int Function %32
%param = OpVariable %_ptr_Function_int Function %32
%param_1 = OpVariable %_ptr_Function_int Function %32
%param_2 = OpVariable %_ptr_Function_int Function %32
OpStore %low %int_0
OpStore %high %int_9
OpStore %m %int_1
OpBranch %425
%425 = OpLabel
OpLoopMerge %426 %427 None
OpBranch %428
%428 = OpLabel
%429 = OpLoad %int %m
%430 = OpLoad %int %high
%431 = OpSLessThanEqual %bool %429 %430
OpSelectionMerge %432 None
OpBranchConditional %431 %433 %434
%433 = OpLabel
OpBranch %432
%434 = OpLabel
OpBranch %426
%432 = OpLabel
%435 = OpLoad %int %low
OpStore %i_2 %435
OpBranch %436
%436 = OpLabel
OpLoopMerge %437 %438 None
OpBranch %439
%439 = OpLabel
%440 = OpLoad %int %i_2
%441 = OpLoad %int %high
%442 = OpSLessThan %bool %440 %441
OpSelectionMerge %443 None
OpBranchConditional %442 %444 %445
%444 = OpLabel
OpBranch %443
%445 = OpLabel
OpBranch %437
%443 = OpLabel
%446 = OpLoad %int %i_2
OpStore %from_1 %446
%447 = OpLoad %int %i_2
%448 = OpLoad %int %m
%449 = OpIAdd %int %447 %448
%450 = OpISub %int %449 %int_1
OpStore %mid_1 %450
%451 = OpLoad %int %i_2
%452 = OpLoad %int %m
%453 = OpLoad %int %high
%455 = OpIMul %int %int_2 %452
%456 = OpIAdd %int %451 %455
%457 = OpISub %int %456 %int_1
%454 = OpExtInst %int %255 SMin %457 %453
OpStore %to_1 %454
%458 = OpLoad %int %from_1
OpStore %param %458
%459 = OpLoad %int %mid_1
OpStore %param_1 %459
%460 = OpLoad %int %to_1
OpStore %param_2 %460
%461 = OpFunctionCall %void %merge_i1_i1_i1_ %param %param_1 %param_2
OpBranch %438
%438 = OpLabel
%465 = OpLoad %int %m
%466 = OpLoad %int %i_2
%467 = OpIMul %int %int_2 %465
%468 = OpIAdd %int %466 %467
OpStore %i_2 %468
OpBranch %436
%437 = OpLabel
OpBranch %427
%427 = OpLabel
%469 = OpLoad %int %m
%470 = OpIMul %int %int_2 %469
OpStore %m %470
OpBranch %425
%426 = OpLabel
OpReturn
OpFunctionEnd
1:1: The continue construct with the continue target 157[%157] is not post dominated by the back-edge block 205[%205]
%205 = OpLabel