Skip to content

Commit

Permalink
[ThinLTO] Add a llvm-lto2 test to check that ODR type uniquing is ena…
Browse files Browse the repository at this point in the history
…bled (NFC)

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@279545 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
joker-eph committed Aug 23, 2016
1 parent 29a5291 commit 4e7c4f9
Show file tree
Hide file tree
Showing 2 changed files with 45 additions and 0 deletions.
14 changes: 14 additions & 0 deletions test/ThinLTO/X86/Inputs/dicompositetype-unique.ll
Original file line number Diff line number Diff line change
@@ -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)
31 changes: 31 additions & 0 deletions test/ThinLTO/X86/dicompositetype-unique.ll
Original file line number Diff line number Diff line change
@@ -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)

0 comments on commit 4e7c4f9

Please sign in to comment.