1 // REQUIRES: bpf-registered-target
2 // RUN: %clang_cc1 -triple bpf -emit-llvm -debug-info-kind=limited -disable-llvm-passes %s -o - | FileCheck %s
3
4 #define __reloc__ __attribute__((preserve_access_index))
5
6 // chain of records, all with attributes
7 struct __reloc__ s1;
8 struct __reloc__ s2;
9 struct __reloc__ s3;
10
11 struct s1 {
12 int c;
13 };
14 typedef struct s1 __s1;
15
16 struct s2 {
17 union {
18 __s1 b[3];
19 };
20 };
21 typedef struct s2 __s2;
22
23 struct s3 {
24 __s2 a;
25 };
26 typedef struct s3 __s3;
27
test(__s3 * arg)28 int test(__s3 *arg) {
29 return arg->a.b[2].c;
30 }
31
32 // CHECK: call ptr @llvm.preserve.struct.access.index.p0.p0(ptr elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 0, i32 0)
33 // CHECK: call ptr @llvm.preserve.struct.access.index.p0.p0(ptr elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
34 // CHECK: call ptr @llvm.preserve.union.access.index.p0.p0(ptr %{{[0-9a-z]+}}, i32 0)
35 // CHECK: call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
36 // CHECK: call ptr @llvm.preserve.struct.access.index.p0.p0(ptr elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)
37