1651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// RUN: %clang_cc1 -triple arm64-apple-ios -target-abi darwinpcs -emit-llvm -o - %s | FileCheck %s
2651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct Empty {};
3651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
4651f13cea278ec967336033dd032faef0e9fc2ecStephen HinesEmpty emptyvar;
5651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
6651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint take_args(int a, ...) {
7651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  __builtin_va_list l;
8651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  __builtin_va_start(l, a);
9651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: call void @llvm.va_start
10651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
11651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  emptyvar = __builtin_va_arg(l, Empty);
12651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: load i8**
13651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NOT: getelementptr
14651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: [[EMPTY_PTR:%[a-zA-Z0-9._]+]] = bitcast i8* {{%[a-zA-Z0-9._]+}} to %struct.Empty*
15651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
16651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  // It's conceivable that EMPTY_PTR may not actually be a valid pointer
17651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  // (e.g. it's at the very bottom of the stack and the next page is
18651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  // invalid). This doesn't matter provided it's never loaded (there's no
19651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  // well-defined way to tell), but it becomes a problem if we do try to use it.
20651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NOT: load %struct.Empty* [[EMPTY_PTR]]
21651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
22651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  int i = __builtin_va_arg(l, int);
23651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: va_arg i8** {{%[a-zA-Z0-9._]+}}, i32
24651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
25651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  __builtin_va_end(l);
26651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  return i;
27651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}
28