diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2015-01-26 17:31:17 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2015-01-26 17:31:17 +0000 |
| commit | 16f7a526281e25d2dc6786cec962fa9e33fe230b (patch) | |
| tree | 3f3397f22448fb6e76077e617487b2ccc30ad578 /llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll | |
| parent | 8f10e387bbc6cd5e428214f159ddcd0995098756 (diff) | |
| download | bcm5719-llvm-16f7a526281e25d2dc6786cec962fa9e33fe230b.tar.gz bcm5719-llvm-16f7a526281e25d2dc6786cec962fa9e33fe230b.zip | |
Fix incorrect partial aliasing
Update testcases
llvm-svn: 227099
Diffstat (limited to 'llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll')
| -rw-r--r-- | llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll b/llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll index a0195d7f8d6..19d251cbb53 100644 --- a/llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll +++ b/llvm/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll @@ -3,9 +3,11 @@ target datalayout = "e-p:32:32:32" -; CHECK: 1 partial alias response +; FIXME: This could be PartialAlias but CFLAA can't currently prove it +; CHECK: 1 may alias response -define i32 @test(i32* %tab, i32 %indvar) nounwind { +define i32 @test(i32 %indvar) nounwind { + %tab = alloca i32, align 4 %tmp31 = mul i32 %indvar, -2 %tmp32 = add i32 %tmp31, 30 %t.5 = getelementptr i32* %tab, i32 %tmp32 |
