1; RUN: opt -O2 %s | llvm-dis > %t1 2; RUN: llc -filetype=asm -o - %t1 | FileCheck %s 3; Source code: 4; struct t2 { 5; int a[8]; 6; long: 64; 7; long: 64; 8; long: 64; 9; long: 64; 10; }; 11; 12; struct t1 { 13; int f1: 1; 14; int f2: 2; 15; long: 61; 16; long: 64; 17; long: 64; 18; long: 64; 19; long: 64; 20; long: 64; 21; long: 64; 22; long: 64; 23; struct t2 f3; 24; } __attribute__((preserve_access_index)); 25; 26; struct t1 g; 27; int foo() { 28; return g.f1; 29; } 30; Compilation flag: 31; clang -target bpfel -O2 -g -S -emit-llvm -Xclang -disable-llvm-passes test.c 32 33; ModuleID = 'test.c' 34source_filename = "test.c" 35target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128" 36target triple = "bpfel" 37 38%struct.t1 = type { i512, %struct.t2 } 39%struct.t2 = type { [8 x i32], i256 } 40 41@g = dso_local global %struct.t1 zeroinitializer, align 4, !dbg !0 42 43; Function Attrs: nounwind 44define dso_local i32 @foo() #0 !dbg !22 { 45entry: 46 %0 = call ptr @llvm.preserve.struct.access.index.p0.p0.t1s(ptr elementtype(%struct.t1) @g, i32 0, i32 0), !dbg !26, !llvm.preserve.access.index !5 47 %bf.load = load i512, ptr %0, align 4, !dbg !26 48 %bf.shl = shl i512 %bf.load, 511, !dbg !26 49 %bf.ashr = ashr i512 %bf.shl, 511, !dbg !26 50 %bf.cast = trunc i512 %bf.ashr to i32, !dbg !26 51 ret i32 %bf.cast, !dbg !27 52} 53 54; CHECK: .long 68 # BTF_KIND_STRUCT(id = 4) 55 56; CHECK: .ascii ".text" # string offset=9 57; CHECK: .ascii "t1" # string offset=68 58; CHECK: .ascii "0:0" # string offset=105 59 60; CHECK: .long 16 # FieldReloc 61; CHECK: .long 9 # Field reloc section string offset=9 62; CHECK: .long 1 63; CHECK: .long .Ltmp[[#]] 64; CHECK: .long 4 65; CHECK: .long 105 66; CHECK: .long 0 67 68; Function Attrs: nofree nosync nounwind readnone willreturn 69declare ptr @llvm.preserve.struct.access.index.p0.p0.t1s(ptr, i32 immarg, i32 immarg) #1 70 71attributes #0 = { nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" } 72attributes #1 = { nofree nosync nounwind readnone willreturn } 73 74!llvm.dbg.cu = !{!2} 75!llvm.module.flags = !{!17, !18, !19, !20} 76!llvm.ident = !{!21} 77 78!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression()) 79!1 = distinct !DIGlobalVariable(name: "g", scope: !2, file: !3, line: 23, type: !5, isLocal: false, isDefinition: true) 80!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 15.0.0 (https://github.com/llvm/llvm-project.git 468279d2d249e44ffa3535a613245b4ceb81a908)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !4, splitDebugInlining: false, nameTableKind: None) 81!3 = !DIFile(filename: "test.c", directory: "/tmp/home/yhs/work/tests/llvm/bitfield/simple", checksumkind: CSK_MD5, checksum: "b9c80125731b87136772eec36d0b48a3") 82!4 = !{!0} 83!5 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "t1", file: !3, line: 9, size: 1024, elements: !6) 84!6 = !{!7, !9, !10} 85!7 = !DIDerivedType(tag: DW_TAG_member, name: "f1", scope: !5, file: !3, line: 10, baseType: !8, size: 1, flags: DIFlagBitField, extraData: i64 0) 86!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 87!9 = !DIDerivedType(tag: DW_TAG_member, name: "f2", scope: !5, file: !3, line: 11, baseType: !8, size: 2, offset: 1, flags: DIFlagBitField, extraData: i64 0) 88!10 = !DIDerivedType(tag: DW_TAG_member, name: "f3", scope: !5, file: !3, line: 20, baseType: !11, size: 512, offset: 512) 89!11 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "t2", file: !3, line: 1, size: 512, elements: !12) 90!12 = !{!13} 91!13 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !11, file: !3, line: 2, baseType: !14, size: 256) 92!14 = !DICompositeType(tag: DW_TAG_array_type, baseType: !8, size: 256, elements: !15) 93!15 = !{!16} 94!16 = !DISubrange(count: 8) 95!17 = !{i32 7, !"Dwarf Version", i32 5} 96!18 = !{i32 2, !"Debug Info Version", i32 3} 97!19 = !{i32 1, !"wchar_size", i32 4} 98!20 = !{i32 7, !"frame-pointer", i32 2} 99!21 = !{!"clang version 15.0.0 (https://github.com/llvm/llvm-project.git 468279d2d249e44ffa3535a613245b4ceb81a908)"} 100!22 = distinct !DISubprogram(name: "foo", scope: !3, file: !3, line: 24, type: !23, scopeLine: 24, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !25) 101!23 = !DISubroutineType(types: !24) 102!24 = !{!8} 103!25 = !{} 104!26 = !DILocation(line: 25, column: 12, scope: !22) 105!27 = !DILocation(line: 25, column: 3, scope: !22) 106