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 } 33