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