test/CodeGen/BPF/CORE/offset-reloc-fieldinfo-1.ll

   1 ; RUN: llc -march=bpfel -filetype=asm -o - %s | FileCheck -check-prefixes=CHECK %s
   2 ; Source code:
   3 ;   struct s {
   4 ;     int a;
   5 ;     int b1:9;
   6 ;     int b2:4;
   7 ;   };
   8 ;   enum {
   9 ;       FIELD_BYTE_OFFSET = 0,
  10 ;       FIELD_BYTE_SIZE,
  11 ;       FIELD_EXISTENCE,
  12 ;       FIELD_SIGNEDNESS,
  13 ;       FIELD_LSHIFT_U64,
  14 ;       FIELD_RSHIFT_U64,
  15 ;   };
  16 ;   void bpf_probe_read(void *, unsigned, const void *);
  17 ;   int field_read(struct s *arg) {
  18 ;     unsigned long long ull;
  19 ;     unsigned offset = __builtin_preserve_field_info(arg->b2, FIELD_BYTE_OFFSET);
  20 ;     unsigned size = __builtin_preserve_field_info(arg->b2, FIELD_BYTE_SIZE);
  21 ;     unsigned lshift;
  22 ;
  23 ;     bpf_probe_read(&ull, size, (const void *)arg + offset);
  24 ;     lshift = __builtin_preserve_field_info(arg->b2, FIELD_LSHIFT_U64);
  25 ;   #if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
  26 ;     lshift = lshift + (size << 3) - 64;
  27 ;   #endif
  28 ;     ull <<= lshift;
  29 ;     if (__builtin_preserve_field_info(arg->b2, FIELD_SIGNEDNESS))
  30 ;       return (long long)ull >> __builtin_preserve_field_info(arg->b2, FIELD_RSHIFT_U64);
  31 ;     return ull >> __builtin_preserve_field_info(arg->b2, FIELD_RSHIFT_U64);
  32 ;   }
  33 ; Compilation flag:
  34 ;   clang -target bpfel -O2 -g -S -emit-llvm test.c
  35
  36 %struct.s = type { i32, i16 }
  37
  38 ; Function Attrs: nounwind
  39 define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !20 {
  40 entry:
  41   %ull = alloca i64, align 8
  42   call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !31, metadata !DIExpression()), !dbg !37
  43   %0 = bitcast i64* %ull to i8*, !dbg !38
  44   call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0) #5, !dbg !38
  45   %1 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* %arg, i32 1, i32 2), !dbg !39, !llvm.preserve.access.index !25
  46   %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 0), !dbg !40
  47   call void @llvm.dbg.value(metadata i32 %2, metadata !34, metadata !DIExpression()), !dbg !37
  48   %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 1), !dbg !41
  49   call void @llvm.dbg.value(metadata i32 %3, metadata !35, metadata !DIExpression()), !dbg !37
  50   %4 = bitcast %struct.s* %arg to i8*, !dbg !42
  51   %idx.ext = zext i32 %2 to i64, !dbg !43
  52   %add.ptr = getelementptr i8, i8* %4, i64 %idx.ext, !dbg !43
  53   call void @bpf_probe_read(i8* nonnull %0, i32 %3, i8* %add.ptr) #5, !dbg !44
  54   %5 = call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 4), !dbg !45
  55   call void @llvm.dbg.value(metadata i32 %5, metadata !36, metadata !DIExpression()), !dbg !37
  56   %6 = load i64, i64* %ull, align 8, !dbg !46, !tbaa !47
  57   call void @llvm.dbg.value(metadata i64 %6, metadata !32, metadata !DIExpression()), !dbg !37
  58   %sh_prom = zext i32 %5 to i64, !dbg !46
  59   %shl = shl i64 %6, %sh_prom, !dbg !46
  60   call void @llvm.dbg.value(metadata i64 %shl, metadata !32, metadata !DIExpression()), !dbg !37
  61   %7 = call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 3), !dbg !51
  62   %tobool = icmp eq i32 %7, 0, !dbg !51
  63   %8 = call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 5), !dbg !37
  64   %sh_prom1 = zext i32 %8 to i64, !dbg !37
  65   %shr = ashr i64 %shl, %sh_prom1, !dbg !53
  66   %shr3 = lshr i64 %shl, %sh_prom1, !dbg !53
  67   %retval.0.in = select i1 %tobool, i64 %shr3, i64 %shr, !dbg !53
  68   %retval.0 = trunc i64 %retval.0.in to i32, !dbg !37
  69   call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %0) #5, !dbg !54
  70   ret i32 %retval.0, !dbg !54
  71 }
  72
  73 ; CHECK:             r{{[0-9]+}} = 4
  74 ; CHECK:             r{{[0-9]+}} = 4
  75 ; CHECK:             r{{[0-9]+}} = 51
  76 ; CHECK:             r{{[0-9]+}} = 60
  77 ; CHECK:             r{{[0-9]+}} = 1
  78
  79 ; CHECK:             .byte   115                     # string offset=1
  80 ; CHECK:             .ascii  ".text"                 # string offset=30
  81 ; CHECK:             .ascii  "0:2"                   # string offset=73
  82
  83 ; CHECK:             .long   16                      # FieldReloc
  84 ; CHECK-NEXT:        .long   30                      # Field reloc section string offset=30
  85 ; CHECK-NEXT:        .long   5
  86 ; CHECK-NEXT:        .long   .Ltmp{{[0-9]+}}
  87 ; CHECK-NEXT:        .long   2
  88 ; CHECK-NEXT:        .long   73
  89 ; CHECK-NEXT:        .long   0
  90 ; CHECK-NEXT:        .long   .Ltmp{{[0-9]+}}
  91 ; CHECK-NEXT:        .long   2
  92 ; CHECK-NEXT:        .long   73
  93 ; CHECK-NEXT:        .long   1
  94 ; CHECK-NEXT:        .long   .Ltmp{{[0-9]+}}
  95 ; CHECK-NEXT:        .long   2
  96 ; CHECK-NEXT:        .long   73
  97 ; CHECK-NEXT:        .long   4
  98 ; CHECK-NEXT:        .long   .Ltmp{{[0-9]+}}
  99 ; CHECK-NEXT:        .long   2
 100 ; CHECK-NEXT:        .long   73
 101 ; CHECK-NEXT:        .long   5
 102 ; CHECK-NEXT:        .long   .Ltmp{{[0-9]+}}
 103 ; CHECK-NEXT:        .long   2
 104 ; CHECK-NEXT:        .long   73
 105 ; CHECK-NEXT:        .long   3
 106
 107 ; Function Attrs: argmemonly nounwind willreturn
 108 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #1
 109
 110 ; Function Attrs: nounwind readnone
 111 declare i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s*, i32, i32) #2
 112
 113 ; Function Attrs: nounwind readnone
 114 declare i32 @llvm.bpf.preserve.field.info.p0i16(i16*, i64) #2
 115
 116 declare dso_local void @bpf_probe_read(i8*, i32, i8*) local_unnamed_addr #3
 117
 118 ; Function Attrs: argmemonly nounwind willreturn
 119 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #1
 120
 121 ; Function Attrs: nounwind readnone speculatable willreturn
 122 declare void @llvm.dbg.value(metadata, metadata, metadata) #4
 123
 124 attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 125 attributes #1 = { argmemonly nounwind willreturn }
 126 attributes #2 = { nounwind readnone }
 127 attributes #3 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 128 attributes #4 = { nounwind readnone speculatable willreturn }
 129 attributes #5 = { nounwind }
 130
 131 !llvm.dbg.cu = !{!0}
 132 !llvm.module.flags = !{!16, !17, !18}
 133 !llvm.ident = !{!19}
 134
 135 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 10.0.0 (https://github.com/llvm/llvm-project.git 923aa0ce806f7739b754167239fee2c9a15e2f31)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !12, nameTableKind: None)
 136 !1 = !DIFile(filename: "test.c", directory: "/tmp/home/yhs/work/tests/core")
 137 !2 = !{!3}
 138 !3 = !DICompositeType(tag: DW_TAG_enumeration_type, file: !1, line: 6, baseType: !4, size: 32, elements: !5)
 139 !4 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned)
 140 !5 = !{!6, !7, !8, !9, !10, !11}
 141 !6 = !DIEnumerator(name: "FIELD_BYTE_OFFSET", value: 0, isUnsigned: true)
 142 !7 = !DIEnumerator(name: "FIELD_BYTE_SIZE", value: 1, isUnsigned: true)
 143 !8 = !DIEnumerator(name: "FIELD_EXISTENCE", value: 2, isUnsigned: true)
 144 !9 = !DIEnumerator(name: "FIELD_SIGNEDNESS", value: 3, isUnsigned: true)
 145 !10 = !DIEnumerator(name: "FIELD_LSHIFT_U64", value: 4, isUnsigned: true)
 146 !11 = !DIEnumerator(name: "FIELD_RSHIFT_U64", value: 5, isUnsigned: true)
 147 !12 = !{!13, !15}
 148 !13 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64)
 149 !14 = !DIDerivedType(tag: DW_TAG_const_type, baseType: null)
 150 !15 = !DIBasicType(name: "long long int", size: 64, encoding: DW_ATE_signed)
 151 !16 = !{i32 2, !"Dwarf Version", i32 4}
 152 !17 = !{i32 2, !"Debug Info Version", i32 3}
 153 !18 = !{i32 1, !"wchar_size", i32 4}
 154 !19 = !{!"clang version 10.0.0 (https://github.com/llvm/llvm-project.git 923aa0ce806f7739b754167239fee2c9a15e2f31)"}
 155 !20 = distinct !DISubprogram(name: "field_read", scope: !1, file: !1, line: 15, type: !21, scopeLine: 15, flags: DIFlagPrototyped, isDefinition: true, isOptimized: true, unit: !0, retainedNodes: !30)
 156 !21 = !DISubroutineType(types: !22)
 157 !22 = !{!23, !24}
 158 !23 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 159 !24 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !25, size: 64)
 160 !25 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s", file: !1, line: 1, size: 64, elements: !26)
 161 !26 = !{!27, !28, !29}
 162 !27 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !25, file: !1, line: 2, baseType: !23, size: 32)
 163 !28 = !DIDerivedType(tag: DW_TAG_member, name: "b1", scope: !25, file: !1, line: 3, baseType: !23, size: 9, offset: 32, flags: DIFlagBitField, extraData: i64 32)
 164 !29 = !DIDerivedType(tag: DW_TAG_member, name: "b2", scope: !25, file: !1, line: 4, baseType: !23, size: 4, offset: 41, flags: DIFlagBitField, extraData: i64 32)
 165 !30 = !{!31, !32, !34, !35, !36}
 166 !31 = !DILocalVariable(name: "arg", arg: 1, scope: !20, file: !1, line: 15, type: !24)
 167 !32 = !DILocalVariable(name: "ull", scope: !20, file: !1, line: 16, type: !33)
 168 !33 = !DIBasicType(name: "long long unsigned int", size: 64, encoding: DW_ATE_unsigned)
 169 !34 = !DILocalVariable(name: "offset", scope: !20, file: !1, line: 17, type: !4)
 170 !35 = !DILocalVariable(name: "size", scope: !20, file: !1, line: 18, type: !4)
 171 !36 = !DILocalVariable(name: "lshift", scope: !20, file: !1, line: 19, type: !4)
 172 !37 = !DILocation(line: 0, scope: !20)
 173 !38 = !DILocation(line: 16, column: 3, scope: !20)
 174 !39 = !DILocation(line: 17, column: 56, scope: !20)
 175 !40 = !DILocation(line: 17, column: 21, scope: !20)
 176 !41 = !DILocation(line: 18, column: 19, scope: !20)
 177 !42 = !DILocation(line: 21, column: 30, scope: !20)
 178 !43 = !DILocation(line: 21, column: 48, scope: !20)
 179 !44 = !DILocation(line: 21, column: 3, scope: !20)
 180 !45 = !DILocation(line: 22, column: 12, scope: !20)
 181 !46 = !DILocation(line: 26, column: 7, scope: !20)
 182 !47 = !{!48, !48, i64 0}
 183 !48 = !{!"long long", !49, i64 0}
 184 !49 = !{!"omnipotent char", !50, i64 0}
 185 !50 = !{!"Simple C/C++ TBAA"}
 186 !51 = !DILocation(line: 27, column: 7, scope: !52)
 187 !52 = distinct !DILexicalBlock(scope: !20, file: !1, line: 27, column: 7)
 188 !53 = !DILocation(line: 27, column: 7, scope: !20)
 189 !54 = !DILocation(line: 30, column: 1, scope: !20)