clang/test/CodeGen/bpf-preserve-static-offset-arr.c

   1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 2
   2 // REQUIRES: bpf-registered-target
   3 // RUN: %clang_cc1 -triple bpf -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s
   4
   5 // Check that call to preserve.static.offset is generated when array
   6 // member of a struct marked with __attribute__((preserve_static_offset))
   7 // is accessed.
   8
   9 #define __ctx __attribute__((preserve_static_offset))
  10
  11 struct foo {
  12   struct {
  13     int a;
  14   } b[7];
  15 } __ctx;
  16
  17 // CHECK-LABEL: define dso_local i32 @arr_access
  18 // CHECK-SAME: (ptr noundef [[P:%.*]]) #[[ATTR0:[0-9]+]] {
  19 // CHECK-NEXT:  entry:
  20 // CHECK-NEXT:    [[P_ADDR:%.*]] = alloca ptr, align 8
  21 // CHECK-NEXT:    store ptr [[P]], ptr [[P_ADDR]], align 8
  22 // CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr [[P_ADDR]], align 8
  23 // CHECK-NEXT:    [[TMP1:%.*]] = call ptr @llvm.preserve.static.offset(ptr [[TMP0]])
  24 // CHECK-NEXT:    [[B:%.*]] = getelementptr inbounds nuw [[STRUCT_FOO:%.*]], ptr [[TMP1]], i32 0, i32 0
  25 // CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds [7 x %struct.anon], ptr [[B]], i64 0, i64 2
  26 // CHECK-NEXT:    [[A:%.*]] = getelementptr inbounds nuw [[STRUCT_ANON:%.*]], ptr [[ARRAYIDX]], i32 0, i32 0
  27 // CHECK-NEXT:    [[TMP2:%.*]] = load i32, ptr [[A]], align 4
  28 // CHECK-NEXT:    ret i32 [[TMP2]]
  29 //
  30 int arr_access(struct foo *p) {
  31   return p->b[2].a;
  32 }