1 ; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc
2 ; RUN: echo {%S = external global \{ int, opaque* \} declare void %F(opaque*)}\
3 ; RUN: | llvm-upgrade | llvm-as > %t.out2.bc
4 ; RUN: llvm-link %t.out1.bc %t.out2.bc | llvm-dis | not grep opaque
6 ; After linking this testcase, there should be no opaque types left. The two
7 ; S's should cause the opaque type to be resolved to 'int'.
8 %S = global { int, int* } { int 5, int* null }