[llvm] r279551 - [ThinLTO] Add a llvm-lto2 test to check that ODR type uniquing is enabled (NFC)

[Mehdi Amini via llvm-commits]

Author: mehdi_amini
Date: Tue Aug 23 13:39:15 2016
New Revision: 279551

URL: http://llvm.org/viewvc/llvm-project?rev=279551&view=rev
Log:
[ThinLTO] Add a llvm-lto2 test to check that ODR type uniquing is enabled (NFC)

This adds a test for r279532, thanks David Li for noticing :)

Recommit r279545 after committing first a dependent patch.

Added:
    llvm/trunk/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll
    llvm/trunk/test/ThinLTO/X86/dicompositetype-unique.ll

Added: llvm/trunk/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll?rev=279551&view=auto
==============================================================================
--- llvm/trunk/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll (added)
+++ llvm/trunk/test/ThinLTO/X86/Inputs/dicompositetype-unique.ll Tue Aug 23 13:39:15 2016
@@ -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)

Added: llvm/trunk/test/ThinLTO/X86/dicompositetype-unique.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/ThinLTO/X86/dicompositetype-unique.ll?rev=279551&view=auto
==============================================================================
--- llvm/trunk/test/ThinLTO/X86/dicompositetype-unique.ll (added)
+++ llvm/trunk/test/ThinLTO/X86/dicompositetype-unique.ll Tue Aug 23 13:39:15 2016
@@ -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)