1 // REQUIRES: bpf-registered-target
2 // RUN: %clang -target bpf -emit-llvm -S -g -Xclang -disable-llvm-passes %s -o - | FileCheck %s
3
4 #define __reloc__ __attribute__((preserve_access_index))
5
6 // chain of records, both inner and outer record have attributes.
7 struct s1 {
8 int c;
9 } __reloc__;
10 typedef struct s1 __s1;
11
12 struct s2 {
13 union {
14 __s1 b[3];
15 } __reloc__;
16 } __reloc__;
17 typedef struct s2 __s2;
18
19 struct s3 {
20 __s2 a;
21 } __reloc__;
22 typedef struct s3 __s3;
23
test(__s3 * arg)24 int test(__s3 *arg) {
25 return arg->a.b[2].c;
26 }
27
28 // CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0)
29 // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0)
30 // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
31 // 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)
32 // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0)
33