| Bill Wendling | 3606f75 | 2011-10-11 04:43:15 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s |
| Bill Wendling | 26e8ca3 | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 2 | ; PR11107 |
| 3 | |
| Bill Wendling | 3606f75 | 2011-10-11 04:43:15 +0000 | [diff] [blame] | 4 | define i32 @test(i32 %a, i32 %b) { |
| Bill Wendling | 26e8ca3 | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 5 | entry: |
| Manman Ren | 307473d | 2012-06-15 21:32:12 +0000 | [diff] [blame^] | 6 | ; CHECK: cmp |
| Bill Wendling | 26e8ca3 | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 7 | ; CHECK-NEXT: it mi |
| 8 | ; CHECK-NEXT: rsbmi |
| Manman Ren | 307473d | 2012-06-15 21:32:12 +0000 | [diff] [blame^] | 9 | ; CHECK-NEXT: cmp |
| Bill Wendling | 26e8ca3 | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: it mi |
| 11 | ; CHECK-NEXT: rsbmi |
| Bill Wendling | 3606f75 | 2011-10-11 04:43:15 +0000 | [diff] [blame] | 12 | %cmp1 = icmp slt i32 %a, 0 |
| 13 | %sub1 = sub nsw i32 0, %a |
| 14 | %abs1 = select i1 %cmp1, i32 %sub1, i32 %a |
| 15 | %cmp2 = icmp slt i32 %b, 0 |
| 16 | %sub2 = sub nsw i32 0, %b |
| 17 | %abs2 = select i1 %cmp2, i32 %sub2, i32 %b |
| 18 | %add = add nsw i32 %abs1, %abs2 |
| 19 | ret i32 %add |
| Bill Wendling | 26e8ca3 | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 20 | } |