| Tanya Lattner | aa6f5c9 | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s > %t.out1.bc |
| Chandler Carruth | a5a29f9 | 2012-07-02 12:47:22 +0000 | [diff] [blame] | 2 | ; RUN: echo "%%T1 = type opaque %%T2 = type opaque @S = external global { i32, %%T1* } declare void @F(%%T2*)"\ |
| Tanya Lattner | aa6f5c9 | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 3 | ; RUN: | llvm-as > %t.out2.bc |
| Eli Bendersky | 1cc814a | 2013-04-09 16:51:13 +0000 | [diff] [blame] | 4 | ; RUN: llvm-link %t.out1.bc %t.out2.bc -S | FileCheck %s |
| 5 | ; CHECK-NOT: opaque |
| Chris Lattner | 251f1c9 | 2003-08-23 15:53:38 +0000 | [diff] [blame] | 6 | |
| 7 | ; After linking this testcase, there should be no opaque types left. The two |
| 8 | ; S's should cause the opaque type to be resolved to 'int'. |
| Tanya Lattner | aa6f5c9 | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 9 | @S = global { i32, i32* } { i32 5, i32* null } ; <{ i32, i32* }*> [#uses=0] |
| Chris Lattner | 251f1c9 | 2003-08-23 15:53:38 +0000 | [diff] [blame] | 10 | |
| Tanya Lattner | aa6f5c9 | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 11 | declare void @F(i32*) |