; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 1
; Bound: 55
; Schema: 0
               OpCapability Shader
               OpCapability Float16
               OpCapability UniformAndStorageBuffer16BitAccess
               OpCapability StorageBuffer16BitAccess
               OpCapability StorageInputOutput16
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %fragment_main "fragment_main"
               OpEntryPoint GLCompute %compute_main "compute_main"
               OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
               OpExecutionMode %fragment_main OriginUpperLeft
               OpExecutionMode %compute_main LocalSize 1 1 1
               OpMemberName %tint_symbol_1 0 "tint_symbol"
               OpName %tint_symbol_1 "tint_symbol_1"
               OpName %vertex_main_position_Output "vertex_main_position_Output"
               OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
               OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
               OpName %floor_3802c0 "floor_3802c0"
               OpName %res "res"
               OpName %fragment_main "fragment_main"
               OpName %compute_main "compute_main"
               OpName %vertex_main_inner "vertex_main_inner"
               OpMemberName %VertexOutput 0 "pos"
               OpMemberName %VertexOutput 1 "prevent_dce"
               OpName %VertexOutput "VertexOutput"
               OpName %out "out"
               OpName %vertex_main "vertex_main"
               OpMemberDecorate %tint_symbol_1 0 Offset 0
               OpDecorate %tint_symbol_1 Block
               OpDecorate %1 DescriptorSet 0
               OpDecorate %1 Binding 0
               OpDecorate %1 Coherent
               OpDecorate %vertex_main_position_Output BuiltIn Position
               OpDecorate %vertex_main_loc0_Output Location 0
               OpDecorate %vertex_main_loc0_Output Flat
               OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
               OpMemberDecorate %VertexOutput 0 Offset 0
               OpMemberDecorate %VertexOutput 1 Offset 16
       %half = OpTypeFloat 16
     %v3half = OpTypeVector %half 3
%tint_symbol_1 = OpTypeStruct %v3half
%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
          %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
      %float = OpTypeFloat 32
    %v4float = OpTypeVector %float 4
%_ptr_Output_v4float = OpTypePointer Output %v4float
%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
%_ptr_Output_v3half = OpTypePointer Output %v3half
%vertex_main_loc0_Output = OpVariable %_ptr_Output_v3half Output
%_ptr_Output_float = OpTypePointer Output %float
%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
         %15 = OpTypeFunction %v3half
%_ptr_Function_v3half = OpTypePointer Function %v3half
%half_0x1p_0 = OpConstant %half 0x1p+0
         %19 = OpConstantComposite %v3half %half_0x1p_0 %half_0x1p_0 %half_0x1p_0
       %void = OpTypeVoid
         %24 = OpTypeFunction %void
%_ptr_StorageBuffer_v3half = OpTypePointer StorageBuffer %v3half
       %uint = OpTypeInt 32 0
     %uint_0 = OpConstant %uint 0
%VertexOutput = OpTypeStruct %v4float %v3half
         %37 = OpTypeFunction %VertexOutput
%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
         %41 = OpConstantNull %VertexOutput
%_ptr_Function_v4float = OpTypePointer Function %v4float
         %44 = OpConstantNull %v4float
     %uint_1 = OpConstant %uint 1
    %float_1 = OpConstant %float 1
%floor_3802c0 = OpFunction %v3half None %15
         %16 = OpLabel
        %res = OpVariable %_ptr_Function_v3half Function
               OpStore %res %19
         %21 = OpLoad %v3half %res None
               OpReturnValue %21
               OpFunctionEnd
%fragment_main = OpFunction %void None %24
         %25 = OpLabel
         %26 = OpFunctionCall %v3half %floor_3802c0
         %27 = OpAccessChain %_ptr_StorageBuffer_v3half %1 %uint_0
               OpStore %27 %26 None
               OpReturn
               OpFunctionEnd
%compute_main = OpFunction %void None %24
         %32 = OpLabel
         %33 = OpFunctionCall %v3half %floor_3802c0
         %34 = OpAccessChain %_ptr_StorageBuffer_v3half %1 %uint_0
               OpStore %34 %33 None
               OpReturn
               OpFunctionEnd
%vertex_main_inner = OpFunction %VertexOutput None %37
         %38 = OpLabel
        %out = OpVariable %_ptr_Function_VertexOutput Function %41
         %42 = OpAccessChain %_ptr_Function_v4float %out %uint_0
               OpStore %42 %44 None
         %45 = OpAccessChain %_ptr_Function_v3half %out %uint_1
         %47 = OpFunctionCall %v3half %floor_3802c0
               OpStore %45 %47 None
         %48 = OpLoad %VertexOutput %out None
               OpReturnValue %48
               OpFunctionEnd
%vertex_main = OpFunction %void None %24
         %50 = OpLabel
         %51 = OpFunctionCall %VertexOutput %vertex_main_inner
         %52 = OpCompositeExtract %v4float %51 0
               OpStore %vertex_main_position_Output %52 None
         %53 = OpCompositeExtract %v3half %51 1
               OpStore %vertex_main_loc0_Output %53 None
               OpStore %vertex_main___point_size_Output %float_1 None
               OpReturn
               OpFunctionEnd