1; RUN: opt < %s -cfl-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
2; Derived from BasicAA/2010-09-15-GEP-SignedArithmetic.ll
3
4target datalayout = "e-p:32:32:32"
5
6; FIXME: This could be PartialAlias but CFLAA can't currently prove it
7; CHECK: 1 may alias response
8
9define i32 @test(i32 %indvar) nounwind {
10  %tab = alloca i32, align 4
11  %tmp31 = mul i32 %indvar, -2
12  %tmp32 = add i32 %tmp31, 30
13  %t.5 = getelementptr i32, i32* %tab, i32 %tmp32
14  %loada = load i32, i32* %tab
15  store i32 0, i32* %t.5
16  %loadb = load i32, i32* %tab
17  %rval = add i32 %loada, %loadb
18  ret i32 %rval
19}
20