blob: 6ac224721dd303043960ee79e521833994db06c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHM && \
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
%G = internal constant [2 x int*(int*)*] [
int*(int*)* %callee1, int*(int*)* %callee2
]
implementation
internal int* %callee1(int* %P1) {
ret int* %P1
}
internal int* %callee2(int* %P2) {
%X = malloc int
ret int* %X
}
void %caller(int %callee) {
%FPP = getelementptr [2 x int*(int*)*]* %G, int 0, int %callee
%FP = load int*(int*)** %FPP
%Y = alloca int
%Z = call int* %FP(int* %Y)
store int 4, int* %Z
ret void
}
|
