test/CodeGen/Thumb2/thumb2-sbc.ll

   1 ; RUN: llc -march=thumb -mattr=+thumb2 < %s | FileCheck %s
   2
   3 define i64 @f1(i64 %a, i64 %b) {
   4 ; CHECK: f1
   5 ; CHECK: subs r0, r0, r2
   6     %tmp = sub i64 %a, %b
   7     ret i64 %tmp
   8 }
   9
  10 ; 734439407618 = 0x000000ab00000002
  11 define i64 @f2(i64 %a) {
  12 ; CHECK: f2
  13 ; CHECK: subs r0, #2
  14 ; CHECK: sbc r1, r1, #171
  15     %tmp = sub i64 %a, 734439407618
  16     ret i64 %tmp
  17 }
  18
  19 ; 5066626890203138 = 0x0012001200000002
  20 define i64 @f3(i64 %a) {
  21 ; CHECK: f3
  22 ; CHECK: subs  r0, #2
  23 ; CHECK: sbc r1, r1, #1179666
  24     %tmp = sub i64 %a, 5066626890203138
  25     ret i64 %tmp
  26 }
  27
  28 ; 3747052064576897026 = 0x3400340000000002
  29 define i64 @f4(i64 %a) {
  30 ; CHECK: f4
  31 ; CHECK: subs  r0, #2
  32 ; CHECK: sbc r1, r1, #872428544
  33     %tmp = sub i64 %a, 3747052064576897026
  34     ret i64 %tmp
  35 }
  36
  37 ; 6221254862626095106 = 0x5656565600000002
  38 define i64 @f5(i64 %a) {
  39 ; CHECK: f5
  40 ; CHECK: subs  r0, #2
  41 ; CHECK: adc r1, r1, #-1448498775
  42     %tmp = sub i64 %a, 6221254862626095106
  43     ret i64 %tmp
  44 }
  45
  46 ; 287104476244869122 = 0x03fc000000000002
  47 define i64 @f6(i64 %a) {
  48 ; CHECK: f6
  49 ; CHECK: subs  r0, #2
  50 ; CHECK: sbc r1, r1, #66846720
  51     %tmp = sub i64 %a, 287104476244869122
  52     ret i64 %tmp
  53 }
  54
  55 ; Example from numerics code that manually computes wider-than-64 values.
  56 ;
  57 ; CHECK: livecarry:
  58 ; CHECK: adds
  59 ; CHECK: adc
  60 define i64 @livecarry(i64 %carry, i32 %digit) nounwind {
  61   %ch = lshr i64 %carry, 32
  62   %cl = and i64 %carry, 4294967295
  63   %truncdigit = zext i32 %digit to i64
  64   %prod = add i64 %cl, %truncdigit
  65   %ph = lshr i64 %prod, 32
  66   %carryresult = add i64 %ch, %ph
  67   ret i64 %carryresult
  68 }