diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-11-26 16:18:10 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-11-26 16:18:10 +0000 |
| commit | 12dacdd3596293f3e689b66043e905ea35b848e2 (patch) | |
| tree | d94154b54e970769977afaeea6700a23a8d377d0 /llvm/test/Analysis/BasicAA/gep-alias.ll | |
| parent | 453751031ac1f9235fe6da0e6733d10db4cad96a (diff) | |
| download | bcm5719-llvm-12dacdd3596293f3e689b66043e905ea35b848e2.tar.gz bcm5719-llvm-12dacdd3596293f3e689b66043e905ea35b848e2.zip | |
teach basicaa that A[i] != A[i+1].
llvm-svn: 89951
Diffstat (limited to 'llvm/test/Analysis/BasicAA/gep-alias.ll')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/gep-alias.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/llvm/test/Analysis/BasicAA/gep-alias.ll b/llvm/test/Analysis/BasicAA/gep-alias.ll index e8f8a8e4b9f..0c5f7ac3376 100644 --- a/llvm/test/Analysis/BasicAA/gep-alias.ll +++ b/llvm/test/Analysis/BasicAA/gep-alias.ll @@ -71,3 +71,19 @@ entry: ; CHECK: @test4 ; CHECK: ret i32 64 } + +; P[i] != p[i+1] +define i32 @test5(i32* %p, i64 %i) { + %pi = getelementptr i32* %p, i64 %i + %i.next = add i64 %i, 1 + %pi.next = getelementptr i32* %p, i64 %i.next + %x = load i32* %pi + store i32 42, i32* %pi.next + %y = load i32* %pi + %z = sub i32 %x, %y + ret i32 %z +; CHECK: @test5 +; CHECK: ret i32 0 +} + + |
