Skip to content

[DebugInfo][RemoveDIs] Find types hidden in DbgRecords #106547

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jmorse merged 10 commits into from
Sep 2, 2024
Merged

[DebugInfo][RemoveDIs] Find types hidden in DbgRecords #106547

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
7a084b4
[DebugInfo][RemoveDIs] Find types hidden in DbgRecords
jmorse Aug 29, 2024
1e5a2cd
claaannngggg fooorrmmaatttt
jmorse Aug 29, 2024
515ab3a
Switch to dyn_cast, get Address too
jmorse Aug 29, 2024
791ce77
Add a #dbg_assign to be enumerated
jmorse Aug 29, 2024
90055ba
clang-format again
jmorse Aug 29, 2024
4eaf585
Allow for empty dbg_assign addresses being null
jmorse Aug 30, 2024
e2a3fe4
clang-format
jmorse Aug 30, 2024
a887cb7
Allow for DIArgLists in the address field of #dbg_assigns
jmorse Aug 30, 2024
0a358b1
The proverbial clang-format
jmorse Aug 30, 2024
792f9b9
Don't access address field on non-dbg-assigns
jmorse Sep 2, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions llvm/lib/IR/TypeFinder.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -88,6 +88,17 @@ void TypeFinder::run(const Module &M, bool onlyNamed) {
for (const auto &MD : MDForInst)
incorporateMDNode(MD.second);
MDForInst.clear();

// Incorporate types hiding in variable-location information.
for (const auto &Dbg : I.getDbgRecordRange()) {
// Pick out records that have Values.
if (Dbg.getRecordKind() != DbgRecord::Kind::ValueKind)
continue;
const DbgVariableRecord &DVI = static_cast<const DbgVariableRecord &>(Dbg);
for (Value *V : DVI.location_ops()) {
incorporateValue(V);
}
Copy link
Contributor

@OCHyams OCHyams Aug 29, 2024 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
// Pick out records that have Values.
if (Dbg.getRecordKind() != DbgRecord::Kind::ValueKind)
continue;
const DbgVariableRecord &DVI = static_cast<const DbgVariableRecord &>(Dbg);
for (Value *V : DVI.location_ops()) {
incorporateValue(V);
}
if (const DbgVariableRecord*DVI = dyn_cast<DbgVariableRecord>(&Dbg)) {
for (Value *V : DVI->location_ops())
incorporateValue(V);
if (Value *Addr = DVI->getAddress(); Addr && DVI->isDbgAssign())
incorperateValue(Addr);
}

Better to use the dyn/isa casting rather than checking the subclass discriminator directly (if (Dbg.getRecordKind() != DbgRecord::Kind::ValueKind))?

I think we also need to add dbg_assign address component values too (there's no operand iterator that includes that sadly).

I've incorporated both those fixes in the suggestion.

}
}
}

Expand Down
43 changes: 43 additions & 0 deletions llvm/test/DebugInfo/type-finder-w-dbg-records.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
; RUN: opt --passes=verify %s -o - -S | FileCheck %s

;; Test that the type definitions are discovered when serialising to LLVM-IR,
;; even if they're only present inside a DbgRecord, and thus not normally
;; visible.

; CHECK: %union.anon = type { %struct.a }
; CHECK: %struct.a = type { i32 }

; ModuleID = 'bbi-98372.ll'
source_filename = "bbi-98372.ll"

%union.anon = type { %struct.a }
%struct.a = type { i32 }

@d = global [1 x { i16, i16 }] [{ i16, i16 } { i16 0, i16 undef }], align 1

define void @e() {
entry:
#dbg_value(ptr getelementptr inbounds ([1 x %union.anon], ptr @d, i32 0, i32 3), !7, !DIExpression(), !14)
Copy link
Contributor

@OCHyams OCHyams Aug 29, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

possibly worth adding dbg_assign and dbg_declare for completeness? (dbg_assign more important here imo, given the extra fields)

ret void, !dbg !15
}

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2, !3, !4, !5}
!llvm.ident = !{!6}

!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
!1 = !DIFile(filename: "foo.c", directory: "/bar")
!2 = !{i32 7, !"Dwarf Version", i32 4}
!3 = !{i32 2, !"Debug Info Version", i32 3}
!4 = !{i32 1, !"wchar_size", i32 1}
!5 = !{i32 7, !"frame-pointer", i32 2}
!6 = !{!"clang"}
!7 = !DILocalVariable(name: "f", scope: !8, file: !1, line: 8, type: !12)
!8 = distinct !DISubprogram(name: "e", scope: !1, file: !1, line: 8, type: !9, scopeLine: 8, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
!9 = !DISubroutineType(types: !10)
!10 = !{null}
!11 = !{!7}
!12 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 16)
!13 = !DIBasicType(name: "int", size: 16, encoding: DW_ATE_signed)
!14 = !DILocation(line: 0, scope: !8)
!15 = !DILocation(line: 8, column: 28, scope: !8)