mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 20:23:11 +01:00
413c7840e0
This change is motivated by an upcoming change to the metadata representation used for CFI. The indirect function call checker needs type information for external function declarations in order to correctly generate jump table entries for such declarations. We currently associate such type information with declarations using a global metadata node, but I plan [1] to move all such metadata to global object attachments. In bitcode, metadata attachments for function declarations appear in the global metadata block. This seems reasonable to me because I expect metadata attachments on declarations to be uncommon. In the long term I'd also expect this to be the case for CFI, because we'd want to use some specialized bitcode format for this metadata that could be read as part of the ThinLTO thin-link phase, which would mean that it would not appear in the global metadata block. To solve the lazy loaded metadata issue I was seeing with D20147, I use the same bitcode representation for metadata attachments for global variables as I do for function declarations. Since there's a use case for metadata attachments in the global metadata block, we might as well use that representation for global variables as well, at least until we have a mechanism for lazy loading global variables. In the assembly format, the metadata attachments appear after the "declare" keyword in order to avoid a parsing ambiguity. [1] http://lists.llvm.org/pipermail/llvm-dev/2016-June/100462.html Differential Revision: http://reviews.llvm.org/D21052 llvm-svn: 273336
60 lines
2.0 KiB
LLVM
60 lines
2.0 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck --check-prefix=CHECK --check-prefix=CHECK-UNMAT %s
|
|
; RUN: llvm-as < %s | llvm-dis -materialize-metadata | FileCheck --check-prefix=CHECK-UNMAT %s
|
|
; RUN: verify-uselistorder %s
|
|
|
|
; CHECK-UNMAT: @global = global i32 0, !foo [[M2:![0-9]+]], !foo [[M3:![0-9]+]], !baz [[M3]]
|
|
@global = global i32 0, !foo !2, !foo !3, !baz !3
|
|
|
|
; CHECK-LABEL: @test
|
|
; CHECK: ret void, !foo [[M0:![0-9]+]], !bar [[M1:![0-9]+]]
|
|
define void @test() !dbg !1 {
|
|
add i32 2, 1, !bar !0
|
|
add i32 1, 2, !foo !1
|
|
call void @llvm.dbg.func.start(metadata !"foo")
|
|
extractvalue {{i32, i32}, i32} undef, 0, 1, !foo !0
|
|
ret void, !foo !0, !bar !1
|
|
}
|
|
|
|
; CHECK: define void @test2() !foo [[M2]] !baz [[M3]]
|
|
define void @test2() !foo !2 !baz !3 {
|
|
unreachable
|
|
}
|
|
|
|
; CHECK: define void @test3() !bar [[M3]]
|
|
; CHECK: unreachable, !bar [[M4:![0-9]+]]
|
|
define void @test3() !bar !3 {
|
|
unreachable, !bar !4
|
|
}
|
|
|
|
; CHECK-LABEL: define void @test_attachment_name() {
|
|
; CHECK: unreachable, !\342abc [[M4]]
|
|
define void @test_attachment_name() {
|
|
;; Escape the first character when printing text IR, since it's a digit
|
|
unreachable, !\34\32abc !4
|
|
}
|
|
|
|
; CHECK-UNMAT: [[M2]] = distinct !{}
|
|
; CHECK-UNMAT: [[M3]] = distinct !{}
|
|
; CHECK: [[M0]] = !DILocation
|
|
; CHECK: [[M1]] = distinct !DISubprogram
|
|
; CHECK: [[M4]] = distinct !{}
|
|
|
|
!llvm.module.flags = !{!7}
|
|
!llvm.dbg.cu = !{!5}
|
|
!0 = !DILocation(line: 662302, column: 26, scope: !1)
|
|
!1 = distinct !DISubprogram(name: "foo", isDefinition: true, unit: !5)
|
|
!2 = distinct !{}
|
|
!3 = distinct !{}
|
|
!4 = distinct !{}
|
|
!5 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang",
|
|
file: !6,
|
|
isOptimized: true, flags: "-O2",
|
|
splitDebugFilename: "abc.debug", emissionKind: 2)
|
|
!6 = !DIFile(filename: "path/to/file", directory: "/path/to/dir")
|
|
!7 = !{i32 2, !"Debug Info Version", i32 3}
|
|
|
|
declare void @llvm.dbg.func.start(metadata) nounwind readnone
|
|
|
|
!foo = !{ !0 }
|
|
!bar = !{ !1 }
|