93 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py2// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-unknown-unknown | FileCheck %s3 4#include <stdarg.h>5 6struct S { float a[3]; };7struct S a[5];8 9// CHECK-LABEL: @check(10// CHECK-NEXT: entry:11// CHECK-NEXT: [[RETVAL:%.*]] = alloca i32, align 412// CHECK-NEXT: [[Z_ADDR:%.*]] = alloca i32, align 413// CHECK-NEXT: [[ARG:%.*]] = alloca [[STRUCT_S:%.*]], align 414// CHECK-NEXT: [[P:%.*]] = alloca ptr, align 815// CHECK-NEXT: [[AP:%.*]] = alloca [1 x %struct.__va_list_tag], align 1616// CHECK-NEXT: [[J:%.*]] = alloca i32, align 417// CHECK-NEXT: [[K:%.*]] = alloca i32, align 418// CHECK-NEXT: [[I:%.*]] = alloca i32, align 419// CHECK-NEXT: [[TMP:%.*]] = alloca [[STRUCT_S]], align 420// CHECK-NEXT: store i32 [[Z:%.*]], ptr [[Z_ADDR]], align 421// CHECK-NEXT: store i32 0, ptr [[J]], align 422// CHECK-NEXT: store i32 0, ptr [[K]], align 423// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr [[AP]], i64 0, i64 024// CHECK-NEXT: call void @llvm.va_start.p0(ptr [[ARRAYDECAY]])25// CHECK-NEXT: store ptr getelementptr inbounds ([5 x %struct.S], ptr @a, i64 0, i64 2), ptr [[P]], align 826// CHECK-NEXT: [[ARRAYDECAY1:%.*]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr [[AP]], i64 0, i64 027// CHECK-NEXT: [[FP_OFFSET_P:%.*]] = getelementptr inbounds nuw [[STRUCT___VA_LIST_TAG:%.*]], ptr [[ARRAYDECAY1]], i32 0, i32 128// CHECK-NEXT: [[FP_OFFSET:%.*]] = load i32, ptr [[FP_OFFSET_P]], align 429// CHECK-NEXT: [[FITS_IN_FP:%.*]] = icmp ule i32 [[FP_OFFSET]], 14430// CHECK-NEXT: br i1 [[FITS_IN_FP]], label [[VAARG_IN_REG:%.*]], label [[VAARG_IN_MEM:%.*]]31// CHECK: vaarg.in_reg:32// CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds nuw [[STRUCT___VA_LIST_TAG]], ptr [[ARRAYDECAY1]], i32 0, i32 333// CHECK-NEXT: [[REG_SAVE_AREA:%.*]] = load ptr, ptr [[TMP0]], align 1634// CHECK-NEXT: [[TMP1:%.*]] = getelementptr i8, ptr [[REG_SAVE_AREA]], i32 [[FP_OFFSET]]35// CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, ptr [[TMP1]], i64 1636// CHECK-NEXT: [[TMP3:%.*]] = load <2 x float>, ptr [[TMP1]], align 1637// CHECK-NEXT: [[TMP4:%.*]] = getelementptr inbounds nuw { <2 x float>, float }, ptr [[TMP]], i32 0, i32 038// CHECK-NEXT: store <2 x float> [[TMP3]], ptr [[TMP4]], align 439// CHECK-NEXT: [[TMP5:%.*]] = load float, ptr [[TMP2]], align 1640// CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds nuw { <2 x float>, float }, ptr [[TMP]], i32 0, i32 141// CHECK-NEXT: store float [[TMP5]], ptr [[TMP6]], align 442// CHECK-NEXT: [[TMP7:%.*]] = add i32 [[FP_OFFSET]], 3243// CHECK-NEXT: store i32 [[TMP7]], ptr [[FP_OFFSET_P]], align 444// CHECK-NEXT: br label [[VAARG_END:%.*]]45// CHECK: vaarg.in_mem:46// CHECK-NEXT: [[OVERFLOW_ARG_AREA_P:%.*]] = getelementptr inbounds nuw [[STRUCT___VA_LIST_TAG]], ptr [[ARRAYDECAY1]], i32 0, i32 247// CHECK-NEXT: [[OVERFLOW_ARG_AREA:%.*]] = load ptr, ptr [[OVERFLOW_ARG_AREA_P]], align 848// CHECK-NEXT: [[OVERFLOW_ARG_AREA_NEXT:%.*]] = getelementptr i8, ptr [[OVERFLOW_ARG_AREA]], i32 1649// CHECK-NEXT: store ptr [[OVERFLOW_ARG_AREA_NEXT]], ptr [[OVERFLOW_ARG_AREA_P]], align 850// CHECK-NEXT: br label [[VAARG_END]]51// CHECK: vaarg.end:52// CHECK-NEXT: [[VAARG_ADDR:%.*]] = phi ptr [ [[TMP]], [[VAARG_IN_REG]] ], [ [[OVERFLOW_ARG_AREA]], [[VAARG_IN_MEM]] ]53// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[ARG]], ptr align 4 [[VAARG_ADDR]], i64 12, i1 false)54// CHECK-NEXT: [[ARRAYDECAY2:%.*]] = getelementptr inbounds [1 x %struct.__va_list_tag], ptr [[AP]], i64 0, i64 055// CHECK-NEXT: call void @llvm.va_end.p0(ptr [[ARRAYDECAY2]])56// CHECK-NEXT: [[TMP8:%.*]] = load ptr, ptr [[P]], align 857// CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne ptr [[TMP8]], null58// CHECK-NEXT: br i1 [[TOBOOL]], label [[LAND_LHS_TRUE:%.*]], label [[IF_END:%.*]]59// CHECK: land.lhs.true:60// CHECK-NEXT: [[TMP9:%.*]] = load ptr, ptr [[P]], align 861// CHECK-NEXT: [[A:%.*]] = getelementptr inbounds nuw [[STRUCT_S]], ptr [[TMP9]], i32 0, i32 062// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [3 x float], ptr [[A]], i64 0, i64 263// CHECK-NEXT: [[TMP10:%.*]] = load float, ptr [[ARRAYIDX]], align 464// CHECK-NEXT: [[A3:%.*]] = getelementptr inbounds nuw [[STRUCT_S]], ptr [[ARG]], i32 0, i32 065// CHECK-NEXT: [[ARRAYIDX4:%.*]] = getelementptr inbounds [3 x float], ptr [[A3]], i64 0, i64 266// CHECK-NEXT: [[TMP11:%.*]] = load float, ptr [[ARRAYIDX4]], align 467// CHECK-NEXT: [[CMP:%.*]] = fcmp une float [[TMP10]], [[TMP11]]68// CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN:%.*]], label [[IF_END]]69// CHECK: if.then:70// CHECK-NEXT: store i32 0, ptr [[RETVAL]], align 471// CHECK-NEXT: br label [[RETURN:%.*]]72// CHECK: if.end:73// CHECK-NEXT: store i32 1, ptr [[RETVAL]], align 474// CHECK-NEXT: br label [[RETURN]]75// CHECK: return:76// CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[RETVAL]], align 477// CHECK-NEXT: ret i32 [[TMP12]]78//79int check (int z, ...)80{81 struct S arg, *p;82 va_list ap;83 int j = 0, k = 0;84 int i;85 va_start (ap, z);86 p = &a[2];87 arg = va_arg (ap, struct S);88 va_end (ap);89 if (p && p->a[2] != arg.a[2])90 return 0;91 return 1;92}93