// RUN: %clang_cc1 -triple arm -target-abi aapcs %s -emit-llvm -o - | FileCheck -check-prefix=AAPCS %s
// RUN: %clang_cc1 -triple arm -target-abi apcs-gnu %s -emit-llvm -o - | FileCheck -check-prefix=APCS-GNU %s
/* 
 * Check that va_arg accesses stack according to ABI alignment
 * long long and double require 8-byte alignment under AAPCS
 * however, they only require 4-byte alignment under APCS
 */
long long t1(int i, ...) {
    // AAPCS: t1
    // APCS-GNU: t1
    __builtin_va_list ap;
    __builtin_va_start(ap, i);
    // AAPCS: add i32 %{{.*}} 7
    // AAPCS: and i32 %{{.*}} -8
    // APCS-GNU-NOT: add i32 %{{.*}} 7
    // APCS-GNU-NOT: and i32 %{{.*}} -8
    long long ll = __builtin_va_arg(ap, long long);
    __builtin_va_end(ap);
    return ll;
}
double t2(int i, ...) {
    // AAPCS: t2
    // APCS-GNU: t2
    __builtin_va_list ap;
    __builtin_va_start(ap, i);
    // AAPCS: add i32 %{{.*}} 7
    // AAPCS: and i32 %{{.*}} -8
    // APCS-GNU-NOT: add i32 %{{.*}} 7
    // APCS-GNU-NOT: and i32 %{{.*}} -8
    double ll = __builtin_va_arg(ap, double);
    __builtin_va_end(ap);
    return ll;
}