2008-03-19 04:14:49 +00:00
|
|
|
; RUN: llvm-as < %s | opt -sccp -dce -simplifycfg | llvm-dis | \
|
2007-04-15 09:21:47 +00:00
|
|
|
; RUN: not grep br
|
2004-01-12 03:57:00 +00:00
|
|
|
|
2008-03-19 04:14:49 +00:00
|
|
|
define i32 @test(i32 %param) {
|
2004-01-12 03:57:00 +00:00
|
|
|
entry:
|
2008-03-19 04:14:49 +00:00
|
|
|
%tmp.1 = icmp ne i32 %param, 0 ; <i1> [#uses=1]
|
|
|
|
br i1 %tmp.1, label %endif.0, label %else
|
|
|
|
else: ; preds = %entry
|
2004-01-12 03:57:00 +00:00
|
|
|
br label %endif.0
|
2008-03-19 04:14:49 +00:00
|
|
|
endif.0: ; preds = %else, %entry
|
|
|
|
%a.0 = phi i32 [ 2, %else ], [ 3, %entry ] ; <i32> [#uses=1]
|
|
|
|
%b.0 = phi i32 [ 3, %else ], [ 2, %entry ] ; <i32> [#uses=1]
|
|
|
|
%tmp.5 = add i32 %a.0, %b.0 ; <i32> [#uses=1]
|
|
|
|
%tmp.7 = icmp ne i32 %tmp.5, 5 ; <i1> [#uses=1]
|
|
|
|
br i1 %tmp.7, label %UnifiedReturnBlock, label %endif.1
|
|
|
|
endif.1: ; preds = %endif.0
|
|
|
|
ret i32 0
|
|
|
|
UnifiedReturnBlock: ; preds = %endif.0
|
|
|
|
ret i32 2
|
2004-01-12 03:57:00 +00:00
|
|
|
}
|
2008-03-19 04:14:49 +00:00
|
|
|
|