test/Analysis/BasicAA/phi-aa.ll

   1 ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& grep {NoAlias:.*%P,.*@Z}
   2 ; rdar://7282591
   3
   4 @X = common global i32 0
   5 @Y = common global i32 0
   6 @Z = common global i32 0
   7
   8 define void @foo(i32 %cond) nounwind {
   9 entry:
  10   %"alloca point" = bitcast i32 0 to i32
  11   %tmp = icmp ne i32 %cond, 0
  12   br i1 %tmp, label %bb, label %bb1
  13
  14 bb:
  15   br label %bb2
  16
  17 bb1:
  18   br label %bb2
  19
  20 bb2:
  21   %P = phi i32* [ @X, %bb ], [ @Y, %bb1 ]
  22   %tmp1 = load i32* @Z, align 4
  23   store i32 123, i32* %P, align 4
  24   %tmp2 = load i32* @Z, align 4
  25   br label %return
  26
  27 return:
  28   ret void
  29 }