| Dan Gohman | c4ae94d | 2010-04-05 19:17:22 +0000 | [diff] [blame^] | 1 | ; RUN: llc < %s |
| 2 | ; PR6777 |
| 3 | |
| 4 | ; MachineSink shouldn't try to sink code in unreachable blocks, as it's |
| 5 | ; not worthwhile, and there are corner cases which it doesn't handle. |
| 6 | |
| 7 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" |
| 8 | target triple = "x86_64-unknown-linux-gnu" |
| 9 | |
| 10 | define double @fn1(i8* %arg, i64 %arg1) { |
| 11 | Entry: |
| 12 | br i1 undef, label %Body, label %Exit |
| 13 | |
| 14 | Exit: ; preds = %Brancher7, %Entry |
| 15 | ret double undef |
| 16 | |
| 17 | Body: ; preds = %Entry |
| 18 | br i1 false, label %Brancher7, label %Body3 |
| 19 | |
| 20 | Body3: ; preds = %Body6, %Body3, %Body |
| 21 | br label %Body3 |
| 22 | |
| 23 | Body6: ; preds = %Brancher7 |
| 24 | %tmp = fcmp oeq double 0xC04FBB2E40000000, undef ; <i1> [#uses=1] |
| 25 | br i1 %tmp, label %Body3, label %Brancher7 |
| 26 | |
| 27 | Brancher7: ; preds = %Body6, %Body |
| 28 | %tmp2 = icmp ult i32 undef, 10 ; <i1> [#uses=1] |
| 29 | br i1 %tmp2, label %Body6, label %Exit |
| 30 | } |