projects
/
oota-llvm.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
replace a useless test with a useful one
[oota-llvm.git]
/
test
/
Analysis
/
BasicAA
/
2003-04-22-GEPProblem.ll
1
; RUN: opt < %s -gvn -instcombine -S | grep sub
2
3
; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!
4
5
define i32 @test(i32 *%Ptr, i64 %V) {
6
%P2 = getelementptr i32* %Ptr, i64 1
7
%P1 = getelementptr i32* %Ptr, i64 %V
8
%X = load i32* %P1
9
store i32 5, i32* %P2
10
11
%Y = load i32* %P1
12
13
%Z = sub i32 %X, %Y
14
ret i32 %Z
15
}