Mercurial > hg > CbC > CbC_llvm
view llvm/test/CodeGen/AMDGPU/rewrite-out-arguments.ll @ 223:5f17cb93ff66 llvm-original
LLVM13 (2021/7/18)
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 18 Jul 2021 22:43:00 +0900 |
| parents | 79ff65ed7e25 |
| children | c4bab56944e8 |
line wrap: on
line source
; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -amdgpu-rewrite-out-arguments < %s | FileCheck %s ; CHECK: %void_one_out_arg_i32_1_use = type { i32 } ; CHECK: %void_one_out_arg_i32_1_use_align = type { i32 } ; CHECK: %void_one_out_arg_i32_2_use = type { i32 } ; CHECK: %void_one_out_arg_i32_2_stores = type { i32 } ; CHECK: %void_one_out_arg_i32_2_stores_clobber = type { i32 } ; CHECK: %void_one_out_arg_i32_pre_call_may_clobber = type { i32 } ; CHECK: %void_one_out_arg_v2i32_1_use = type { <2 x i32> } ; CHECK: %void_one_out_arg_struct_1_use = type { %struct } ; CHECK: %struct = type { i32, i8, float } ; CHECK: %i32_one_out_arg_i32_1_use = type { i32, i32 } ; CHECK: %unused_different_type = type { float } ; CHECK: %multiple_same_return_noalias = type { i32, i32 } ; CHECK: %multiple_same_return_mayalias = type { i32, i32 } ; CHECK: %multiple_same_return_mayalias_order = type { i32, i32 } ; CHECK: %i1_one_out_arg_i32_1_use = type { i1, i32 } ; CHECK: %i1_zeroext_one_out_arg_i32_1_use = type { i1, i32 } ; CHECK: %i1_signext_one_out_arg_i32_1_use = type { i1, i32 } ; CHECK: %p1i32_noalias_one_out_arg_i32_1_use = type { i32 addrspace(1)*, i32 } ; CHECK: %func_ptr_type = type { void ()* } ; CHECK: %bitcast_func_ptr_type = type { void ()* } ; CHECK: %out_arg_small_array = type { [4 x i32] } ; CHECK: %num_regs_reach_limit = type { [15 x i32], i32 } ; CHECK: %num_regs_reach_limit_leftover = type { [15 x i32], i32, i32 } ; CHECK: %preserve_debug_info = type { i32 } ; CHECK: %preserve_metadata = type { i32 } ; CHECK: %bitcast_pointer_v4i32_v3i32 = type { <3 x i32> } ; CHECK: %bitcast_pointer_v4i32_v3f32 = type { <3 x float> } ; CHECK: %bitcast_pointer_i32_f32 = type { float } ; CHECK: %bitcast_struct_v3f32_v3f32 = type { %struct.v3f32 } ; CHECK: %struct.v3f32 = type { <3 x float> } ; CHECK: %bitcast_struct_v3f32_v3i32 = type { %struct.v3f32 } ; CHECK: %bitcast_struct_v4f32_v4f32 = type { %struct.v4f32 } ; CHECK: %struct.v4f32 = type { <4 x float> } ; CHECK: %bitcast_struct_v3f32_v4i32 = type { %struct.v3f32 } ; CHECK: %bitcast_struct_v4f32_v3f32 = type { %struct.v4f32 } ; CHECK: %struct.v3f32.f32 = type { <3 x float>, float } ; CHECK: %bitcast_struct_i128_v4f32 = type { %struct.i128 } ; CHECK: %struct.i128 = type { i128 } ; CHECK: %multi_return_bitcast_struct_v3f32_v3f32 = type { %struct.v3f32 } ; CHECK-LABEL: define void @no_ret_blocks() #0 { ; CHECK-NEXT: unreachable define void @no_ret_blocks() #0 { unreachable } ; CHECK-LABEL: @void_one_out_arg_i32_no_use( ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_no_use(i32* %val) #0 { ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @skip_byval_arg( ; CHECK-NEXT: store i32 0, i32* %val ; CHECK-NEXT: ret void define void @skip_byval_arg(i32* byval(i32) %val) #0 { store i32 0, i32* %val ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @skip_optnone( ; CHECK-NEXT: store i32 0, i32* %val ; CHECK-NEXT: ret void define void @skip_optnone(i32* byval(i32) %val) #1 { store i32 0, i32* %val ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @skip_volatile( ; CHECK-NEXT: store volatile i32 0, i32* %val ; CHECK-NEXT: ret void define void @skip_volatile(i32* byval(i32) %val) #0 { store volatile i32 0, i32* %val ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @skip_atomic( ; CHECK-NEXT: store atomic i32 0, i32* %val ; CHECK-NEXT: ret void define void @skip_atomic(i32* byval(i32) %val) #0 { store atomic i32 0, i32* %val seq_cst, align 4 ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @skip_store_pointer_val( ; CHECK-NEXT: store i32* %val, i32** undef ; CHECK-NEXT: ret void define void @skip_store_pointer_val(i32* %val) #0 { store i32* %val, i32** undef ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @skip_store_gep( ; CHECK-NEXT: %gep = getelementptr inbounds i32, i32* %val, i32 1 ; CHECK-NEXT: store i32 0, i32* %gep ; CHECK-NEXT: ret void define void @skip_store_gep(i32* %val) #0 { %gep = getelementptr inbounds i32, i32* %val, i32 1 store i32 0, i32* %gep ret void } ; CHECK-LABEL: define void @skip_sret(i32* sret(i32) %sret, i32* %out) #0 { ; CHECK-NEXT: store ; CHECK-NEXT: store ; CHECK-NEXT: ret void define void @skip_sret(i32* sret(i32) %sret, i32* %out) #0 { store i32 1, i32* %sret store i32 0, i32* %out ret void } ; CHECK-LABEL: define private %void_one_out_arg_i32_1_use @void_one_out_arg_i32_1_use.body(i32* %val) #0 { ; CHECK-NEXT: ret %void_one_out_arg_i32_1_use zeroinitializer ; CHECK-LABEL: @void_one_out_arg_i32_1_use( ; CHECK-NEXT: %2 = call %void_one_out_arg_i32_1_use @void_one_out_arg_i32_1_use.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_i32_1_use %2, 0 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_1_use(i32* %val) #0 { store i32 0, i32* %val ret void } ; CHECK-LABEL: define private %void_one_out_arg_i32_1_use_align @void_one_out_arg_i32_1_use_align.body(i32* align 8 %val) #0 { ; CHECK-NEXT: ret %void_one_out_arg_i32_1_use_align zeroinitializer ; CHECK-LABEL: @void_one_out_arg_i32_1_use_align( ; CHECK-NEXT: %2 = call %void_one_out_arg_i32_1_use_align @void_one_out_arg_i32_1_use_align.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_i32_1_use_align %2, 0 ; CHECK-NEXT: store i32 %3, i32* %0, align 8 ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_1_use_align(i32* align 8 %val) #0 { store i32 0, i32* %val, align 8 ret void } ; CHECK-LABEL: define private %void_one_out_arg_i32_2_use @void_one_out_arg_i32_2_use.body(i1 %arg0, i32* %val) #0 { ; CHECK: br i1 %arg0, label %ret0, label %ret1 ; CHECK: ret0: ; CHECK-NEXT: ret %void_one_out_arg_i32_2_use zeroinitializer ; CHECK: ret1: ; CHECK-NEXT: ret %void_one_out_arg_i32_2_use { i32 9 } ; CHECK-LABEL: define void @void_one_out_arg_i32_2_use(i1 %0, i32* %1) #2 { ; CHECK-NEXT: %3 = call %void_one_out_arg_i32_2_use @void_one_out_arg_i32_2_use.body(i1 %0, i32* undef) ; CHECK-NEXT: %4 = extractvalue %void_one_out_arg_i32_2_use %3, 0 ; CHECK-NEXT: store i32 %4, i32* %1, align 4 ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_2_use(i1 %arg0, i32* %val) #0 { br i1 %arg0, label %ret0, label %ret1 ret0: store i32 0, i32* %val ret void ret1: store i32 9, i32* %val ret void } declare void @may.clobber() ; CHECK-LABEL: define private %void_one_out_arg_i32_2_stores @void_one_out_arg_i32_2_stores.body(i32* %val) #0 { ; CHECK-NEXT: store i32 0, i32* %val ; CHECK-NEXT: ret %void_one_out_arg_i32_2_stores { i32 1 } ; CHECK-LABEL: define void @void_one_out_arg_i32_2_stores(i32* %0) #2 { ; CHECK-NEXT: %2 = call %void_one_out_arg_i32_2_stores @void_one_out_arg_i32_2_stores.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_i32_2_stores %2, 0 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 define void @void_one_out_arg_i32_2_stores(i32* %val) #0 { store i32 0, i32* %val store i32 1, i32* %val ret void } ; CHECK-LABEL: define private %void_one_out_arg_i32_2_stores_clobber @void_one_out_arg_i32_2_stores_clobber.body(i32* %val) #0 { ; CHECK-NEXT: store i32 0, i32* %val ; CHECK-NEXT: call void @may.clobber() ; CHECK-NEXT: ret %void_one_out_arg_i32_2_stores_clobber { i32 1 } ; CHECK-LABEL: define void @void_one_out_arg_i32_2_stores_clobber(i32* %0) #2 { ; CHECK-NEXT: %2 = call %void_one_out_arg_i32_2_stores_clobber @void_one_out_arg_i32_2_stores_clobber.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_i32_2_stores_clobber %2, 0 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_2_stores_clobber(i32* %val) #0 { store i32 0, i32* %val call void @may.clobber() store i32 1, i32* %val ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @void_one_out_arg_i32_call_may_clobber(i32* %val) #0 { ; CHECK-NEXT: store i32 0, i32* %val ; CHECK-NEXT: call void @may.clobber() ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_call_may_clobber(i32* %val) #0 { store i32 0, i32* %val call void @may.clobber() ret void } ; CHECK-LABEL: define private %void_one_out_arg_i32_pre_call_may_clobber @void_one_out_arg_i32_pre_call_may_clobber.body(i32* %val) #0 { ; CHECK-NEXT: call void @may.clobber() ; CHECK-NEXT: ret %void_one_out_arg_i32_pre_call_may_clobber zeroinitializer ; CHECK-LABEL: @void_one_out_arg_i32_pre_call_may_clobber(i32* %0) #2 { ; CHECK-NEXT: %2 = call %void_one_out_arg_i32_pre_call_may_clobber @void_one_out_arg_i32_pre_call_may_clobber.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_i32_pre_call_may_clobber %2, 0 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_pre_call_may_clobber(i32* %val) #0 { call void @may.clobber() store i32 0, i32* %val ret void } ; CHECK-LABEL: define void @void_one_out_arg_i32_reload(i32* %val) #0 { ; CHECK: store i32 0, i32* %val ; CHECK: %load = load i32, i32* %val, align 4 ; CHECK: ret void define void @void_one_out_arg_i32_reload(i32* %val) #0 { store i32 0, i32* %val %load = load i32, i32* %val, align 4 ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @void_one_out_arg_i32_store_in_different_block( ; CHECK-NEXT: %load = load i32, i32 addrspace(1)* undef ; CHECK-NEXT: store i32 0, i32* %out ; CHECK-NEXT: br label %ret ; CHECK: ret: ; CHECK-NEXT: ret void define void @void_one_out_arg_i32_store_in_different_block(i32* %out) #0 { %load = load i32, i32 addrspace(1)* undef store i32 0, i32* %out br label %ret ret: ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @unused_out_arg_one_branch( ; CHECK: ret0: ; CHECK-NEXT: ret void ; CHECK: ret1: ; CHECK-NEXT: store i32 9, i32* %val ; CHECK-NEXT: ret void define void @unused_out_arg_one_branch(i1 %arg0, i32* %val) #0 { br i1 %arg0, label %ret0, label %ret1 ret0: ret void ret1: store i32 9, i32* %val ret void } ; CHECK-LABEL: define private %void_one_out_arg_v2i32_1_use @void_one_out_arg_v2i32_1_use.body(<2 x i32>* %val) #0 { ; CHECK-NEXT: ret %void_one_out_arg_v2i32_1_use { <2 x i32> <i32 17, i32 9> } ; CHECK-LABEL: define void @void_one_out_arg_v2i32_1_use(<2 x i32>* %0) #2 { ; CHECK-NEXT: %2 = call %void_one_out_arg_v2i32_1_use @void_one_out_arg_v2i32_1_use.body(<2 x i32>* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_v2i32_1_use %2, 0 ; CHECK-NEXT: store <2 x i32> %3, <2 x i32>* %0, align 8 ; CHECK-NEXT: ret void define void @void_one_out_arg_v2i32_1_use(<2 x i32>* %val) #0 { store <2 x i32> <i32 17, i32 9>, <2 x i32>* %val ret void } %struct = type { i32, i8, float } ; CHECK-LABEL: define private %void_one_out_arg_struct_1_use @void_one_out_arg_struct_1_use.body(%struct* %out) #0 { ; CHECK-NEXT: ret %void_one_out_arg_struct_1_use { %struct { i32 9, i8 99, float 4.000000e+00 } } ; Normally this is split into element accesses which we don't handle. ; CHECK-LABEL: define void @void_one_out_arg_struct_1_use(%struct* %0) #2 { ; CHECK-NEXT: %2 = call %void_one_out_arg_struct_1_use @void_one_out_arg_struct_1_use.body(%struct* undef) ; CHECK-NEXT: %3 = extractvalue %void_one_out_arg_struct_1_use %2, 0 ; CHECK-NEXT: store %struct %3, %struct* %0, align 4 ; CHECK-NEXT: ret void define void @void_one_out_arg_struct_1_use(%struct* %out) #0 { store %struct { i32 9, i8 99, float 4.0 }, %struct* %out ret void } ; CHECK-LABEL: define private %i32_one_out_arg_i32_1_use @i32_one_out_arg_i32_1_use.body(i32* %val) #0 { ; CHECK-NEXT: ret %i32_one_out_arg_i32_1_use { i32 9, i32 24 } ; CHECK-LABEL: define i32 @i32_one_out_arg_i32_1_use(i32* %0) #2 { ; CHECK-NEXT: %2 = call %i32_one_out_arg_i32_1_use @i32_one_out_arg_i32_1_use.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %i32_one_out_arg_i32_1_use %2, 1 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: %4 = extractvalue %i32_one_out_arg_i32_1_use %2, 0 ; CHECK-NEXT: ret i32 %4 define i32 @i32_one_out_arg_i32_1_use(i32* %val) #0 { store i32 24, i32* %val ret i32 9 } ; CHECK-LABEL: define private %unused_different_type @unused_different_type.body(i32* %arg0, float* nocapture %arg1) #0 { ; CHECK-NEXT: ret %unused_different_type { float 4.000000e+00 } ; CHECK-LABEL: define void @unused_different_type(i32* %0, float* nocapture %1) #2 { ; CHECK-NEXT: %3 = call %unused_different_type @unused_different_type.body(i32* %0, float* undef) ; CHECK-NEXT: %4 = extractvalue %unused_different_type %3, 0 ; CHECK-NEXT: store float %4, float* %1, align 4 ; CHECK-NEXT: ret void define void @unused_different_type(i32* %arg0, float* nocapture %arg1) #0 { store float 4.0, float* %arg1, align 4 ret void } ; CHECK-LABEL: define private %multiple_same_return_noalias @multiple_same_return_noalias.body(i32* noalias %out0, i32* noalias %out1) #0 { ; CHECK-NEXT: ret %multiple_same_return_noalias { i32 1, i32 2 } ; CHECK-LABEL: define void @multiple_same_return_noalias( ; CHECK-NEXT: %3 = call %multiple_same_return_noalias @multiple_same_return_noalias.body(i32* undef, i32* undef) ; CHECK-NEXT: %4 = extractvalue %multiple_same_return_noalias %3, 0 ; CHECK-NEXT: store i32 %4, i32* %0, align 4 ; CHECK-NEXT: %5 = extractvalue %multiple_same_return_noalias %3, 1 ; CHECK-NEXT: store i32 %5, i32* %1, align 4 ; CHECK-NEXT: ret void define void @multiple_same_return_noalias(i32* noalias %out0, i32* noalias %out1) #0 { store i32 1, i32* %out0, align 4 store i32 2, i32* %out1, align 4 ret void } ; CHECK-LABEL: define private %multiple_same_return_mayalias @multiple_same_return_mayalias.body(i32* %out0, i32* %out1) #0 { ; CHECK-NEXT: ret %multiple_same_return_mayalias { i32 2, i32 1 } ; CHECK-LABEL: define void @multiple_same_return_mayalias(i32* %0, i32* %1) #2 { ; CHECK-NEXT: %3 = call %multiple_same_return_mayalias @multiple_same_return_mayalias.body(i32* undef, i32* undef) ; CHECK-NEXT: %4 = extractvalue %multiple_same_return_mayalias %3, 0 ; CHECK-NEXT: store i32 %4, i32* %0, align 4 ; CHECK-NEXT: %5 = extractvalue %multiple_same_return_mayalias %3, 1 ; CHECK-NEXT: store i32 %5, i32* %1, align 4 ; CHECK-NEXT: ret void define void @multiple_same_return_mayalias(i32* %out0, i32* %out1) #0 { store i32 1, i32* %out0, align 4 store i32 2, i32* %out1, align 4 ret void } ; CHECK-LABEL: define private %multiple_same_return_mayalias_order @multiple_same_return_mayalias_order.body(i32* %out0, i32* %out1) #0 { ; CHECK-NEXT: ret %multiple_same_return_mayalias_order { i32 1, i32 2 } ; CHECK-LABEL: define void @multiple_same_return_mayalias_order(i32* %0, i32* %1) #2 { ; CHECK-NEXT: %3 = call %multiple_same_return_mayalias_order @multiple_same_return_mayalias_order.body(i32* undef, i32* undef) ; CHECK-NEXT: %4 = extractvalue %multiple_same_return_mayalias_order %3, 0 ; CHECK-NEXT: store i32 %4, i32* %0, align 4 ; CHECK-NEXT: %5 = extractvalue %multiple_same_return_mayalias_order %3, 1 ; CHECK-NEXT: store i32 %5, i32* %1, align 4 ; CHECK-NEXT: ret void define void @multiple_same_return_mayalias_order(i32* %out0, i32* %out1) #0 { store i32 2, i32* %out1, align 4 store i32 1, i32* %out0, align 4 ret void } ; Currently this fails to convert because the store won't be found if ; it isn't in the same block as the return. ; CHECK-LABEL: define i32 @store_in_entry_block(i1 %arg0, i32* %out) #0 { ; CHECK-NOT: call define i32 @store_in_entry_block(i1 %arg0, i32* %out) #0 { entry: %val0 = load i32, i32 addrspace(1)* undef store i32 %val0, i32* %out br i1 %arg0, label %if, label %endif if: %val1 = load i32, i32 addrspace(1)* undef br label %endif endif: %phi = phi i32 [ 0, %entry ], [ %val1, %if ] ret i32 %phi } ; CHECK-LABEL: define private %i1_one_out_arg_i32_1_use @i1_one_out_arg_i32_1_use.body(i32* %val) #0 { ; CHECK-NEXT: ret %i1_one_out_arg_i32_1_use { i1 true, i32 24 } ; CHECK-LABEL: define i1 @i1_one_out_arg_i32_1_use(i32* %0) #2 { ; CHECK: %2 = call %i1_one_out_arg_i32_1_use @i1_one_out_arg_i32_1_use.body(i32* undef) ; CHECK: %3 = extractvalue %i1_one_out_arg_i32_1_use %2, 1 ; CHECK: store i32 %3, i32* %0, align 4 ; CHECK: %4 = extractvalue %i1_one_out_arg_i32_1_use %2, 0 ; CHECK: ret i1 %4 define i1 @i1_one_out_arg_i32_1_use(i32* %val) #0 { store i32 24, i32* %val ret i1 true } ; Make sure we don't leave around return attributes that are ; incompatible with struct return types. ; CHECK-LABEL: define private %i1_zeroext_one_out_arg_i32_1_use @i1_zeroext_one_out_arg_i32_1_use.body(i32* %val) #0 { ; CHECK-NEXT: ret %i1_zeroext_one_out_arg_i32_1_use { i1 true, i32 24 } ; CHECK-LABEL: define zeroext i1 @i1_zeroext_one_out_arg_i32_1_use(i32* %0) #2 { ; CHECK-NEXT: %2 = call %i1_zeroext_one_out_arg_i32_1_use @i1_zeroext_one_out_arg_i32_1_use.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %i1_zeroext_one_out_arg_i32_1_use %2, 1 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: %4 = extractvalue %i1_zeroext_one_out_arg_i32_1_use %2, 0 ; CHECK-NEXT: ret i1 %4 define zeroext i1 @i1_zeroext_one_out_arg_i32_1_use(i32* %val) #0 { store i32 24, i32* %val ret i1 true } ; CHECK-LABEL: define private %i1_signext_one_out_arg_i32_1_use @i1_signext_one_out_arg_i32_1_use.body(i32* %val) #0 { ; CHECK-NEXT: ret %i1_signext_one_out_arg_i32_1_use { i1 true, i32 24 } ; CHECK-LABEL: define signext i1 @i1_signext_one_out_arg_i32_1_use(i32* %0) #2 { ; CHECK-NEXT: %2 = call %i1_signext_one_out_arg_i32_1_use @i1_signext_one_out_arg_i32_1_use.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %i1_signext_one_out_arg_i32_1_use %2, 1 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: %4 = extractvalue %i1_signext_one_out_arg_i32_1_use %2, 0 ; CHECK-NEXT: ret i1 %4 define signext i1 @i1_signext_one_out_arg_i32_1_use(i32* %val) #0 { store i32 24, i32* %val ret i1 true } ; CHECK-LABEL: define private %p1i32_noalias_one_out_arg_i32_1_use @p1i32_noalias_one_out_arg_i32_1_use.body(i32* %val) #0 { ; CHECK-NEXT: ret %p1i32_noalias_one_out_arg_i32_1_use { i32 addrspace(1)* null, i32 24 } ; CHECK-LABEL: define noalias i32 addrspace(1)* @p1i32_noalias_one_out_arg_i32_1_use(i32* %0) #2 { ; CHECK-NEXT: %2 = call %p1i32_noalias_one_out_arg_i32_1_use @p1i32_noalias_one_out_arg_i32_1_use.body(i32* undef) ; CHECK-NEXT: %3 = extractvalue %p1i32_noalias_one_out_arg_i32_1_use %2, 1 ; CHECK-NEXT: store i32 %3, i32* %0, align 4 ; CHECK-NEXT: %4 = extractvalue %p1i32_noalias_one_out_arg_i32_1_use %2, 0 ; CHECK-NEXT: ret i32 addrspace(1)* %4 define noalias i32 addrspace(1)* @p1i32_noalias_one_out_arg_i32_1_use(i32* %val) #0 { store i32 24, i32* %val ret i32 addrspace(1)* null } ; CHECK-LABEL: define void @void_one_out_non_private_arg_i32_1_use(i32 addrspace(1)* %val) #0 { ; CHECK-NEXT: store i32 0, i32 addrspace(1)* %val ; CHECK-NEXT: ret void define void @void_one_out_non_private_arg_i32_1_use(i32 addrspace(1)* %val) #0 { store i32 0, i32 addrspace(1)* %val ret void } ; CHECK-LABEL: define private %func_ptr_type @func_ptr_type.body(void ()** %out) #0 { ; CHECK-LABEL: define void @func_ptr_type(void ()** %0) #2 { ; CHECK: %2 = call %func_ptr_type @func_ptr_type.body(void ()** undef) define void @func_ptr_type(void()** %out) #0 { %func = load void()*, void()** undef store void()* %func, void()** %out ret void } ; CHECK-LABEL: define private %bitcast_func_ptr_type @bitcast_func_ptr_type.body(void ()** %out) #0 { ; CHECK-LABEL: define void @bitcast_func_ptr_type(void ()** %0) #2 { define void @bitcast_func_ptr_type(void()** %out) #0 { %func = load i32()*, i32()** undef %cast = bitcast void()** %out to i32()** store i32()* %func, i32()** %cast ret void } ; CHECK-LABEL: define private %out_arg_small_array @out_arg_small_array.body([4 x i32]* %val) #0 { ; CHECK-NEXT: ret %out_arg_small_array { [4 x i32] [i32 0, i32 1, i32 2, i32 3] } ; CHECK-LABEL: define void @out_arg_small_array([4 x i32]* %0) #2 { define void @out_arg_small_array([4 x i32]* %val) #0 { store [4 x i32] [i32 0, i32 1, i32 2, i32 3], [4 x i32]* %val ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @out_arg_large_array([17 x i32]* %val) #0 { ; CHECK-NEXT: store [17 x i32] zeroinitializer, [17 x i32]* %val ; CHECK-NEXT: ret void define void @out_arg_large_array([17 x i32]* %val) #0 { store [17 x i32] zeroinitializer, [17 x i32]* %val ret void } ; CHECK-NOT: define ; CHECK-LABEL: define <16 x i32> @num_regs_return_limit(i32* %out, i32 %val) #0 { define <16 x i32> @num_regs_return_limit(i32* %out, i32 %val) #0 { %load = load volatile <16 x i32>, <16 x i32> addrspace(1)* undef store i32 %val, i32* %out ret <16 x i32> %load } ; CHECK-LABEL: define private %num_regs_reach_limit @num_regs_reach_limit.body(i32* %out, i32 %val) #0 { ; CHECK: define [15 x i32] @num_regs_reach_limit(i32* %0, i32 %1) #2 { ; CHECK-NEXT: call %num_regs_reach_limit @num_regs_reach_limit.body(i32* undef, i32 %1) define [15 x i32] @num_regs_reach_limit(i32* %out, i32 %val) #0 { %load = load volatile [15 x i32], [15 x i32] addrspace(1)* undef store i32 %val, i32* %out ret [15 x i32] %load } ; CHECK-LABEL: define private %num_regs_reach_limit_leftover @num_regs_reach_limit_leftover.body(i32* %out0, i32* %out1, i32 %val0) #0 { ; CHECK-NEXT: %load0 = load volatile [15 x i32], [15 x i32] addrspace(1)* undef ; CHECK-NEXT: %load1 = load volatile i32, i32 addrspace(1)* undef ; CHECK-NEXT: %1 = insertvalue %num_regs_reach_limit_leftover undef, [15 x i32] %load0, 0 ; CHECK-NEXT: %2 = insertvalue %num_regs_reach_limit_leftover %1, i32 %load1, 1 ; CHECK-NEXT: %3 = insertvalue %num_regs_reach_limit_leftover %2, i32 %val0, 2 ; CHECK-NEXT: ret %num_regs_reach_limit_leftover %3 ; CHECK-LABEL: define [15 x i32] @num_regs_reach_limit_leftover(i32* %0, i32* %1, i32 %2) #2 { ; CHECK-NEXT: %4 = call %num_regs_reach_limit_leftover @num_regs_reach_limit_leftover.body(i32* undef, i32* undef, i32 %2) ; CHECK-NEXT: %5 = extractvalue %num_regs_reach_limit_leftover %4, 1 ; CHECK-NEXT: store i32 %5, i32* %0, align 4 ; CHECK-NEXT: %6 = extractvalue %num_regs_reach_limit_leftover %4, 2 ; CHECK-NEXT: store i32 %6, i32* %1, align 4 ; CHECK-NEXT: %7 = extractvalue %num_regs_reach_limit_leftover %4, 0 ; CHECK-NEXT: ret [15 x i32] %7 define [15 x i32] @num_regs_reach_limit_leftover(i32* %out0, i32* %out1, i32 %val0) #0 { %load0 = load volatile [15 x i32], [15 x i32] addrspace(1)* undef %load1 = load volatile i32, i32 addrspace(1)* undef store i32 %val0, i32* %out0 store i32 %load1, i32* %out1 ret [15 x i32] %load0 } ; CHECK-LABEL: define private %preserve_debug_info @preserve_debug_info.body(i32 %arg0, i32* %val) #0 { ; CHECK-NEXT: call void @may.clobber(), !dbg !5 ; CHECK-NEXT: %1 = insertvalue %preserve_debug_info undef, i32 %arg0, 0, !dbg !11 ; CHECK-NEXT: ret %preserve_debug_info %1, !dbg !11 ; CHECK-LABEL: define void @preserve_debug_info(i32 %0, i32* %1) #2 !dbg !6 { ; CHECK-NEXT: %3 = call %preserve_debug_info @preserve_debug_info.body(i32 %0, i32* undef){{$}} ; CHECK-NEXT: %4 = extractvalue %preserve_debug_info %3, 0{{$}} ; CHECK-NEXT: store i32 %4, i32* %1, align 4{{$}} ; CHECK-NEXT: ret void define void @preserve_debug_info(i32 %arg0, i32* %val) #0 !dbg !5 { call void @may.clobber(), !dbg !10 store i32 %arg0, i32* %val, !dbg !11 ret void, !dbg !12 } define void @preserve_metadata(i32 %arg0, i32* %val) #0 !kernel_arg_access_qual !13 { call void @may.clobber() store i32 %arg0, i32* %val ret void } ; Clang emits this pattern for 3-vectors for some reason. ; CHECK-LABEL: define private %bitcast_pointer_v4i32_v3i32 @bitcast_pointer_v4i32_v3i32.body(<3 x i32>* %out) #0 { ; CHECK-NEXT: %load = load volatile <4 x i32>, <4 x i32> addrspace(1)* undef ; CHECK-NEXT: %bitcast = bitcast <3 x i32>* %out to <4 x i32>* ; CHECK-NEXT: %1 = shufflevector <4 x i32> %load, <4 x i32> poison, <3 x i32> <i32 0, i32 1, i32 2> ; CHECK-NEXT: %2 = insertvalue %bitcast_pointer_v4i32_v3i32 undef, <3 x i32> %1, 0 ; CHECK-NEXT: ret %bitcast_pointer_v4i32_v3i32 %2 ; CHECK-LABEL: define void @bitcast_pointer_v4i32_v3i32(<3 x i32>* %0) #2 { ; CHECK-NEXT: %2 = call %bitcast_pointer_v4i32_v3i32 @bitcast_pointer_v4i32_v3i32.body(<3 x i32>* undef) ; CHECK-NEXT: %3 = extractvalue %bitcast_pointer_v4i32_v3i32 %2, 0 ; CHECK-NEXT: store <3 x i32> %3, <3 x i32>* %0, align 16 ; CHECK-NEXT: ret void define void @bitcast_pointer_v4i32_v3i32(<3 x i32>* %out) #0 { %load = load volatile <4 x i32>, <4 x i32> addrspace(1)* undef %bitcast = bitcast <3 x i32>* %out to <4 x i32>* store <4 x i32> %load, <4 x i32>* %bitcast ret void } ; CHECK-LABEL: define private %bitcast_pointer_v4i32_v3f32 @bitcast_pointer_v4i32_v3f32.body(<3 x float>* %out) #0 { ; CHECK-NEXT: %load = load volatile <4 x i32>, <4 x i32> addrspace(1)* undef ; CHECK-NEXT: %bitcast = bitcast <3 x float>* %out to <4 x i32>* ; CHECK-NEXT: %1 = shufflevector <4 x i32> %load, <4 x i32> poison, <3 x i32> <i32 0, i32 1, i32 2> ; CHECK-NEXT: %2 = bitcast <3 x i32> %1 to <3 x float> ; CHECK-NEXT: %3 = insertvalue %bitcast_pointer_v4i32_v3f32 undef, <3 x float> %2, 0 ; CHECK-NEXT: ret %bitcast_pointer_v4i32_v3f32 %3 define void @bitcast_pointer_v4i32_v3f32(<3 x float>* %out) #0 { %load = load volatile <4 x i32>, <4 x i32> addrspace(1)* undef %bitcast = bitcast <3 x float>* %out to <4 x i32>* store <4 x i32> %load, <4 x i32>* %bitcast ret void } ; Try different element and bitwidths which could produce broken ; casts. ; CHECK-LABEL: define private %bitcast_pointer_i32_f32 @bitcast_pointer_i32_f32.body(float* %out) #0 { ; CHECK-NEXT: %load = load volatile i32, i32 addrspace(1)* undef ; CHECK-NEXT: %bitcast = bitcast float* %out to i32* ; CHECK-NEXT: %1 = bitcast i32 %load to float ; CHECK-NEXT: %2 = insertvalue %bitcast_pointer_i32_f32 undef, float %1, 0 ; CHECK-NEXT: ret %bitcast_pointer_i32_f32 %2 ; CHECK-LABEL: define void @bitcast_pointer_i32_f32(float* %0) #2 { ; CHECK-NEXT: %2 = call %bitcast_pointer_i32_f32 @bitcast_pointer_i32_f32.body(float* undef) ; CHECK-NEXT: %3 = extractvalue %bitcast_pointer_i32_f32 %2, 0 ; CHECK-NEXT: store float %3, float* %0, align 4 define void @bitcast_pointer_i32_f32(float* %out) #0 { %load = load volatile i32, i32 addrspace(1)* undef %bitcast = bitcast float* %out to i32* store i32 %load, i32* %bitcast ret void } ; CHECK-LABEL: define void @bitcast_pointer_i32_f16(half* %out) #0 { ; CHECK-NOT: call define void @bitcast_pointer_i32_f16(half* %out) #0 { %load = load volatile i32, i32 addrspace(1)* undef %bitcast = bitcast half* %out to i32* store i32 %load, i32* %bitcast ret void } ; CHECK-LABEL: define void @bitcast_pointer_f16_i32(i32* %out) #0 { ; CHECK-NOT: call define void @bitcast_pointer_f16_i32(i32* %out) #0 { %load = load volatile half, half addrspace(1)* undef %bitcast = bitcast i32* %out to half* store half %load, half* %bitcast ret void } %struct.i128 = type { i128 } %struct.v2f32 = type { <2 x float> } %struct.v3f32 = type { <3 x float> } %struct.v3f32.f32 = type { <3 x float>, float } %struct.v4f32 = type { <4 x float> } ; CHECK-LABEL: define private %bitcast_struct_v3f32_v3f32 @bitcast_struct_v3f32_v3f32.body(%struct.v3f32* %out, <3 x float> %value) #0 { ; CHECK-NEXT: %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> ; CHECK-NEXT: %cast = bitcast %struct.v3f32* %out to <4 x float>* ; CHECK-NEXT: %1 = shufflevector <4 x float> %extractVec, <4 x float> poison, <3 x i32> <i32 0, i32 1, i32 2> ; CHECK-NEXT: %2 = insertvalue %struct.v3f32 undef, <3 x float> %1, 0 ; CHECK-NEXT: %3 = insertvalue %bitcast_struct_v3f32_v3f32 undef, %struct.v3f32 %2, 0 ; CHECK-NEXT: ret %bitcast_struct_v3f32_v3f32 %3 ; CHECK-LABEL: define void @bitcast_struct_v3f32_v3f32(%struct.v3f32* %0, <3 x float> %1) #2 { ; CHECK-NEXT: %3 = call %bitcast_struct_v3f32_v3f32 @bitcast_struct_v3f32_v3f32.body(%struct.v3f32* undef, <3 x float> %1) ; CHECK-NEXT: %4 = extractvalue %bitcast_struct_v3f32_v3f32 %3, 0 ; CHECK-NEXT: store %struct.v3f32 %4, %struct.v3f32* %0, align 16 ; CHECK-NEXT: ret void define void @bitcast_struct_v3f32_v3f32(%struct.v3f32* %out, <3 x float> %value) #0 { %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> %cast = bitcast %struct.v3f32* %out to <4 x float>* store <4 x float> %extractVec, <4 x float>* %cast, align 16 ret void } ; CHECK-LABEL: define private %bitcast_struct_v3f32_v3i32 @bitcast_struct_v3f32_v3i32.body(%struct.v3f32* %out, <3 x i32> %value) #0 { ; CHECK-NEXT: %extractVec = shufflevector <3 x i32> %value, <3 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> ; CHECK-NEXT: %cast = bitcast %struct.v3f32* %out to <4 x i32>* ; CHECK-NEXT: %1 = shufflevector <4 x i32> %extractVec, <4 x i32> poison, <3 x i32> <i32 0, i32 1, i32 2> ; CHECK-NEXT: %2 = bitcast <3 x i32> %1 to <3 x float> ; CHECK-NEXT: %3 = insertvalue %struct.v3f32 undef, <3 x float> %2, 0 ; CHECK-NEXT: %4 = insertvalue %bitcast_struct_v3f32_v3i32 undef, %struct.v3f32 %3, 0 ; CHECK-NEXT: ret %bitcast_struct_v3f32_v3i32 %4 ; CHECK-LABEL: define void @bitcast_struct_v3f32_v3i32(%struct.v3f32* %0, <3 x i32> %1) #2 { ; CHECK-NEXT: %3 = call %bitcast_struct_v3f32_v3i32 @bitcast_struct_v3f32_v3i32.body(%struct.v3f32* undef, <3 x i32> %1) ; CHECK-NEXT: %4 = extractvalue %bitcast_struct_v3f32_v3i32 %3, 0 ; CHECK-NEXT: store %struct.v3f32 %4, %struct.v3f32* %0, align 16 define void @bitcast_struct_v3f32_v3i32(%struct.v3f32* %out, <3 x i32> %value) #0 { %extractVec = shufflevector <3 x i32> %value, <3 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> %cast = bitcast %struct.v3f32* %out to <4 x i32>* store <4 x i32> %extractVec, <4 x i32>* %cast, align 16 ret void } ; CHECK-LABEL: define private %bitcast_struct_v4f32_v4f32 @bitcast_struct_v4f32_v4f32.body(%struct.v4f32* %out, <4 x float> %value) #0 { ; CHECK-NEXT: %cast = bitcast %struct.v4f32* %out to <4 x float>* ; CHECK-NEXT: %1 = insertvalue %struct.v4f32 undef, <4 x float> %value, 0 ; CHECK-NEXT: %2 = insertvalue %bitcast_struct_v4f32_v4f32 undef, %struct.v4f32 %1, 0 ; CHECK-NEXT: ret %bitcast_struct_v4f32_v4f32 %2 ; CHECK-LABEL: define void @bitcast_struct_v4f32_v4f32(%struct.v4f32* %0, <4 x float> %1) #2 { ; CHECK-NEXT: %3 = call %bitcast_struct_v4f32_v4f32 @bitcast_struct_v4f32_v4f32.body(%struct.v4f32* undef, <4 x float> %1) define void @bitcast_struct_v4f32_v4f32(%struct.v4f32* %out, <4 x float> %value) #0 { %cast = bitcast %struct.v4f32* %out to <4 x float>* store <4 x float> %value, <4 x float>* %cast, align 16 ret void } ; CHECK-LABEL: define private %bitcast_struct_v3f32_v4i32 @bitcast_struct_v3f32_v4i32.body(%struct.v3f32* %out, <4 x i32> %value) #0 { ; CHECK-LABEL: define void @bitcast_struct_v3f32_v4i32(%struct.v3f32* %0, <4 x i32> %1) #2 { define void @bitcast_struct_v3f32_v4i32(%struct.v3f32* %out, <4 x i32> %value) #0 { %cast = bitcast %struct.v3f32* %out to <4 x i32>* store <4 x i32> %value, <4 x i32>* %cast, align 16 ret void } ; CHECK-LABEL: define private %bitcast_struct_v4f32_v3f32 @bitcast_struct_v4f32_v3f32.body(%struct.v4f32* %out, <3 x float> %value) #0 { ; CHECK-LABEL: define void @bitcast_struct_v4f32_v3f32(%struct.v4f32* %0, <3 x float> %1) #2 { define void @bitcast_struct_v4f32_v3f32(%struct.v4f32* %out, <3 x float> %value) #0 { %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> %cast = bitcast %struct.v4f32* %out to <4 x float>* store <4 x float> %extractVec, <4 x float>* %cast, align 16 ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @bitcast_struct_v3f32_v2f32(%struct.v3f32* %out, <2 x float> %value) #0 { ; CHECK-NOT: call define void @bitcast_struct_v3f32_v2f32(%struct.v3f32* %out, <2 x float> %value) #0 { %cast = bitcast %struct.v3f32* %out to <2 x float>* store <2 x float> %value, <2 x float>* %cast, align 8 ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @bitcast_struct_v3f32_f32_v3f32(%struct.v3f32.f32* %out, <3 x float> %value) #0 { ; CHECK-NOT: call define void @bitcast_struct_v3f32_f32_v3f32(%struct.v3f32.f32* %out, <3 x float> %value) #0 { %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> %cast = bitcast %struct.v3f32.f32* %out to <4 x float>* store <4 x float> %extractVec, <4 x float>* %cast, align 16 ret void } ; CHECK-NOT: define ; CHECK-LABEL: define void @bitcast_struct_v3f32_f32_v4f32(%struct.v3f32.f32* %out, <4 x float> %value) #0 { ; CHECK-NOT: call define void @bitcast_struct_v3f32_f32_v4f32(%struct.v3f32.f32* %out, <4 x float> %value) #0 { %cast = bitcast %struct.v3f32.f32* %out to <4 x float>* store <4 x float> %value, <4 x float>* %cast, align 16 ret void } ; CHECK-LABEL: define private %bitcast_struct_i128_v4f32 @bitcast_struct_i128_v4f32.body(%struct.i128* %out, <4 x float> %value) #0 { ; CHECK-NEXT: %cast = bitcast %struct.i128* %out to <4 x float>* ; CHECK-NEXT: %1 = bitcast <4 x float> %value to i128 ; CHECK-NEXT: %2 = insertvalue %struct.i128 undef, i128 %1, 0 ; CHECK-NEXT: %3 = insertvalue %bitcast_struct_i128_v4f32 undef, %struct.i128 %2, 0 ; CHECK-NEXT: ret %bitcast_struct_i128_v4f32 %3 define void @bitcast_struct_i128_v4f32(%struct.i128* %out, <4 x float> %value) #0 { %cast = bitcast %struct.i128* %out to <4 x float>* store <4 x float> %value, <4 x float>* %cast, align 16 ret void } ; CHECK-LABEL: define void @bitcast_struct_i128_v4f32(%struct.i128* %0, <4 x float> %1) #2 { ; CHECK-NEXT: %3 = call %bitcast_struct_i128_v4f32 @bitcast_struct_i128_v4f32.body(%struct.i128* undef, <4 x float> %1) define void @bitcast_array_v4i32_v4f32([4 x i32]* %out, [4 x float] %value) #0 { %cast = bitcast [4 x i32]* %out to [4 x float]* store [4 x float] %value, [4 x float]* %cast, align 4 ret void } ; CHECK-LABEL: define private %multi_return_bitcast_struct_v3f32_v3f32 @multi_return_bitcast_struct_v3f32_v3f32.body(i1 %cond, %struct.v3f32* %out, <3 x float> %value) #0 { ; CHECK: ret0: ; CHECK: %cast0 = bitcast %struct.v3f32* %out to <4 x float>* ; CHECK: %0 = shufflevector <4 x float> %extractVec, <4 x float> poison, <3 x i32> <i32 0, i32 1, i32 2> ; CHECK: %1 = insertvalue %struct.v3f32 undef, <3 x float> %0, 0 ; CHECK: %2 = insertvalue %multi_return_bitcast_struct_v3f32_v3f32 undef, %struct.v3f32 %1, 0 ; CHECK: ret %multi_return_bitcast_struct_v3f32_v3f32 %2 ; CHECK: ret1: ; CHECK: %4 = insertvalue %struct.v3f32 undef, <3 x float> %3, 0 ; CHECK: %5 = insertvalue %multi_return_bitcast_struct_v3f32_v3f32 undef, %struct.v3f32 %4, 0 ; CHECK: ret %multi_return_bitcast_struct_v3f32_v3f32 %5 define void @multi_return_bitcast_struct_v3f32_v3f32(i1 %cond, %struct.v3f32* %out, <3 x float> %value) #0 { entry: br i1 %cond, label %ret0, label %ret1 ret0: %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef> %cast0 = bitcast %struct.v3f32* %out to <4 x float>* store <4 x float> %extractVec, <4 x float>* %cast0, align 16 ret void ret1: %cast1 = bitcast %struct.v3f32* %out to <4 x float>* %load = load <4 x float>, <4 x float> addrspace(1)* undef store <4 x float> %load, <4 x float>* %cast1, align 16 ret void } ; CHECK-LABEL: define void @bitcast_v3f32_struct_v3f32(<3 x float>* %out, %struct.v3f32 %value) #0 { ; CHECK-NOT: call define void @bitcast_v3f32_struct_v3f32(<3 x float>* %out, %struct.v3f32 %value) #0 { %cast = bitcast <3 x float>* %out to %struct.v3f32* store %struct.v3f32 %value, %struct.v3f32* %cast, align 4 ret void } attributes #0 = { nounwind } attributes #1 = { nounwind noinline optnone } attributes #2 = { alwaysinline nounwind } !llvm.dbg.cu = !{!0} !llvm.module.flags = !{!3, !4} !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 5.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2) !1 = !DIFile(filename: "code-object-metadata-kernel-debug-props.cl", directory: "/some/random/directory") !2 = !{} !3 = !{i32 2, !"Dwarf Version", i32 2} !4 = !{i32 2, !"Debug Info Version", i32 3} !5 = distinct !DISubprogram(name: "test", scope: !1, file: !1, line: 1, type: !6, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2) !6 = !DISubroutineType(types: !7) !7 = !{null, !8} !8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !9, size: 64) !9 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) !10 = !DILocation(line: 2, column: 3, scope: !5) !11 = !DILocation(line: 2, column: 8, scope: !5) !12 = !DILocation(line: 3, column: 3, scope: !5) !13 = !{!"none"}