Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -simplifycfg |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 3 | define i32 @test(i32 %A, i32 %B, i1 %cond) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | J: |
Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 5 | %C = add i32 %A, 12 ; <i32> [#uses=3] |
| 6 | br i1 %cond, label %L, label %L |
| 7 | L: ; preds = %J, %J |
| 8 | %Q = phi i32 [ %C, %J ], [ %C, %J ] ; <i32> [#uses=1] |
| 9 | %D = add i32 %C, %B ; <i32> [#uses=1] |
| 10 | %E = add i32 %Q, %D ; <i32> [#uses=1] |
| 11 | ret i32 %E |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | } |
Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 13 | |