[ThinLTO] Add a llvm-lto2 test to check that ODR type uniquing is enabled (NFC)
authorMehdi Amini <mehdi.amini@apple.com>
Tue, 23 Aug 2016 18:39:15 +0000 (18:39 +0000)
committerMehdi Amini <mehdi.amini@apple.com>
Tue, 23 Aug 2016 18:39:15 +0000 (18:39 +0000)
This adds a test for r279532, thanks David Li for noticing :)

Recommit r279545 after committing first a dependent patch.

llvm-svn: 279551

llvm/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll [new file with mode: 0644]
llvm/test/ThinLTO/X86/dicompositetype-unique.ll [new file with mode: 0644]

diff --git a/llvm/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll b/llvm/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll
new file mode 100644 (file)
index 0000000..e27a7b1
--- /dev/null
@@ -0,0 +1,14 @@
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.11.0"
+
+
+define void @foo() {
+  ret void
+}
+
+!named = !{!0, !1, !2, !3}
+
+!0 = !DIFile(filename: "abc", directory: "/path/to")
+!1 = !DICompositeType(tag: DW_TAG_class_type, name: "T2", identifier: "T", file: !0)
+!2 = !DICompositeType(tag: DW_TAG_class_type, name: "FwdTDef", identifier: "FwdT", file: !0)
+!3 = !DICompositeType(tag: DW_TAG_class_type, flags: DIFlagFwdDecl, name: "BothFwdT2", identifier: "BothFwdT", file: !0)
diff --git a/llvm/test/ThinLTO/X86/dicompositetype-unique.ll b/llvm/test/ThinLTO/X86/dicompositetype-unique.ll
new file mode 100644 (file)
index 0000000..3550e6c
--- /dev/null
@@ -0,0 +1,31 @@
+; RUN: opt -module-summary -o %t1.bc %s
+; RUN: opt -module-summary -o %t2.bc %S/Inputs/dicompositetype-unique.ll
+
+; RUN: llvm-lto2 %t1.bc %t2.bc -o %t --save-temps \
+; RUN:    -r %t1.bc,_foo,lx \
+; RUN:    -r %t1.bc,_main,plx \
+; RUN:    -r %t2.bc,_foo,plx
+; RUN: llvm-dis %t.0.3.import.bc -o - | FileCheck %s
+
+
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.11.0"
+
+declare void @foo()
+define i32 @main() {
+  call void @foo()
+  ret i32 0
+}
+
+
+; Check that the type map will unique two DICompositeTypes.
+; CHECK:        !DICompositeType(
+; CHECK-SAME:        name: "T1"
+; CHECK-SAME:        identifier: "T"
+; CHECK-NOT:    T2
+
+!named = !{!0, !1, !2, !3}
+!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)