6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-10-21 01:25:20 +00:00
Code Issues Projects Releases Wiki Activity

Check field sensitivity

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5483 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2003-02-03 21:40:14 +00:00
parent df142f0bd0
commit 1cdfd83d62
1 changed files with 24 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
test/Analysis/DSGraph/gcsetest.ll
View File

@ -20,12 +20,22 @@ implementation
ret %intpair* %C
}
int* %getp(%intpair* %P) {
%pp = getelementptr %intpair* %P, long 0, ubyte 0
%V = load int** %pp
ret int *%V
}
int* %getq(%intpair* %P) {
%pp = getelementptr %intpair* %P, long 0, ubyte 1
%V = load int** %pp
ret int *%V
}
int %test() {
%C = call %intpair* %alloc_pair()
%C1p = getelementptr %intpair* %C, long 0, ubyte 0
%C2p = getelementptr %intpair* %C, long 0, ubyte 1
%A = load int** %C1p
%B = load int** %C2p
%A = call int* %getp(%intpair* %C)
%B = call int* %getp(%intpair* %C)
%A1 = load int* %A
store int 123, int* %B ; Store cannot alias %A
@ -35,12 +45,6 @@ int %test() {
ret int %ELIM_x
}
int* %getp(%intpair* %P) {
%pp = getelementptr %intpair* %P, long 0, ubyte 0
%V = load int** %pp
ret int *%V
}
int %test2() { ; Test context sensitivity
%C1 = call %intpair* %alloc_pair()
%C2 = call %intpair* %alloc_pair()
@ -53,3 +57,13 @@ int %test2() { ; Test context sensitivity
ret int %ELIM_x
}
int %test3() {
%C = call %intpair* %alloc_pair()
%P1 = call int* %getp(%intpair* %C)
%P2 = call int* %getq(%intpair* %C)
%X = load int* %P1
store int 7, int* %P2
%Y = load int* %P1
%ELIM_x = sub int %X, %Y ; Check field sensitivity
ret int %ELIM_x
}