llvm-project/llvm/test/Transforms/PredicateSimplifier/predsimplify.reg3.ll

23 lines
523 B
LLVM

; RUN: llvm-as < %s | opt -predsimplify -simplifycfg | llvm-dis | grep pass
define void @regtest(i32 %x) {
entry:
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
br i1 %A, label %middle, label %after
middle: ; preds = %entry
br label %after
after: ; preds = %middle, %entry
%B = icmp eq i32 %x, 0 ; <i1> [#uses=1]
br i1 %B, label %then, label %else
then: ; preds = %after
br label %end
else: ; preds = %after
call void (...)* @pass( )
br label %end
end: ; preds = %else, %then
ret void
}
declare void @pass(...)