118 lines · plain
1; RUN: llc -mtriple=bpfel -mcpu=v3 -filetype=obj -o %t1 %s2; RUN: llvm-objcopy --dump-section='.BTF'=%t2 %t13; RUN: %python %p/print_btf.py %t2 | FileCheck -check-prefixes=CHECK-BTF-SHORT %s4; RUN: %python %p/print_btf.py %t2 | FileCheck -check-prefixes=CHECK-BTF %s5 6; Source code:7; struct key { int i; };8; struct val { int j; };9; 10; #define __uint(name, val) int (*name)[val]11; #define __type(name, val) typeof(val) *name12; 13; struct {14; struct {15; __uint(type, 1);16; __uint(max_entries, 1337);17; __type(key, struct key);18; __type(value, struct val);19; } map_def;20; } map __attribute__((section(".maps")));21; Compilation flag:22; clang -target bpf -O2 -g -S -emit-llvm t.c23 24; ModuleID = 'bpf.c'25source_filename = "bpf.c"26target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"27target triple = "bpf"28 29%struct.anon = type { %struct.anon.0 }30%struct.anon.0 = type { ptr, ptr, ptr, ptr }31 32@map = dso_local local_unnamed_addr global %struct.anon zeroinitializer, section ".maps", align 8, !dbg !033 34; We expect exactly 4 structs:35; * key36; * val37; * inner map type (the actual definition)38; * outer map type (the wrapper)39;40; CHECK-BTF-SHORT-COUNT-4: STRUCT41; CHECK-BTF-SHORT-NOT: STRUCT42 43; We expect no forward declarations.44;45; CHECK-BTF-SHORT-NOT: FWD46 47; Assert the whole BTF.48;49; CHECK-BTF: [1] PTR '(anon)' type_id=350; CHECK-BTF-NEXT: [2] INT 'int' size=4 bits_offset=0 nr_bits=32 encoding=SIGNED51; CHECK-BTF-NEXT: [3] ARRAY '(anon)' type_id=2 index_type_id=4 nr_elems=152; CHECK-BTF-NEXT: [4] INT '__ARRAY_SIZE_TYPE__' size=4 bits_offset=0 nr_bits=32 encoding=(none)53; CHECK-BTF-NEXT: [5] PTR '(anon)' type_id=654; CHECK-BTF-NEXT: [6] ARRAY '(anon)' type_id=2 index_type_id=4 nr_elems=133755; CHECK-BTF-NEXT: [7] PTR '(anon)' type_id=856;57; Before bug https://github.com/llvm/llvm-project/issues/143361 was fixed, the58; BTF kind of MyKey (#6) and MyValue (#9) would be FWD instead of STRUCT. The59; main goal of this test is making sure that the full STRUCT BTF is generated60; for these types.61;62; CHECK-BTF-NEXT: [8] STRUCT 'key' size=4 vlen=163; CHECK-BTF-NEXT: 'i' type_id=2 bits_offset=064; CHECK-BTF-NEXT: [9] PTR '(anon)' type_id=1065; CHECK-BTF-NEXT: [10] STRUCT 'val' size=4 vlen=166; CHECK-BTF-NEXT: 'j' type_id=2 bits_offset=067; CHECK-BTF-NEXT: [11] STRUCT '(anon)' size=32 vlen=468; CHECK-BTF-NEXT: 'type' type_id=1 bits_offset=069; CHECK-BTF-NEXT: 'max_entries' type_id=5 bits_offset=6470; CHECK-BTF-NEXT: 'key' type_id=7 bits_offset=12871; CHECK-BTF-NEXT: 'value' type_id=9 bits_offset=19272; CHECK-BTF-NEXT: [12] STRUCT '(anon)' size=32 vlen=173; CHECK-BTF-NEXT: 'map_def' type_id=11 bits_offset=074; CHECK-BTF-NEXT: [13] VAR 'map' type_id=12, linkage=global75; CHECK-BTF-NEXT: [14] DATASEC '.maps' size=0 vlen=176; CHECK-BTF-NEXT: type_id=13 offset=0 size=3277 78!llvm.dbg.cu = !{!2}79!llvm.module.flags = !{!31, !32, !33, !34}80!llvm.ident = !{!35}81 82!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())83!1 = distinct !DIGlobalVariable(name: "map", scope: !2, file: !3, line: 14, type: !5, isLocal: false, isDefinition: true)84!2 = distinct !DICompileUnit(language: DW_LANG_C11, file: !3, producer: "clang version 21.0.0git (git@github.com:llvm/llvm-project.git c935bd3798b39330aab2c9ca29a519457d5e5245)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !4, splitDebugInlining: false, nameTableKind: None)85!3 = !DIFile(filename: "bpf.c", directory: "/tmp", checksumkind: CSK_MD5, checksum: "2330cce6d83c72ef5335abc3016de28e")86!4 = !{!0}87!5 = distinct !DICompositeType(tag: DW_TAG_structure_type, file: !3, line: 7, size: 256, elements: !6)88!6 = !{!7}89!7 = !DIDerivedType(tag: DW_TAG_member, name: "map_def", scope: !5, file: !3, line: 13, baseType: !8, size: 256)90!8 = distinct !DICompositeType(tag: DW_TAG_structure_type, scope: !5, file: !3, line: 8, size: 256, elements: !9)91!9 = !{!10, !16, !21, !26}92!10 = !DIDerivedType(tag: DW_TAG_member, name: "type", scope: !8, file: !3, line: 9, baseType: !11, size: 64)93!11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64)94!12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 32, elements: !14)95!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)96!14 = !{!15}97!15 = !DISubrange(count: 1)98!16 = !DIDerivedType(tag: DW_TAG_member, name: "max_entries", scope: !8, file: !3, line: 10, baseType: !17, size: 64, offset: 64)99!17 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !18, size: 64)100!18 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 42784, elements: !19)101!19 = !{!20}102!20 = !DISubrange(count: 1337)103!21 = !DIDerivedType(tag: DW_TAG_member, name: "key", scope: !8, file: !3, line: 11, baseType: !22, size: 64, offset: 128)104!22 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !23, size: 64)105!23 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "key", file: !3, line: 1, size: 32, elements: !24)106!24 = !{!25}107!25 = !DIDerivedType(tag: DW_TAG_member, name: "i", scope: !23, file: !3, line: 1, baseType: !13, size: 32)108!26 = !DIDerivedType(tag: DW_TAG_member, name: "value", scope: !8, file: !3, line: 12, baseType: !27, size: 64, offset: 192)109!27 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !28, size: 64)110!28 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "val", file: !3, line: 2, size: 32, elements: !29)111!29 = !{!30}112!30 = !DIDerivedType(tag: DW_TAG_member, name: "j", scope: !28, file: !3, line: 2, baseType: !13, size: 32)113!31 = !{i32 7, !"Dwarf Version", i32 5}114!32 = !{i32 2, !"Debug Info Version", i32 3}115!33 = !{i32 1, !"wchar_size", i32 4}116!34 = !{i32 7, !"frame-pointer", i32 2}117!35 = !{!"clang version 21.0.0git (git@github.com:llvm/llvm-project.git c935bd3798b39330aab2c9ca29a519457d5e5245)"}118