c7ef002bc6
In buildLocationList, with basic block sections, we iterate over every basic block twice to detect section start and end. This is sub-optimal and shows up as significantly time consuming when compiling large functions. This patch uses the set of sections already stored in MBBSectionRanges and iterates over sections rather than basic blocks. When detecting if loclists can be merged, the end label of an entry is matched with the beginning label of the next entry. For the section corresponding to the entry basic block, this is skipped. This is because the loc list uses the end label corresponding to the function whereas the MBBSectionRanges map uses the function end label. For example: .Lfunc_begin0: .file .loc 0 4 0 # ex2.cc:4:0 .cfi_startproc .Ltmp0: .loc 0 8 5 prologue_end # ex2.cc:8:5 .... .LBB_END0_0: .cfi_endproc .section .text._Z4testv,"ax",@progbits,unique,1 ... .Lfunc_end0: .size _Z4testv, .Lfunc_end0-_Z4testv The debug loc uses ".LBB_END0_0" for the end of the section whereas MBBSectionRanges uses ".Lfunc_end0". It is alright to skip this as we already check the section corresponding to the debugloc entry. Added a new test case to check that if this works correctly when the variable's value is mutated in the entry section.
142 lines
6.8 KiB
LLVM
142 lines
6.8 KiB
LLVM
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s
|
|
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck --check-prefix=SECTIONS %s
|
|
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s
|
|
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck --check-prefix=SECTIONS %s
|
|
|
|
; CHECK: DW_TAG_subprogram
|
|
; CHECK-NEXT: DW_AT_low_pc
|
|
; CHECK-NEXT: DW_AT_high_pc
|
|
; CHECK: DW_TAG_variable
|
|
; CHECK: DW_TAG_variable
|
|
; CHECK-NEXT: DW_AT_location
|
|
; CHECK-NEXT: DW_OP_consts +0, DW_OP_stack_value
|
|
; CHECK-NEXT: DW_OP_consts +7, DW_OP_stack_value
|
|
; CHECK-NEXT: DW_OP_consts +8, DW_OP_stack_value
|
|
; CHECK-NEXT: DW_AT_name ("i")
|
|
|
|
; SECTIONS: DW_TAG_subprogram
|
|
; SECTIONS-NEXT: DW_AT_ranges
|
|
; SECTIONS: DW_TAG_variable
|
|
; SECTIONS: DW_TAG_variable
|
|
; SECTIONS-NEXT: DW_AT_location
|
|
; SECTIONS-NEXT: DW_OP_consts +0, DW_OP_stack_value
|
|
; SECTIONS-NEXT: DW_OP_consts +7, DW_OP_stack_value
|
|
; SECTIONS-NEXT: DW_OP_consts +7, DW_OP_stack_value
|
|
; SECTIONS-NEXT: DW_OP_consts +8, DW_OP_stack_value
|
|
; SECTIONS-NEXT: DW_AT_name ("i")
|
|
|
|
; void f1(int *);
|
|
; void f2(int);
|
|
; extern bool b;
|
|
; int test() {
|
|
; // i is not a const throughout the whole scope and
|
|
; // should *not* use DW_AT_const_value. The scope
|
|
; // creates basic block sections and should use
|
|
; // DW_AT_ranges.
|
|
; int i = 0;
|
|
; int j = 10;
|
|
; {
|
|
; i = 7;
|
|
; if (b)
|
|
; f1(&j);
|
|
; }
|
|
; i = 8;
|
|
; f2(i);
|
|
; return j;
|
|
; }
|
|
; clang++ -S scoped_section.cc -g -O2 -emit-llvm
|
|
|
|
|
|
@b = external local_unnamed_addr global i8, align 1
|
|
|
|
; Function Attrs: mustprogress uwtable
|
|
define dso_local noundef i32 @_Z4testv() local_unnamed_addr #0 !dbg !10 {
|
|
entry:
|
|
%j = alloca i32, align 4, !DIAssignID !17
|
|
#dbg_assign(i1 undef, !16, !DIExpression(), !17, ptr %j, !DIExpression(), !18)
|
|
#dbg_value(i32 0, !15, !DIExpression(), !18)
|
|
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %j) #3, !dbg !19
|
|
store i32 10, ptr %j, align 4, !dbg !20, !tbaa !21, !DIAssignID !25
|
|
#dbg_assign(i32 10, !16, !DIExpression(), !25, ptr %j, !DIExpression(), !18)
|
|
#dbg_value(i32 7, !15, !DIExpression(), !18)
|
|
%0 = load i8, ptr @b, align 1, !dbg !26, !tbaa !29, !range !31, !noundef !32
|
|
%loadedv = trunc nuw i8 %0 to i1, !dbg !26
|
|
br i1 %loadedv, label %if.then, label %if.end, !dbg !33
|
|
|
|
if.then: ; preds = %entry
|
|
call void @_Z2f1Pi(ptr noundef nonnull %j), !dbg !34
|
|
br label %if.end, !dbg !34
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
#dbg_value(i32 8, !15, !DIExpression(), !18)
|
|
call void @_Z2f2i(i32 noundef 8), !dbg !35
|
|
%1 = load i32, ptr %j, align 4, !dbg !36, !tbaa !21
|
|
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %j) #3, !dbg !37
|
|
ret i32 %1, !dbg !38
|
|
}
|
|
|
|
; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
|
|
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1
|
|
|
|
declare !dbg !39 void @_Z2f1Pi(ptr noundef) local_unnamed_addr #2
|
|
|
|
declare !dbg !43 void @_Z2f2i(i32 noundef) local_unnamed_addr #2
|
|
|
|
; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
|
|
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1
|
|
|
|
attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
|
|
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
|
|
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
|
|
attributes #3 = { nounwind }
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.module.flags = !{!2, !3, !4, !5, !6, !7, !8}
|
|
!llvm.ident = !{!9}
|
|
|
|
!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 20.0.0git (git@github.com:tmsri/llvm-project.git 11a50269e82b6dce49249c5cbe3a989b06f0848f)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
|
|
!1 = !DIFile(filename: "scoped_section.cc", directory: "", checksumkind: CSK_MD5, checksum: "9dda8d16c16edf7724c901692e07587c")
|
|
!2 = !{i32 7, !"Dwarf Version", i32 5}
|
|
!3 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!4 = !{i32 1, !"wchar_size", i32 4}
|
|
!5 = !{i32 8, !"PIC Level", i32 2}
|
|
!6 = !{i32 7, !"PIE Level", i32 2}
|
|
!7 = !{i32 7, !"uwtable", i32 2}
|
|
!8 = !{i32 7, !"debug-info-assignment-tracking", i1 true}
|
|
!9 = !{!"clang version 20.0.0git (git@github.com:tmsri/llvm-project.git 11a50269e82b6dce49249c5cbe3a989b06f0848f)"}
|
|
!10 = distinct !DISubprogram(name: "test", linkageName: "_Z4testv", scope: !1, file: !1, line: 4, type: !11, scopeLine: 4, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !14)
|
|
!11 = !DISubroutineType(types: !12)
|
|
!12 = !{!13}
|
|
!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
|
|
!14 = !{!15, !16}
|
|
!15 = !DILocalVariable(name: "i", scope: !10, file: !1, line: 7, type: !13)
|
|
!16 = !DILocalVariable(name: "j", scope: !10, file: !1, line: 8, type: !13)
|
|
!17 = distinct !DIAssignID()
|
|
!18 = !DILocation(line: 0, scope: !10)
|
|
!19 = !DILocation(line: 8, column: 5, scope: !10)
|
|
!20 = !DILocation(line: 8, column: 9, scope: !10)
|
|
!21 = !{!22, !22, i64 0}
|
|
!22 = !{!"int", !23, i64 0}
|
|
!23 = !{!"omnipotent char", !24, i64 0}
|
|
!24 = !{!"Simple C++ TBAA"}
|
|
!25 = distinct !DIAssignID()
|
|
!26 = !DILocation(line: 11, column: 11, scope: !27)
|
|
!27 = distinct !DILexicalBlock(scope: !28, file: !1, line: 11, column: 11)
|
|
!28 = distinct !DILexicalBlock(scope: !10, file: !1, line: 9, column: 5)
|
|
!29 = !{!30, !30, i64 0}
|
|
!30 = !{!"bool", !23, i64 0}
|
|
!31 = !{i8 0, i8 2}
|
|
!32 = !{}
|
|
!33 = !DILocation(line: 11, column: 11, scope: !28)
|
|
!34 = !DILocation(line: 12, column: 9, scope: !27)
|
|
!35 = !DILocation(line: 15, column: 5, scope: !10)
|
|
!36 = !DILocation(line: 16, column: 12, scope: !10)
|
|
!37 = !DILocation(line: 17, column: 1, scope: !10)
|
|
!38 = !DILocation(line: 16, column: 5, scope: !10)
|
|
!39 = !DISubprogram(name: "f1", linkageName: "_Z2f1Pi", scope: !1, file: !1, line: 1, type: !40, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)
|
|
!40 = !DISubroutineType(types: !41)
|
|
!41 = !{null, !42}
|
|
!42 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64)
|
|
!43 = !DISubprogram(name: "f2", linkageName: "_Z2f2i", scope: !1, file: !1, line: 2, type: !44, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)
|
|
!44 = !DISubroutineType(types: !45)
|
|
!45 = !{null, !13} |