| Chandler Carruth | a5a29f9 | 2012-07-02 12:47:22 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -simplifycfg -S | grep " = phi " | count 1 |
| Dan Gohman | 56998cd | 2009-10-30 23:16:10 +0000 | [diff] [blame] | 2 | |
| 3 | ; instcombine should sort the PHI operands so that simplifycfg can see the |
| 4 | ; duplicate and remove it. |
| 5 | |
| 6 | define i32 @foo(i1 %t) { |
| 7 | entry: |
| 8 | call void @bar() |
| Chris Lattner | c5c0889 | 2009-12-30 05:54:51 +0000 | [diff] [blame] | 9 | br i1 %t, label %true, label %false |
| Dan Gohman | 56998cd | 2009-10-30 23:16:10 +0000 | [diff] [blame] | 10 | true: |
| 11 | call void @bar() |
| 12 | br label %false |
| 13 | false: |
| 14 | %a = phi i32 [ 2, %true ], [ 5, %entry ] |
| 15 | %b = phi i32 [ 5, %entry ], [ 2, %true ] |
| 16 | call void @bar() |
| 17 | %c = add i32 %a, %b |
| 18 | ret i32 %c |
| 19 | } |
| 20 | |
| 21 | declare void @bar() |