test/vk-gl-cts/non_robust_buffer_access/unexecuted_oob_overflow/0-opt.wgsl.expected.spvasm

; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
; Bound: 132
; Schema: 0
               OpCapability Shader
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main" %gl_WorkGroupID_param_1
               OpExecutionMode %main LocalSize 4 1 1
               OpName %gl_WorkGroupID_param_1 "gl_WorkGroupID_param_1"
               OpName %gl_WorkGroupID "gl_WorkGroupID"
               OpName %In2 "In2"
               OpMemberName %In2 0 "data_in2"
               OpName %x_13 "x_13"
               OpName %Out0 "Out0"
               OpMemberName %Out0 0 "data_out0"
               OpName %x_15 "x_15"
               OpName %In1 "In1"
               OpMemberName %In1 0 "data_in1"
               OpName %x_17 "x_17"
               OpName %In0 "In0"
               OpMemberName %In0 0 "data_in0"
               OpName %x_19 "x_19"
               OpName %main_1 "main_1"
               OpName %base_index_in "base_index_in"
               OpName %base_index_out "base_index_out"
               OpName %index_in0 "index_in0"
               OpName %index_in1 "index_in1"
               OpName %index_out0 "index_out0"
               OpName %index_out1 "index_out1"
               OpName %condition_index "condition_index"
               OpName %i "i"
               OpName %temp0 "temp0"
               OpName %temp1 "temp1"
               OpName %main_inner "main_inner"
               OpName %gl_WorkGroupID_param "gl_WorkGroupID_param"
               OpName %main "main"
               OpDecorate %gl_WorkGroupID_param_1 BuiltIn WorkgroupId
               OpDecorate %In2 Block
               OpMemberDecorate %In2 0 Offset 0
               OpDecorate %_arr_int_uint_8 ArrayStride 4
               OpDecorate %x_13 NonWritable
               OpDecorate %x_13 DescriptorSet 0
               OpDecorate %x_13 Binding 2
               OpDecorate %Out0 Block
               OpMemberDecorate %Out0 0 Offset 0
               OpDecorate %_arr_int_uint_1024 ArrayStride 4
               OpDecorate %x_15 DescriptorSet 0
               OpDecorate %x_15 Binding 3
               OpDecorate %In1 Block
               OpMemberDecorate %In1 0 Offset 0
               OpDecorate %_arr_int_uint_512 ArrayStride 4
               OpDecorate %x_17 NonWritable
               OpDecorate %x_17 DescriptorSet 0
               OpDecorate %x_17 Binding 1
               OpDecorate %In0 Block
               OpMemberDecorate %In0 0 Offset 0
               OpDecorate %x_19 NonWritable
               OpDecorate %x_19 DescriptorSet 0
               OpDecorate %x_19 Binding 0
       %uint = OpTypeInt 32 0
     %v3uint = OpTypeVector %uint 3
%_ptr_Input_v3uint = OpTypePointer Input %v3uint
%gl_WorkGroupID_param_1 = OpVariable %_ptr_Input_v3uint Input
%_ptr_Private_v3uint = OpTypePointer Private %v3uint
          %7 = OpConstantNull %v3uint
%gl_WorkGroupID = OpVariable %_ptr_Private_v3uint Private %7
        %int = OpTypeInt 32 1
     %uint_8 = OpConstant %uint 8
%_arr_int_uint_8 = OpTypeArray %int %uint_8
        %In2 = OpTypeStruct %_arr_int_uint_8
%_ptr_StorageBuffer_In2 = OpTypePointer StorageBuffer %In2
       %x_13 = OpVariable %_ptr_StorageBuffer_In2 StorageBuffer
  %uint_1024 = OpConstant %uint 1024
%_arr_int_uint_1024 = OpTypeArray %int %uint_1024
       %Out0 = OpTypeStruct %_arr_int_uint_1024
%_ptr_StorageBuffer_Out0 = OpTypePointer StorageBuffer %Out0
       %x_15 = OpVariable %_ptr_StorageBuffer_Out0 StorageBuffer
   %uint_512 = OpConstant %uint 512
%_arr_int_uint_512 = OpTypeArray %int %uint_512
        %In1 = OpTypeStruct %_arr_int_uint_512
%_ptr_StorageBuffer_In1 = OpTypePointer StorageBuffer %In1
       %x_17 = OpVariable %_ptr_StorageBuffer_In1 StorageBuffer
        %In0 = OpTypeStruct %_arr_int_uint_512
%_ptr_StorageBuffer_In0 = OpTypePointer StorageBuffer %In0
       %x_19 = OpVariable %_ptr_StorageBuffer_In0 StorageBuffer
       %void = OpTypeVoid
         %27 = OpTypeFunction %void
%_ptr_Function_uint = OpTypePointer Function %uint
         %33 = OpConstantNull %uint
%_ptr_Function_int = OpTypePointer Function %int
         %37 = OpConstantNull %int
     %uint_0 = OpConstant %uint 0
%_ptr_Private_uint = OpTypePointer Private %uint
   %uint_128 = OpConstant %uint 128
   %uint_256 = OpConstant %uint 256
    %int_127 = OpConstant %int 127
    %int_383 = OpConstant %int 383
    %int_255 = OpConstant %int 255
      %int_0 = OpConstant %int 0
    %int_256 = OpConstant %int 256
       %bool = OpTypeBool
%_ptr_StorageBuffer_int = OpTypePointer StorageBuffer %int
      %int_1 = OpConstant %int 1
        %123 = OpTypeFunction %void %v3uint
     %main_1 = OpFunction %void None %27
         %30 = OpLabel
%base_index_in = OpVariable %_ptr_Function_uint Function %33
%base_index_out = OpVariable %_ptr_Function_uint Function %33
  %index_in0 = OpVariable %_ptr_Function_int Function %37
  %index_in1 = OpVariable %_ptr_Function_int Function %37
 %index_out0 = OpVariable %_ptr_Function_int Function %37
 %index_out1 = OpVariable %_ptr_Function_int Function %37
%condition_index = OpVariable %_ptr_Function_int Function %37
          %i = OpVariable %_ptr_Function_int Function %37
      %temp0 = OpVariable %_ptr_Function_int Function %37
      %temp1 = OpVariable %_ptr_Function_int Function %37
         %47 = OpAccessChain %_ptr_Private_uint %gl_WorkGroupID %uint_0
         %48 = OpLoad %uint %47
         %50 = OpIMul %uint %uint_128 %48
               OpStore %base_index_in %50
         %51 = OpAccessChain %_ptr_Private_uint %gl_WorkGroupID %uint_0
         %52 = OpLoad %uint %51
         %54 = OpIMul %uint %uint_256 %52
               OpStore %base_index_out %54
               OpStore %index_in0 %int_127
               OpStore %index_in1 %int_383
               OpStore %index_out0 %int_255
               OpStore %index_out1 %int_383
               OpStore %condition_index %int_0
               OpStore %i %int_0
               OpBranch %59
         %59 = OpLabel
               OpLoopMerge %60 %61 None
               OpBranch %62
         %62 = OpLabel
         %63 = OpLoad %int %i
         %65 = OpSLessThan %bool %63 %int_256
               OpSelectionMerge %67 None
               OpBranchConditional %65 %68 %69
         %68 = OpLabel
               OpBranch %67
         %69 = OpLabel
               OpBranch %60
         %67 = OpLabel
         %70 = OpLoad %int %condition_index
         %72 = OpAccessChain %_ptr_StorageBuffer_int %x_13 %uint_0 %70
         %73 = OpLoad %int %72
         %74 = OpIEqual %bool %73 %int_0
               OpSelectionMerge %75 None
               OpBranchConditional %74 %76 %77
         %76 = OpLabel
         %78 = OpLoad %uint %base_index_out
         %79 = OpLoad %int %index_out0
         %80 = OpLoad %uint %base_index_in
         %81 = OpLoad %int %index_in0
         %82 = OpBitcast %uint %81
         %83 = OpIAdd %uint %80 %82
         %84 = OpAccessChain %_ptr_StorageBuffer_int %x_17 %uint_0 %83
         %85 = OpLoad %int %84
         %86 = OpBitcast %uint %79
         %87 = OpIAdd %uint %78 %86
         %88 = OpAccessChain %_ptr_StorageBuffer_int %x_15 %uint_0 %87
               OpStore %88 %85
         %89 = OpLoad %int %index_out0
         %91 = OpISub %int %89 %int_1
               OpStore %index_out0 %91
         %92 = OpLoad %int %index_in1
         %93 = OpISub %int %92 %int_1
               OpStore %index_in1 %93
               OpBranch %75
         %77 = OpLabel
         %94 = OpLoad %uint %base_index_out
         %95 = OpLoad %int %index_out1
         %96 = OpLoad %uint %base_index_in
         %97 = OpLoad %int %index_in1
         %98 = OpBitcast %uint %97
         %99 = OpIAdd %uint %96 %98
        %100 = OpAccessChain %_ptr_StorageBuffer_int %x_19 %uint_0 %99
        %101 = OpLoad %int %100
        %102 = OpBitcast %uint %95
        %103 = OpIAdd %uint %94 %102
        %104 = OpAccessChain %_ptr_StorageBuffer_int %x_15 %uint_0 %103
               OpStore %104 %101
        %105 = OpLoad %int %index_out1
        %106 = OpISub %int %105 %int_1
               OpStore %index_out1 %106
        %107 = OpLoad %int %index_in1
        %108 = OpISub %int %107 %int_1
               OpStore %index_in1 %108
               OpBranch %75
         %75 = OpLabel
        %109 = OpLoad %int %condition_index
        %110 = OpIAdd %int %109 %int_1
        %111 = OpAccessChain %_ptr_StorageBuffer_int %x_13 %uint_0 %110
        %112 = OpLoad %int %111
        %113 = OpLoad %int %condition_index
        %114 = OpIAdd %int %113 %112
               OpStore %condition_index %114
        %115 = OpLoad %int %index_in0
               OpStore %temp0 %115
        %116 = OpLoad %int %index_in1
               OpStore %index_in0 %116
        %117 = OpLoad %int %temp0
               OpStore %index_in1 %117
        %118 = OpLoad %int %index_out0
               OpStore %temp1 %118
        %119 = OpLoad %int %index_out1
               OpStore %index_out0 %119
        %120 = OpLoad %int %temp1
               OpStore %index_out1 %120
               OpBranch %61
         %61 = OpLabel
        %121 = OpLoad %int %i
        %122 = OpIAdd %int %121 %int_1
               OpStore %i %122
               OpBranch %59
         %60 = OpLabel
               OpReturn
               OpFunctionEnd
 %main_inner = OpFunction %void None %123
%gl_WorkGroupID_param = OpFunctionParameter %v3uint
        %126 = OpLabel
               OpStore %gl_WorkGroupID %gl_WorkGroupID_param
        %127 = OpFunctionCall %void %main_1
               OpReturn
               OpFunctionEnd
       %main = OpFunction %void None %27
        %129 = OpLabel
        %131 = OpLoad %v3uint %gl_WorkGroupID_param_1
        %130 = OpFunctionCall %void %main_inner %131
               OpReturn
               OpFunctionEnd