22 lines · c
1// RUN: %clang_cc1 -triple aarch64_be-linux-gnu -ffreestanding -emit-llvm -O0 -o - %s | FileCheck %s2 3#include <stdarg.h>4 5// A single member HFA must be aligned just like a non-HFA register argument.6double callee(int a, ...) {7// CHECK: [[REGPP:%.*]] = getelementptr inbounds nuw %struct.__va_list, ptr [[VA:%.*]], i32 0, i32 28// CHECK: [[REGP:%.*]] = load ptr, ptr [[REGPP]], align 89// CHECK: [[OFFSET0:%.*]] = getelementptr inbounds i8, ptr [[REGP]], i32 {{.*}}10// CHECK: [[OFFSET1:%.*]] = getelementptr inbounds i8, ptr [[OFFSET0]], i64 811 12// CHECK: [[MEMPP:%.*]] = getelementptr inbounds nuw %struct.__va_list, ptr [[VA:%.*]], i32 0, i32 013// CHECK: [[MEMP:%.*]] = load ptr, ptr [[MEMPP]], align 814// CHECK: [[NEXTP:%.*]] = getelementptr inbounds i8, ptr [[MEMP]], i64 815// CHECK: store ptr [[NEXTP]], ptr [[MEMPP]], align 816 va_list vl;17 va_start(vl, a);18 double result = va_arg(vl, struct { double a; }).a;19 va_end(vl);20 return result;21}22