1 // RUN: %clang_cc1 -triple arm64-windows-msvc -emit-llvm -o - %s | FileCheck %s
2 
3 #include <stdarg.h>
4 
5 int simple_int(va_list ap) {
6 // CHECK-LABEL: define dso_local i32 @simple_int
7   return va_arg(ap, int);
8 // CHECK: [[ADDR:%[a-z_0-9]+]] = bitcast i8* %argp.cur to i32*
9 // CHECK: [[RESULT:%[a-z_0-9]+]] = load i32, i32* [[ADDR]]
10 // CHECK: ret i32 [[RESULT]]
11 }
12