1; RUN: opt %s -S -passes=dse -o - | FileCheck %s 2; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=dse -o - | FileCheck %s 3 4;; $ cat test.cpp 5;; void esc(int*); 6;; void shortenEnd() { 7;; int local[20]; 8;; __builtin_memset(local, 0, 6 * 4); 9;; __builtin_memset(local + 4, 8, 10 * 4); 10;; esc(local); 11;; } 12;; void shortenStart() { 13;; int local2[10]; 14;; __builtin_memset(local2, 0, 10 * 4); 15;; __builtin_memset(local2, 8, 4 * 4); 16;; esc(local2); 17;; } 18;; IR grabbed before dse in: 19;; clang++ -O2 -g -Xclang -fexperimental-assignment-tracking 20 21;; DeadStoreElimination will shorten the first store in shortenEnd from [0, 22;; 192) bits to [0, 128) bits. Check that we get an unlinked dbg.assign covering 23;; the deleted bits [128, 192) (offset=128 size=64). It will shorten also the 24;; first store in shortenStart from [0, 320) bits to [128, 320). Check that we 25;; get an unlinked dbg.assign covering the deleted bits [0, 128) (offset=0 26;; size=128). 27 28; CHECK: @_Z10shortenEndv 29; CHECK: call void @llvm.memset{{.*}}, !DIAssignID ![[ID:[0-9]+]] 30; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR:[0-9]+]], !DIExpression(DW_OP_LLVM_fragment, 0, 192), ![[ID:[0-9]+]], ptr %local, !DIExpression(), 31; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR]], !DIExpression(DW_OP_LLVM_fragment, 128, 64), ![[UniqueID1:[0-9]+]], ptr poison, !DIExpression(), 32 33; CHECK: @_Z12shortenStartv 34; CHECK: call void @llvm.memset{{.*}}, !DIAssignID ![[ID2:[0-9]+]] 35; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR2:[0-9]+]], !DIExpression(), ![[ID2]], ptr %local2, !DIExpression(), 36; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR2]], !DIExpression(DW_OP_LLVM_fragment, 0, 128), ![[UniqueID2:[0-9]+]], ptr poison, !DIExpression(), 37 38; CHECK-DAG: ![[ID]] = distinct !DIAssignID() 39; CHECK-DAG: ![[UniqueID1]] = distinct !DIAssignID() 40; CHECK-DAG: ![[UniqueID2]] = distinct !DIAssignID() 41 42define dso_local void @_Z10shortenEndv() local_unnamed_addr #0 !dbg !7 { 43entry: 44 %local = alloca [20 x i32], align 16, !DIAssignID !16 45 call void @llvm.dbg.assign(metadata i1 poison, metadata !11, metadata !DIExpression(), metadata !16, metadata ptr %local, metadata !DIExpression()), !dbg !17 46 call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %local) #5, !dbg !18 47 %arraydecay = getelementptr inbounds [20 x i32], ptr %local, i64 0, i64 0, !dbg !19 48 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %local, i8 0, i64 24, i1 false), !dbg !19, !DIAssignID !20 49 call void @llvm.dbg.assign(metadata i8 0, metadata !11, metadata !DIExpression(DW_OP_LLVM_fragment, 0, 192), metadata !20, metadata ptr %local, metadata !DIExpression()), !dbg !17 50 %add.ptr = getelementptr inbounds [20 x i32], ptr %local, i64 0, i64 4, !dbg !21 51 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(40) %add.ptr, i8 8, i64 40, i1 false), !dbg !22, !DIAssignID !23 52 call void @llvm.dbg.assign(metadata i1 poison, metadata !11, metadata !DIExpression(DW_OP_LLVM_fragment, 128, 320), metadata !23, metadata ptr %add.ptr, metadata !DIExpression()), !dbg !17 53 call void @_Z3escPi(ptr noundef nonnull %arraydecay), !dbg !24 54 call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %local) #5, !dbg !25 55 ret void, !dbg !25 56} 57 58declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) 59declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) 60declare !dbg !26 dso_local void @_Z3escPi(ptr noundef) local_unnamed_addr 61declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) 62 63define dso_local void @_Z12shortenStartv() local_unnamed_addr #0 !dbg !31 { 64entry: 65 %local2 = alloca [10 x i32], align 16, !DIAssignID !37 66 call void @llvm.dbg.assign(metadata i1 poison, metadata !33, metadata !DIExpression(), metadata !37, metadata ptr %local2, metadata !DIExpression()), !dbg !38 67 call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %local2) #5, !dbg !39 68 %arraydecay = getelementptr inbounds [10 x i32], ptr %local2, i64 0, i64 0, !dbg !40 69 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(40) %local2, i8 0, i64 40, i1 false), !dbg !40, !DIAssignID !41 70 call void @llvm.dbg.assign(metadata i8 0, metadata !33, metadata !DIExpression(), metadata !41, metadata ptr %local2, metadata !DIExpression()), !dbg !38 71 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %local2, i8 8, i64 16, i1 false), !dbg !42, !DIAssignID !43 72 call void @llvm.dbg.assign(metadata i1 poison, metadata !33, metadata !DIExpression(DW_OP_LLVM_fragment, 0, 128), metadata !43, metadata ptr %local2, metadata !DIExpression()), !dbg !38 73 call void @_Z3escPi(ptr noundef nonnull %arraydecay), !dbg !44 74 call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %local2) #5, !dbg !45 75 ret void, !dbg !45 76} 77 78declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata) 79 80!llvm.dbg.cu = !{!0} 81!llvm.module.flags = !{!2, !3, !4, !5, !1000} 82!llvm.ident = !{!6} 83 84!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 14.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) 85!1 = !DIFile(filename: "test.cpp", directory: "/") 86!2 = !{i32 7, !"Dwarf Version", i32 5} 87!3 = !{i32 2, !"Debug Info Version", i32 3} 88!4 = !{i32 1, !"wchar_size", i32 4} 89!5 = !{i32 7, !"uwtable", i32 1} 90!6 = !{!"clang version 14.0.0"} 91!7 = distinct !DISubprogram(name: "shortenEnd", linkageName: "_Z10shortenEndv", scope: !1, file: !1, line: 2, type: !8, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !10) 92!8 = !DISubroutineType(types: !9) 93!9 = !{null} 94!10 = !{!11} 95!11 = !DILocalVariable(name: "local", scope: !7, file: !1, line: 3, type: !12) 96!12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 640, elements: !14) 97!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 98!14 = !{!15} 99!15 = !DISubrange(count: 20) 100!16 = distinct !DIAssignID() 101!17 = !DILocation(line: 0, scope: !7) 102!18 = !DILocation(line: 3, column: 3, scope: !7) 103!19 = !DILocation(line: 4, column: 3, scope: !7) 104!20 = distinct !DIAssignID() 105!21 = !DILocation(line: 5, column: 26, scope: !7) 106!22 = !DILocation(line: 5, column: 3, scope: !7) 107!23 = distinct !DIAssignID() 108!24 = !DILocation(line: 6, column: 3, scope: !7) 109!25 = !DILocation(line: 7, column: 1, scope: !7) 110!26 = !DISubprogram(name: "esc", linkageName: "_Z3escPi", scope: !1, file: !1, line: 1, type: !27, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !30) 111!27 = !DISubroutineType(types: !28) 112!28 = !{null, !29} 113!29 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64) 114!30 = !{} 115!31 = distinct !DISubprogram(name: "shortenStart", linkageName: "_Z12shortenStartv", scope: !1, file: !1, line: 8, type: !8, scopeLine: 8, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !32) 116!32 = !{!33} 117!33 = !DILocalVariable(name: "local2", scope: !31, file: !1, line: 9, type: !34) 118!34 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 320, elements: !35) 119!35 = !{!36} 120!36 = !DISubrange(count: 10) 121!37 = distinct !DIAssignID() 122!38 = !DILocation(line: 0, scope: !31) 123!39 = !DILocation(line: 9, column: 3, scope: !31) 124!40 = !DILocation(line: 10, column: 3, scope: !31) 125!41 = distinct !DIAssignID() 126!42 = !DILocation(line: 11, column: 3, scope: !31) 127!43 = distinct !DIAssignID() 128!44 = !DILocation(line: 12, column: 3, scope: !31) 129!45 = !DILocation(line: 13, column: 1, scope: !31) 130!1000 = !{i32 7, !"debug-info-assignment-tracking", i1 true} 131