| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame^] | 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 |
| 5 | |
| 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 } |
| 9 | |
| 10 | declare void %F(int*) |