test/CodeGen/X86/adde-carry.ll

   1 ; RUN: llc -march=x86-64 < %s | FileCheck %s -check-prefix=CHECK-64
   2 ; RUN: llc -march=x86 < %s | FileCheck %s -check-prefix=CHECK-32
   3
   4 define void @a(i64* nocapture %s, i64* nocapture %t, i64 %a, i64 %b, i64 %c) nounwind {
   5 entry:
   6  %0 = zext i64 %a to i128
   7  %1 = zext i64 %b to i128
   8  %2 = add i128 %1, %0
   9  %3 = zext i64 %c to i128
  10  %4 = shl i128 %3, 64
  11  %5 = add i128 %4, %2
  12  %6 = lshr i128 %5, 64
  13  %7 = trunc i128 %6 to i64
  14  store i64 %7, i64* %s, align 8
  15  %8 = trunc i128 %2 to i64
  16  store i64 %8, i64* %t, align 8
  17  ret void
  18
  19 ; CHECK-32: addl
  20 ; CHECK-32: adcl
  21 ; CHECK-32: adcl $0
  22 ; CHECK-32: adcl $0
  23
  24 ; CHECK-64: addq
  25 ; CHECK-64: adcq $0
  26 }