|  | 
|  | 1 | +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6 | 
| 1 | 2 | ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s | 
| 2 | 3 | 
 | 
| 3 | 4 | define i64 @f1(i64 %a, i64 %b) { | 
| 4 |  | -entry: | 
| 5 | 5 | ; CHECK-LABEL: f1: | 
| 6 |  | -; CHECK: subs r0, r0, r2 | 
| 7 |  | -; CHECK: sbcs r1, r3 | 
| 8 |  | -%tmp = sub i64 %a, %b | 
| 9 |  | -ret i64 %tmp | 
|  | 6 | +; CHECK: @ %bb.0: @ %entry | 
|  | 7 | +; CHECK-NEXT: subs r0, r0, r2 | 
|  | 8 | +; CHECK-NEXT: sbcs r1, r3 | 
|  | 9 | +; CHECK-NEXT: bx lr | 
|  | 10 | +entry: | 
|  | 11 | + %tmp = sub i64 %a, %b | 
|  | 12 | + ret i64 %tmp | 
| 10 | 13 | } | 
| 11 | 14 | 
 | 
| 12 | 15 | define i64 @f2(i64 %a, i64 %b) { | 
| 13 |  | -entry: | 
| 14 | 16 | ; CHECK-LABEL: f2: | 
| 15 |  | -; CHECK: lsls r1, r1, #1 | 
| 16 |  | -; CHECK: orr.w r1, r1, r0, lsr #31 | 
| 17 |  | -; CHECK: rsbs r0, r2, r0, lsl #1 | 
| 18 |  | -; CHECK: sbcs r1, r3 | 
| 19 |  | - %tmp1 = shl i64 %a, 1 | 
| 20 |  | -%tmp2 = sub i64 %tmp1, %b | 
| 21 |  | -ret i64 %tmp2 | 
|  | 17 | +; CHECK: @ %bb.0: @ %entry | 
|  | 18 | +; CHECK-NEXT: lsls r1, r1, #1 | 
|  | 19 | +; CHECK-NEXT: orr.w r1, r1, r0, lsr #31 | 
|  | 20 | +; CHECK-NEXT: rsbs r0, r2, r0, lsl #1 | 
|  | 21 | +; CHECK-NEXT: sbcs r1, r3 | 
|  | 22 | +; CHECK-NEXT: bx lr | 
|  | 23 | +entry: | 
|  | 24 | + %tmp1 = shl i64 %a, 1 | 
|  | 25 | + %tmp2 = sub i64 %tmp1, %b | 
|  | 26 | + ret i64 %tmp2 | 
| 22 | 27 | } | 
| 23 | 28 | 
 | 
| 24 | 29 | ; rdar://12559385 | 
| 25 | 30 | define i64 @f3(i32 %vi) { | 
| 26 |  | -entry: | 
| 27 | 31 | ; CHECK-LABEL: f3: | 
| 28 |  | -; CHECK: movw [[REG:r[0-9]+]], #36102 | 
| 29 |  | -; CHECK: sbcs r{{[0-9]+}}, [[REG]] | 
| 30 |  | - %v0 = zext i32 %vi to i64 | 
| 31 |  | - %v1 = xor i64 %v0, -155057456198619 | 
| 32 |  | - %v4 = add i64 %v1, 155057456198619 | 
| 33 |  | - %v5 = add i64 %v4, %v1 | 
| 34 |  | - ret i64 %v5 | 
|  | 32 | +; CHECK: @ %bb.0: @ %entry | 
|  | 33 | +; CHECK-NEXT: movw r1, #19493 | 
|  | 34 | +; CHECK-NEXT: movt r1, #57191 | 
|  | 35 | +; CHECK-NEXT: eors r0, r1 | 
|  | 36 | +; CHECK-NEXT: movw r2, #29433 | 
|  | 37 | +; CHECK-NEXT: movw r3, #46043 | 
|  | 38 | +; CHECK-NEXT: movw r1, #36102 | 
|  | 39 | +; CHECK-NEXT: movt r2, #65535 | 
|  | 40 | +; CHECK-NEXT: adds r0, r0, r0 | 
|  | 41 | +; CHECK-NEXT: movt r3, #8344 | 
|  | 42 | +; CHECK-NEXT: sbcs r2, r1 | 
|  | 43 | +; CHECK-NEXT: adds r0, r0, r3 | 
|  | 44 | +; CHECK-NEXT: adcs r1, r2 | 
|  | 45 | +; CHECK-NEXT: bx lr | 
|  | 46 | +entry: | 
|  | 47 | + %v0 = zext i32 %vi to i64 | 
|  | 48 | + %v1 = xor i64 %v0, -155057456198619 | 
|  | 49 | + %v4 = add i64 %v1, 155057456198619 | 
|  | 50 | + %v5 = add i64 %v4, %v1 | 
|  | 51 | + ret i64 %v5 | 
| 35 | 52 | } | 
0 commit comments