; 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(...) | |