test/tint/statements/discard/multiple_returns.wgsl.expected.spvasm

; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
; Bound: 76
; Schema: 0
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %main "main"
               OpExecutionMode %main OriginUpperLeft
               OpName %tint_discarded "tint_discarded"
               OpName %non_uniform_global_block "non_uniform_global_block"
               OpMemberName %non_uniform_global_block 0 "inner"
               OpName %non_uniform_global "non_uniform_global"
               OpName %output_block "output_block"
               OpMemberName %output_block 0 "inner"
               OpName %output "output"
               OpName %main "main"
               OpName %i "i"
               OpDecorate %non_uniform_global_block Block
               OpMemberDecorate %non_uniform_global_block 0 Offset 0
               OpDecorate %non_uniform_global DescriptorSet 0
               OpDecorate %non_uniform_global Binding 0
               OpDecorate %output_block Block
               OpMemberDecorate %output_block 0 Offset 0
               OpDecorate %output DescriptorSet 0
               OpDecorate %output Binding 1
       %bool = OpTypeBool
          %2 = OpConstantNull %bool
%_ptr_Private_bool = OpTypePointer Private %bool
%tint_discarded = OpVariable %_ptr_Private_bool Private %2
        %int = OpTypeInt 32 1
%non_uniform_global_block = OpTypeStruct %int
%_ptr_StorageBuffer_non_uniform_global_block = OpTypePointer StorageBuffer %non_uniform_global_block
%non_uniform_global = OpVariable %_ptr_StorageBuffer_non_uniform_global_block StorageBuffer
      %float = OpTypeFloat 32
%output_block = OpTypeStruct %float
%_ptr_StorageBuffer_output_block = OpTypePointer StorageBuffer %output_block
     %output = OpVariable %_ptr_StorageBuffer_output_block StorageBuffer
       %void = OpTypeVoid
         %13 = OpTypeFunction %void
       %uint = OpTypeInt 32 0
     %uint_0 = OpConstant %uint 0
%_ptr_StorageBuffer_int = OpTypePointer StorageBuffer %int
         %22 = OpConstantNull %int
       %true = OpConstantTrue %bool
%_ptr_StorageBuffer_float = OpTypePointer StorageBuffer %float
    %float_1 = OpConstant %float 1
         %37 = OpConstantNull %float
%_ptr_Function_int = OpTypePointer Function %int
      %int_1 = OpConstant %int 1
      %int_5 = OpConstant %int 5
       %main = OpFunction %void None %13
         %16 = OpLabel
          %i = OpVariable %_ptr_Function_int Function %22
         %20 = OpAccessChain %_ptr_StorageBuffer_int %non_uniform_global %uint_0
         %21 = OpLoad %int %20
         %23 = OpSLessThan %bool %21 %22
               OpSelectionMerge %24 None
               OpBranchConditional %23 %25 %24
         %25 = OpLabel
               OpStore %tint_discarded %true
               OpBranch %24
         %24 = OpLabel
         %28 = OpLoad %bool %tint_discarded
         %27 = OpLogicalNot %bool %28
               OpSelectionMerge %29 None
               OpBranchConditional %27 %30 %29
         %30 = OpLabel
         %32 = OpAccessChain %_ptr_StorageBuffer_float %output %uint_0
         %33 = OpDPdx %float %float_1
               OpStore %32 %33
               OpBranch %29
         %29 = OpLabel
         %35 = OpAccessChain %_ptr_StorageBuffer_float %output %uint_0
         %36 = OpLoad %float %35
         %38 = OpFOrdLessThan %bool %36 %37
               OpSelectionMerge %39 None
               OpBranchConditional %38 %40 %39
         %40 = OpLabel
               OpStore %i %22
               OpBranch %43
         %43 = OpLabel
               OpLoopMerge %44 %45 None
               OpBranch %46
         %46 = OpLabel
         %47 = OpAccessChain %_ptr_StorageBuffer_float %output %uint_0
         %48 = OpLoad %float %47
         %50 = OpLoad %int %i
         %49 = OpConvertSToF %float %50
         %51 = OpFOrdGreaterThan %bool %48 %49
               OpSelectionMerge %52 None
               OpBranchConditional %51 %53 %52
         %53 = OpLabel
         %55 = OpLoad %bool %tint_discarded
         %54 = OpLogicalNot %bool %55
               OpSelectionMerge %56 None
               OpBranchConditional %54 %57 %56
         %57 = OpLabel
         %58 = OpAccessChain %_ptr_StorageBuffer_float %output %uint_0
         %60 = OpLoad %int %i
         %59 = OpConvertSToF %float %60
               OpStore %58 %59
               OpBranch %56
         %56 = OpLabel
         %61 = OpLoad %bool %tint_discarded
               OpSelectionMerge %62 None
               OpBranchConditional %61 %63 %62
         %63 = OpLabel
               OpKill
         %62 = OpLabel
               OpReturn
         %52 = OpLabel
               OpBranch %45
         %45 = OpLabel
         %64 = OpLoad %int %i
         %66 = OpIAdd %int %64 %int_1
               OpStore %i %66
         %67 = OpLoad %int %i
         %69 = OpIEqual %bool %67 %int_5
               OpBranchConditional %69 %44 %43
         %44 = OpLabel
         %70 = OpLoad %bool %tint_discarded
               OpSelectionMerge %71 None
               OpBranchConditional %70 %72 %71
         %72 = OpLabel
               OpKill
         %71 = OpLabel
               OpReturn
         %39 = OpLabel
         %73 = OpLoad %bool %tint_discarded
               OpSelectionMerge %74 None
               OpBranchConditional %73 %75 %74
         %75 = OpLabel
               OpKill
         %74 = OpLabel
               OpReturn
               OpFunctionEnd