2009-10-30 23:16:10 +00:00
|
|
|
; RUN: opt < %s -instcombine -simplifycfg -S | grep { = phi } | count 1
|
|
|
|
|
|
|
|
|
|
; instcombine should sort the PHI operands so that simplifycfg can see the
|
|
|
|
|
; duplicate and remove it.
|
|
|
|
|
|
|
|
|
|
define i32 @foo(i1 %t) {
|
|
|
|
|
entry:
|
|
|
|
|
call void @bar()
|
2009-12-30 05:54:51 +00:00
|
|
|
br i1 %t, label %true, label %false
|
2009-10-30 23:16:10 +00:00
|
|
|
true:
|
|
|
|
|
call void @bar()
|
|
|
|
|
br label %false
|
|
|
|
|
false:
|
|
|
|
|
%a = phi i32 [ 2, %true ], [ 5, %entry ]
|
|
|
|
|
%b = phi i32 [ 5, %entry ], [ 2, %true ]
|
|
|
|
|
call void @bar()
|
|
|
|
|
%c = add i32 %a, %b
|
|
|
|
|
ret i32 %c
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare void @bar()
|
