llvm-project/llvm/test/Transforms/GVN/rle-semidominated.ll

20 lines
323 B
LLVM

; RUN: llvm-as < %s | opt -gvn | llvm-dis | grep {DEAD = phi i32 }
define i32 @main(i32* %p) {
block1:
%z = load i32* %p
br i1 true, 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* %p
ret i32 %DEAD
}