diff options
Diffstat (limited to 'test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll')
-rw-r--r-- | test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll b/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll index a0195d7..19d251c 100644 --- a/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll +++ b/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 |