diff options
author | Chris Lattner <sabre@nondot.org> | 2010-08-18 23:09:49 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2010-08-18 23:09:49 +0000 |
commit | 2215c607c3035be197f163beb5e7d8308f8787e5 (patch) | |
tree | 821adffa7863a5c4dd6cd4c82e23fa29fdf8ef74 /test/Analysis | |
parent | c3439ad63f4d145ca7357b7918bd72dfde8213d3 (diff) | |
download | external_llvm-2215c607c3035be197f163beb5e7d8308f8787e5.zip external_llvm-2215c607c3035be197f163beb5e7d8308f8787e5.tar.gz external_llvm-2215c607c3035be197f163beb5e7d8308f8787e5.tar.bz2 |
refix PR1143 by making basicaa analyze zexts of indices aggresively,
which I broke with a recent patch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111452 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
-rw-r--r-- | test/Analysis/BasicAA/gep-alias.ll | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/Analysis/BasicAA/gep-alias.ll b/test/Analysis/BasicAA/gep-alias.ll index f3ccb04..eba9599 100644 --- a/test/Analysis/BasicAA/gep-alias.ll +++ b/test/Analysis/BasicAA/gep-alias.ll @@ -115,14 +115,14 @@ define i32 @test7(i32* %p, i64 %i) { ; CHECK: ret i32 0 } -; P[sext(i)] != p[sext(i+1)] +; P[zext(i)] != p[zext(i+1)] ; PR1143 -define i32 @test8(i32* %p, i32 %i) { - %i1 = sext i32 %i to i64 - %pi = getelementptr i32* %p, i64 %i1 - %i.next = add i32 %i, 1 - %i.next2 = sext i32 %i.next to i64 - %pi.next = getelementptr i32* %p, i64 %i.next2 +define i32 @test8(i32* %p, i16 %i) { + %i1 = zext i16 %i to i32 + %pi = getelementptr i32* %p, i32 %i1 + %i.next = add i16 %i, 1 + %i.next2 = zext i16 %i.next to i32 + %pi.next = getelementptr i32* %p, i32 %i.next2 %x = load i32* %pi store i32 42, i32* %pi.next %y = load i32* %pi |