1373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// RUN: %clang_cc1 -triple armv7-apple-ios -emit-llvm -o - %s | FileCheck %s
2373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northoverstruct Empty {};
3373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover
4373ac0ab90a2d61fad7dd991712b8cec30c14604Tim NorthoverEmpty emptyvar;
5373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover
6373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northoverint take_args(int a, ...) {
7373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  __builtin_va_list l;
8373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  __builtin_va_start(l, a);
9373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// CHECK: call void @llvm.va_start
10373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover
11373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  emptyvar = __builtin_va_arg(l, Empty);
12373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// CHECK: load i8**
13373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// CHECK-NOT: getelementptr
14373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// CHECK: [[EMPTY_PTR:%[a-zA-Z0-9._]+]] = bitcast i8* {{%[a-zA-Z0-9._]+}} to %struct.Empty*
15373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover
16373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  // It's conceivable that EMPTY_PTR may not actually be a valid pointer
17373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  // (e.g. it's at the very bottom of the stack and the next page is
18373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  // invalid). This doesn't matter provided it's never loaded (there's no
19373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  // well-defined way to tell), but it becomes a problem if we do try to use it.
20373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// CHECK-NOT: load %struct.Empty* [[EMPTY_PTR]]
21373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover
22373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  int i = __builtin_va_arg(l, int);
23373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover// CHECK: load i32*
24373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover
25373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  __builtin_va_end(l);
26373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover  return i;
27373ac0ab90a2d61fad7dd991712b8cec30c14604Tim Northover}
28