diff options
Diffstat (limited to 'clang/test/CodeGen/bpf-attr-preserve-access-index-1.c')
-rw-r--r-- | clang/test/CodeGen/bpf-attr-preserve-access-index-1.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/clang/test/CodeGen/bpf-attr-preserve-access-index-1.c b/clang/test/CodeGen/bpf-attr-preserve-access-index-1.c new file mode 100644 index 00000000000..accf6ab2cf9 --- /dev/null +++ b/clang/test/CodeGen/bpf-attr-preserve-access-index-1.c @@ -0,0 +1,23 @@ +// REQUIRES: bpf-registered-target +// RUN: %clang -target bpf -emit-llvm -S -g %s -o - | FileCheck %s + +#define __reloc__ __attribute__((preserve_access_index)) + +// test simple member access and initial struct with non-zero stride access +struct s1 { + int a; + union { + int b; + int c; + }; +} __reloc__; +typedef struct s1 __s1; + +int test(__s1 *arg) { + return arg->a + arg[1].b; +} + +// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) +// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 1) +// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1) +// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) |