Skip to content

Commit ba1d21c

Browse files
AaronBallmanAaronBallman
authored
[C2y] Claim conformance to WG14 N3254 (#97581)
The test coverage for this has to lean on LLVM's test coverage for the actual TBAA behavior, but this demonstrates that Clang emits reasonable LLVM IR to support this construct. It would be surprising should LLVM break this pattern given how ubiquitous the pattern is in the wild. The paper can be found at: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3254.pdf
1 parent 854bbc5 commit ba1d21c

File tree

2 files changed

+150
-1
lines changed

2 files changed

+150
-1
lines changed

‎clang/test/C/C2y/n3254.c

Lines changed: 149 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,149 @@
1+
// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
2+
// RUN: %clang_cc1 -triple=x86_64 -std=c2y %s -emit-llvm -o - | FileCheck %s
3+
4+
/* WG14 N3254: Yes
5+
* Accessing byte arrays
6+
*
7+
* NB: this basically boils down to how LLVM handles TBAA, so the best we can
8+
* do for a Clang test is to test that the LLVM IR we pass is reasonable and we
9+
* presume that LLVM has the test coverage to ensure that this behavior isn't
10+
* regressed.
11+
*/
12+
13+
struct S {
14+
int x;
15+
char c;
16+
float f;
17+
};
18+
19+
#define DECL_BUFFER(Ty, Name) alignas(Ty) unsigned char Name[sizeof(Ty)]
20+
21+
// CHECK-LABEL: define dso_local i32 @foo(
22+
// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
23+
// CHECK-NEXT: [[ENTRY:.*:]]
24+
// CHECK-NEXT: [[BUFFER:%.*]] = alloca [12 x i8], align 1
25+
// CHECK-NEXT: [[S_PTR:%.*]] = alloca ptr, align 8
26+
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[BUFFER]], i8 0, i64 12, i1 false)
27+
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
28+
// CHECK-NEXT: store ptr [[ARRAYDECAY]], ptr [[S_PTR]], align 8
29+
// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[S_PTR]], align 8
30+
// CHECK-NEXT: [[X:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[TMP0]], i32 0, i32 0
31+
// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[X]], align 4
32+
// CHECK-NEXT: ret i32 [[TMP1]]
33+
//
34+
int foo() {
35+
DECL_BUFFER(struct S, buffer) = {};
36+
struct S *s_ptr = (struct S *)buffer;
37+
return s_ptr->x;
38+
}
39+
40+
// CHECK-LABEL: define dso_local signext i8 @bar(
41+
// CHECK-SAME: ) #[[ATTR0]] {
42+
// CHECK-NEXT: [[ENTRY:.*:]]
43+
// CHECK-NEXT: [[BUFFER:%.*]] = alloca [12 x i8], align 1
44+
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
45+
// CHECK-NEXT: [[C:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[ARRAYDECAY]], i32 0, i32 1
46+
// CHECK-NEXT: store i8 97, ptr [[C]], align 1
47+
// CHECK-NEXT: [[ARRAYDECAY1:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
48+
// CHECK-NEXT: [[C2:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[ARRAYDECAY1]], i32 0, i32 1
49+
// CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr [[C2]], align 1
50+
// CHECK-NEXT: ret i8 [[TMP0]]
51+
//
52+
char bar() {
53+
DECL_BUFFER(struct S, buffer);
54+
((struct S *)buffer)->c = 'a';
55+
return ((struct S *)buffer)->c;
56+
}
57+
58+
// CHECK-LABEL: define dso_local float @baz(
59+
// CHECK-SAME: ) #[[ATTR0]] {
60+
// CHECK-NEXT: [[ENTRY:.*:]]
61+
// CHECK-NEXT: [[BUFFER:%.*]] = alloca [12 x i8], align 1
62+
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
63+
// CHECK-NEXT: [[F:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[ARRAYDECAY]], i32 0, i32 2
64+
// CHECK-NEXT: store float 3.000000e+00, ptr [[F]], align 1
65+
// CHECK-NEXT: [[ARRAYDECAY1:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
66+
// CHECK-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[ARRAYDECAY1]], i32 0, i32 2
67+
// CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[F2]], align 1
68+
// CHECK-NEXT: ret float [[TMP0]]
69+
//
70+
float baz() {
71+
DECL_BUFFER(struct S, buffer);
72+
((struct S *)buffer)->f = 3.0f;
73+
return ((const struct S *)buffer)->f;
74+
}
75+
76+
struct T {
77+
DECL_BUFFER(struct S, buffer);
78+
};
79+
80+
// CHECK-LABEL: define dso_local signext i8 @quux(
81+
// CHECK-SAME: ) #[[ATTR0]] {
82+
// CHECK-NEXT: [[ENTRY:.*:]]
83+
// CHECK-NEXT: [[T:%.*]] = alloca [[STRUCT_T:%.*]], align 1
84+
// CHECK-NEXT: [[S_PTR:%.*]] = alloca ptr, align 8
85+
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[T]], i8 0, i64 12, i1 false)
86+
// CHECK-NEXT: [[BUFFER:%.*]] = getelementptr inbounds [[STRUCT_T]], ptr [[T]], i32 0, i32 0
87+
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
88+
// CHECK-NEXT: store ptr [[ARRAYDECAY]], ptr [[S_PTR]], align 8
89+
// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[S_PTR]], align 8
90+
// CHECK-NEXT: [[C:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[TMP0]], i32 0, i32 1
91+
// CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[C]], align 4
92+
// CHECK-NEXT: ret i8 [[TMP1]]
93+
//
94+
char quux() {
95+
struct T t = {};
96+
struct S *s_ptr = (struct S *)t.buffer;
97+
return s_ptr->c;
98+
}
99+
100+
// CHECK-LABEL: define dso_local float @quibble(
101+
// CHECK-SAME: ) #[[ATTR0]] {
102+
// CHECK-NEXT: [[ENTRY:.*:]]
103+
// CHECK-NEXT: [[BUFFER:%.*]] = alloca [12 x i8], align 1
104+
// CHECK-NEXT: [[T_PTR:%.*]] = alloca ptr, align 8
105+
// CHECK-NEXT: [[S_PTR:%.*]] = alloca ptr, align 8
106+
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[BUFFER]], i8 0, i64 12, i1 false)
107+
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
108+
// CHECK-NEXT: store ptr [[ARRAYDECAY]], ptr [[T_PTR]], align 8
109+
// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[T_PTR]], align 8
110+
// CHECK-NEXT: [[BUFFER1:%.*]] = getelementptr inbounds [[STRUCT_T:%.*]], ptr [[TMP0]], i32 0, i32 0
111+
// CHECK-NEXT: [[ARRAYDECAY2:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER1]], i64 0, i64 0
112+
// CHECK-NEXT: store ptr [[ARRAYDECAY2]], ptr [[S_PTR]], align 8
113+
// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[S_PTR]], align 8
114+
// CHECK-NEXT: [[F:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[TMP1]], i32 0, i32 2
115+
// CHECK-NEXT: [[TMP2:%.*]] = load float, ptr [[F]], align 4
116+
// CHECK-NEXT: ret float [[TMP2]]
117+
//
118+
float quibble() {
119+
DECL_BUFFER(struct T, buffer) = {};
120+
const struct T *t_ptr = (struct T *)buffer;
121+
const struct S *s_ptr = (struct S *)t_ptr->buffer;
122+
return s_ptr->f;
123+
}
124+
125+
// CHECK-LABEL: define dso_local i32 @quorble(
126+
// CHECK-SAME: ) #[[ATTR0]] {
127+
// CHECK-NEXT: [[ENTRY:.*:]]
128+
// CHECK-NEXT: [[BUFFER:%.*]] = alloca [12 x i8], align 1
129+
// CHECK-NEXT: [[S_PTR:%.*]] = alloca ptr, align 8
130+
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
131+
// CHECK-NEXT: [[BUFFER1:%.*]] = getelementptr inbounds [[STRUCT_T:%.*]], ptr [[ARRAYDECAY]], i32 0, i32 0
132+
// CHECK-NEXT: [[ARRAYDECAY2:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER1]], i64 0, i64 0
133+
// CHECK-NEXT: [[X:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[ARRAYDECAY2]], i32 0, i32 0
134+
// CHECK-NEXT: store i32 12, ptr [[X]], align 1
135+
// CHECK-NEXT: [[ARRAYDECAY3:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER]], i64 0, i64 0
136+
// CHECK-NEXT: [[BUFFER4:%.*]] = getelementptr inbounds [[STRUCT_T]], ptr [[ARRAYDECAY3]], i32 0, i32 0
137+
// CHECK-NEXT: [[ARRAYDECAY5:%.*]] = getelementptr inbounds [12 x i8], ptr [[BUFFER4]], i64 0, i64 0
138+
// CHECK-NEXT: store ptr [[ARRAYDECAY5]], ptr [[S_PTR]], align 8
139+
// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[S_PTR]], align 8
140+
// CHECK-NEXT: [[X6:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[TMP0]], i32 0, i32 0
141+
// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[X6]], align 4
142+
// CHECK-NEXT: ret i32 [[TMP1]]
143+
//
144+
int quorble() {
145+
DECL_BUFFER(struct T, buffer);
146+
((struct S *)((struct T *)buffer)->buffer)->x = 12;
147+
const struct S *s_ptr = (struct S *)((struct T *)buffer)->buffer;
148+
return s_ptr->x;
149+
}

‎clang/www/c_status.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1260,7 +1260,7 @@ <h2 id="c2y">C2y implementation status</h2>
12601260
<tr>
12611261
<td>Accessing byte arrays</td>
12621262
<td><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3254.pdf">N3254</a></td>
1263-
<td class="unknown" align="center">Unknown</td>
1263+
<td class="full" align="center">Yes</td>
12641264
</tr>
12651265
<tr>
12661266
<td>Slay some earthly demons I</td>

0 commit comments

Comments
 (0)