167 lines · c
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-cir %s -o %t.cir2// RUN: FileCheck --input-file=%t.cir %s -check-prefix=CIR3// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-llvm %s -o %t-cir.ll4// RUN: FileCheck --input-file=%t-cir.ll %s -check-prefix=LLVM5// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -emit-llvm %s -o %t.ll6// RUN: FileCheck --input-file=%t.ll %s -check-prefix=OGCG7 8// CIR: !rec___va_list_tag = !cir.record<struct "__va_list_tag" {!u32i, !u32i, !cir.ptr<!void>, !cir.ptr<!void>}9// LLVM: %struct.__va_list_tag = type { i32, i32, ptr, ptr }10// OGCG: %struct.__va_list_tag = type { i32, i32, ptr, ptr }11 12int varargs(int count, ...) {13 __builtin_va_list args;14 __builtin_va_start(args, count);15 int res = __builtin_va_arg(args, int);16 __builtin_va_end(args);17 return res;18}19 20// CIR-LABEL: cir.func dso_local @varargs(21// CIR: %[[COUNT_ADDR:.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["count", init]22// CIR: %[[RET_ADDR:.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["__retval"]23// CIR: %[[VAAREA:.+]] = cir.alloca !cir.array<!rec___va_list_tag x 1>, !cir.ptr<!cir.array<!rec___va_list_tag x 1>>, ["args"]24// CIR: %[[RES_ADDR:.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["res", init]25// CIR: cir.store %arg0, %[[COUNT_ADDR]] : !s32i, !cir.ptr<!s32i>26// CIR: %[[VA_PTR0:.+]] = cir.cast array_to_ptrdecay %[[VAAREA]] : !cir.ptr<!cir.array<!rec___va_list_tag x 1>> -> !cir.ptr<!rec___va_list_tag>27// CIR: %[[COUNT_VAL:.+]] = cir.load{{.*}} %[[COUNT_ADDR]] : !cir.ptr<!s32i>, !s32i28// CIR: cir.va_start %[[VA_PTR0]] %[[COUNT_VAL]] : !cir.ptr<!rec___va_list_tag>, !s32i29// CIR: %[[VA_PTR1:.+]] = cir.cast array_to_ptrdecay %[[VAAREA]] : !cir.ptr<!cir.array<!rec___va_list_tag x 1>> -> !cir.ptr<!rec___va_list_tag>30// CIR: %[[VA_ARG:.+]] = cir.va_arg %[[VA_PTR1]] : (!cir.ptr<!rec___va_list_tag>) -> !s32i31// CIR: cir.store{{.*}} %[[VA_ARG]], %[[RES_ADDR]] : !s32i, !cir.ptr<!s32i>32// CIR: %[[VA_PTR2:.+]] = cir.cast array_to_ptrdecay %[[VAAREA]] : !cir.ptr<!cir.array<!rec___va_list_tag x 1>> -> !cir.ptr<!rec___va_list_tag>33// CIR: cir.va_end %[[VA_PTR2]] : !cir.ptr<!rec___va_list_tag>34// CIR: %[[RESULT:.+]] = cir.load{{.*}} %[[RES_ADDR]] : !cir.ptr<!s32i>, !s32i35// CIR: cir.store %[[RESULT]], %[[RET_ADDR]] : !s32i, !cir.ptr<!s32i>36// CIR: %[[RETVAL:.+]] = cir.load{{.*}} %[[RET_ADDR]] : !cir.ptr<!s32i>, !s32i37// CIR: cir.return %[[RETVAL]] : !s32i38 39// LLVM-LABEL: define dso_local i32 @varargs(40// LLVM: %[[COUNT_ADDR:.+]] = alloca i32{{.*}}41// LLVM: %[[RET_ADDR:.+]] = alloca i32{{.*}}42// LLVM: %[[VAAREA:.+]] = alloca [1 x %struct.__va_list_tag]{{.*}}43// LLVM: %[[RES_ADDR:.+]] = alloca i32{{.*}}44// LLVM: %[[VA_PTR0:.+]] = getelementptr %struct.__va_list_tag, ptr %[[VAAREA]], i32 045// LLVM: call void @llvm.va_start.p0(ptr %[[VA_PTR0]])46// LLVM: %[[VA_PTR1:.+]] = getelementptr %struct.__va_list_tag, ptr %[[VAAREA]], i32 047// LLVM: %[[VA_ARG:.+]] = va_arg ptr %[[VA_PTR1]], i3248// LLVM: store i32 %[[VA_ARG]], ptr %[[RES_ADDR]], {{.*}}49// LLVM: %[[VA_PTR2:.+]] = getelementptr %struct.__va_list_tag, ptr %[[VAAREA]], i32 050// LLVM: call void @llvm.va_end.p0(ptr %[[VA_PTR2]])51// LLVM: %[[TMP_LOAD:.+]] = load i32, ptr %[[RES_ADDR]], {{.*}}52// LLVM: store i32 %[[TMP_LOAD]], ptr %[[RET_ADDR]], {{.*}}53// LLVM: %[[RETVAL:.+]] = load i32, ptr %[[RET_ADDR]], {{.*}}54// LLVM: ret i32 %[[RETVAL]]55 56// OGCG-LABEL: define dso_local i32 @varargs57// OGCG: %[[COUNT_ADDR:.+]] = alloca i3258// OGCG: %[[VAAREA:.+]] = alloca [1 x %struct.__va_list_tag]59// OGCG: %[[RES_ADDR:.+]] = alloca i3260// OGCG: %[[DECAY:.+]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %[[VAAREA]]61// OGCG: call void @llvm.va_start.p0(ptr %[[DECAY]])62// OGCG: %[[DECAY1:.+]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %[[VAAREA]]63// OGCG: %[[GPOFFSET_PTR:.+]] = getelementptr inbounds nuw %struct.__va_list_tag, ptr %[[DECAY1]], i32 0, i32 064// OGCG: %[[GPOFFSET:.+]] = load i32, ptr %[[GPOFFSET_PTR]]65// OGCG: %[[COND:.+]] = icmp ule i32 %[[GPOFFSET]], 4066// OGCG: br i1 %[[COND]], label %vaarg.in_reg, label %vaarg.in_mem67//68// OGCG: vaarg.in_reg:69// OGCG: %[[REGSAVE_PTR:.+]] = getelementptr inbounds nuw %struct.__va_list_tag, ptr %[[DECAY1]], i32 0, i32 370// OGCG: %[[REGSAVE:.+]] = load ptr, ptr %[[REGSAVE_PTR]]71// OGCG: %[[VAADDR1:.+]] = getelementptr i8, ptr %[[REGSAVE]], i32 %[[GPOFFSET]]72// OGCG: br label %vaarg.end73//74// OGCG: vaarg.in_mem:75// OGCG: %[[OVERFLOW_PTR:.+]] = getelementptr inbounds nuw %struct.__va_list_tag, ptr %[[DECAY1]], i32 0, i32 276// OGCG: %[[OVERFLOW:.+]] = load ptr, ptr %[[OVERFLOW_PTR]]77// OGCG: br label %vaarg.end78//79// OGCG: vaarg.end:80// OGCG: %[[PHI:.+]] = phi ptr [ %[[VAADDR1]], %vaarg.in_reg ], [ %[[OVERFLOW]], %vaarg.in_mem ]81// OGCG: %[[LOADED:.+]] = load i32, ptr %[[PHI]]82// OGCG: store i32 %[[LOADED]], ptr %[[RES_ADDR]]83// OGCG: %[[DECAY2:.+]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %[[VAAREA]]84// OGCG: call void @llvm.va_end.p0(ptr %[[DECAY2]])85// OGCG: %[[VAL:.+]] = load i32, ptr %[[RES_ADDR]]86// OGCG: ret i32 %[[VAL]]87 88int stdarg_start(int count, ...) {89 __builtin_va_list args;90 __builtin_stdarg_start(args, 12345);91 int res = __builtin_va_arg(args, int);92 __builtin_va_end(args);93 return res;94}95 96// CIR-LABEL: cir.func dso_local @stdarg_start(97// CIR: %[[COUNT_ADDR:.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["count", init]98// CIR: %[[RET_ADDR:.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["__retval"]99// CIR: %[[VAAREA:.+]] = cir.alloca !cir.array<!rec___va_list_tag x 1>, !cir.ptr<!cir.array<!rec___va_list_tag x 1>>, ["args"]100// CIR: %[[RES_ADDR:.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["res", init]101// CIR: cir.store %arg0, %[[COUNT_ADDR]] : !s32i, !cir.ptr<!s32i>102// CIR: %[[VA_PTR0:.+]] = cir.cast array_to_ptrdecay %[[VAAREA]] : !cir.ptr<!cir.array<!rec___va_list_tag x 1>> -> !cir.ptr<!rec___va_list_tag>103// CIR: %[[C12345:.+]] = cir.const #cir.int<12345> : !s32i104// CIR: cir.va_start %[[VA_PTR0]] %[[C12345]] : !cir.ptr<!rec___va_list_tag>, !s32i105// CIR: %[[VA_PTR1:.+]] = cir.cast array_to_ptrdecay %[[VAAREA]] : !cir.ptr<!cir.array<!rec___va_list_tag x 1>> -> !cir.ptr<!rec___va_list_tag>106// CIR: %[[VA_ARG:.+]] = cir.va_arg %[[VA_PTR1]] : (!cir.ptr<!rec___va_list_tag>) -> !s32i107// CIR: cir.store{{.*}} %[[VA_ARG]], %[[RES_ADDR]] : !s32i, !cir.ptr<!s32i>108// CIR: %[[VA_PTR2:.+]] = cir.cast array_to_ptrdecay %[[VAAREA]] : !cir.ptr<!cir.array<!rec___va_list_tag x 1>> -> !cir.ptr<!rec___va_list_tag>109// CIR: cir.va_end %[[VA_PTR2]] : !cir.ptr<!rec___va_list_tag>110// CIR: %[[RESULT:.+]] = cir.load{{.*}} %[[RES_ADDR]] : !cir.ptr<!s32i>, !s32i111// CIR: cir.store %[[RESULT]], %[[RET_ADDR]] : !s32i, !cir.ptr<!s32i>112// CIR: %[[RETVAL:.+]] = cir.load{{.*}} %[[RET_ADDR]] : !cir.ptr<!s32i>, !s32i113// CIR: cir.return %[[RETVAL]] : !s32i114 115// LLVM-LABEL: define dso_local i32 @stdarg_start(116// LLVM: %[[COUNT_ADDR:.+]] = alloca i32{{.*}}117// LLVM: %[[RET_ADDR:.+]] = alloca i32{{.*}}118// LLVM: %[[VAAREA:.+]] = alloca [1 x %struct.__va_list_tag]{{.*}}119// LLVM: %[[RES_ADDR:.+]] = alloca i32{{.*}}120// LLVM: %[[VA_PTR0:.+]] = getelementptr %struct.__va_list_tag, ptr %[[VAAREA]], i32 0121// LLVM: call void @llvm.va_start.p0(ptr %[[VA_PTR0]])122// LLVM: %[[VA_PTR1:.+]] = getelementptr %struct.__va_list_tag, ptr %[[VAAREA]], i32 0123// LLVM: %[[VA_ARG:.+]] = va_arg ptr %[[VA_PTR1]], i32124// LLVM: store i32 %[[VA_ARG]], ptr %[[RES_ADDR]], {{.*}}125// LLVM: %[[VA_PTR2:.+]] = getelementptr %struct.__va_list_tag, ptr %[[VAAREA]], i32 0126// LLVM: call void @llvm.va_end.p0(ptr %[[VA_PTR2]])127// LLVM: %[[TMP_LOAD:.+]] = load i32, ptr %[[RES_ADDR]], {{.*}}128// LLVM: store i32 %[[TMP_LOAD]], ptr %[[RET_ADDR]], {{.*}}129// LLVM: %[[RETVAL:.+]] = load i32, ptr %[[RET_ADDR]], {{.*}}130// LLVM: ret i32 %[[RETVAL]]131 132// OGCG-LABEL: define dso_local i32 @stdarg_start133// OGCG: %[[COUNT_ADDR:.+]] = alloca i32134// OGCG: %[[VAAREA:.+]] = alloca [1 x %struct.__va_list_tag]135// OGCG: %[[RES_ADDR:.+]] = alloca i32136// OGCG: %[[DECAY:.+]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %[[VAAREA]], i64 0, i64 0137// OGCG: call void @llvm.va_start.p0(ptr %[[DECAY]])138// OGCG: %[[DECAY1:.+]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %[[VAAREA]], i64 0, i64 0139// OGCG: %[[GPOFFSET_PTR:.+]] = getelementptr inbounds nuw %struct.__va_list_tag, ptr %[[DECAY1]], i32 0, i32 0140// OGCG: %[[GPOFFSET:.+]] = load i32, ptr %[[GPOFFSET_PTR]]141// OGCG: %[[COND:.+]] = icmp ule i32 %[[GPOFFSET]], 40142// OGCG: br i1 %[[COND]], label %vaarg.in_reg, label %vaarg.in_mem143//144// OGCG: vaarg.in_reg: 145// OGCG: %[[REGSAVE_PTR:.+]] = getelementptr inbounds nuw %struct.__va_list_tag, ptr %[[DECAY1]], i32 0, i32 3146// OGCG: %[[REGSAVE:.+]] = load ptr, ptr %[[REGSAVE_PTR]]147// OGCG: %[[VAADDR1:.+]] = getelementptr i8, ptr %[[REGSAVE]], i32 %[[GPOFFSET]]148// OGCG: %[[NEXT_GPOFFSET:.+]] = add i32 %[[GPOFFSET]], 8149// OGCG: store i32 %[[NEXT_GPOFFSET]], ptr %[[GPOFFSET_PTR]]150// OGCG: br label %vaarg.end151//152// OGCG: vaarg.in_mem:153// OGCG: %[[OVERFLOW_PTR:.+]] = getelementptr inbounds nuw %struct.__va_list_tag, ptr %[[DECAY1]], i32 0, i32 2154// OGCG: %[[OVERFLOW:.+]] = load ptr, ptr %[[OVERFLOW_PTR]]155// OGCG: %[[OVERFLOW_NEXT:.+]] = getelementptr i8, ptr %[[OVERFLOW]], i32 8156// OGCG: store ptr %[[OVERFLOW_NEXT]], ptr %[[OVERFLOW_PTR]]157// OGCG: br label %vaarg.end158//159// OGCG: vaarg.end:160// OGCG: %[[PHI:.+]] = phi ptr [ %[[VAADDR1]], %vaarg.in_reg ], [ %[[OVERFLOW]], %vaarg.in_mem ]161// OGCG: %[[LOADED:.+]] = load i32, ptr %[[PHI]]162// OGCG: store i32 %[[LOADED]], ptr %[[RES_ADDR]]163// OGCG: %[[DECAY2:.+]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %[[VAAREA]], i64 0, i64 0164// OGCG: call void @llvm.va_end.p0(ptr %[[DECAY2]])165// OGCG: %[[VAL:.+]] = load i32, ptr %[[RES_ADDR]]166// OGCG: ret i32 %[[VAL]]167