| Chris Lattner | 7a2bdde | 2011-04-15 05:18:47 +0000 | [diff] [blame] | 1 | ; This is a basic sanity check for constant propagation. The add instruction |
| Chris Lattner | 1610df2 | 2002-05-07 20:32:19 +0000 | [diff] [blame] | 2 | ; should be eliminated. |
| 3 | |
| Dan Gohman | 3e054fe | 2009-09-08 22:34:10 +0000 | [diff] [blame] | 4 | ; RUN: opt < %s -constprop -die -S | not grep phi |
| Chris Lattner | 1610df2 | 2002-05-07 20:32:19 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 6 | define i32 @test(i1 %B) { |
| Chris Lattner | 1610df2 | 2002-05-07 20:32:19 +0000 | [diff] [blame] | 7 | BB0: |
| Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 8 | br i1 %B, label %BB1, label %BB3 |
| 9 | |
| 10 | BB1: ; preds = %BB0 |
| 11 | br label %BB3 |
| 12 | |
| 13 | BB3: ; preds = %BB1, %BB0 |
| 14 | %Ret = phi i32 [ 1, %BB0 ], [ 1, %BB1 ] ; <i32> [#uses=1] |
| 15 | ret i32 %Ret |
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame] | 16 | } |
| Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 17 | |