1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
3 define i32 @main(i32** %p, i32 %x, i32 %y) {
5 %cmp = icmp eq i32 %x, %y
6 br i1 %cmp , label %block2, label %block3
17 ; CHECK-NOT: %existingPHI = phi
19 %existingPHI = phi i32* [ %a, %block2 ], [ %b, %block3 ]
22 %d = load i32* %existingPHI