135 lines · plain
1; RUN: opt %s -S -passes=dse -o - | FileCheck %s --implicit-check-not="#dbg_"2 3;; Based on the test shorten.ll with some adjustments.4;;5;; $ cat test.cpp6;; void esc(char*);7;; void shortenEnd() {8;; char local[80]; // bits frag9;; __builtin_memset(local + 8, 0, 24); // local: 64-160 ( 64, 96)10;; __builtin_memset(local + 16, 8, 40); // local: 128-160 (128, 32)11;; esc(local);12;; }13;; void shortenStart() {14;; char local2[40]; // bits frag15;; __builtin_memset(local2, 0, 40); // local2: 0-160 (0, 160)16;; __builtin_memset(local2, 8, 16); // local2: 0-128 (0, 128)17;; esc(local2);18;; }19 20;; The variables and intrinsics have been adjusted with by hand to test21;; what happens when the variable doesn't fill the whole alloca, and22;; when offsets are encoded with both the address component of the dbg.assign23;; and the address modifying DIExpression.24 25;; DeadStoreElimination will shorten the first store in shortenEnd from [64,26;; 192) bits to [64, 128) bits. Variable 'local' has been adjusted to be 16027;; bits large. Check that we get an unlinked dbg.assign covering the deleted28;; bits that overlap the dbg.assign's fagment: [128, 160) (offset=128 size=32).29 30; CHECK: @_Z10shortenEndv31; CHECK: #dbg_assign({{.*}}, ptr %local, !DIExpression(),32; CHECK: call void @llvm.memset{{.*}}, !DIAssignID ![[ID:[0-9]+]]33; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR:[0-9]+]], !DIExpression(DW_OP_LLVM_fragment, 64, 96), ![[ID:[0-9]+]], ptr %offset_4_bytes, !DIExpression(DW_OP_plus_uconst, 4),34; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR]], !DIExpression(DW_OP_LLVM_fragment, 128, 32), ![[UniqueID1:[0-9]+]], ptr poison, !DIExpression({{.*}}),35 36;; DSE will shorten the first store in shortenStart from [0, 160) bits to [128,37;; 160) bits. Variable 'local2' has been adjusted to be 160 bits. Check we get38;; an unlinked dbg.assign covering the deleted bits that overlap the39;; dbg.assign's fragment (no fragment in this case, i.e. the whole variable):40;; [0, 128) (offset=0, size=128).41 42; CHECK: @_Z12shortenStartv43; CHECK: #dbg_assign({{.*}}, ptr %local2, !DIExpression(),44; CHECK: call void @llvm.memset{{.*}}, !DIAssignID ![[ID2:[0-9]+]]45; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR2:[0-9]+]], !DIExpression(), ![[ID2]], ptr %local2, !DIExpression(),46; CHECK-NEXT: #dbg_assign(i8 0, ![[VAR2]], !DIExpression(DW_OP_LLVM_fragment, 0, 128), ![[UniqueID2:[0-9]+]], ptr poison, !DIExpression(),47 48; CHECK-DAG: ![[ID]] = distinct !DIAssignID()49; CHECK-DAG: ![[UniqueID1]] = distinct !DIAssignID()50; CHECK-DAG: ![[UniqueID2]] = distinct !DIAssignID()51 52define dso_local void @_Z10shortenEndv() local_unnamed_addr #0 !dbg !7 {53entry:54 %local = alloca [80 x i8], align 16, !DIAssignID !1655 call void @llvm.dbg.assign(metadata i1 poison, metadata !11, metadata !DIExpression(), metadata !16, metadata ptr %local, metadata !DIExpression()), !dbg !1756 %arraydecay = getelementptr inbounds [80 x i8], ptr %local, i64 0, i64 0, !dbg !1957 %offset_4_bytes = getelementptr inbounds [80 x i8], ptr %local, i64 0, i64 4, !dbg !2158 %offset_8_bytes = getelementptr inbounds [80 x i8], ptr %local, i64 0, i64 8, !dbg !2159 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(24) %offset_8_bytes, i8 0, i64 72, i1 false), !dbg !19, !DIAssignID !2060 call void @llvm.dbg.assign(metadata i8 0, metadata !11, metadata !DIExpression(DW_OP_LLVM_fragment, 64, 96), metadata !20, metadata ptr %offset_4_bytes, metadata !DIExpression(DW_OP_plus_uconst, 4)), !dbg !1761 %offset_16_bytes = getelementptr inbounds [80 x i8], ptr %local, i64 0, i64 4, !dbg !2162 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(40) %offset_16_bytes, i8 8, i64 64, i1 false), !dbg !22, !DIAssignID !2363 call void @_Z3escPi(ptr noundef nonnull %arraydecay), !dbg !2464 ret void, !dbg !2565}66 67declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg)68declare !dbg !26 dso_local void @_Z3escPi(ptr noundef) local_unnamed_addr69 70define dso_local void @_Z12shortenStartv() local_unnamed_addr #0 !dbg !31 {71entry:72 %local2 = alloca [40 x i8], align 16, !DIAssignID !3773 call void @llvm.dbg.assign(metadata i1 poison, metadata !33, metadata !DIExpression(), metadata !37, metadata ptr %local2, metadata !DIExpression()), !dbg !3874 %arraydecay = getelementptr inbounds [40 x i8], ptr %local2, i64 0, i64 0, !dbg !4075 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(40) %local2, i8 0, i64 36, i1 false), !dbg !40, !DIAssignID !4176 call void @llvm.dbg.assign(metadata i8 0, metadata !33, metadata !DIExpression(), metadata !41, metadata ptr %local2, metadata !DIExpression()), !dbg !3877 call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %local2, i8 8, i64 16, i1 false), !dbg !42, !DIAssignID !4378 call void @_Z3escPi(ptr noundef nonnull %arraydecay), !dbg !4479 ret void, !dbg !4580}81 82declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata)83 84!llvm.dbg.cu = !{!0}85!llvm.module.flags = !{!2, !3, !4, !5, !1000}86!llvm.ident = !{!6}87 88!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)89!1 = !DIFile(filename: "test.cpp", directory: "/")90!2 = !{i32 7, !"Dwarf Version", i32 5}91!3 = !{i32 2, !"Debug Info Version", i32 3}92!4 = !{i32 1, !"wchar_size", i32 4}93!5 = !{i32 7, !"uwtable", i32 1}94!6 = !{!"clang version 14.0.0"}95!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)96!8 = !DISubroutineType(types: !9)97!9 = !{null}98!10 = !{!11}99!11 = !DILocalVariable(name: "local", scope: !7, file: !1, line: 3, type: !12)100!12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 160, elements: !14)101!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)102!14 = !{!15}103!15 = !DISubrange(count: 5)104!16 = distinct !DIAssignID()105!17 = !DILocation(line: 0, scope: !7)106!18 = !DILocation(line: 3, column: 3, scope: !7)107!19 = !DILocation(line: 4, column: 3, scope: !7)108!20 = distinct !DIAssignID()109!21 = !DILocation(line: 5, column: 26, scope: !7)110!22 = !DILocation(line: 5, column: 3, scope: !7)111!23 = distinct !DIAssignID()112!24 = !DILocation(line: 6, column: 3, scope: !7)113!25 = !DILocation(line: 7, column: 1, scope: !7)114!26 = !DISubprogram(name: "esc", linkageName: "_Z3escPi", scope: !1, file: !1, line: 1, type: !27, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !30)115!27 = !DISubroutineType(types: !28)116!28 = !{null, !29}117!29 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64)118!30 = !{}119!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)120!32 = !{!33}121!33 = !DILocalVariable(name: "local2", scope: !31, file: !1, line: 9, type: !34)122!34 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 160, elements: !35)123!35 = !{!36}124!36 = !DISubrange(count: 5)125!37 = distinct !DIAssignID()126!38 = !DILocation(line: 0, scope: !31)127!39 = !DILocation(line: 9, column: 3, scope: !31)128!40 = !DILocation(line: 10, column: 3, scope: !31)129!41 = distinct !DIAssignID()130!42 = !DILocation(line: 11, column: 3, scope: !31)131!43 = distinct !DIAssignID()132!44 = !DILocation(line: 12, column: 3, scope: !31)133!45 = !DILocation(line: 13, column: 1, scope: !31)134!1000 = !{i32 7, !"debug-info-assignment-tracking", i1 true}135