llvm-project/clang/test/CodeGenCXX/cxx1y-initializer-aggregate.cpp
Nikita Popov b3d99ac2cd
[CodeGen] Use data layout aware constant folder in CGBuilder (#184819)
Use the DataLayout-aware TargetFolder instead of ConstantFolder in
Clang's CGBuilder. The primary impact of this change is that GEP
constant expressions are now emitted in canonical `getelementptr i8`
form. This is in preparation for the migration to ptradd, which requires
this form.

Part of the test updates were performed by Claude Code and reviewed by
me.
2026-03-06 08:33:34 +00:00

81 lines
2.1 KiB
C++

// RUN: %clang_cc1 -std=c++1y %s -triple x86_64-linux-gnu -emit-llvm -o - | FileCheck %s
struct A {
int n = 0;
const char *p;
char k = p[n];
int f();
int x = f();
union {
char c;
double d = 1.0;
};
};
int f();
union B {
int a;
int f();
int b = f();
};
A a { .p = "foobar" };
A b { 4, "bazquux", .x = 42, .c = 9 };
A c { 1, 0, 'A', f(), { 3 } };
// CHECK: @[[STR_A:.*]] = {{.*}} [7 x i8] c"foobar\00"
// CHECK: @a ={{.*}} global {{.*}} zeroinitializer
// @b has a constant initializer
// CHECK: @[[STR_B:.*]] = {{.*}} [8 x i8] c"bazquux\00"
// CHECK: @b ={{.*}} global {{.*}} i32 4, {{.*}} @[[STR_B]], i8 117, i32 42, {{.*}} i8 9
B x;
B y {};
B z { 1 };
// CHECK: @z ={{.*}} global {{.*}} { i32 1 }
// Brace initialization should initialize the first field even though it is
// unnamed.
union C {
struct {
int C::*memptr;
};
};
C n{};
// CHECK: @n ={{.*}} global %union.C { %struct.anon { i64 -1 } }, align 8
// Initialization of 'a':
// CHECK: store i32 0, ptr @a
// CHECK: store ptr @[[STR_A]], ptr getelementptr inbounds nuw (i8, ptr @a, i64 8)
// CHECK: load ptr, ptr getelementptr inbounds nuw (i8, ptr @a, i64 8)
// CHECK: load i32, ptr @a
// CHECK: getelementptr inbounds i8, ptr %{{.*}}, {{.*}} %{{.*}}
// CHECK: store i8 %{{.*}}, ptr getelementptr inbounds nuw (i8, ptr @a, i64 16)
// CHECK: call noundef i32 @_ZN1A1fEv({{.*}} @a)
// CHECK: store i32 %{{.*}}, ptr getelementptr inbounds nuw (i8, ptr @a, i64 20)
// CHECK: store double 1.000000e+00, ptr getelementptr inbounds nuw (i8, ptr @a, i64 24)
// No dynamic initialization of 'b':
// CHECK-NOT: @b
// Initialization of 'c':
// CHECK: store i32 1, ptr @c
// CHECK: store ptr null, ptr getelementptr inbounds nuw (i8, ptr @c, i64 8)
// CHECK-NOT: load
// CHECK: store i8 65, ptr getelementptr inbounds nuw (i8, ptr @c, i64 16)
// CHECK: call noundef i32 @_Z1fv()
// CHECK: store i32 %{{.*}}, ptr getelementptr inbounds nuw (i8, ptr @c, i64 20)
// CHECK-NOT: C1Ev
// CHECK: store i8 3, ptr getelementptr inbounds nuw (i8, ptr @c, i64 24)
// CHECK: call void @_ZN1BC1Ev({{.*}} @x)
// CHECK: call noundef i32 @_ZN1B1fEv({{.*}} @y)
// CHECK: store i32 %{{.*}}, ptr @y