Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -tailduplicate | \ |
Dan Gohman | 2d65d35 | 2009-08-25 15:38:29 +0000 | [diff] [blame] | 2 | ; RUN: llc -march=x86 -o %t |
Dan Gohman | 91888f0 | 2007-07-31 20:11:57 +0000 | [diff] [blame] | 3 | ; RUN: grep {\\\<je\\\>} %t |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | ; RUN: not grep jmp %t |
| 5 | ; END. |
| 6 | ; This should have no unconditional jumps in it. The C source is: |
| 7 | |
| 8 | ;void foo(int c, int* P) { |
| 9 | ; if (c & 1) P[0] = 1; |
| 10 | ; if (c & 2) P[1] = 1; |
| 11 | ; if (c & 4) P[2] = 1; |
| 12 | ; if (c & 8) P[3] = 1; |
| 13 | ;} |
| 14 | |
Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 15 | define void @foo(i32 %c, i32* %P) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 16 | entry: |
Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 17 | %tmp1 = and i32 %c, 1 ; <i32> [#uses=1] |
| 18 | %tmp1.upgrd.1 = icmp eq i32 %tmp1, 0 ; <i1> [#uses=1] |
| 19 | br i1 %tmp1.upgrd.1, label %cond_next, label %cond_true |
| 20 | cond_true: ; preds = %entry |
| 21 | store i32 1, i32* %P |
| 22 | br label %cond_next |
| 23 | cond_next: ; preds = %cond_true, %entry |
| 24 | %tmp5 = and i32 %c, 2 ; <i32> [#uses=1] |
| 25 | %tmp5.upgrd.2 = icmp eq i32 %tmp5, 0 ; <i1> [#uses=1] |
| 26 | br i1 %tmp5.upgrd.2, label %cond_next10, label %cond_true6 |
| 27 | cond_true6: ; preds = %cond_next |
| 28 | %tmp8 = getelementptr i32* %P, i32 1 ; <i32*> [#uses=1] |
| 29 | store i32 1, i32* %tmp8 |
| 30 | br label %cond_next10 |
| 31 | cond_next10: ; preds = %cond_true6, %cond_next |
| 32 | %tmp13 = and i32 %c, 4 ; <i32> [#uses=1] |
| 33 | %tmp13.upgrd.3 = icmp eq i32 %tmp13, 0 ; <i1> [#uses=1] |
| 34 | br i1 %tmp13.upgrd.3, label %cond_next18, label %cond_true14 |
| 35 | cond_true14: ; preds = %cond_next10 |
| 36 | %tmp16 = getelementptr i32* %P, i32 2 ; <i32*> [#uses=1] |
| 37 | store i32 1, i32* %tmp16 |
| 38 | br label %cond_next18 |
| 39 | cond_next18: ; preds = %cond_true14, %cond_next10 |
| 40 | %tmp21 = and i32 %c, 8 ; <i32> [#uses=1] |
| 41 | %tmp21.upgrd.4 = icmp eq i32 %tmp21, 0 ; <i1> [#uses=1] |
| 42 | br i1 %tmp21.upgrd.4, label %return, label %cond_true22 |
| 43 | cond_true22: ; preds = %cond_next18 |
| 44 | %tmp24 = getelementptr i32* %P, i32 3 ; <i32*> [#uses=1] |
| 45 | store i32 1, i32* %tmp24 |
| 46 | ret void |
| 47 | return: ; preds = %cond_next18 |
| 48 | ret void |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 49 | } |