llvm/test/CodeGen/BPF/CORE/field-reloc-bitfield-record-align16.ll

   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'
  34 source_filename = "test.c"
  35 target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
  36 target 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
  44 define dso_local i32 @foo() #0 !dbg !22 {
  45 entry:
  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
  69 declare ptr @llvm.preserve.struct.access.index.p0.p0.t1s(ptr, i32 immarg, i32 immarg) #1
  70
  71 attributes #0 = { nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
  72 attributes #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)