6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-26 21:32:10 +00:00
Code Issues Projects Releases Wiki Activity

If a instruction belongs to another function (and not current function) as per debug info attached with the instruction then ignore the dangling lexical scope of this instruction. Such scopes are unreachable.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93967 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Devang Patel 2010-01-20 02:05:23 +00:00
parent 221925ecca
commit 42aafd7e57
2 changed files with 40 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
lib/CodeGen/AsmPrinter/DwarfDebug.cpp
View File

@ -2042,10 +2042,18 @@ bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
// Each scope has first instruction and last instruction to mark beginning // Each scope has first instruction and last instruction to mark beginning
// and end of a scope respectively. Create an inverse map that list scopes // and end of a scope respectively. Create an inverse map that list scopes
// starts (and ends) with an instruction. One instruction may start (or end) // starts (and ends) with an instruction. One instruction may start (or end)
// multiple scopes. // multiple scopes. Ignore scopes that are not reachable.
for (DenseMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(), SmallVector<DbgScope *, 4> WorkList;
DE = DbgScopeMap.end(); DI != DE; ++DI) { WorkList.push_back(CurrentFnDbgScope);
DbgScope *S = DI->second; while (!WorkList.empty()) {
DbgScope *S = WorkList.back(); WorkList.pop_back();
SmallVector<DbgScope *, 4> &Children = S->getScopes();
if (!Children.empty())
for (SmallVector<DbgScope *, 4>::iterator SI = Children.begin(),
SE = Children.end(); SI != SE; ++SI)
WorkList.push_back(*SI);
if (S->isAbstractScope()) if (S->isAbstractScope())
continue; continue;
const MachineInstr *MI = S->getFirstInsn(); const MachineInstr *MI = S->getFirstInsn();

28
test/DebugInfo/2010-01-19-DbgScope.ll Normal file
View File

@ -0,0 +1,28 @@
; RUN: llc -O0 < %s -o /dev/null
; Ignore unreachable scopes.
declare void @foo(i32) noreturn
define i32 @bar() nounwind ssp {
entry:
br i1 undef, label %bb, label %bb11, !dbg !0
bb: ; preds = %entry
call void @foo(i32 0) noreturn nounwind, !dbg !7
unreachable, !dbg !7
bb11: ; preds = %entry
ret i32 1, !dbg !11
}
!0 = metadata !{i32 8647, i32 0, metadata !1, null}
!1 = metadata !{i32 458763, metadata !2} ; [ DW_TAG_lexical_block ]
!2 = metadata !{i32 458798, i32 0, metadata !3, metadata !"bar", metadata !"bar", metadata !"bar", metadata !3, i32 8639, metadata !4, i1 true, i1 true, i32 0, i32 0, null} ; [ DW_TAG_subprogram ]
!3 = metadata !{i32 458769, i32 0, i32 1, metadata !"c-parser.c", metadata !"llvmgcc", metadata !"LLVM build 00", i1 true, i1 false, metadata !"", i32 0} ; [ DW_TAG_compile_unit ]
!4 = metadata !{i32 458773, metadata !3, metadata !"", metadata !3, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !5, i32 0} ; [ DW_TAG_subroutine_type ]
!5 = metadata !{metadata !6}
!6 = metadata !{i32 458788, metadata !3, metadata !"char", metadata !3, i32 0, i64 8, i64 8, i64 0, i32 0, i32 6} ; [ DW_TAG_base_type ]
!7 = metadata !{i32 8648, i32 0, metadata !8, null}
!8 = metadata !{i32 458763, metadata !9} ; [ DW_TAG_lexical_block ]
!9 = metadata !{i32 458763, metadata !10} ; [ DW_TAG_lexical_block ]
!10 = metadata !{i32 458798, i32 0, metadata !3, metadata !"bar2", metadata !"bar2", metadata !"bar2", metadata !3, i32 8639, metadata !4, i1 true, i1 true, i32 0, i32 0, null} ; [ DW_TAG_subprogram ]
!11 = metadata !{i32 8652, i32 0, metadata !1, null}