[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Linker / 2003-08-23-GlobalVarLinking.ll
blob122bc41f554e908631279f5005a1927a890d0392
1 ; RUN: llvm-as < %s > %t.out1.bc
2 ; RUN: echo "%%T1 = type opaque %%T2 = type opaque @S = external global { i32, %%T1* } declare void @F(%%T2*)"\
3 ; RUN:   | llvm-as > %t.out2.bc
4 ; RUN: llvm-link %t.out1.bc %t.out2.bc -S | FileCheck %s
5 ; CHECK-NOT: opaque
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'.
9 @S = global { i32, i32* } { i32 5, i32* null }          ; <{ i32, i32* }*> [#uses=0]
11 declare void @F(i32*)