llvm/test/Regression/Analysis/Andersens/basictest.ll


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
30

; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -aa-eval

implementation

void %test1() {
	%X = malloc int*
	%Y = malloc int
	%Z = cast int* %Y to int
	%W = cast int %Z to int*
	store int* %W, int** %X
	ret void
}

void %test2(int* %P) {
	%X = malloc int*
	%Y = malloc int
	store int* %P, int** %X
	ret void
}

internal int *%test3(int* %P) {
	ret int* %P
}

void %test4() {
	%X = malloc int
	%Y = call int* %test3(int* %X)
	%ZZ = getelementptr int* null, int 17
	ret void
}