| Saleem Abdulrasool | 27c78bf | 2014-08-11 20:13:25 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck -check-prefix CHECK-V7 %s |
| 2 | ; RUN: llc -mtriple=thumbv8 %s -o - | FileCheck %s -check-prefix CHECK-V8 |
| Bill Wendling | 9449b8b | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 3 | ; PR11107 |
| 4 | |
| Bill Wendling | 288ff0e | 2011-10-11 04:43:15 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %a, i32 %b) { |
| Bill Wendling | 9449b8b | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 6 | entry: |
| Bill Wendling | 288ff0e | 2011-10-11 04:43:15 +0000 | [diff] [blame] | 7 | %cmp1 = icmp slt i32 %a, 0 |
| 8 | %sub1 = sub nsw i32 0, %a |
| 9 | %abs1 = select i1 %cmp1, i32 %sub1, i32 %a |
| 10 | %cmp2 = icmp slt i32 %b, 0 |
| 11 | %sub2 = sub nsw i32 0, %b |
| 12 | %abs2 = select i1 %cmp2, i32 %sub2, i32 %b |
| 13 | %add = add nsw i32 %abs1, %abs2 |
| 14 | ret i32 %add |
| Bill Wendling | 9449b8b | 2011-10-11 00:26:57 +0000 | [diff] [blame] | 15 | } |
| Saleem Abdulrasool | 27c78bf | 2014-08-11 20:13:25 +0000 | [diff] [blame] | 16 | |
| 17 | ; CHECK-V7: cmp |
| 18 | ; CHECK-V7-NEXT: it mi |
| 19 | ; CHECK-V7-NEXT: rsbmi |
| 20 | ; CHECK-V7-NEXT: cmp |
| 21 | ; CHECK-V7-NEXT: it mi |
| 22 | ; CHECK-V7-NEXT: rsbmi |
| 23 | |
| 24 | ; CHECK-V8: cmp |
| 25 | ; CHECK-V8-NEXT: bpl |
| 26 | ; CHECK-V8: rsbs |
| 27 | ; CHECK-V8: cmp |
| 28 | ; CHECK-V8-NEXT: bpl |
| 29 | ; CHECK-V8: rsbs |
| 30 | |