| Chandler Carruth | 49589f0 | 2012-07-02 18:37:59 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=thumb -stats 2>&1 | \ |
| Chandler Carruth | 4177e6f | 2012-07-02 12:47:22 +0000 | [diff] [blame] | 2 | ; RUN: grep "4 .*Number of machine instrs printed" |
| Evan Cheng | 9f76ed5 | 2009-06-24 06:36:07 +0000 | [diff] [blame] | 3 | |
| 4 | ;; Integer absolute value, should produce something as good as: |
| 5 | ;; Thumb: |
| Bill Wendling | ef2c86f | 2011-10-10 22:59:55 +0000 | [diff] [blame] | 6 | ;; movs r0, r0 |
| 7 | ;; bpl |
| 8 | ;; rsb r0, r0, #0 (with opitmization, bpl + rsb is if-converted into rsbmi) |
| Evan Cheng | 9f76ed5 | 2009-06-24 06:36:07 +0000 | [diff] [blame] | 9 | ;; bx lr |
| 10 | |
| 11 | define i32 @test(i32 %a) { |
| 12 | %tmp1neg = sub i32 0, %a |
| 13 | %b = icmp sgt i32 %a, -1 |
| 14 | %abs = select i1 %b, i32 %a, i32 %tmp1neg |
| 15 | ret i32 %abs |
| Bill Wendling | ef2c86f | 2011-10-10 22:59:55 +0000 | [diff] [blame] | 16 | ; CHECK: movs r0, r0 |
| 17 | ; CHECK: bpl |
| 18 | ; CHECK: rsb r0, r0, #0 |
| 19 | ; CHECK: bx lr |
| Evan Cheng | 9f76ed5 | 2009-06-24 06:36:07 +0000 | [diff] [blame] | 20 | } |
| 21 | |
| Bill Wendling | ef2c86f | 2011-10-10 22:59:55 +0000 | [diff] [blame] | 22 | |