| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -disable-output |
| Devang Patel | dff594e | 2008-09-17 18:21:49 +0000 | [diff] [blame] | 2 | ; PR 2800 |
| 3 | |
| 4 | define void @foo() { |
| 5 | start: |
| 6 | %tmp = call i1 @bar( ) ; <i1> [#uses=4] |
| 7 | br i1 %tmp, label %brtrue, label %brfalse |
| 8 | |
| 9 | brtrue: ; preds = %start |
| 10 | %tmpnew = and i1 %tmp, %tmp ; <i1> [#uses=1] |
| 11 | br label %brfalse |
| 12 | |
| 13 | brfalse: ; preds = %brtrue, %start |
| 14 | %andandtmp.0 = phi i1 [ %tmp, %start ], [ %tmpnew, %brtrue ] ; <i1> [#uses=0] |
| 15 | ret void |
| 16 | } |
| 17 | |
| 18 | declare i1 @bar() |