1*f4a2713aSLionel Sambuc; RUN: llvm-as < %s > %t.out1.bc 2*f4a2713aSLionel Sambuc; RUN: echo "%%T1 = type opaque %%T2 = type opaque @S = external global { i32, %%T1* } declare void @F(%%T2*)"\ 3*f4a2713aSLionel Sambuc; RUN: | llvm-as > %t.out2.bc 4*f4a2713aSLionel Sambuc; RUN: llvm-link %t.out1.bc %t.out2.bc -S | FileCheck %s 5*f4a2713aSLionel Sambuc; CHECK-NOT: opaque 6*f4a2713aSLionel Sambuc 7*f4a2713aSLionel Sambuc; After linking this testcase, there should be no opaque types left. The two 8*f4a2713aSLionel Sambuc; S's should cause the opaque type to be resolved to 'int'. 9*f4a2713aSLionel Sambuc@S = global { i32, i32* } { i32 5, i32* null } ; <{ i32, i32* }*> [#uses=0] 10*f4a2713aSLionel Sambuc 11*f4a2713aSLionel Sambucdeclare void @F(i32*) 12