test/CodeGen/Thumb2/carry.ll

   1 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s
   2
   3 define i64 @f1(i64 %a, i64 %b) {
   4 entry:
   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
  10 }
  11
  12 define i64 @f2(i64 %a, i64 %b) {
  13 entry:
  14 ; CHECK-LABEL: f2:
  15 ; CHECK: adds r0, r0, r0
  16 ; CHECK: adcs r1, r1
  17 ; CHECK: subs r0, r0, r2
  18 ; CHECK: sbcs r1, r3
  19         %tmp1 = shl i64 %a, 1
  20         %tmp2 = sub i64 %tmp1, %b
  21         ret i64 %tmp2
  22 }
  23
  24 ; rdar://12559385
  25 define i64 @f3(i32 %vi) {
  26 entry:
  27 ; 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
  35 }