| Tanya Lattner | 15b014b | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s > %t.out1.bc |
| 2 | ; RUN: echo {@S = external global \{ i32, opaque* \} declare void @F(opaque*)}\ |
| 3 | ; RUN: | llvm-as > %t.out2.bc |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 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'. |
| Tanya Lattner | 15b014b | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 8 | @S = global { i32, i32* } { i32 5, i32* null } ; <{ i32, i32* }*> [#uses=0] |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | |
| Tanya Lattner | 15b014b | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 10 | declare void @F(i32*) |