2008-03-09 08:16:40 +00:00
|
|
|
; RUN: llvm-as < %s > %t.out1.bc
|
2011-08-26 20:09:48 +00:00
|
|
|
; RUN: echo {%%T1 = type opaque %%T2 = type opaque @S = external global \{ i32, %%T1* \} declare void @F(%%T2*)}\
|
2008-03-09 08:16:40 +00:00
|
|
|
; RUN: | llvm-as > %t.out2.bc
|
2009-09-15 15:38:31 +00:00
|
|
|
; RUN: llvm-link %t.out1.bc %t.out2.bc -S | not grep opaque
|
2003-08-23 15:53:38 +00:00
|
|
|
|
|
|
|
; After linking this testcase, there should be no opaque types left. The two
|
|
|
|
; S's should cause the opaque type to be resolved to 'int'.
|
2008-03-09 08:16:40 +00:00
|
|
|
@S = global { i32, i32* } { i32 5, i32* null } ; <{ i32, i32* }*> [#uses=0]
|
2003-08-23 15:53:38 +00:00
|
|
|
|
2008-03-09 08:16:40 +00:00
|
|
|
declare void @F(i32*)
|