This is an archive of the discontinued LLVM Phabricator instance.

Differential D91489

BPF: make __builtin_btf_type_id() return 64bit int
ClosedPublic

Authored by yonghong-song on Nov 14 2020, 8:06 PM.

Details

Reviewers
ast
anakryiko
Commits
rG4369223ea73c: BPF: make __builtin_btf_type_id() return 64bit int
Summary

Linux kernel recently added support for kernel modules

https://lore.kernel.org/bpf/20201110011932.3201430-5-andrii@kernel.org/

In such cases, a type id in the kernel needs to be presented
as (btf id for modules, btf type id for this module).
Change __builtin_btf_type_id() to return 64bit value
so libbpf can do the above encoding.

Diff Detail

Unit TestsFailed

TimeTest
400 mslinux > HWAddressSanitizer-x86_64.TestCases::sizes.cpp
50 mslinux > SanitizerCommon-Unit._/Sanitizer-x86_64-Test::SanitizerCommon.StackDepotPrint

Event Timeline

yonghong-song created this revision.Nov 14 2020, 8:06 PM
Herald added projects: Restricted Project, Restricted Project. · View Herald TranscriptNov 14 2020, 8:06 PM
Herald added subscribers: llvm-commits, cfe-commits, hiraditya. · View Herald Transcript
yonghong-song requested review of this revision.Nov 14 2020, 8:06 PM
Harbormaster completed remote builds in B78868: Diff 305338.Nov 14 2020, 8:39 PM
ast accepted this revision.Nov 15 2020, 10:21 AM
ast added inline comments.
llvm/lib/Target/BPF/BTFDebug.cpp
1230

libbpf would need to support both (ld_imm64 and mov32), right?

This revision is now accepted and ready to land.Nov 15 2020, 10:21 AM
yonghong-song added inline comments.Nov 15 2020, 11:33 AM
llvm/lib/Target/BPF/BTFDebug.cpp
1230

all selftests passed. I suspect libbpf already supports both ld_imm64 and mov32...

anakryiko added inline comments.Nov 15 2020, 1:02 PM
llvm/lib/Target/BPF/BTFDebug.cpp
1230

there is no need to make BTF_TYPE_ID_LOCAL to return u64, but if it helps uniformity, then why not.

libbpf does support ldimm64 in general, but I'll need to extend this specifically for BTF_TYPE_ID_REMOTE to record module BTF ID in upper 32 bits. For now it will be just zeroes, which works fine.

yonghong-song added inline comments.Nov 15 2020, 10:14 PM
llvm/lib/Target/BPF/BTFDebug.cpp
1230

yes, uniformity is why I also return u64 for BTF_TYPE_ID_LOCAL.

yonghong-song updated this revision to Diff 305413.Nov 15 2020, 10:21 PM

fix clang-format warning

Harbormaster completed remote builds in B78920: Diff 305413.Nov 15 2020, 10:51 PM
This revision was landed with ongoing or failed builds.Nov 16 2020, 7:09 AM
Closed by commit rG4369223ea73c: BPF: make __builtin_btf_type_id() return 64bit int (authored by yonghong-song). · Explain Why
This revision was automatically updated to reflect the committed changes.
yonghong-song added a commit: rG4369223ea73c: BPF: make __builtin_btf_type_id() return 64bit int.

Revision Contents

PathSize
clang/
include/
clang/
Basic/
2 lines
lib/
Sema/
2 lines
test/
CodeGen/
8 lines
llvm/
include/
llvm/
IR/
2 lines
lib/
Target/
BPF/
4 lines
4 lines
test/
CodeGen/
BPF/
BTF/
77 lines
CORE/
20 lines
31 lines

Diff 305338

clang/include/clang/Basic/BuiltinsBPF.def

Show All 15 Lines
#if defined(BUILTIN) && !defined(TARGET_BUILTIN) #if defined(BUILTIN) && !defined(TARGET_BUILTIN)
# define TARGET_BUILTIN(ID, TYPE, ATTRS, FEATURE) BUILTIN(ID, TYPE, ATTRS) # define TARGET_BUILTIN(ID, TYPE, ATTRS, FEATURE) BUILTIN(ID, TYPE, ATTRS)
#endif #endif
// Get record field information. // Get record field information.
TARGET_BUILTIN(__builtin_preserve_field_info, "Ui.", "t", "") TARGET_BUILTIN(__builtin_preserve_field_info, "Ui.", "t", "")
// Get BTF type id. // Get BTF type id.
TARGET_BUILTIN(__builtin_btf_type_id, "Ui.", "t", "") TARGET_BUILTIN(__builtin_btf_type_id, "LUi.", "t", "")
// Get type information. // Get type information.
TARGET_BUILTIN(__builtin_preserve_type_info, "Ui.", "t", "") TARGET_BUILTIN(__builtin_preserve_type_info, "Ui.", "t", "")
// Preserve enum value. // Preserve enum value.
TARGET_BUILTIN(__builtin_preserve_enum_value, "Li.", "t", "") TARGET_BUILTIN(__builtin_preserve_enum_value, "Li.", "t", "")
#undef BUILTIN #undef BUILTIN
#undef TARGET_BUILTIN #undef TARGET_BUILTIN

clang/lib/Sema/SemaChecking.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 2,690 Lines • ▼ Show 20 Lines if (!isValidBPFPreserveTypeInfoArg(Arg)) {
kind = diag::err_preserve_type_info_invalid; kind = diag::err_preserve_type_info_invalid;
} }
} else if (BuiltinID == BPF::BI__builtin_preserve_enum_value) { } else if (BuiltinID == BPF::BI__builtin_preserve_enum_value) {
if (!isValidBPFPreserveEnumValueArg(Arg)) { if (!isValidBPFPreserveEnumValueArg(Arg)) {
InvalidArg = true; InvalidArg = true;
kind = diag::err_preserve_enum_value_invalid; kind = diag::err_preserve_enum_value_invalid;
} }
ReturnUnsignedInt = false; ReturnUnsignedInt = false;
} else if (BuiltinID == BPF::BI__builtin_btf_type_id) {
ReturnUnsignedInt = false;
} }
if (InvalidArg) { if (InvalidArg) {
Diag(Arg->getBeginLoc(), kind) << 1 << Arg->getSourceRange(); Diag(Arg->getBeginLoc(), kind) << 1 << Arg->getSourceRange();
return true; return true;
} }
if (ReturnUnsignedInt) if (ReturnUnsignedInt)
▲ Show 20 Lines • Show All 13,352 Lines • Show Last 20 Lines

clang/test/CodeGen/builtin-bpf-btf-type-id.c

// REQUIRES: bpf-registered-target // REQUIRES: bpf-registered-target
// RUN: %clang -target bpf -emit-llvm -S -g -Xclang -disable-llvm-passes %s -o - | FileCheck %s // RUN: %clang -target bpf -emit-llvm -S -g -Xclang -disable-llvm-passes %s -o - | FileCheck %s
unsigned test1(int a) { return __builtin_btf_type_id(a, 0); } unsigned test1(int a) { return __builtin_btf_type_id(a, 0); }
unsigned test2(int a) { return __builtin_btf_type_id(&a, 0); } unsigned test2(int a) { return __builtin_btf_type_id(&a, 0); }
struct t1 { int a; }; struct t1 { int a; };
typedef struct t1 __t1; typedef struct t1 __t1;
unsigned test3() { unsigned test3() {
return __builtin_btf_type_id(*(struct t1 *)0, 1) + return __builtin_btf_type_id(*(struct t1 *)0, 1) +
__builtin_btf_type_id(*(__t1 *)0, 1); __builtin_btf_type_id(*(__t1 *)0, 1);
} }
// CHECK: define dso_local i32 @test1 // CHECK: define dso_local i32 @test1
// CHECK: call i32 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[INT:[0-9]+]] // CHECK: call i64 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[INT:[0-9]+]]
// CHECK: define dso_local i32 @test2 // CHECK: define dso_local i32 @test2
// CHECK: call i32 @llvm.bpf.btf.type.id(i32 1, i64 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[INT_POINTER:[0-9]+]] // CHECK: call i64 @llvm.bpf.btf.type.id(i32 1, i64 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[INT_POINTER:[0-9]+]]
// CHECK: define dso_local i32 @test3 // CHECK: define dso_local i32 @test3
// CHECK: call i32 @llvm.bpf.btf.type.id(i32 2, i64 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_T1:[0-9]+]] // CHECK: call i64 @llvm.bpf.btf.type.id(i32 2, i64 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_T1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.btf.type.id(i32 3, i64 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[TYPEDEF_T1:[0-9]+]] // CHECK: call i64 @llvm.bpf.btf.type.id(i32 3, i64 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[TYPEDEF_T1:[0-9]+]]
// //
// CHECK: ![[INT]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed // CHECK: ![[INT]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed
// CHECK: ![[INT_POINTER]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: ![[INT]], size: 64 // CHECK: ![[INT_POINTER]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: ![[INT]], size: 64
// CHECK: ![[TYPEDEF_T1]] = !DIDerivedType(tag: DW_TAG_typedef, name: "__t1" // CHECK: ![[TYPEDEF_T1]] = !DIDerivedType(tag: DW_TAG_typedef, name: "__t1"
// CHECK: ![[STRUCT_T1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "t1" // CHECK: ![[STRUCT_T1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "t1"

llvm/include/llvm/IR/IntrinsicsBPF.td

Show All 18 Lineslet TargetPrefix = "bpf" in { // All intrinsics start with "llvm.bpf."
def int_bpf_load_word : GCCBuiltin<"__builtin_bpf_load_word">, def int_bpf_load_word : GCCBuiltin<"__builtin_bpf_load_word">,
Intrinsic<[llvm_i64_ty], [llvm_ptr_ty, llvm_i64_ty], [IntrReadMem]>; Intrinsic<[llvm_i64_ty], [llvm_ptr_ty, llvm_i64_ty], [IntrReadMem]>;
def int_bpf_pseudo : GCCBuiltin<"__builtin_bpf_pseudo">, def int_bpf_pseudo : GCCBuiltin<"__builtin_bpf_pseudo">,
Intrinsic<[llvm_i64_ty], [llvm_i64_ty, llvm_i64_ty]>; Intrinsic<[llvm_i64_ty], [llvm_i64_ty, llvm_i64_ty]>;
def int_bpf_preserve_field_info : GCCBuiltin<"__builtin_bpf_preserve_field_info">, def int_bpf_preserve_field_info : GCCBuiltin<"__builtin_bpf_preserve_field_info">,
Intrinsic<[llvm_i32_ty], [llvm_anyptr_ty, llvm_i64_ty], Intrinsic<[llvm_i32_ty], [llvm_anyptr_ty, llvm_i64_ty],
[IntrNoMem, ImmArg<ArgIndex<1>>]>; [IntrNoMem, ImmArg<ArgIndex<1>>]>;
def int_bpf_btf_type_id : GCCBuiltin<"__builtin_bpf_btf_type_id">, def int_bpf_btf_type_id : GCCBuiltin<"__builtin_bpf_btf_type_id">,
Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_i64_ty], Intrinsic<[llvm_i64_ty], [llvm_i32_ty, llvm_i64_ty],
[IntrNoMem]>; [IntrNoMem]>;
def int_bpf_preserve_type_info : GCCBuiltin<"__builtin_bpf_preserve_type_info">, def int_bpf_preserve_type_info : GCCBuiltin<"__builtin_bpf_preserve_type_info">,
Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_i64_ty], Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_i64_ty],
[IntrNoMem]>; [IntrNoMem]>;
def int_bpf_preserve_enum_value : GCCBuiltin<"__builtin_bpf_preserve_enum_value">, def int_bpf_preserve_enum_value : GCCBuiltin<"__builtin_bpf_preserve_enum_value">,
Intrinsic<[llvm_i64_ty], [llvm_i32_ty, llvm_ptr_ty, llvm_i64_ty], Intrinsic<[llvm_i64_ty], [llvm_i32_ty, llvm_ptr_ty, llvm_i64_ty],
[IntrNoMem]>; [IntrNoMem]>;
def int_bpf_passthrough : GCCBuiltin<"__builtin_bpf_passthrough">, def int_bpf_passthrough : GCCBuiltin<"__builtin_bpf_passthrough">,
Intrinsic<[llvm_any_ty], [llvm_i32_ty, llvm_any_ty], [IntrNoMem]>; Intrinsic<[llvm_any_ty], [llvm_i32_ty, llvm_any_ty], [IntrNoMem]>;
} }

llvm/lib/Target/BPF/BPFPreserveDIType.cpp

Show First 20 Lines • Show All 84 Lines • ▼ Show 20 Lines for (auto Call : PreserveDITypeCalls) {
} else { } else {
Reloc = BPFCoreSharedInfo::BTF_TYPE_ID_REMOTE; Reloc = BPFCoreSharedInfo::BTF_TYPE_ID_REMOTE;
DIType *Ty = cast<DIType>(MD); DIType *Ty = cast<DIType>(MD);
if (Ty->getName().empty()) if (Ty->getName().empty())
report_fatal_error("Empty type name for BTF_TYPE_ID_REMOTE reloc"); report_fatal_error("Empty type name for BTF_TYPE_ID_REMOTE reloc");
} }
BasicBlock *BB = Call->getParent(); BasicBlock *BB = Call->getParent();
IntegerType *VarType = Type::getInt32Ty(BB->getContext()); IntegerType *VarType = Type::getInt64Ty(BB->getContext());
std::string GVName = BaseName + std::to_string(Count) + "$" + std::string GVName = BaseName + std::to_string(Count) + "$" +
std::to_string(Reloc); std::to_string(Reloc);
GlobalVariable *GV = new GlobalVariable( GlobalVariable *GV = new GlobalVariable(
*M, VarType, false, GlobalVariable::ExternalLinkage, NULL, GVName); *M, VarType, false, GlobalVariable::ExternalLinkage, NULL, GVName);
GV->addAttribute(BPFCoreSharedInfo::TypeIdAttr); GV->addAttribute(BPFCoreSharedInfo::TypeIdAttr);
GV->setMetadata(LLVMContext::MD_preserve_access_index, MD); GV->setMetadata(LLVMContext::MD_preserve_access_index, MD);
// Load the global variable which represents the type info. // Load the global variable which represents the type info.
auto *LDInst = new LoadInst(Type::getInt32Ty(BB->getContext()), GV, "", auto *LDInst = new LoadInst(Type::getInt64Ty(BB->getContext()), GV, "",
Lint: Pre-merge checks
Inline Actions

clang-format: please reformat the code

-    auto *LDInst = new LoadInst(Type::getInt64Ty(BB->getContext()), GV, "",
-                                Call);
+    auto *LDInst =
+        new LoadInst(Type::getInt64Ty(BB->getContext()), GV, "", Call);
Lint: Pre-merge checks: clang-format: please reformat the code ``` - auto *LDInst = new LoadInst(Type::getInt64Ty(BB…
Call); Call);
Instruction *PassThroughInst = Instruction *PassThroughInst =
BPFCoreSharedInfo::insertPassThrough(M, BB, LDInst, Call); BPFCoreSharedInfo::insertPassThrough(M, BB, LDInst, Call);
Call->replaceAllUsesWith(PassThroughInst); Call->replaceAllUsesWith(PassThroughInst);
Call->eraseFromParent(); Call->eraseFromParent();
Count++; Count++;
} }
Show All 29 Lines

llvm/lib/Target/BPF/BTFDebug.cpp

Show First 20 Lines • Show All 1,218 Lines • ▼ Show 20 Lines if (MO.isGlobal()) {
GVar->hasAttribute(BPFCoreSharedInfo::TypeIdAttr)) { GVar->hasAttribute(BPFCoreSharedInfo::TypeIdAttr)) {
Imm = PatchImms[GVar].first; Imm = PatchImms[GVar].first;
Reloc = PatchImms[GVar].second; Reloc = PatchImms[GVar].second;
} else { } else {
return false; return false;
} }
if (Reloc == BPFCoreSharedInfo::ENUM_VALUE_EXISTENCE || if (Reloc == BPFCoreSharedInfo::ENUM_VALUE_EXISTENCE ||
Reloc == BPFCoreSharedInfo::ENUM_VALUE) Reloc == BPFCoreSharedInfo::ENUM_VALUE ||
Reloc == BPFCoreSharedInfo::BTF_TYPE_ID_LOCAL ||
Reloc == BPFCoreSharedInfo::BTF_TYPE_ID_REMOTE)
OutMI.setOpcode(BPF::LD_imm64); OutMI.setOpcode(BPF::LD_imm64);
astUnsubmitted
Not Done
ReplyInline Actions

libbpf would need to support both (ld_imm64 and mov32), right?

ast: libbpf would need to support both (ld_imm64 and mov32), right?
yonghong-songAuthorUnsubmitted
Done
ReplyInline Actions

all selftests passed. I suspect libbpf already supports both ld_imm64 and mov32...

yonghong-song: all selftests passed. I suspect libbpf already supports both ld_imm64 and mov32...
anakryikoUnsubmitted
Not Done
ReplyInline Actions

there is no need to make BTF_TYPE_ID_LOCAL to return u64, but if it helps uniformity, then why not.

libbpf does support ldimm64 in general, but I'll need to extend this specifically for BTF_TYPE_ID_REMOTE to record module BTF ID in upper 32 bits. For now it will be just zeroes, which works fine.

anakryiko: there is no need to make BTF_TYPE_ID_LOCAL to return u64, but if it helps uniformity, then why…
yonghong-songAuthorUnsubmitted
Done
ReplyInline Actions

yes, uniformity is why I also return u64 for BTF_TYPE_ID_LOCAL.

yonghong-song: yes, uniformity is why I also return u64 for BTF_TYPE_ID_LOCAL.
else else
OutMI.setOpcode(BPF::MOV_ri); OutMI.setOpcode(BPF::MOV_ri);
OutMI.addOperand(MCOperand::createReg(MI->getOperand(0).getReg())); OutMI.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
OutMI.addOperand(MCOperand::createImm(Imm)); OutMI.addOperand(MCOperand::createImm(Imm));
return true; return true;
} }
} }
} else if (MI->getOpcode() == BPF::CORE_MEM || } else if (MI->getOpcode() == BPF::CORE_MEM ||
▲ Show 20 Lines • Show All 90 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/BTF/builtin-btf-type-id.ll

; RUN: opt -O2 %s | llvm-dis > %t1 ; RUN: opt -O2 -mtriple=bpf-pc-linux %s | llvm-dis > %t1
; RUN: llc -filetype=asm -o - %t1 | FileCheck -check-prefixes=CHECK %s ; RUN: llc -filetype=asm -o - %t1 | FileCheck -check-prefixes=CHECK %s
; RUN: llc -mattr=+alu32 -filetype=asm -o - %t1 | FileCheck -check-prefixes=CHECK %s ; RUN: llc -mattr=+alu32 -filetype=asm -o - %t1 | FileCheck -check-prefixes=CHECK %s
; ;
; Source code: ; Source code:
; static int (*bpf_log)(unsigned tid, void *data, int data_size) = (void *)999; ; static int (*bpf_log)(unsigned long tid, void *data, int data_size) = (void *)999;
; struct { ; struct {
; char f1[100]; ; char f1[100];
; typeof(3) f2; ; typeof(3) f2;
; } tmp__abc = {1, 3}; ; } tmp__abc = {1, 3};
; void prog1() { ; void prog1() {
; bpf_log(__builtin_btf_type_id(tmp__abc, 0), &tmp__abc, sizeof(tmp__abc)); ; bpf_log(__builtin_btf_type_id(tmp__abc, 0), &tmp__abc, sizeof(tmp__abc));
; } ; }
; void prog2() { ; void prog2() {
; bpf_log(__builtin_btf_type_id(&tmp__abc, 0), &tmp__abc, sizeof(tmp__abc)); ; bpf_log(__builtin_btf_type_id(&tmp__abc, 0), &tmp__abc, sizeof(tmp__abc));
; } ; }
; void prog3() { ; void prog3() {
; bpf_log(__builtin_btf_type_id(tmp__abc.f1[3], 1), &tmp__abc, sizeof(tmp__abc)); ; bpf_log(__builtin_btf_type_id(tmp__abc.f1[3], 1), &tmp__abc, sizeof(tmp__abc));
; } ; }
; Compilation flag: ; Compilation flag:
; clang -target bpf -O2 -g -S -emit-llvm -Xclang -disable-llvm-passes test.c ; clang -target bpf -O2 -g -S -emit-llvm -Xclang -disable-llvm-passes test.c
target triple = "bpf"
@tmp__abc = dso_local global { <{ i8, i8, [98 x i8] }>, i32 } { <{ i8, i8, [98 x i8] }> <{ i8 1, i8 3, [98 x i8] zeroinitializer }>, i32 0 }, align 4, !dbg !0 @tmp__abc = dso_local global { <{ i8, i8, [98 x i8] }>, i32 } { <{ i8, i8, [98 x i8] }> <{ i8 1, i8 3, [98 x i8] zeroinitializer }>, i32 0 }, align 4, !dbg !0
@bpf_log = internal global i32 (i64, i8*, i32)* inttoptr (i64 999 to i32 (i64, i8*, i32)*), align 8, !dbg !17
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @prog1() local_unnamed_addr #0 !dbg !28 { define dso_local void @prog1() #0 !dbg !28 {
entry: entry:
%0 = tail call i32 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !31, !llvm.preserve.access.index !7 %0 = load i32 (i64, i8*, i32)*, i32 (i64, i8*, i32)** @bpf_log, align 8, !dbg !31, !tbaa !32
%call = tail call i32 inttoptr (i64 999 to i32 (i32, i8*, i32)*)(i32 %0, i8* getelementptr inbounds ({ <{ i8, i8, [98 x i8] }>, i32 }, { <{ i8, i8, [98 x i8] }>, i32 }* @tmp__abc, i64 0, i32 0, i32 0), i32 104) #2, !dbg !32 %1 = call i64 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !36, !llvm.preserve.access.index !7
ret void, !dbg !33 %call = call i32 %0(i64 %1, i8* getelementptr inbounds ({ <{ i8, i8, [98 x i8] }>, i32 }, { <{ i8, i8, [98 x i8] }>, i32 }* @tmp__abc, i32 0, i32 0, i32 0), i32 104), !dbg !31
ret void, !dbg !37
} }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare i32 @llvm.bpf.btf.type.id(i32, i64) #1 declare i64 @llvm.bpf.btf.type.id(i32, i64) #1
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @prog2() local_unnamed_addr #0 !dbg !34 { define dso_local void @prog2() #0 !dbg !38 {
entry: entry:
%0 = tail call i32 @llvm.bpf.btf.type.id(i32 1, i64 0), !dbg !35, !llvm.preserve.access.index !6 %0 = load i32 (i64, i8*, i32)*, i32 (i64, i8*, i32)** @bpf_log, align 8, !dbg !39, !tbaa !32
%call = tail call i32 inttoptr (i64 999 to i32 (i32, i8*, i32)*)(i32 %0, i8* getelementptr inbounds ({ <{ i8, i8, [98 x i8] }>, i32 }, { <{ i8, i8, [98 x i8] }>, i32 }* @tmp__abc, i64 0, i32 0, i32 0), i32 104) #2, !dbg !36 %1 = call i64 @llvm.bpf.btf.type.id(i32 1, i64 0), !dbg !40, !llvm.preserve.access.index !6
ret void, !dbg !37 %call = call i32 %0(i64 %1, i8* getelementptr inbounds ({ <{ i8, i8, [98 x i8] }>, i32 }, { <{ i8, i8, [98 x i8] }>, i32 }* @tmp__abc, i32 0, i32 0, i32 0), i32 104), !dbg !39
ret void, !dbg !41
} }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @prog3() local_unnamed_addr #0 !dbg !38 { define dso_local void @prog3() #0 !dbg !42 {
entry: entry:
%0 = tail call i32 @llvm.bpf.btf.type.id(i32 2, i64 1), !dbg !39, !llvm.preserve.access.index !11 %0 = load i32 (i64, i8*, i32)*, i32 (i64, i8*, i32)** @bpf_log, align 8, !dbg !43, !tbaa !32
%call = tail call i32 inttoptr (i64 999 to i32 (i32, i8*, i32)*)(i32 %0, i8* getelementptr inbounds ({ <{ i8, i8, [98 x i8] }>, i32 }, { <{ i8, i8, [98 x i8] }>, i32 }* @tmp__abc, i64 0, i32 0, i32 0), i32 104) #2, !dbg !40 %1 = call i64 @llvm.bpf.btf.type.id(i32 2, i64 1), !dbg !44, !llvm.preserve.access.index !11
ret void, !dbg !41 %call = call i32 %0(i64 %1, i8* getelementptr inbounds ({ <{ i8, i8, [98 x i8] }>, i32 }, { <{ i8, i8, [98 x i8] }>, i32 }* @tmp__abc, i32 0, i32 0, i32 0), i32 104), !dbg !43
ret void, !dbg !45
} }
; CHECK-LABEL: prog1 ; CHECK-LABEL: prog1
; CHECK: r1 = 3 ; CHECK: r1 = 3 ll
; CHECK-LABEL: prog2 ; CHECK-LABEL: prog2
; CHECK: r1 = 10 ; CHECK: r1 = 10 ll
; CHECK-LABEL: prog3 ; CHECK-LABEL: prog3
; CHECK: r1 = 4 ; CHECK: r1 = 4 ll
; CHECK: .long 0 # BTF_KIND_STRUCT(id = 3) ; CHECK: .long 0 # BTF_KIND_STRUCT(id = 3)
; CHECK-NEXT: .long 67108866 # 0x4000002 ; CHECK-NEXT: .long 67108866 # 0x4000002
; CHECK-NEXT: .long 104 ; CHECK-NEXT: .long 104
; CHECK-NEXT: .long 13 ; CHECK-NEXT: .long 13
; CHECK-NEXT: .long 5 ; CHECK-NEXT: .long 5
; CHECK-NEXT: .long 0 # 0x0 ; CHECK-NEXT: .long 0 # 0x0
; CHECK-NEXT: .long 16 ; CHECK-NEXT: .long 16
Show All 21 Lines
; CHECK-NEXT: .long 10 ; CHECK-NEXT: .long 10
; CHECK-NEXT: .long 48 ; CHECK-NEXT: .long 48
; CHECK-NEXT: .long 6 ; CHECK-NEXT: .long 6
; CHECK-NEXT: .long .Ltmp{{[0-9]+}} ; CHECK-NEXT: .long .Ltmp{{[0-9]+}}
; CHECK-NEXT: .long 4 ; CHECK-NEXT: .long 4
; CHECK-NEXT: .long 48 ; CHECK-NEXT: .long 48
; CHECK-NEXT: .long 7 ; CHECK-NEXT: .long 7
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"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } attributes #0 = { nounwind "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"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone } attributes #1 = { nounwind readnone }
attributes #2 = { nounwind }
!llvm.dbg.cu = !{!2} !llvm.dbg.cu = !{!2}
!llvm.module.flags = !{!24, !25, !26} !llvm.module.flags = !{!24, !25, !26}
!llvm.ident = !{!27} !llvm.ident = !{!27}
!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression()) !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
!1 = distinct !DIGlobalVariable(name: "tmp__abc", scope: !2, file: !3, line: 5, type: !7, isLocal: false, isDefinition: true) !1 = distinct !DIGlobalVariable(name: "tmp__abc", scope: !2, file: !3, line: 5, type: !7, isLocal: false, isDefinition: true)
!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 12.0.0 (https://github.com/llvm/llvm-project.git f39aae11dca3f8f8c2c755a871726ed2fa82fd57)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !5, globals: !16, splitDebugInlining: false, nameTableKind: None) !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 12.0.0 (https://github.com/llvm/llvm-project.git 630c2da0e967e27e2a4c678dfc6e452a74141880)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !5, globals: !16, splitDebugInlining: false, nameTableKind: None)
!3 = !DIFile(filename: "test.c", directory: "/tmp/home/yhs/work/tests/core") !3 = !DIFile(filename: "test.c", directory: "/tmp/home/yhs/work/tests/core")
!4 = !{} !4 = !{}
!5 = !{!6, !11} !5 = !{!6, !11}
!6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64) !6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64)
!7 = distinct !DICompositeType(tag: DW_TAG_structure_type, file: !3, line: 2, size: 832, elements: !8) !7 = distinct !DICompositeType(tag: DW_TAG_structure_type, file: !3, line: 2, size: 832, elements: !8)
!8 = !{!9, !14} !8 = !{!9, !14}
!9 = !DIDerivedType(tag: DW_TAG_member, name: "f1", scope: !7, file: !3, line: 3, baseType: !10, size: 800) !9 = !DIDerivedType(tag: DW_TAG_member, name: "f1", scope: !7, file: !3, line: 3, baseType: !10, size: 800)
!10 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, size: 800, elements: !12) !10 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, size: 800, elements: !12)
!11 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char) !11 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
!12 = !{!13} !12 = !{!13}
!13 = !DISubrange(count: 100) !13 = !DISubrange(count: 100)
!14 = !DIDerivedType(tag: DW_TAG_member, name: "f2", scope: !7, file: !3, line: 4, baseType: !15, size: 32, offset: 800) !14 = !DIDerivedType(tag: DW_TAG_member, name: "f2", scope: !7, file: !3, line: 4, baseType: !15, size: 32, offset: 800)
!15 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) !15 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!16 = !{!0, !17} !16 = !{!0, !17}
!17 = !DIGlobalVariableExpression(var: !18, expr: !DIExpression()) !17 = !DIGlobalVariableExpression(var: !18, expr: !DIExpression())
!18 = distinct !DIGlobalVariable(name: "bpf_log", scope: !2, file: !3, line: 1, type: !19, isLocal: true, isDefinition: true) !18 = distinct !DIGlobalVariable(name: "bpf_log", scope: !2, file: !3, line: 1, type: !19, isLocal: true, isDefinition: true)
!19 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !20, size: 64) !19 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !20, size: 64)
!20 = !DISubroutineType(types: !21) !20 = !DISubroutineType(types: !21)
!21 = !{!15, !22, !23, !15} !21 = !{!15, !22, !23, !15}
!22 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned) !22 = !DIBasicType(name: "long unsigned int", size: 64, encoding: DW_ATE_unsigned)
!23 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64) !23 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)
!24 = !{i32 7, !"Dwarf Version", i32 4} !24 = !{i32 7, !"Dwarf Version", i32 4}
!25 = !{i32 2, !"Debug Info Version", i32 3} !25 = !{i32 2, !"Debug Info Version", i32 3}
!26 = !{i32 1, !"wchar_size", i32 4} !26 = !{i32 1, !"wchar_size", i32 4}
!27 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git f39aae11dca3f8f8c2c755a871726ed2fa82fd57)"} !27 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git 630c2da0e967e27e2a4c678dfc6e452a74141880)"}
!28 = distinct !DISubprogram(name: "prog1", scope: !3, file: !3, line: 6, type: !29, scopeLine: 6, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4) !28 = distinct !DISubprogram(name: "prog1", scope: !3, file: !3, line: 6, type: !29, scopeLine: 6, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!29 = !DISubroutineType(types: !30) !29 = !DISubroutineType(types: !30)
!30 = !{null} !30 = !{null}
!31 = !DILocation(line: 7, column: 11, scope: !28) !31 = !DILocation(line: 7, column: 3, scope: !28)
!32 = !DILocation(line: 7, column: 3, scope: !28) !32 = !{!33, !33, i64 0}
!33 = !DILocation(line: 8, column: 1, scope: !28) !33 = !{!"any pointer", !34, i64 0}
!34 = distinct !DISubprogram(name: "prog2", scope: !3, file: !3, line: 9, type: !29, scopeLine: 9, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4) !34 = !{!"omnipotent char", !35, i64 0}
!35 = !DILocation(line: 10, column: 11, scope: !34) !35 = !{!"Simple C/C++ TBAA"}
!36 = !DILocation(line: 10, column: 3, scope: !34) !36 = !DILocation(line: 7, column: 11, scope: !28)
!37 = !DILocation(line: 11, column: 1, scope: !34) !37 = !DILocation(line: 8, column: 1, scope: !28)
!38 = distinct !DISubprogram(name: "prog3", scope: !3, file: !3, line: 12, type: !29, scopeLine: 12, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4) !38 = distinct !DISubprogram(name: "prog2", scope: !3, file: !3, line: 9, type: !29, scopeLine: 9, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!39 = !DILocation(line: 13, column: 11, scope: !38) !39 = !DILocation(line: 10, column: 3, scope: !38)
!40 = !DILocation(line: 13, column: 3, scope: !38) !40 = !DILocation(line: 10, column: 11, scope: !38)
!41 = !DILocation(line: 14, column: 1, scope: !38) !41 = !DILocation(line: 11, column: 1, scope: !38)
!42 = distinct !DISubprogram(name: "prog3", scope: !3, file: !3, line: 12, type: !29, scopeLine: 12, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!43 = !DILocation(line: 13, column: 3, scope: !42)
!44 = !DILocation(line: 13, column: 11, scope: !42)
!45 = !DILocation(line: 14, column: 1, scope: !42)

llvm/test/CodeGen/BPF/CORE/btf-id-duplicate.ll

Show All 12 Lines
%struct.s1 = type { i32, i32 } %struct.s1 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @foo(%struct.s1* %arg) #0 !dbg !7 { define dso_local i32 @foo(%struct.s1* %arg) #0 !dbg !7 {
entry: entry:
%arg.addr = alloca %struct.s1*, align 8 %arg.addr = alloca %struct.s1*, align 8
store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18 store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18
call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !17, metadata !DIExpression()), !dbg !22 call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !17, metadata !DIExpression()), !dbg !22
%0 = call i32 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !23, !llvm.preserve.access.index !12 %0 = call i64 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !23, !llvm.preserve.access.index !12
ret i32 %0, !dbg !24 %conv = trunc i64 %0 to i32, !dbg !23
ret i32 %conv, !dbg !24
} }
; Function Attrs: nounwind readnone speculatable willreturn ; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare i32 @llvm.bpf.btf.type.id(i32, i64) #2 declare i64 @llvm.bpf.btf.type.id(i32, i64) #2
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bar(%struct.s1* %arg) #0 !dbg !25 { define dso_local i32 @bar(%struct.s1* %arg) #0 !dbg !25 {
entry: entry:
%arg.addr = alloca %struct.s1*, align 8 %arg.addr = alloca %struct.s1*, align 8
store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18 store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18
call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !27, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !27, metadata !DIExpression()), !dbg !28
%0 = call i32 @llvm.bpf.btf.type.id(i32 1, i64 0), !dbg !29, !llvm.preserve.access.index !12 %0 = call i64 @llvm.bpf.btf.type.id(i32 1, i64 0), !dbg !29, !llvm.preserve.access.index !12
ret i32 %0, !dbg !30 %conv = trunc i64 %0 to i32, !dbg !29
ret i32 %conv, !dbg !30
} }
; CHECK: .long 1 # BTF_KIND_STRUCT(id = 2) ; CHECK: .long 1 # BTF_KIND_STRUCT(id = 2)
; CHECK: .ascii "s1" # string offset=1 ; CHECK: .ascii "s1" # string offset=1
; CHECK: .ascii ".text" # string offset=20 ; CHECK: .ascii ".text" # string offset=20
; CHECK: .byte 48 # string offset=26 ; CHECK: .byte 48 # string offset=26
; CHECK: .long 16 # FieldReloc ; CHECK: .long 16 # FieldReloc
; CHECK-NEXT: .long 20 # Field reloc section string offset=20 ; CHECK-NEXT: .long 20 # Field reloc section string offset=20
; CHECK-NEXT: .long 2 ; CHECK-NEXT: .long 2
; CHECK-NEXT: .long .Ltmp{{[0-9]+}} ; CHECK-NEXT: .long .Ltmp{{[0-9]+}}
; CHECK-NEXT: .long 2 ; CHECK-NEXT: .long 2
; CHECK-NEXT: .long 26 ; CHECK-NEXT: .long 26
; CHECK-NEXT: .long 6 ; CHECK-NEXT: .long 6
; CHECK-NEXT: .long .Ltmp{{[0-9]+}} ; CHECK-NEXT: .long .Ltmp{{[0-9]+}}
; CHECK-NEXT: .long 2 ; CHECK-NEXT: .long 2
; CHECK-NEXT: .long 26 ; CHECK-NEXT: .long 26
; CHECK-NEXT: .long 6 ; CHECK-NEXT: .long 6
attributes #0 = { nounwind "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"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } attributes #0 = { nounwind "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"="true" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone speculatable willreturn } attributes #1 = { nofree nosync nounwind readnone speculatable willreturn }
attributes #2 = { nounwind readnone } attributes #2 = { nounwind readnone }
!llvm.dbg.cu = !{!0} !llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!3, !4, !5} !llvm.module.flags = !{!3, !4, !5}
!llvm.ident = !{!6} !llvm.ident = !{!6}
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 12.0.0 (https://github.com/llvm/llvm-project.git 80a3f7beebd8caab358ff063526ae2d26467c029)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None) !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 12.0.0 (https://github.com/llvm/llvm-project.git c1c153c3c70641a23c4a9540a897ff2d4eb4c5b2)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None)
!1 = !DIFile(filename: "test.c", directory: "/home/yhs/work/tests/dup") !1 = !DIFile(filename: "test.c", directory: "/home/yhs/work/tests/dup")
!2 = !{} !2 = !{}
!3 = !{i32 7, !"Dwarf Version", i32 4} !3 = !{i32 7, !"Dwarf Version", i32 4}
!4 = !{i32 2, !"Debug Info Version", i32 3} !4 = !{i32 2, !"Debug Info Version", i32 3}
!5 = !{i32 1, !"wchar_size", i32 4} !5 = !{i32 1, !"wchar_size", i32 4}
!6 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git 80a3f7beebd8caab358ff063526ae2d26467c029)"} !6 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git c1c153c3c70641a23c4a9540a897ff2d4eb4c5b2)"}
!7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 2, type: !8, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !16) !7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 2, type: !8, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !16)
!8 = !DISubroutineType(types: !9) !8 = !DISubroutineType(types: !9)
!9 = !{!10, !11} !9 = !{!10, !11}
!10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) !10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64) !11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64)
!12 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1", file: !1, line: 1, size: 64, elements: !13) !12 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1", file: !1, line: 1, size: 64, elements: !13)
!13 = !{!14, !15} !13 = !{!14, !15}
!14 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !12, file: !1, line: 1, baseType: !10, size: 32) !14 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !12, file: !1, line: 1, baseType: !10, size: 32)
Show All 16 Lines

llvm/test/CodeGen/BPF/optnone-2.ll

; RUN: opt < %s -passes='default<O2>' | llc -march=bpfel -filetype=asm -o /dev/null - ; RUN: opt < %s -passes='default<O2>' | llc -march=bpfel -filetype=asm -o /dev/null -
; RUN: opt < %s -passes='default<O0>' | llc -march=bpfel -filetype=asm -o /dev/null - ; RUN: opt < %s -passes='default<O0>' | llc -march=bpfel -filetype=asm -o /dev/null -
; IR generated by ; IR generated by
; $ cat /tmp/a.c ; $ cat /tmp/a.c
; struct ss { int a; }; ; struct ss { int a; };
; int foo() { return __builtin_btf_type_id(0, 0) + __builtin_preserve_type_info(*(struct ss *)0, 0); } ; int foo() { return __builtin_btf_type_id(0, 0) + __builtin_preserve_type_info(*(struct ss *)0, 0); }
; $ clang -target bpf -g -S -emit-llvm t.c -Xclang -disable-llvm-passes /tmp/a.c ; $ clang -target bpf -g -S -emit-llvm t.c -Xclang -disable-llvm-passes /tmp/a.c
target triple = "bpf" target triple = "bpf"
; Function Attrs: noinline nounwind optnone ; Function Attrs: noinline nounwind optnone
define dso_local i32 @foo() #0 !dbg !9 { define dso_local i32 @foo() #0 !dbg !9 {
entry: entry:
%0 = call i32 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !12, !llvm.preserve.access.index !4 %0 = call i64 @llvm.bpf.btf.type.id(i32 0, i64 0), !dbg !11, !llvm.preserve.access.index !4
%1 = call i32 @llvm.bpf.preserve.type.info(i32 1, i64 0), !dbg !13, !llvm.preserve.access.index !14 %1 = call i32 @llvm.bpf.preserve.type.info(i32 1, i64 0), !dbg !12, !llvm.preserve.access.index !13
%add = add i32 %0, %1, !dbg !17 %conv = zext i32 %1 to i64, !dbg !12
ret i32 %add, !dbg !18 %add = add i64 %0, %conv, !dbg !16
%conv1 = trunc i64 %add to i32, !dbg !11
ret i32 %conv1, !dbg !17
} }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare i32 @llvm.bpf.btf.type.id(i32, i64) #1 declare i64 @llvm.bpf.btf.type.id(i32, i64) #1
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare i32 @llvm.bpf.preserve.type.info(i32, i64) #1 declare i32 @llvm.bpf.preserve.type.info(i32, i64) #1
attributes #0 = { noinline nounwind optnone } attributes #0 = { noinline nounwind optnone }
attributes #1 = { nounwind readnone } attributes #1 = { nounwind readnone }
!llvm.dbg.cu = !{!0} !llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!5, !6, !7} !llvm.module.flags = !{!5, !6, !7}
!llvm.ident = !{!8} !llvm.ident = !{!8}
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 12.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !3, splitDebugInlining: false, nameTableKind: None) !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 12.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !3, splitDebugInlining: false, nameTableKind: None)
!1 = !DIFile(filename: "C:/src/tmp\\a.c", directory: "C:\\src\\llvm-project") !1 = !DIFile(filename: "C:/src/tmp\\a.c", directory: "C:\\src\\llvm-project")
!2 = !{} !2 = !{}
!3 = !{!4} !3 = !{!4}
!4 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) !4 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!5 = !{i32 7, !"Dwarf Version", i32 4} !5 = !{i32 7, !"Dwarf Version", i32 4}
!6 = !{i32 2, !"Debug Info Version", i32 3} !6 = !{i32 2, !"Debug Info Version", i32 3}
!7 = !{i32 1, !"wchar_size", i32 4} !7 = !{i32 1, !"wchar_size", i32 4}
!8 = !{!"clang version 12.0.0"} !8 = !{!"clang version 12.0.0"}
!9 = distinct !DISubprogram(name: "foo", scope: !10, file: !10, line: 2, type: !11, scopeLine: 2, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2) !9 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 2, type: !10, scopeLine: 2, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
!10 = !DIFile(filename: "C:/src/tmp/a.c", directory: "") !10 = !DISubroutineType(types: !3)
!11 = !DISubroutineType(types: !3) !11 = !DILocation(line: 2, column: 20, scope: !9)
!12 = !DILocation(line: 2, column: 21, scope: !9) !12 = !DILocation(line: 2, column: 50, scope: !9)
!13 = !DILocation(line: 2, column: 51, scope: !9) !13 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "ss", file: !1, line: 1, size: 32, elements: !14)
!14 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "ss", file: !10, line: 1, size: 32, elements: !15) !14 = !{!15}
!15 = !{!16} !15 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !13, file: !1, line: 1, baseType: !4, size: 32)
!16 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !14, file: !10, line: 1, baseType: !4, size: 32) !16 = !DILocation(line: 2, column: 48, scope: !9)
!17 = !DILocation(line: 2, column: 49, scope: !9) !17 = !DILocation(line: 2, column: 13, scope: !9)
!18 = !DILocation(line: 2, column: 14, scope: !9)