mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-26 13:36:08 +00:00
d80fdc6fc1
RFC https://discourse.llvm.org/t/rfc-dwarfdebug-fix-and-improve-handling-imported-entities-types-and-static-local-in-subprogram-and-lexical-block-scopes/68544 Fixed PR51501 (tests from D112337). 1. Reuse of DISubprogram's 'retainedNodes' to track other function-local entities together with local variables and labels (this patch cares about function-local import while D144006 and D144008 use the same approach for local types and static variables). So, effectively this patch moves ownership of tracking local import from DICompileUnit's 'imports' field to DISubprogram's 'retainedNodes' and adjusts DWARF emitter for the new layout. The old layout is considered unsupported (DwarfDebug would assert on such debug metadata). DICompileUnit's 'imports' field is supposed to track global imported declarations as it does before. This addresses various FIXMEs and simplifies the next part of the patch. 2. Postpone emission of function-local imported entities from `DwarfDebug::endFunctionImpl()` to `DwarfDebug::endModule()`. While in `DwarfDebug::endFunctionImpl()` we do not have all the information about a parent subprogram or a referring subprogram (whether a subprogram inlined or not), so we can't guarantee we emit an imported entity correctly and place it in a proper subprogram tree. So now, we just gather needed details about the import itself and its parent entity (either a Subprogram or a LexicalBlock) during processing in `DwarfDebug::endFunctionImpl()`, but all the real work is done in `DwarfDebug::endModule()` when we have all the required information to make proper emission. Authored-by: Kristina Bessonova <kbessonova@accesssoftek.com> Differential Revision: https://reviews.llvm.org/D144004
80 lines
3.2 KiB
LLVM
80 lines
3.2 KiB
LLVM
; RUN: llvm-as -disable-output %s 2>&1 | FileCheck --match-full-lines %s
|
|
|
|
!llvm.module.flags = !{!2}
|
|
!llvm.dbg.cu = !{!0}
|
|
!0 = distinct !DICompileUnit(language: 0, file: !1)
|
|
!1 = !DIFile(filename: "-", directory: "")
|
|
!2 = !{i32 2, !"Debug Info Version", i32 3}
|
|
|
|
; CHECK: invalid file
|
|
define void @invalid_file() !dbg !3 { ret void }
|
|
!3 = distinct !DISubprogram(file: !0)
|
|
|
|
; CHECK: line specified with no file
|
|
define void @line_specified_with_no_file() !dbg !4 { ret void }
|
|
!4 = distinct !DISubprogram(line: 1)
|
|
|
|
; CHECK: invalid subroutine type
|
|
define void @invalid_subroutine_type() !dbg !5 { ret void }
|
|
!5 = distinct !DISubprogram(type: !0)
|
|
|
|
; CHECK: invalid containing type
|
|
define void @invalid_containing_type() !dbg !6 { ret void }
|
|
!6 = distinct !DISubprogram(containingType: !0)
|
|
|
|
; CHECK: invalid template params
|
|
define void @invalid_template_params() !dbg !7 { ret void }
|
|
!7 = distinct !DISubprogram(templateParams: !0)
|
|
|
|
; CHECK: invalid template parameter
|
|
define void @invalid_template_parameter() !dbg !8 { ret void }
|
|
!8 = distinct !DISubprogram(templateParams: !{!0})
|
|
|
|
; CHECK: invalid subprogram declaration
|
|
define void @invalid_subprogram_declaration() !dbg !9 { ret void }
|
|
!9 = distinct !DISubprogram(declaration: !0)
|
|
|
|
; CHECK: invalid retained nodes list
|
|
define void @invalid_retained_nodes_list() !dbg !10 { ret void }
|
|
!10 = distinct !DISubprogram(retainedNodes: !0)
|
|
|
|
; CHECK: invalid retained nodes, expected DILocalVariable, DILabel or DIImportedEntity
|
|
define void @invalid_retained_nodes_expected() !dbg !11 { ret void }
|
|
!11 = distinct !DISubprogram(retainedNodes: !{!0})
|
|
|
|
; CHECK: invalid reference flags
|
|
define void @invalid_reference_flags_reference() !dbg !12 { ret void }
|
|
!12 = distinct !DISubprogram(flags: DIFlagLValueReference | DIFlagRValueReference)
|
|
|
|
; CHECK: invalid reference flags
|
|
define void @invalid_reference_flags_pass_by() !dbg !13 { ret void }
|
|
!13 = distinct !DISubprogram(flags: DIFlagTypePassByValue | DIFlagTypePassByReference)
|
|
|
|
; CHECK: subprogram definitions must have a compile unit
|
|
define void @subprogram_definitions_must_have_a_compile_unit() !dbg !14 { ret void }
|
|
!14 = distinct !DISubprogram()
|
|
|
|
; CHECK: invalid unit type
|
|
define void @invalid_unit_type() !dbg !15 { ret void }
|
|
!15 = distinct !DISubprogram(unit: !{})
|
|
|
|
; FIXME: should something verify `isDefinition` is not a lie? is it meaningful
|
|
; to mistmatch it with respect to the LLVM IR function?
|
|
; CHECK: subprogram declarations must not have a compile unit
|
|
define void @subprogram_declarations_must_not_have_a_compile_unit() !dbg !16 { ret void }
|
|
!16 = distinct !DISubprogram(isDefinition: false, unit: !0)
|
|
|
|
; CHECK: invalid thrown types list
|
|
define void @invalid_thrown_types_list() !dbg !17 { ret void }
|
|
!17 = distinct !DISubprogram(isDefinition: false, thrownTypes: !0)
|
|
|
|
; CHECK: invalid thrown type
|
|
define void @invalid_thrown_type() !dbg !18 { ret void }
|
|
!18 = distinct !DISubprogram(isDefinition: false, thrownTypes: !{!0})
|
|
|
|
; CHECK: DIFlagAllCallsDescribed must be attached to a definition
|
|
define void @DIFlagAllCallsDescribed_must_be_attached_to_a_definition() !dbg !19 { ret void }
|
|
!19 = distinct !DISubprogram(isDefinition: false, flags: DIFlagAllCallsDescribed)
|
|
|
|
; CHECK: warning: ignoring invalid debug info{{.*}}
|