| ; RUN: opt < %s -basicaa -gvn -S | grep "DEAD = phi i32 " | |
| define i32 @main(i32* %p, i32 %x, i32 %y) { | |
| block1: | |
| %z = load i32, i32* %p | |
| %cmp = icmp eq i32 %x, %y | |
| br i1 %cmp, label %block2, label %block3 | |
| block2: | |
| br label %block4 | |
| block3: | |
| %b = bitcast i32 0 to i32 | |
| store i32 %b, i32* %p | |
| br label %block4 | |
| block4: | |
| %DEAD = load i32, i32* %p | |
| ret i32 %DEAD | |
| } |