Tanya Lattner | 33eefff | 2008-02-21 07:42:26 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | llc -march=x86 -mcpu=i386 | \ |
Reid Spencer | d3b1f6d | 2007-04-15 22:20:47 +0000 | [diff] [blame] | 2 | ; RUN: not grep {movl %eax, %edx} |
Bill Wendling | d36d03b | 2006-08-21 07:33:33 +0000 | [diff] [blame] | 3 | |
Tanya Lattner | 33eefff | 2008-02-21 07:42:26 +0000 | [diff] [blame^] | 4 | define i32 @foo(i32 %t, i32 %C) { |
Bill Wendling | d36d03b | 2006-08-21 07:33:33 +0000 | [diff] [blame] | 5 | entry: |
| 6 | br label %cond_true |
| 7 | |
| 8 | cond_true: ; preds = %cond_true, %entry |
Tanya Lattner | 33eefff | 2008-02-21 07:42:26 +0000 | [diff] [blame^] | 9 | %t_addr.0.0 = phi i32 [ %t, %entry ], [ %tmp7, %cond_true ] ; <i32> [#uses=2] |
| 10 | %tmp7 = add i32 %t_addr.0.0, 1 ; <i32> [#uses=1] |
| 11 | %tmp = icmp sgt i32 %C, 39 ; <i1> [#uses=1] |
| 12 | br i1 %tmp, label %bb12, label %cond_true |
Bill Wendling | d36d03b | 2006-08-21 07:33:33 +0000 | [diff] [blame] | 13 | |
| 14 | bb12: ; preds = %cond_true |
Tanya Lattner | 33eefff | 2008-02-21 07:42:26 +0000 | [diff] [blame^] | 15 | ret i32 %t_addr.0.0 |
Bill Wendling | d36d03b | 2006-08-21 07:33:33 +0000 | [diff] [blame] | 16 | } |
Tanya Lattner | 33eefff | 2008-02-21 07:42:26 +0000 | [diff] [blame^] | 17 | |