| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -ssi-everything -disable-output |
| Nick Lewycky | 3f620d4 | 2009-08-15 20:12:18 +0000 | [diff] [blame] | 2 | |
| 3 | declare fastcc i32 @ras_Empty(i8** nocapture) nounwind readonly |
| 4 | |
| 5 | define i32 @cc_Tautology() nounwind { |
| 6 | entry: |
| 7 | unreachable |
| 8 | |
| 9 | cc_InitData.exit: ; No predecessors! |
| 10 | %0 = call fastcc i32 @ras_Empty(i8** undef) nounwind ; <i32> [#uses=1] |
| 11 | %1 = icmp eq i32 %0, 0 ; <i1> [#uses=1] |
| 12 | br i1 %1, label %bb2, label %bb6 |
| 13 | |
| 14 | bb2: ; preds = %cc_InitData.exit |
| 15 | unreachable |
| 16 | |
| 17 | bb6: ; preds = %cc_InitData.exit |
| 18 | ret i32 undef |
| 19 | } |