test/vk-gl-cts/graphicsfuzz/two-nested-for-loops-with-returns/0-opt.wgsl.expected.spvasm

; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
; Bound: 72
; Schema: 0
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
               OpName %doesNotMatter "doesNotMatter"
               OpMemberName %doesNotMatter 0 "x_compute_data"
               OpName %x_9 "x_9"
               OpName %nb_mod_ "nb_mod_"
               OpName %s "s"
               OpName %i "i"
               OpName %GLF_live1i "GLF_live1i"
               OpName %GLF_live1_looplimiter2 "GLF_live1_looplimiter2"
               OpName %x_51 "x_51"
               OpName %x_56_phi "x_56_phi"
               OpName %x_50 "x_50"
               OpName %x_51_phi "x_51_phi"
               OpName %main_1 "main_1"
               OpName %main "main"
               OpDecorate %doesNotMatter Block
               OpMemberDecorate %doesNotMatter 0 Offset 0
               OpDecorate %_runtimearr_float ArrayStride 4
               OpDecorate %x_9 DescriptorSet 0
               OpDecorate %x_9 Binding 0
      %float = OpTypeFloat 32
%_runtimearr_float = OpTypeRuntimeArray %float
%doesNotMatter = OpTypeStruct %_runtimearr_float
%_ptr_StorageBuffer_doesNotMatter = OpTypePointer StorageBuffer %doesNotMatter
        %x_9 = OpVariable %_ptr_StorageBuffer_doesNotMatter StorageBuffer
          %6 = OpTypeFunction %float
%_ptr_Function_float = OpTypePointer Function %float
         %11 = OpConstantNull %float
        %int = OpTypeInt 32 1
%_ptr_Function_int = OpTypePointer Function %int
         %15 = OpConstantNull %int
    %float_0 = OpConstant %float 0
      %int_5 = OpConstant %int 5
    %int_800 = OpConstant %int 800
       %bool = OpTypeBool
      %int_0 = OpConstant %int 0
     %int_20 = OpConstant %int 20
    %float_1 = OpConstant %float 1
   %float_42 = OpConstant %float 42
    %float_5 = OpConstant %float 5
       %void = OpTypeVoid
         %60 = OpTypeFunction %void
       %uint = OpTypeInt 32 0
     %uint_0 = OpConstant %uint 0
%_ptr_StorageBuffer_float = OpTypePointer StorageBuffer %float
    %nb_mod_ = OpFunction %float None %6
          %8 = OpLabel
          %s = OpVariable %_ptr_Function_float Function %11
          %i = OpVariable %_ptr_Function_int Function %15
 %GLF_live1i = OpVariable %_ptr_Function_int Function %15
%GLF_live1_looplimiter2 = OpVariable %_ptr_Function_int Function %15
       %x_51 = OpVariable %_ptr_Function_float Function %11
   %x_56_phi = OpVariable %_ptr_Function_float Function %11
       %x_50 = OpVariable %_ptr_Function_float Function %11
   %x_51_phi = OpVariable %_ptr_Function_float Function %11
               OpStore %s %float_0
               OpStore %i %int_5
               OpBranch %22
         %22 = OpLabel
               OpLoopMerge %23 %24 None
               OpBranch %25
         %25 = OpLabel
               OpStore %x_56_phi %float_0
         %29 = OpSLessThan %bool %int_5 %int_800
               OpSelectionMerge %31 None
               OpBranchConditional %29 %32 %33
         %32 = OpLabel
               OpBranch %31
         %33 = OpLabel
               OpBranch %23
         %31 = OpLabel
               OpStore %GLF_live1i %int_0
               OpBranch %35
         %35 = OpLabel
               OpLoopMerge %36 %37 None
               OpBranch %38
         %38 = OpLabel
               OpStore %x_51_phi %float_0
         %40 = OpSLessThan %bool %int_0 %int_20
               OpSelectionMerge %41 None
               OpBranchConditional %40 %42 %43
         %42 = OpLabel
               OpBranch %41
         %43 = OpLabel
               OpBranch %36
         %41 = OpLabel
         %44 = OpSGreaterThanEqual %bool %int_0 %int_5
               OpSelectionMerge %45 None
               OpBranchConditional %44 %46 %45
         %46 = OpLabel
         %48 = OpFAdd %float %float_0 %float_1
               OpStore %x_50 %48
         %49 = OpLoad %float %x_50
               OpStore %s %49
         %50 = OpLoad %float %x_50
               OpStore %x_51_phi %50
               OpBranch %36
         %45 = OpLabel
               OpReturnValue %float_42
         %37 = OpLabel
               OpBranch %35
         %36 = OpLabel
         %52 = OpLoad %float %x_51_phi
               OpStore %x_51 %52
         %54 = OpLoad %float %x_51
         %55 = OpFOrdLessThanEqual %bool %float_5 %54
               OpSelectionMerge %56 None
               OpBranchConditional %55 %57 %56
         %57 = OpLabel
         %58 = OpLoad %float %x_51
               OpStore %x_56_phi %58
               OpBranch %23
         %56 = OpLabel
               OpReturnValue %float_42
         %24 = OpLabel
               OpBranch %22
         %23 = OpLabel
         %59 = OpLoad %float %x_56_phi
               OpReturnValue %59
               OpFunctionEnd
     %main_1 = OpFunction %void None %60
         %63 = OpLabel
         %64 = OpFunctionCall %float %nb_mod_
         %68 = OpAccessChain %_ptr_StorageBuffer_float %x_9 %uint_0 %int_0
               OpStore %68 %64
               OpReturn
               OpFunctionEnd
       %main = OpFunction %void None %60
         %70 = OpLabel
         %71 = OpFunctionCall %void %main_1
               OpReturn
               OpFunctionEnd