SKIP: FAILED ; SPIR-V ; Version: 1.3 ; Generator: Google Tint Compiler; 0 ; Bound: 429 ; Schema: 0 OpCapability Shader %177 = 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 %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" OpName %main_1 "main_1" OpName %i_3 "i_3" OpName %j_1 "j_1" OpName %grey "grey" OpName %int_i "int_i" 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" 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 %int_0 = OpConstant %int 0 %int_9 = OpConstant %int 9 %int_2 = OpConstant %int 2 %_ptr_Function_float = OpTypePointer Function %float %201 = 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_3 = OpConstant %int 3 %int_4 = OpConstant %int 4 %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 %416 = 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 %mergeSort_ = OpFunction %void None %132 %134 = 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 %147 %147 = OpLabel OpLoopMerge %148 %149 None OpBranch %150 %150 = OpLabel %151 = OpLoad %int %m %152 = OpLoad %int %high %153 = OpSLessThanEqual %bool %151 %152 OpSelectionMerge %154 None OpBranchConditional %153 %155 %156 %155 = OpLabel OpBranch %154 %156 = OpLabel OpBranch %148 %154 = OpLabel %157 = OpLoad %int %low OpStore %i_2 %157 OpBranch %158 %158 = OpLabel OpLoopMerge %159 %160 None OpBranch %161 %161 = OpLabel %162 = OpLoad %int %i_2 %163 = OpLoad %int %high %164 = OpSLessThan %bool %162 %163 OpSelectionMerge %165 None OpBranchConditional %164 %166 %167 %166 = OpLabel OpBranch %165 %167 = OpLabel OpBranch %159 %165 = OpLabel %168 = OpLoad %int %i_2 OpStore %from_1 %168 %169 = OpLoad %int %i_2 %170 = OpLoad %int %m %171 = OpIAdd %int %169 %170 %172 = OpISub %int %171 %int_1 OpStore %mid_1 %172 %173 = OpLoad %int %i_2 %174 = OpLoad %int %m %175 = OpLoad %int %high %179 = OpIMul %int %int_2 %174 %180 = OpIAdd %int %173 %179 %181 = OpISub %int %180 %int_1 %176 = OpExtInst %int %177 SMin %181 %175 OpStore %to_1 %176 %182 = OpLoad %int %from_1 OpStore %param %182 %183 = OpLoad %int %mid_1 OpStore %param_1 %183 %184 = OpLoad %int %to_1 OpStore %param_2 %184 %185 = OpFunctionCall %void %merge_i1_i1_i1_ %param %param_1 %param_2 OpBranch %160 %160 = OpLabel %189 = OpLoad %int %m %190 = OpLoad %int %i_2 %191 = OpIMul %int %int_2 %189 %192 = OpIAdd %int %190 %191 OpStore %i_2 %192 OpBranch %158 %159 = OpLabel OpBranch %149 %149 = OpLabel %193 = OpLoad %int %m %194 = OpIMul %int %int_2 %193 OpStore %m %194 OpBranch %147 %148 = OpLabel OpReturn OpFunctionEnd %main_1 = OpFunction %void None %132 %196 = OpLabel %i_3 = OpVariable %_ptr_Function_int Function %32 %j_1 = OpVariable %_ptr_Function_int Function %32 %grey = OpVariable %_ptr_Function_float Function %201 %int_i = OpVariable %_ptr_Function_int Function %32 %205 = OpAccessChain %_ptr_Uniform_float %x_28 %uint_0 %uint_0 %206 = OpLoad %float %205 %207 = OpConvertFToS %int %206 OpStore %i_3 %207 OpBranch %208 %208 = OpLabel OpLoopMerge %209 %210 None OpBranch %211 %211 = OpLabel %212 = OpLoad %int %i_3 OpSelectionMerge %213 None OpSwitch %212 %214 9 %215 8 %216 7 %217 6 %218 5 %219 4 %220 3 %221 2 %222 1 %223 0 %224 %215 = OpLabel %225 = OpLoad %int %i_3 %226 = OpAccessChain %_ptr_Private_int %data %225 OpStore %226 %int_n5 OpBranch %213 %216 = OpLabel %228 = OpLoad %int %i_3 %229 = OpAccessChain %_ptr_Private_int %data %228 OpStore %229 %int_n4 OpBranch %213 %217 = OpLabel %231 = OpLoad %int %i_3 %232 = OpAccessChain %_ptr_Private_int %data %231 OpStore %232 %int_n3 OpBranch %213 %218 = OpLabel %234 = OpLoad %int %i_3 %235 = OpAccessChain %_ptr_Private_int %data %234 OpStore %235 %int_n2 OpBranch %213 %219 = OpLabel %237 = OpLoad %int %i_3 %238 = OpAccessChain %_ptr_Private_int %data %237 OpStore %238 %int_n1 OpBranch %213 %220 = OpLabel %240 = OpLoad %int %i_3 %241 = OpAccessChain %_ptr_Private_int %data %240 OpStore %241 %int_0 OpBranch %213 %221 = OpLabel %242 = OpLoad %int %i_3 %243 = OpAccessChain %_ptr_Private_int %data %242 OpStore %243 %int_1 OpBranch %213 %222 = OpLabel %244 = OpLoad %int %i_3 %245 = OpAccessChain %_ptr_Private_int %data %244 OpStore %245 %int_2 OpBranch %213 %223 = OpLabel %246 = OpLoad %int %i_3 %247 = OpAccessChain %_ptr_Private_int %data %246 OpStore %247 %int_3 OpBranch %213 %224 = OpLabel %249 = OpLoad %int %i_3 %250 = OpAccessChain %_ptr_Private_int %data %249 OpStore %250 %int_4 OpBranch %213 %214 = OpLabel OpBranch %213 %213 = OpLabel %252 = OpLoad %int %i_3 %253 = OpIAdd %int %252 %int_1 OpStore %i_3 %253 OpBranch %210 %210 = OpLabel %254 = OpLoad %int %i_3 %255 = OpSLessThan %bool %254 %int_10 OpSelectionMerge %256 None OpBranchConditional %255 %257 %258 %257 = OpLabel OpBranch %256 %258 = OpLabel OpBranch %209 %256 = OpLabel OpBranch %208 %209 = OpLabel OpStore %j_1 %int_0 OpBranch %259 %259 = OpLabel OpLoopMerge %260 %261 None OpBranch %262 %262 = OpLabel %263 = OpLoad %int %j_1 %264 = OpSLessThan %bool %263 %int_10 OpSelectionMerge %265 None OpBranchConditional %264 %266 %267 %266 = OpLabel OpBranch %265 %267 = OpLabel OpBranch %260 %265 = OpLabel %268 = OpLoad %int %j_1 %269 = OpLoad %int %j_1 %270 = OpAccessChain %_ptr_Private_int %data %269 %271 = OpLoad %int %270 %272 = OpAccessChain %_ptr_Private_int %temp %268 OpStore %272 %271 OpBranch %261 %261 = OpLabel %273 = OpLoad %int %j_1 %274 = OpIAdd %int %273 %int_1 OpStore %j_1 %274 OpBranch %259 %260 = OpLabel %275 = OpFunctionCall %void %mergeSort_ %278 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %279 = OpLoad %float %278 %280 = OpConvertFToS %int %279 %282 = OpSLessThan %bool %280 %int_30 OpSelectionMerge %283 None OpBranchConditional %282 %284 %285 %284 = OpLabel %286 = OpAccessChain %_ptr_Private_int %data %int_0 %287 = OpLoad %int %286 %289 = OpConvertSToF %float %287 %291 = OpFDiv %float %289 %float_10 %292 = OpFAdd %float %float_0_5 %291 OpStore %grey %292 OpBranch %283 %285 = OpLabel %293 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %294 = OpLoad %float %293 %295 = OpConvertFToS %int %294 %297 = OpSLessThan %bool %295 %int_60 OpSelectionMerge %298 None OpBranchConditional %297 %299 %300 %299 = OpLabel %301 = OpAccessChain %_ptr_Private_int %data %int_1 %302 = OpLoad %int %301 %303 = OpConvertSToF %float %302 %304 = OpFDiv %float %303 %float_10 %305 = OpFAdd %float %float_0_5 %304 OpStore %grey %305 OpBranch %298 %300 = OpLabel %306 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %307 = OpLoad %float %306 %308 = OpConvertFToS %int %307 %310 = OpSLessThan %bool %308 %int_90 OpSelectionMerge %311 None OpBranchConditional %310 %312 %313 %312 = OpLabel %314 = OpAccessChain %_ptr_Private_int %data %int_2 %315 = OpLoad %int %314 %316 = OpConvertSToF %float %315 %317 = OpFDiv %float %316 %float_10 %318 = OpFAdd %float %float_0_5 %317 OpStore %grey %318 OpBranch %311 %313 = OpLabel %319 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %320 = OpLoad %float %319 %321 = OpConvertFToS %int %320 %323 = OpSLessThan %bool %321 %int_120 OpSelectionMerge %324 None OpBranchConditional %323 %325 %326 %325 = OpLabel %327 = OpAccessChain %_ptr_Private_int %data %int_3 %328 = OpLoad %int %327 %329 = OpConvertSToF %float %328 %330 = OpFDiv %float %329 %float_10 %331 = OpFAdd %float %float_0_5 %330 OpStore %grey %331 OpBranch %324 %326 = OpLabel %332 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %333 = OpLoad %float %332 %334 = OpConvertFToS %int %333 %336 = OpSLessThan %bool %334 %int_150 OpSelectionMerge %337 None OpBranchConditional %336 %338 %339 %338 = OpLabel OpStore %int_i %int_1 OpBranch %340 %340 = OpLabel OpLoopMerge %341 %342 None OpBranch %343 %343 = OpLabel %344 = OpLoad %int %int_i %345 = OpAccessChain %_ptr_Uniform_float %x_28 %uint_0 %uint_0 %346 = OpLoad %float %345 %347 = OpConvertFToS %int %346 %348 = OpSGreaterThan %bool %344 %347 OpSelectionMerge %349 None OpBranchConditional %348 %350 %351 %350 = OpLabel OpBranch %349 %351 = OpLabel OpBranch %341 %349 = OpLabel OpKill %342 = OpLabel OpBranch %340 %341 = OpLabel OpBranch %337 %339 = OpLabel %352 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %353 = OpLoad %float %352 %354 = OpConvertFToS %int %353 %356 = OpSLessThan %bool %354 %int_180 OpSelectionMerge %357 None OpBranchConditional %356 %358 %359 %358 = OpLabel %361 = OpAccessChain %_ptr_Private_int %data %int_5 %362 = OpLoad %int %361 %363 = OpConvertSToF %float %362 %364 = OpFDiv %float %363 %float_10 %365 = OpFAdd %float %float_0_5 %364 OpStore %grey %365 OpBranch %357 %359 = OpLabel %366 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %367 = OpLoad %float %366 %368 = OpConvertFToS %int %367 %370 = OpSLessThan %bool %368 %int_210 OpSelectionMerge %371 None OpBranchConditional %370 %372 %373 %372 = OpLabel %375 = OpAccessChain %_ptr_Private_int %data %int_6 %376 = OpLoad %int %375 %377 = OpConvertSToF %float %376 %378 = OpFDiv %float %377 %float_10 %379 = OpFAdd %float %float_0_5 %378 OpStore %grey %379 OpBranch %371 %373 = OpLabel %380 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %381 = OpLoad %float %380 %382 = OpConvertFToS %int %381 %384 = OpSLessThan %bool %382 %int_240 OpSelectionMerge %385 None OpBranchConditional %384 %386 %387 %386 = OpLabel %389 = OpAccessChain %_ptr_Private_int %data %int_7 %390 = OpLoad %int %389 %391 = OpConvertSToF %float %390 %392 = OpFDiv %float %391 %float_10 %393 = OpFAdd %float %float_0_5 %392 OpStore %grey %393 OpBranch %385 %387 = OpLabel %394 = OpAccessChain %_ptr_Private_float %gl_FragCoord %uint_1 %395 = OpLoad %float %394 %396 = OpConvertFToS %int %395 %398 = OpSLessThan %bool %396 %int_270 OpSelectionMerge %399 None OpBranchConditional %398 %400 %401 %400 = OpLabel %403 = OpAccessChain %_ptr_Private_int %data %int_8 %404 = OpLoad %int %403 %405 = OpConvertSToF %float %404 %406 = OpFDiv %float %405 %float_10 %407 = OpFAdd %float %float_0_5 %406 OpStore %grey %407 OpBranch %399 %401 = OpLabel OpKill %399 = OpLabel OpBranch %385 %385 = OpLabel OpBranch %371 %371 = OpLabel OpBranch %357 %357 = OpLabel OpBranch %337 %337 = OpLabel OpBranch %324 %324 = OpLabel OpBranch %311 %311 = OpLabel OpBranch %298 %298 = OpLabel OpBranch %283 %283 = OpLabel %408 = OpLoad %float %grey %410 = OpCompositeConstruct %v3float %408 %408 %408 %411 = OpCompositeExtract %float %410 0 %412 = OpCompositeExtract %float %410 1 %413 = OpCompositeExtract %float %410 2 %415 = OpCompositeConstruct %v4float %411 %412 %413 %float_1 OpStore %x_GLF_color %415 OpReturn OpFunctionEnd %tint_symbol_3 = OpFunction %void None %416 %tint_symbol_1 = OpFunctionParameter %main_out %420 = OpLabel %421 = OpCompositeExtract %v4float %tint_symbol_1 0 OpStore %tint_symbol_2 %421 OpReturn OpFunctionEnd %main = OpFunction %void None %132 %423 = OpLabel %424 = OpLoad %v4float %tint_symbol OpStore %gl_FragCoord %424 %425 = OpFunctionCall %void %main_1 %427 = OpLoad %v4float %x_GLF_color %428 = OpCompositeConstruct %main_out %427 %426 = OpFunctionCall %void %tint_symbol_3 %428 OpReturn OpFunctionEnd 1:1: The continue construct with the continue target 210[%210] is not post dominated by the back-edge block 256[%256] %256 = OpLabel