1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -std=c2x -verify -emit-llvm %s -o - | FileCheck %s
// expected-no-diagnostics
struct S { int x, y; };
struct T {
int i;
struct S s;
};
// CHECK: @[[CONST_T1:.+]] = private unnamed_addr constant %struct.T { i32 1, %struct.S zeroinitializer }
// CHECK: @[[CONST_T2:.+]] = private unnamed_addr constant %struct.T { i32 1, %struct.S { i32 2, i32 0 } }
void test_struct() {
struct S s = {};
// CHECK: define {{.*}} void @test_struct
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[S:.+]] = alloca %struct.S
// CHECK-NEXT: call void @llvm.memset.p0.i64({{.*}}%[[S]], i8 0, i64 8, i1 false)
}
void test_var() {
int i = {};
// CHECK: define {{.*}} void @test_var
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[I:.+]] = alloca i32
// CHECK-NEXT: store i32 0, ptr %[[I]]
}
void test_simple_compound_literal() {
int j = (int){};
// CHECK: define {{.*}} void @test_simple_compound_literal
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[J:.+]] = alloca i32
// CHECK-NEXT: %[[COMPOUND:.+]] = alloca i32
// CHECK-NEXT: store i32 0, ptr %[[COMPOUND]]
// CHECK-NEXT: %[[MEM:.+]] = load i32, ptr %[[COMPOUND]]
// CHECK-NEXT: store i32 %[[MEM]], ptr %[[J]]
}
void test_zero_size_array() {
int unknown_size[] = {};
// CHECK: define {{.*}} void @test_zero_size_array
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[UNKNOWN:.+]] = alloca [0 x i32]
}
void test_vla() {
int num_elts = 12;
int vla[num_elts] = {};
// CHECK: define {{.*}} void @test_vla
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[NUM_ELTS_PTR:.+]] = alloca i32
// CHECK: %[[VLA_EXPR:.+]] = alloca i64
// CHECK-NEXT: store i32 12, ptr %[[NUM_ELTS_PTR]]
// CHECK-NEXT: %[[NUM_ELTS:.+]] = load i32, ptr %[[NUM_ELTS_PTR]]
// CHECK-NEXT: %[[NUM_ELTS_EXT:.+]] = zext i32 %[[NUM_ELTS]] to i64
// CHECK: %[[VLA:.+]] = alloca i32, i64 %[[NUM_ELTS_EXT]]
// CHECK-NEXT: store i64 %[[NUM_ELTS_EXT]], ptr %[[VLA_EXPR]]
// CHECK-NEXT: %[[BYTES_TO_COPY:.+]] = mul nuw i64 %[[NUM_ELTS_EXT]], 4
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr {{.*}} %[[VLA]], i8 0, i64 %[[BYTES_TO_COPY]], i1 false)
}
void test_zero_size_vla() {
int num_elts = 0;
int vla[num_elts] = {};
// CHECK: define {{.*}} void @test_zero_size_vla
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[NUM_ELTS_PTR:.+]] = alloca i32
// CHECK: %[[VLA_EXPR:.+]] = alloca i64
// CHECK-NEXT: store i32 0, ptr %[[NUM_ELTS_PTR]]
// CHECK-NEXT: %[[NUM_ELTS:.+]] = load i32, ptr %[[NUM_ELTS_PTR]]
// CHECK-NEXT: %[[NUM_ELTS_EXT:.+]] = zext i32 %[[NUM_ELTS]] to i64
// CHECK: %[[VLA:.+]] = alloca i32, i64 %[[NUM_ELTS_EXT]]
// CHECK-NEXT: store i64 %[[NUM_ELTS_EXT]], ptr %[[VLA_EXPR]]
// CHECK-NEXT: %[[BYTES_TO_COPY:.+]] = mul nuw i64 %[[NUM_ELTS_EXT]], 4
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr {{.*}} %[[VLA]], i8 0, i64 %[[BYTES_TO_COPY]], i1 false)
}
void test_nested_structs() {
struct T t1 = { 1, {} };
struct T t2 = { 1, { 2, {} } };
struct T t3 = { (int){}, {} };
// CHECK: define {{.*}} void @test_nested_structs
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[T1:.+]] = alloca %struct.T
// CHECK-NEXT: %[[T2:.+]] = alloca %struct.T
// CHECK-NEXT: %[[T3:.+]] = alloca %struct.T
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr {{.*}} %[[T1]], ptr {{.*}} @[[CONST_T1]], i64 12, i1 false)
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr {{.*}} %[[T2]], ptr {{.*}} @[[CONST_T2]], i64 12, i1 false)
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr {{.*}} %[[T3]], i8 0, i64 12, i1 false)
}
void test_vla_of_nested_structs(int num_elts) {
struct T t3[num_elts] = {};
// CHECK: define {{.*}} void @test_vla_of_nested_structs(i32 noundef %[[NUM_ELTS_PARAM:.+]])
// CHECK-NEXT: entry:
// CHECK-NEXT: %[[NUM_ELTS_PTR:.+]] = alloca i32
// CHECK: %[[VLA_EXPR:.+]] = alloca i64
// CHECK-NEXT: store i32 %[[NUM_ELTS_PARAM]], ptr %[[NUM_ELTS_PTR]]
// CHECK-NEXT: %[[NUM_ELTS_LOCAL:.+]] = load i32, ptr %[[NUM_ELTS_PTR]]
// CHECK-NEXT: %[[NUM_ELTS_EXT:.+]] = zext i32 %[[NUM_ELTS_LOCAL]] to i64
// CHECK: %[[VLA:.+]] = alloca %struct.T, i64 %[[NUM_ELTS_EXT]]
// CHECK-NEXT: store i64 %[[NUM_ELTS_EXT]], ptr %[[VLA_EXPR]]
// CHECK-NEXT: %[[COPY_BYTES:.+]] = mul nuw i64 %[[NUM_ELTS_EXT]], 12
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr {{.*}} %[[VLA]], i8 0, i64 %[[COPY_BYTES]], i1 false)
}
|
