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)
|