diff options
Diffstat (limited to 'clang/test/CodeGen/bpf-attr-preserve-access-index-7.c')
| -rw-r--r-- | clang/test/CodeGen/bpf-attr-preserve-access-index-7.c | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/clang/test/CodeGen/bpf-attr-preserve-access-index-7.c b/clang/test/CodeGen/bpf-attr-preserve-access-index-7.c new file mode 100644 index 00000000000..49f4a4d2b26 --- /dev/null +++ b/clang/test/CodeGen/bpf-attr-preserve-access-index-7.c @@ -0,0 +1,36 @@ +// REQUIRES: bpf-registered-target +// RUN: %clang -target bpf -emit-llvm -S -g %s -o - | FileCheck %s + +#define __reloc__ __attribute__((preserve_access_index)) + +// chain of records, all with attributes +struct __reloc__ s1; +struct __reloc__ s2; +struct __reloc__ s3; + +struct s1 { + int c; +}; +typedef struct s1 __s1; + +struct s2 { + union { + __s1 b[3]; + }; +}; +typedef struct s2 __s2; + +struct s3 { + __s2 a; +}; +typedef struct s3 __s3; + +int test(__s3 *arg) { + return arg->a.b[2].c; +} + +// CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0) +// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) +// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) +// 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) +// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) |
