1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes='debugify,memcpyopt,check-debugify' -S < %s 2>&1 -verify-memoryssa | FileCheck %s 3; RUN: opt -passes='debugify,memcpyopt,check-debugify' -S < %s 2>&1 -verify-memoryssa --try-experimental-debuginfo-iterators | FileCheck %s 4 5; CHECK: CheckModuleDebugify: PASS 6 7%struct.Foo = type { i64, i64, i64 } 8 9@a = dso_local global ptr null, align 8 10 11define dso_local void @_Z3bar3Foo(ptr byval(%struct.Foo) align 8 %0) { 12; CHECK-LABEL: @_Z3bar3Foo( 13; CHECK-NEXT: entry: 14; CHECK-NEXT: [[AGG_TMP:%.*]] = alloca [[STRUCT_FOO:%.*]], align 8, !dbg [[DBG12:![0-9]+]] 15; CHECK-NEXT: #dbg_value(ptr [[AGG_TMP]], [[META9:![0-9]+]], !DIExpression(), [[DBG12]]) 16; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr @a, align 8, !dbg [[DBG13:![0-9]+]] 17; CHECK-NEXT: #dbg_value(ptr [[TMP1]], [[META11:![0-9]+]], !DIExpression(), [[DBG13]]) 18; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 dereferenceable(24) [[AGG_TMP]], ptr nonnull align 8 dereferenceable(24) [[TMP1]], i64 24, i1 false), !dbg [[DBG14:![0-9]+]] 19; CHECK-NEXT: call void @_Z3bar3Foo(ptr nonnull byval([[STRUCT_FOO]]) align 8 [[TMP1]]), !dbg [[DBG15:![0-9]+]] 20; CHECK-NEXT: ret void, !dbg [[DBG16:![0-9]+]] 21; 22entry: 23 %agg.tmp = alloca %struct.Foo, align 8 24 %1 = load ptr, ptr @a, align 8 25 call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 dereferenceable(24) %agg.tmp, ptr nonnull align 8 dereferenceable(24) %1, i64 24, i1 false) 26 call void @_Z3bar3Foo(ptr nonnull byval(%struct.Foo) align 8 %agg.tmp) 27 ret void 28} 29 30declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #0 31