Add a test showing what the linker IdentifiedStructTypes is for.

Without this it could just be deleted and all tests would pass.

llvm-svn: 222985
This commit is contained in:
Rafael Espindola 2014-12-01 03:20:57 +00:00
parent a4b2ee4548
commit c59dc43eeb
3 changed files with 21 additions and 0 deletions

View File

@ -0,0 +1,3 @@
%A.11 = type { %B }
%B = type { i8 }
@g1 = external global %A.11

View File

@ -0,0 +1,2 @@
%A.11 = type opaque
@g2 = external global %A.11

View File

@ -0,0 +1,16 @@
; RUN: llvm-link %p/type-unique-dst-types.ll \
; RUN: %p/Inputs/type-unique-dst-types2.ll \
; RUN: %p/Inputs/type-unique-dst-types3.ll -S -o - | FileCheck %s
; This tests the importance of keeping track of which types are part of the
; destination module.
; When the second input is merged in, the context gets an unused A.11. When
; the third module is then merged, we should pretend it doesn't exist.
; CHECK: %A = type { %B }
; CHECK-NEXT: %B = type { i8 }
; CHECK-NEXT: %A.11.1 = type opaque
%A = type { %B }
%B = type { i8 }
@g3 = external global %A