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