Skip to content

Commit 92cfe1e

Browse files
efriedma-quicefriedma-quic
committed
Add non-power-of-two testcase.
1 parent 9b8fdaf commit 92cfe1e

File tree

1 file changed

+44
-24
lines changed

1 file changed

+44
-24
lines changed

‎clang/test/CodeGen/arm64ec-varargs.c‎

Lines changed: 44 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -2,58 +2,78 @@
22
// RUN: %clang_cc1 -opaque-pointers -triple arm64ec-windows-msvc -emit-llvm -o - %s | FileCheck %s
33

44
typedef struct { float x[2]; } A;
5-
typedef struct { float x[4]; } B;
5+
typedef struct { char x[6]; } B;
6+
typedef struct { float x[4]; } C;
67
void f(A a, ...) {
7-
__builtin_va_list b;
8-
__builtin_va_start(b, a);
9-
float x = __builtin_va_arg(b, A).x[0];
10-
float y = __builtin_va_arg(b, B).x[0];
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];
1113
}
12-
void g(A a, B b) { f(a, b); }
14+
void g(A a, B b, C c) { f(a, b, c); }
1315

1416
// CHECK-LABEL: @f(
1517
// CHECK-NEXT: entry:
1618
// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 4
17-
// CHECK-NEXT: [[B:%.*]] = alloca ptr, align 8
19+
// CHECK-NEXT: [[ARGS:%.*]] = alloca ptr, align 8
1820
// CHECK-NEXT: [[X:%.*]] = alloca float, align 4
1921
// CHECK-NEXT: [[REF_TMP:%.*]] = alloca [[STRUCT_A]], align 4
2022
// CHECK-NEXT: [[Y:%.*]] = alloca float, align 4
21-
// CHECK-NEXT: [[REF_TMP2:%.*]] = alloca [[STRUCT_B:%.*]], align 4
23+
// CHECK-NEXT: [[REF_TMP2:%.*]] = alloca [[STRUCT_B:%.*]], align 1
24+
// CHECK-NEXT: [[Z:%.*]] = alloca float, align 4
25+
// CHECK-NEXT: [[REF_TMP7:%.*]] = alloca [[STRUCT_C:%.*]], align 4
2226
// CHECK-NEXT: [[COERCE_DIVE:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 0
2327
// CHECK-NEXT: store i64 [[A_COERCE:%.*]], ptr [[COERCE_DIVE]], align 4
24-
// CHECK-NEXT: call void @llvm.va_start.p0(ptr [[B]])
25-
// CHECK-NEXT: [[ARGP_CUR:%.*]] = load ptr, ptr [[B]], align 8
28+
// CHECK-NEXT: call void @llvm.va_start.p0(ptr [[ARGS]])
29+
// CHECK-NEXT: [[ARGP_CUR:%.*]] = load ptr, ptr [[ARGS]], align 8
2630
// CHECK-NEXT: [[ARGP_NEXT:%.*]] = getelementptr inbounds i8, ptr [[ARGP_CUR]], i64 8
27-
// CHECK-NEXT: store ptr [[ARGP_NEXT]], ptr [[B]], align 8
31+
// CHECK-NEXT: store ptr [[ARGP_NEXT]], ptr [[ARGS]], align 8
2832
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[REF_TMP]], ptr align 8 [[ARGP_CUR]], i64 8, i1 false)
2933
// CHECK-NEXT: [[X1:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[REF_TMP]], i32 0, i32 0
3034
// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [2 x float], ptr [[X1]], i64 0, i64 0
3135
// CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[ARRAYIDX]], align 4
3236
// CHECK-NEXT: store float [[TMP0]], ptr [[X]], align 4
33-
// CHECK-NEXT: [[ARGP_CUR3:%.*]] = load ptr, ptr [[B]], align 8
37+
// CHECK-NEXT: [[ARGP_CUR3:%.*]] = load ptr, ptr [[ARGS]], align 8
3438
// CHECK-NEXT: [[ARGP_NEXT4:%.*]] = getelementptr inbounds i8, ptr [[ARGP_CUR3]], i64 8
35-
// CHECK-NEXT: store ptr [[ARGP_NEXT4]], ptr [[B]], align 8
39+
// CHECK-NEXT: store ptr [[ARGP_NEXT4]], ptr [[ARGS]], align 8
3640
// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[ARGP_CUR3]], align 8
37-
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[REF_TMP2]], ptr align 4 [[TMP1]], i64 16, i1 false)
41+
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[REF_TMP2]], ptr align 1 [[TMP1]], i64 6, i1 false)
3842
// CHECK-NEXT: [[X5:%.*]] = getelementptr inbounds nuw [[STRUCT_B]], ptr [[REF_TMP2]], i32 0, i32 0
39-
// CHECK-NEXT: [[ARRAYIDX6:%.*]] = getelementptr inbounds [4 x float], ptr [[X5]], i64 0, i64 0
40-
// CHECK-NEXT: [[TMP2:%.*]] = load float, ptr [[ARRAYIDX6]], align 4
41-
// CHECK-NEXT: store float [[TMP2]], ptr [[Y]], align 4
43+
// CHECK-NEXT: [[ARRAYIDX6:%.*]] = getelementptr inbounds [6 x i8], ptr [[X5]], i64 0, i64 0
44+
// CHECK-NEXT: [[TMP2:%.*]] = load i8, ptr [[ARRAYIDX6]], align 1
45+
// CHECK-NEXT: [[CONV:%.*]] = sitofp i8 [[TMP2]] to float
46+
// CHECK-NEXT: store float [[CONV]], ptr [[Y]], align 4
47+
// CHECK-NEXT: [[ARGP_CUR8:%.*]] = load ptr, ptr [[ARGS]], align 8
48+
// CHECK-NEXT: [[ARGP_NEXT9:%.*]] = getelementptr inbounds i8, ptr [[ARGP_CUR8]], i64 8
49+
// CHECK-NEXT: store ptr [[ARGP_NEXT9]], ptr [[ARGS]], align 8
50+
// CHECK-NEXT: [[TMP3:%.*]] = load ptr, ptr [[ARGP_CUR8]], align 8
51+
// 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 0
53+
// CHECK-NEXT: [[ARRAYIDX11:%.*]] = getelementptr inbounds [4 x float], ptr [[X10]], i64 0, i64 0
54+
// CHECK-NEXT: [[TMP4:%.*]] = load float, ptr [[ARRAYIDX11]], align 4
55+
// CHECK-NEXT: store float [[TMP4]], ptr [[Z]], align 4
4256
// CHECK-NEXT: ret void
4357
//
4458
//
4559
// CHECK-LABEL: @g(
4660
// CHECK-NEXT: entry:
4761
// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 4
48-
// CHECK-NEXT: [[B:%.*]] = alloca [[STRUCT_B:%.*]], align 4
49-
// CHECK-NEXT: [[BYVAL_TEMP:%.*]] = alloca [[STRUCT_B]], align 4
62+
// CHECK-NEXT: [[B:%.*]] = alloca [[STRUCT_B:%.*]], align 1
63+
// CHECK-NEXT: [[C:%.*]] = alloca [[STRUCT_C:%.*]], align 4
64+
// CHECK-NEXT: [[BYVAL_TEMP:%.*]] = alloca [[STRUCT_B]], align 1
65+
// CHECK-NEXT: [[BYVAL_TEMP4:%.*]] = alloca [[STRUCT_C]], align 4
5066
// CHECK-NEXT: [[COERCE_DIVE:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 0
5167
// CHECK-NEXT: store [2 x float] [[A_COERCE:%.*]], ptr [[COERCE_DIVE]], align 4
5268
// CHECK-NEXT: [[COERCE_DIVE1:%.*]] = getelementptr inbounds nuw [[STRUCT_B]], ptr [[B]], i32 0, i32 0
53-
// CHECK-NEXT: store [4 x float] [[B_COERCE:%.*]], ptr [[COERCE_DIVE1]], align 4
54-
// CHECK-NEXT: [[COERCE_DIVE2:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 0
55-
// CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[COERCE_DIVE2]], align 4
56-
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[BYVAL_TEMP]], ptr align 4 [[B]], i64 16, i1 false)
57-
// CHECK-NEXT: call void (i64, ...) @f(i64 [[TMP0]], ptr dead_on_return noundef [[BYVAL_TEMP]])
69+
// CHECK-NEXT: [[COERCE_VAL_II:%.*]] = trunc i64 [[B_COERCE:%.*]] to i48
70+
// CHECK-NEXT: store i48 [[COERCE_VAL_II]], ptr [[COERCE_DIVE1]], align 1
71+
// CHECK-NEXT: [[COERCE_DIVE2:%.*]] = getelementptr inbounds nuw [[STRUCT_C]], ptr [[C]], i32 0, i32 0
72+
// CHECK-NEXT: store [4 x float] [[C_COERCE:%.*]], ptr [[COERCE_DIVE2]], align 4
73+
// CHECK-NEXT: [[COERCE_DIVE3:%.*]] = getelementptr inbounds nuw [[STRUCT_A]], ptr [[A]], i32 0, i32 0
74+
// CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[COERCE_DIVE3]], align 4
75+
// 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]])
5878
// CHECK-NEXT: ret void
5979
//

0 commit comments

Comments
 (0)