blob: 4031a09fb2328eda2565b5b0fcd4543a5ef8681f (
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
28
29
|
; FIXME: this should be SHM for bu, but change it for now since besides incompleteness
; this is working
; RUN: opt -analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHIM && \
; RUN: opt -analyze %s -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
}
|
