mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-23 17:29:19 +00:00
Check accessors of `MDLocation`, and change them to `cast<>` down to the right types. Also add type-safe factory functions. All the callers that handle broken code need to use the new versions of the accessors (`getRawScope()` instead of `getScope()`) that still return `Metadata*`. This is also necessary for things like `MDNodeKeyImpl<MDLocation>` (in LLVMContextImpl.h) that need to unique the nodes when their operands might still be forward references of the wrong type. In the `Value` hierarchy, consumers that handle broken code use `getOperand()` directly. However, debug info nodes have a ton of operands, and their order (even their existence) isn't stable yet. It's safer and more maintainable to add an explicit "raw" accessor on the class itself. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233322 91177308-0d34-0410-b5e6-96231b3b80d8
35 lines
1.9 KiB
LLVM
35 lines
1.9 KiB
LLVM
; RUN: llvm-link %s %S/Inputs/mdlocation.ll -o - -S | FileCheck %s
|
|
|
|
; Test that MDLocations are remapped properly.
|
|
|
|
; CHECK: !named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !0, !1, !2, !3, !10, !11, !12, !13, !14, !15}
|
|
!named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9}
|
|
|
|
; CHECK: !0 = !MDSubprogram(
|
|
; CHECK-NEXT: !1 = !MDLocation(line: 3, column: 7, scope: !0)
|
|
; CHECK-NEXT: !2 = !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !1)
|
|
; CHECK-NEXT: !3 = !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !2)
|
|
; CHECK-NEXT: !4 = distinct !MDSubprogram(
|
|
; CHECK-NEXT: !5 = !MDLocation(line: 3, column: 7, scope: !4)
|
|
; CHECK-NEXT: !6 = !MDLocation(line: 3, column: 7, scope: !4, inlinedAt: !5)
|
|
; CHECK-NEXT: !7 = !MDLocation(line: 3, column: 7, scope: !4, inlinedAt: !6)
|
|
; CHECK-NEXT: !8 = distinct !MDLocation(line: 3, column: 7, scope: !0)
|
|
; CHECK-NEXT: !9 = distinct !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !8)
|
|
; CHECK-NEXT: !10 = distinct !MDSubprogram(
|
|
; CHECK-NEXT: !11 = !MDLocation(line: 3, column: 7, scope: !10)
|
|
; CHECK-NEXT: !12 = !MDLocation(line: 3, column: 7, scope: !10, inlinedAt: !11)
|
|
; CHECK-NEXT: !13 = !MDLocation(line: 3, column: 7, scope: !10, inlinedAt: !12)
|
|
; CHECK-NEXT: !14 = distinct !MDLocation(line: 3, column: 7, scope: !0)
|
|
; CHECK-NEXT: !15 = distinct !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !14)
|
|
!0 = !MDSubprogram() ; Use this as a scope.
|
|
!1 = !MDLocation(line: 3, column: 7, scope: !0)
|
|
!2 = !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !1)
|
|
!3 = !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !2)
|
|
!4 = distinct !MDSubprogram() ; Test actual remapping.
|
|
!5 = !MDLocation(line: 3, column: 7, scope: !4)
|
|
!6 = !MDLocation(line: 3, column: 7, scope: !4, inlinedAt: !5)
|
|
!7 = !MDLocation(line: 3, column: 7, scope: !4, inlinedAt: !6)
|
|
; Test distinct nodes.
|
|
!8 = distinct !MDLocation(line: 3, column: 7, scope: !0)
|
|
!9 = distinct !MDLocation(line: 3, column: 7, scope: !0, inlinedAt: !8)
|