diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-11-26 17:00:01 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-11-26 17:00:01 +0000 |
| commit | fa3966881f7f0317803b09161602c9c7eeb2d3a3 (patch) | |
| tree | 8c8529546823fbbf152c116bd9e5d7389cb91f85 /test/Analysis | |
| parent | 5369250b73e172efe886b20bfcdab74e5b251a71 (diff) | |
| download | external_llvm-fa3966881f7f0317803b09161602c9c7eeb2d3a3.zip external_llvm-fa3966881f7f0317803b09161602c9c7eeb2d3a3.tar.gz external_llvm-fa3966881f7f0317803b09161602c9c7eeb2d3a3.tar.bz2 | |
teach GetLinearExpression to be a bit more aggressive.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89955 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/BasicAA/gep-alias.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/gep-alias.ll b/test/Analysis/BasicAA/gep-alias.ll index 320c990..68722fb 100644 --- a/test/Analysis/BasicAA/gep-alias.ll +++ b/test/Analysis/BasicAA/gep-alias.ll @@ -101,3 +101,18 @@ define i32 @test6(i32* %p, i64 %i1) { ; CHECK: ret i32 0 } +; P[1] != P[i*4] +define i32 @test7(i32* %p, i64 %i) { + %pi = getelementptr i32* %p, i64 1 + %i.next = shl i64 %i, 2 + %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: @test7 +; CHECK: ret i32 0 +} + + |