1*9880d681SAndroid Build Coastguard Worker; RUN: llc -march=x86-64 < %s | FileCheck %s -check-prefix=CHECK-64 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdefine void @a(i64* nocapture %s, i64* nocapture %t, i64 %a, i64 %b, i64 %c) nounwind { 4*9880d681SAndroid Build Coastguard Workerentry: 5*9880d681SAndroid Build Coastguard Worker %0 = zext i64 %a to i128 6*9880d681SAndroid Build Coastguard Worker %1 = zext i64 %b to i128 7*9880d681SAndroid Build Coastguard Worker %2 = add i128 %1, %0 8*9880d681SAndroid Build Coastguard Worker %3 = zext i64 %c to i128 9*9880d681SAndroid Build Coastguard Worker %4 = shl i128 %3, 64 10*9880d681SAndroid Build Coastguard Worker %5 = add i128 %4, %2 11*9880d681SAndroid Build Coastguard Worker %6 = lshr i128 %5, 64 12*9880d681SAndroid Build Coastguard Worker %7 = trunc i128 %6 to i64 13*9880d681SAndroid Build Coastguard Worker store i64 %7, i64* %s, align 8 14*9880d681SAndroid Build Coastguard Worker %8 = trunc i128 %2 to i64 15*9880d681SAndroid Build Coastguard Worker store i64 %8, i64* %t, align 8 16*9880d681SAndroid Build Coastguard Worker ret void 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Worker; CHECK-64: addq 19*9880d681SAndroid Build Coastguard Worker; CHECK-64: adcq $0 20*9880d681SAndroid Build Coastguard Worker} 21