1 // REQUIRES: bpf-registered-target
2 // RUN: %clang -target bpf -emit-llvm -S -g %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 %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0)
33 // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0)
34 // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
35 // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2)
36 // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0)
37