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, some do not have attributes. 7 struct s1 { 8 int c; 9 }; 10 typedef struct s1 __s1; 11 12 struct s2 { 13 union { 14 __s1 b[3]; 15 }; 16 } __reloc__; 17 typedef struct s2 __s2; 18 19 struct s3 { 20 __s2 a; 21 }; 22 typedef struct s3 __s3; 23 test(__s3 * arg)24int test(__s3 *arg) { 25 return arg->a.b[2].c; 26 } 27 28 // CHECK: define dso_local i32 @test 29 // CHECK-NOT: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s 30 // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) 31 // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) 32 // 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) 33 // CHECK-NOT: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s 34