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 | 3decde9305679612fc61cd9f29d4c4da4c1f3585 (patch) | |
| tree | c6cb1a46f1b7b12559109adf5e786a9d639320ee /llvm/test/Analysis | |
| parent | 79acdd94022fb21a0a3c4ee83fc647dd8e84798f (diff) | |
| download | bcm5719-llvm-3decde9305679612fc61cd9f29d4c4da4c1f3585.tar.gz bcm5719-llvm-3decde9305679612fc61cd9f29d4c4da4c1f3585.zip | |
refix PR1143 by making basicaa analyze zexts of indices aggresively,
which I broke with a recent patch.
llvm-svn: 111452
Diffstat (limited to 'llvm/test/Analysis')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/gep-alias.ll | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/llvm/test/Analysis/BasicAA/gep-alias.ll b/llvm/test/Analysis/BasicAA/gep-alias.ll index f3ccb041f0e..eba9599ba07 100644 --- a/llvm/test/Analysis/BasicAA/gep-alias.ll +++ b/llvm/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 |
