| James Molloy | 6967e5e | 2015-08-03 09:24:48 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s |
| 2 | ; RUN: llc -mtriple=thumbv8 %s -o - | FileCheck %s |
| 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 | |
| James Molloy | 6967e5e | 2015-08-03 09:24:48 +0000 | [diff] [blame] | 17 | ; CHECK: cmp |
| 18 | ; CHECK-NEXT: it mi |
| 19 | ; We shouldn't need to check for the extra 's' here; tRSB should be printed as |
| 20 | ; "rsb" inside an IT block, not "rsbs". |
| 21 | ; CHECK-NEXT: rsb{{s?}}mi |
| 22 | ; CHECK-NEXT: cmp |
| 23 | ; CHECK-NEXT: it mi |
| 24 | ; CHECK-NEXT: rsb{{s?}}mi |
| Saleem Abdulrasool | 27c78bf | 2014-08-11 20:13:25 +0000 | [diff] [blame] | 25 | |
| Saleem Abdulrasool | 27c78bf | 2014-08-11 20:13:25 +0000 | [diff] [blame] | 26 | |