Mercurial > hg > CbC > CbC_llvm
comparison test/CodeGen/X86/unreachable-loop-sinking.ll @ 0:95c75e76d11b LLVM3.4
LLVM 3.4
author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 12 Dec 2013 13:56:28 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:95c75e76d11b |
---|---|
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 } |