clang/test/CodeGen/bpf-attr-preserve-access-index-4.c

   1 // REQUIRES: bpf-registered-target
   2 // RUN: %clang_cc1 -triple bpf -emit-llvm -debug-info-kind=limited -disable-llvm-passes %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
  24 int test(__s3 *arg) {
  25   return arg->a.b[2].c;
  26 }
  27
  28 // CHECK: define dso_local i32 @test
  29 // CHECK-NOT: call ptr @llvm.preserve.struct.access.index.p0.p0
  30 // CHECK: call ptr @llvm.preserve.struct.access.index.p0.p0(ptr elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
  31 // CHECK: call ptr @llvm.preserve.union.access.index.p0.p0(ptr %{{[0-9a-z]+}}, i32 0)
  32 // CHECK: call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
  33 // CHECK-NOT: call ptr @llvm.preserve.struct.access.index.p0.p0