reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63
   64
   65
; RUN: llvm-link -S -o - %s %S/Inputs/dicompositetype-unique.ll \
; RUN:   | FileCheck %s -check-prefix CHECK -check-prefix FORWARD
; RUN: llvm-link -S -o - %S/Inputs/dicompositetype-unique.ll %s \
; RUN:   | FileCheck %s -check-prefix CHECK -check-prefix REVERSE
; RUN: llvm-link -disable-debug-info-type-map -S -o - %s %S/Inputs/dicompositetype-unique.ll \
; RUN:   | FileCheck %s -check-prefix NOMAP

; Check that the bitcode reader handles this too.
; RUN: llvm-as -o %t1.bc <%s
; RUN: llvm-as -o %t2.bc <%S/Inputs/dicompositetype-unique.ll
; RUN: llvm-link -S -o - %t1.bc %t2.bc \
; RUN:   | FileCheck %s -check-prefix CHECK -check-prefix FORWARD
; RUN: llvm-link -S -o - %t2.bc %t1.bc \
; RUN:   | FileCheck %s -check-prefix CHECK -check-prefix REVERSE
; RUN: llvm-link -disable-debug-info-type-map -S -o - %t1.bc %t2.bc \
; RUN:   | FileCheck %s -check-prefix NOMAP

; Check that the type map will unique two DICompositeTypes.

; CHECK:   !named = !{!0, !1, !2, !3, !0, !1, !2, !3}
; NOMAP:   !named = !{!0, !1, !2, !3, !0, !4, !5, !6}
!named = !{!0, !1, !2, !3}

; Check both directions.
; CHECK:        !1 = distinct !DICompositeType(
; FORWARD-SAME:                                name: "T1"
; REVERSE-SAME:                                name: "T2"
; CHECK-SAME:                                  identifier: "T"
; CHECK-NOT:       identifier: "T"
; CHECK:        !2 = distinct !DICompositeType(
; CHECK-SAME:                                  name: "FwdTDef"
; CHECK-SAME:                                  identifier: "FwdT"
; CHECK-NOT:       identifier: "FwdT"
; CHECK:        !3 = distinct !DICompositeType(
; FORWARD-SAME:                                name: "BothFwdT1"
; REVERSE-SAME:                                name: "BothFwdT2"
; CHECK-SAME:                                  identifier: "BothFwdT"
; CHECK-NOT:       identifier: "BothFwdT"

; These types are different, so we should get both copies when there is no map.
; NOMAP:        !1 = !DICompositeType(
; NOMAP-SAME:                         name: "T1"
; NOMAP-SAME:                         identifier: "T"
; NOMAP:        !2 = !DICompositeType(
; NOMAP-SAME:                         name: "FwdTFwd"
; NOMAP-SAME:                         identifier: "FwdT"
; NOMAP:        !3 = !DICompositeType(
; NOMAP-SAME:                         name: "BothFwdT1"
; NOMAP-SAME:                         identifier: "BothFwdT"
; NOMAP:        !4 = !DICompositeType(
; NOMAP-SAME:                         name: "T2"
; NOMAP-SAME:                         identifier: "T"
; NOMAP-NOT:       identifier: "T"
; NOMAP:        !5 = !DICompositeType(
; NOMAP-SAME:                         name: "FwdTDef"
; NOMAP-SAME:                         identifier: "FwdT"
; NOMAP-NOT:       identifier: "FwdT"
; NOMAP:        !6 = !DICompositeType(
; NOMAP-SAME:                         name: "BothFwdT2"
; NOMAP-SAME:                         identifier: "BothFwdT"
; NOMAP-NOT:       identifier: "BothFwdT"
!0 = !DIFile(filename: "abc", directory: "/path/to")
!1 = !DICompositeType(tag: DW_TAG_class_type, name: "T1", identifier: "T", file: !0)
!2 = !DICompositeType(tag: DW_TAG_class_type, flags: DIFlagFwdDecl, name: "FwdTFwd", identifier: "FwdT", file: !0)
!3 = !DICompositeType(tag: DW_TAG_class_type, flags: DIFlagFwdDecl, name: "BothFwdT1", identifier: "BothFwdT", file: !0)