llvm/test/Analysis/BasicAA/2009-10-13-GEP-BaseNoAlias.ll

   1 ; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
   2 ; If GEP base doesn't alias Z, then GEP doesn't alias Z.
   3 ; rdar://7282591
   4
   5 @Y = common global i32 0
   6 @Z = common global i32 0
   7
   8 ; CHECK: Function: foo
   9 ; CHECK:   NoAlias: i32* %P, i32* @Z
  10
  11 define void @foo(i32 %cond) nounwind {
  12 entry:
  13   %a = alloca i32
  14   %tmp = icmp ne i32 %cond, 0
  15   br i1 %tmp, label %bb, label %bb1
  16
  17 bb:
  18   br label %bb2
  19
  20 bb1:
  21   br label %bb2
  22
  23 bb2:
  24   %P = phi ptr [ %a, %bb ], [ @Y, %bb1 ]
  25   %tmp1 = load i32, ptr @Z, align 4
  26   store i32 123, ptr %P, align 4
  27   %tmp2 = load i32, ptr @Z, align 4
  28   br label %return
  29
  30 return:
  31   ret void
  32 }