80 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs --global-value-regex "f"2// RUN: %clang_cc1 -opaque-pointers -triple arm64ec-windows-msvc -emit-llvm -o - %s | FileCheck %s3 4typedef struct { float x[2]; } A;5typedef struct { char x[6]; } B;6typedef struct { float x[4]; } C;7void f(A a, ...) {8 __builtin_va_list args;9 __builtin_va_start(args, a);10 float x = __builtin_va_arg(args, A).x[0];11 float y = __builtin_va_arg(args, B).x[0];12 float z = __builtin_va_arg(args, C).x[0];13}14void g(A a, B b, C c) { f(a, b, c); }15 16// CHECK-LABEL: @f(17// CHECK-NEXT: entry:18// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 419// CHECK-NEXT: [[ARGS:%.*]] = alloca ptr, align 820// CHECK-NEXT: [[X:%.*]] = alloca float, align 421// CHECK-NEXT: [[REF_TMP:%.*]] = alloca [[STRUCT_A]], align 422// CHECK-NEXT: [[Y:%.*]] = alloca float, align 423// CHECK-NEXT: [[REF_TMP2:%.*]] = alloca [[STRUCT_B:%.*]], align 124// CHECK-NEXT: [[Z:%.*]] = alloca float, align 425// CHECK-NEXT: [[REF_TMP7:%.*]] = alloca [[STRUCT_C:%.*]], align 426// CHECK-NEXT: [[COERCE_DIVE:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 027// CHECK-NEXT: store i64 [[A_COERCE:%.*]], ptr [[COERCE_DIVE]], align 428// CHECK-NEXT: call void @llvm.va_start.p0(ptr [[ARGS]])29// CHECK-NEXT: [[ARGP_CUR:%.*]] = load ptr, ptr [[ARGS]], align 830// CHECK-NEXT: [[ARGP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[ARGP_CUR]], i64 831// CHECK-NEXT: store ptr [[ARGP_NEXT]], ptr [[ARGS]], align 832// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[REF_TMP]], ptr align 8 [[ARGP_CUR]], i64 8, i1 false)33// CHECK-NEXT: [[X1:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[REF_TMP]], i32 0, i32 034// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [2 x float], ptr [[X1]], i64 0, i64 035// CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[ARRAYIDX]], align 436// CHECK-NEXT: store float [[TMP0]], ptr [[X]], align 437// CHECK-NEXT: [[ARGP_CUR3:%.*]] = load ptr, ptr [[ARGS]], align 838// CHECK-NEXT: [[ARGP_NEXT4:%.*]] = getelementptr inbounds i8, ptr [[ARGP_CUR3]], i64 839// CHECK-NEXT: store ptr [[ARGP_NEXT4]], ptr [[ARGS]], align 840// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[ARGP_CUR3]], align 841// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[REF_TMP2]], ptr align 1 [[TMP1]], i64 6, i1 false)42// CHECK-NEXT: [[X5:%.*]] = getelementptr inbounds nuw [[STRUCT_B]], ptr [[REF_TMP2]], i32 0, i32 043// CHECK-NEXT: [[ARRAYIDX6:%.*]] = getelementptr inbounds [6 x i8], ptr [[X5]], i64 0, i64 044// CHECK-NEXT: [[TMP2:%.*]] = load i8, ptr [[ARRAYIDX6]], align 145// CHECK-NEXT: [[CONV:%.*]] = sitofp i8 [[TMP2]] to float46// CHECK-NEXT: store float [[CONV]], ptr [[Y]], align 447// CHECK-NEXT: [[ARGP_CUR8:%.*]] = load ptr, ptr [[ARGS]], align 848// CHECK-NEXT: [[ARGP_NEXT9:%.*]] = getelementptr inbounds i8, ptr [[ARGP_CUR8]], i64 849// CHECK-NEXT: store ptr [[ARGP_NEXT9]], ptr [[ARGS]], align 850// CHECK-NEXT: [[TMP3:%.*]] = load ptr, ptr [[ARGP_CUR8]], align 851// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[REF_TMP7]], ptr align 4 [[TMP3]], i64 16, i1 false)52// CHECK-NEXT: [[X10:%.*]] = getelementptr inbounds nuw [[STRUCT_C]], ptr [[REF_TMP7]], i32 0, i32 053// CHECK-NEXT: [[ARRAYIDX11:%.*]] = getelementptr inbounds [4 x float], ptr [[X10]], i64 0, i64 054// CHECK-NEXT: [[TMP4:%.*]] = load float, ptr [[ARRAYIDX11]], align 455// CHECK-NEXT: store float [[TMP4]], ptr [[Z]], align 456// CHECK-NEXT: ret void57//58//59// CHECK-LABEL: @g(60// CHECK-NEXT: entry:61// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 462// CHECK-NEXT: [[B:%.*]] = alloca [[STRUCT_B:%.*]], align 163// CHECK-NEXT: [[C:%.*]] = alloca [[STRUCT_C:%.*]], align 464// CHECK-NEXT: [[BYVAL_TEMP:%.*]] = alloca [[STRUCT_B]], align 165// CHECK-NEXT: [[BYVAL_TEMP4:%.*]] = alloca [[STRUCT_C]], align 466// CHECK-NEXT: [[COERCE_DIVE:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 067// CHECK-NEXT: store [2 x float] [[A_COERCE:%.*]], ptr [[COERCE_DIVE]], align 468// CHECK-NEXT: [[COERCE_DIVE1:%.*]] = getelementptr inbounds nuw [[STRUCT_B]], ptr [[B]], i32 0, i32 069// CHECK-NEXT: [[COERCE_VAL_II:%.*]] = trunc i64 [[B_COERCE:%.*]] to i4870// CHECK-NEXT: store i48 [[COERCE_VAL_II]], ptr [[COERCE_DIVE1]], align 171// CHECK-NEXT: [[COERCE_DIVE2:%.*]] = getelementptr inbounds nuw [[STRUCT_C]], ptr [[C]], i32 0, i32 072// CHECK-NEXT: store [4 x float] [[C_COERCE:%.*]], ptr [[COERCE_DIVE2]], align 473// CHECK-NEXT: [[COERCE_DIVE3:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 074// CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[COERCE_DIVE3]], align 475// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[BYVAL_TEMP]], ptr align 1 [[B]], i64 6, i1 false)76// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[BYVAL_TEMP4]], ptr align 4 [[C]], i64 16, i1 false)77// CHECK-NEXT: call void (i64, ...) @f(i64 [[TMP0]], ptr dead_on_return noundef [[BYVAL_TEMP]], ptr dead_on_return noundef [[BYVAL_TEMP4]])78// CHECK-NEXT: ret void79//80