summaryrefslogtreecommitdiff
path: root/test/Linker/2003-08-28-TypeResolvesGlobal2.ll
blob: 212ef2bd1f2655b2df1240b2350124684bf32943 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
; RUN: llvm-upgrade < %s | llvm-as > %t.out1.bc
; RUN: echo "%S = type int" | llvm-upgrade | llvm-as > %t.out2.bc
; RUN: llvm-link %t.out2.bc %t.out1.bc

%S = type opaque

void %foo(int* %V) {
  ret void
}

declare void %foo(%S*)

void %other() {
	call void %foo(%S* null)    ; Add a use of the unresolved proto
	call void %foo(int* null)   ; Add a use of the resolved function
	ret void
}