| Benjamin Kramer | 7466678 | 2011-02-26 22:48:07 +0000 | [diff] [blame^] | 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 | } |