SKIP: FAILED

; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
; Bound: 156
; Schema: 0
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %main "main" %tint_symbol_1
               OpExecutionMode %main OriginUpperLeft
               OpName %x_GLF_color "x_GLF_color"
               OpName %tint_symbol_1 "tint_symbol_1"
               OpName %main_1 "main_1"
               OpName %x_29 "x_29"
               OpName %x_30 "x_30"
               OpName %x_31 "x_31"
               OpName %x_32 "x_32"
               OpName %x_33 "x_33"
               OpName %x_34 "x_34"
               OpName %x_35 "x_35"
               OpName %x_36 "x_36"
               OpName %f "f"
               OpName %i "i"
               OpName %param "param"
               OpName %param_1 "param_1"
               OpName %main_out "main_out"
               OpMemberName %main_out 0 "x_GLF_color_1"
               OpName %tint_symbol_2 "tint_symbol_2"
               OpName %tint_symbol "tint_symbol"
               OpName %main "main"
               OpName %func_f1_ "func_f1_"
               OpName %x "x"
               OpName %x_93 "x_93"
               OpName %x_94 "x_94"
               OpName %a "a"
               OpDecorate %tint_symbol_1 Location 0
               OpMemberDecorate %main_out 0 Offset 0
      %float = OpTypeFloat 32
    %v4float = OpTypeVector %float 4
%_ptr_Private_v4float = OpTypePointer Private %v4float
          %5 = OpConstantNull %v4float
%x_GLF_color = OpVariable %_ptr_Private_v4float Private %5
%_ptr_Output_v4float = OpTypePointer Output %v4float
%tint_symbol_1 = OpVariable %_ptr_Output_v4float Output %5
       %void = OpTypeVoid
          %8 = OpTypeFunction %void
       %bool = OpTypeBool
      %false = OpConstantFalse %bool
%_ptr_Function_bool = OpTypePointer Function %bool
         %16 = OpConstantNull %bool
%_ptr_Function_float = OpTypePointer Function %float
         %19 = OpConstantNull %float
    %float_0 = OpConstant %float 0
       %true = OpConstantTrue %bool
    %float_1 = OpConstant %float 1
    %float_6 = OpConstant %float 6
    %float_5 = OpConstant %float 5
        %105 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
        %106 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
   %main_out = OpTypeStruct %v4float
        %107 = OpTypeFunction %void %main_out
        %119 = OpTypeFunction %float %_ptr_Function_float
     %main_1 = OpFunction %void None %8
         %11 = OpLabel
       %x_29 = OpVariable %_ptr_Function_bool Function %16
       %x_30 = OpVariable %_ptr_Function_float Function %19
       %x_31 = OpVariable %_ptr_Function_float Function %19
       %x_32 = OpVariable %_ptr_Function_float Function %19
       %x_33 = OpVariable %_ptr_Function_bool Function %16
       %x_34 = OpVariable %_ptr_Function_float Function %19
       %x_35 = OpVariable %_ptr_Function_float Function %19
       %x_36 = OpVariable %_ptr_Function_float Function %19
          %f = OpVariable %_ptr_Function_float Function %19
          %i = OpVariable %_ptr_Function_float Function %19
      %param = OpVariable %_ptr_Function_float Function %19
    %param_1 = OpVariable %_ptr_Function_float Function %19
               OpStore %x_29 %false
               OpStore %x_33 %false
               OpStore %f %float_0
               OpStore %i %float_0
               OpBranch %31
         %31 = OpLabel
               OpLoopMerge %32 %33 None
               OpBranch %34
         %34 = OpLabel
         %35 = OpLoad %float %i
               OpStore %param %35
               OpStore %x_33 %false
               OpBranch %36
         %36 = OpLabel
               OpLoopMerge %37 %38 None
               OpBranch %39
         %39 = OpLabel
         %40 = OpLoad %float %param
               OpStore %x_35 %40
               OpBranch %41
         %41 = OpLabel
               OpLoopMerge %42 %43 None
               OpBranch %44
         %44 = OpLabel
         %45 = OpLoad %float %x_35
         %46 = OpLoad %float %param
         %47 = OpFOrdEqual %bool %45 %46
               OpSelectionMerge %48 None
               OpBranchConditional %47 %49 %48
         %49 = OpLabel
         %50 = OpLoad %float %x_35
               OpStore %x_33 %true
               OpStore %x_34 %50
               OpBranch %42
         %48 = OpLabel
         %52 = OpLoad %float %x_35
         %54 = OpFAdd %float %52 %float_1
               OpStore %x_35 %54
               OpBranch %43
         %43 = OpLabel
         %55 = OpLoad %float %x_35
         %56 = OpLoad %float %param
         %57 = OpFOrdLessThan %bool %55 %56
               OpSelectionMerge %58 None
               OpBranchConditional %57 %59 %60
         %59 = OpLabel
               OpBranch %58
         %60 = OpLabel
               OpBranch %42
         %58 = OpLabel
               OpBranch %41
         %42 = OpLabel
         %61 = OpLoad %bool %x_33
               OpSelectionMerge %62 None
               OpBranchConditional %61 %63 %62
         %63 = OpLabel
               OpBranch %37
         %62 = OpLabel
               OpStore %x_33 %true
               OpStore %x_34 %float_0
               OpBranch %37
         %38 = OpLabel
               OpBranch %36
         %37 = OpLabel
         %64 = OpLoad %float %x_34
               OpStore %x_36 %64
               OpStore %f %64
               OpStore %param_1 %float_1
               OpStore %x_29 %false
               OpBranch %65
         %65 = OpLabel
               OpLoopMerge %66 %67 None
               OpBranch %68
         %68 = OpLabel
         %69 = OpLoad %float %param_1
               OpStore %x_31 %69
               OpBranch %70
         %70 = OpLabel
               OpLoopMerge %71 %72 None
               OpBranch %73
         %73 = OpLabel
         %74 = OpLoad %float %x_31
         %75 = OpLoad %float %param_1
         %76 = OpFOrdEqual %bool %74 %75
               OpSelectionMerge %77 None
               OpBranchConditional %76 %78 %77
         %78 = OpLabel
         %79 = OpLoad %float %x_31
               OpStore %x_29 %true
               OpStore %x_30 %79
               OpBranch %71
         %77 = OpLabel
         %80 = OpLoad %float %x_31
         %81 = OpFAdd %float %80 %float_1
               OpStore %x_31 %81
               OpBranch %72
         %72 = OpLabel
         %82 = OpLoad %float %x_31
         %83 = OpLoad %float %param_1
         %84 = OpFOrdLessThan %bool %82 %83
               OpSelectionMerge %85 None
               OpBranchConditional %84 %86 %87
         %86 = OpLabel
               OpBranch %85
         %87 = OpLabel
               OpBranch %71
         %85 = OpLabel
               OpBranch %70
         %71 = OpLabel
         %88 = OpLoad %bool %x_29
               OpSelectionMerge %89 None
               OpBranchConditional %88 %90 %89
         %90 = OpLabel
               OpBranch %66
         %89 = OpLabel
               OpStore %x_29 %true
               OpStore %x_30 %float_0
               OpBranch %66
         %67 = OpLabel
               OpBranch %65
         %66 = OpLabel
         %91 = OpLoad %float %x_30
               OpStore %x_32 %91
         %92 = OpLoad %float %i
         %93 = OpFAdd %float %92 %91
               OpStore %i %93
         %95 = OpFOrdLessThan %bool %93 %float_6
               OpSelectionMerge %96 None
               OpBranchConditional %95 %97 %98
         %97 = OpLabel
               OpBranch %96
         %98 = OpLabel
               OpBranch %32
         %96 = OpLabel
               OpBranch %33
         %33 = OpLabel
               OpBranch %31
         %32 = OpLabel
         %99 = OpLoad %float %f
        %101 = OpFOrdEqual %bool %99 %float_5
               OpSelectionMerge %102 None
               OpBranchConditional %101 %103 %104
        %103 = OpLabel
               OpStore %x_GLF_color %105
               OpBranch %102
        %104 = OpLabel
               OpStore %x_GLF_color %106
               OpBranch %102
        %102 = OpLabel
               OpReturn
               OpFunctionEnd
%tint_symbol_2 = OpFunction %void None %107
%tint_symbol = OpFunctionParameter %main_out
        %111 = OpLabel
        %112 = OpCompositeExtract %v4float %tint_symbol 0
               OpStore %tint_symbol_1 %112
               OpReturn
               OpFunctionEnd
       %main = OpFunction %void None %8
        %114 = OpLabel
        %115 = OpFunctionCall %void %main_1
        %117 = OpLoad %v4float %x_GLF_color
        %118 = OpCompositeConstruct %main_out %117
        %116 = OpFunctionCall %void %tint_symbol_2 %118
               OpReturn
               OpFunctionEnd
   %func_f1_ = OpFunction %float None %119
          %x = OpFunctionParameter %_ptr_Function_float
        %122 = OpLabel
       %x_93 = OpVariable %_ptr_Function_bool Function %16
       %x_94 = OpVariable %_ptr_Function_float Function %19
          %a = OpVariable %_ptr_Function_float Function %19
               OpStore %x_93 %false
               OpBranch %126
        %126 = OpLabel
               OpLoopMerge %127 %128 None
               OpBranch %129
        %129 = OpLabel
        %131 = OpLoad %float %x
               OpStore %a %131
               OpBranch %132
        %132 = OpLabel
               OpLoopMerge %133 %134 None
               OpBranch %135
        %135 = OpLabel
        %136 = OpLoad %float %a
        %138 = OpLoad %float %x
        %139 = OpFOrdEqual %bool %136 %138
               OpSelectionMerge %140 None
               OpBranchConditional %139 %141 %140
        %141 = OpLabel
        %142 = OpLoad %float %a
               OpStore %x_93 %true
               OpStore %x_94 %142
               OpBranch %133
        %140 = OpLabel
        %143 = OpLoad %float %a
        %144 = OpFAdd %float %143 %float_1
               OpStore %a %144
               OpBranch %134
        %134 = OpLabel
        %145 = OpLoad %float %a
        %147 = OpLoad %float %x
        %148 = OpFOrdLessThan %bool %145 %147
               OpSelectionMerge %149 None
               OpBranchConditional %148 %150 %151
        %150 = OpLabel
               OpBranch %149
        %151 = OpLabel
               OpBranch %133
        %149 = OpLabel
               OpBranch %132
        %133 = OpLabel
        %152 = OpLoad %bool %x_93
               OpSelectionMerge %153 None
               OpBranchConditional %152 %154 %153
        %154 = OpLabel
               OpBranch %127
        %153 = OpLabel
               OpStore %x_93 %true
               OpStore %x_94 %float_0
               OpBranch %127
        %128 = OpLabel
               OpBranch %126
        %127 = OpLabel
        %155 = OpLoad %float %x_94
               OpReturnValue %155
               OpFunctionEnd
1:1: The continue construct with the continue target 43[%43] is not post dominated by the back-edge block 58[%58]
  %58 = OpLabel