LLVM 23.0.0git
BPFAsmPrinter.cpp
Go to the documentation of this file.
1//===-- BPFAsmPrinter.cpp - BPF LLVM assembly writer ----------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains a printer that converts from our internal representation
10// of machine-dependent LLVM code to the BPF assembly language.
11//
12//===----------------------------------------------------------------------===//
13
14#include "BPFAsmPrinter.h"
15#include "BPF.h"
16#include "BPFInstrInfo.h"
17#include "BPFMCInstLower.h"
18#include "BTFDebug.h"
29#include "llvm/IR/Module.h"
30#include "llvm/MC/MCAsmInfo.h"
31#include "llvm/MC/MCExpr.h"
32#include "llvm/MC/MCInst.h"
34#include "llvm/MC/MCStreamer.h"
35#include "llvm/MC/MCSymbol.h"
36#include "llvm/MC/MCSymbolELF.h"
41using namespace llvm;
42
43#define DEBUG_TYPE "asm-printer"
44
46 std::unique_ptr<MCStreamer> Streamer)
47 : AsmPrinter(TM, std::move(Streamer), ID), BTF(nullptr), TM(TM) {}
48
50
53
54 // Only emit BTF when debuginfo available.
55 if (MAI.doesSupportDebugInformation() && !M.debug_compile_units().empty()) {
56 BTF = new BTFDebug(this);
57 Handlers.push_back(std::unique_ptr<BTFDebug>(BTF));
58 }
59
60 return false;
61}
62
63const BPFTargetMachine &BPFAsmPrinter::getBTM() const {
64 return static_cast<const BPFTargetMachine &>(TM);
65}
66
68 // Remove unused globals which are previously used for jump table.
69 const BPFSubtarget *Subtarget = getBTM().getSubtargetImpl();
70 if (Subtarget->hasGotox()) {
71 std::vector<GlobalVariable *> Targets;
72 for (GlobalVariable &Global : M.globals()) {
73 if (Global.getLinkage() != GlobalValue::PrivateLinkage)
74 continue;
75 if (!Global.isConstant() || !Global.hasInitializer())
76 continue;
77
78 Constant *CV = dyn_cast<Constant>(Global.getInitializer());
79 if (!CV)
80 continue;
82 if (!CA)
83 continue;
84
85 if (!all_of(CA->operands(),
86 [](const Use &Op) { return isa<BlockAddress>(Op); }))
87 continue;
88 Targets.push_back(&Global);
89 }
90
91 for (GlobalVariable *GV : Targets) {
92 GV->replaceAllUsesWith(PoisonValue::get(GV->getType()));
93 GV->dropAllReferences();
94 GV->eraseFromParent();
95 }
96 }
97
98 for (GlobalObject &GO : M.global_objects()) {
99 if (!GO.hasExternalWeakLinkage())
100 continue;
101
102 if (!SawTrapCall && GO.getName() == BPF_TRAP) {
103 GO.eraseFromParent();
104 break;
105 }
106 }
107
109}
110
112 raw_ostream &O) {
113 const MachineOperand &MO = MI->getOperand(OpNum);
114
115 switch (MO.getType()) {
118 break;
119
121 O << MO.getImm();
122 break;
123
125 O << *MO.getMBB()->getSymbol();
126 break;
127
129 O << *getSymbol(MO.getGlobal());
130 break;
131
134 O << BA->getName();
135 break;
136 }
137
140 break;
141
144 default:
145 llvm_unreachable("<unknown operand type>");
146 }
147}
148
150 const char *ExtraCode, raw_ostream &O) {
151 if (ExtraCode && ExtraCode[0])
152 return AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, O);
153
154 printOperand(MI, OpNo, O);
155 return false;
156}
157
159 unsigned OpNum, const char *ExtraCode,
160 raw_ostream &O) {
161 assert(OpNum + 1 < MI->getNumOperands() && "Insufficient operands");
162 const MachineOperand &BaseMO = MI->getOperand(OpNum);
163 const MachineOperand &OffsetMO = MI->getOperand(OpNum + 1);
164 assert(BaseMO.isReg() && "Unexpected base pointer for inline asm memory operand.");
165 assert(OffsetMO.isImm() && "Unexpected offset for inline asm memory operand.");
166 int Offset = OffsetMO.getImm();
167
168 if (ExtraCode)
169 return true; // Unknown modifier.
170
171 if (Offset < 0)
172 O << "(" << BPFInstPrinter::getRegisterName(BaseMO.getReg()) << " - " << -Offset << ")";
173 else
174 O << "(" << BPFInstPrinter::getRegisterName(BaseMO.getReg()) << " + " << Offset << ")";
175
176 return false;
177}
178
180 if (MI->isCall()) {
181 for (const MachineOperand &Op : MI->operands()) {
182 if (Op.isGlobal()) {
183 if (const GlobalValue *GV = Op.getGlobal())
184 if (GV->getName() == BPF_TRAP)
185 SawTrapCall = true;
186 }
187 }
188 }
189
190 BPF_MC::verifyInstructionPredicates(MI->getOpcode(),
191 getSubtargetInfo().getFeatureBits());
192
193 MCInst TmpInst;
194
195 if (!BTF || !BTF->InstLower(MI, TmpInst)) {
196 BPFMCInstLower MCInstLowering(OutContext, *this);
197 MCInstLowering.Lower(MI, TmpInst);
198 }
199 EmitToStreamer(*OutStreamer, TmpInst);
200}
201
203 // Emit .bpf_cleanup section with a flat table of
204 // (call_site, landing_pad) pairs.
205 const std::vector<LandingPadInfo> &LandingPads = MF->getLandingPads();
206 if (LandingPads.empty())
207 return;
208
209 MCContext &Ctx = OutContext;
210 auto *CleanupSec =
211 Ctx.getELFSection(".bpf_cleanup", ELF::SHT_PROGBITS, ELF::SHF_ALLOC);
212 OutStreamer->switchSection(CleanupSec);
213
214 const auto &TypeInfos = MF->getTypeInfos();
215 const Function &F = MF->getFunction();
216 LLVMContext &LLVMCtx = F.getContext();
217
218 // Each landing pad has BeginLabels/EndLabels marking the invoke
219 // call sites that unwind to it.
220 for (const LandingPadInfo &LP : LandingPads) {
221 // BPF treats all landing pads as catch-all: the kernel redirects to
222 // the landing pad regardless of exception type. Reject type-specific
223 // catches and filters which would silently misbehave.
224 for (int TId : LP.TypeIds) {
225 if (TId > 0 && TypeInfos[TId - 1] != nullptr) {
227 F, "BPF does not support type-specific exception catches yet"));
228 return;
229 }
230 if (TId < 0) {
232 F, "BPF does not support exception filters yet"));
233 return;
234 }
235 }
236
237 MCSymbol *LPLabel = LP.LandingPadLabel;
238 if (!LPLabel)
239 continue;
240 for (unsigned i = 0, e = LP.BeginLabels.size(); i != e; ++i) {
241 MCSymbol *Begin = LP.BeginLabels[i];
242 MCSymbol *End = LP.EndLabels[i];
243
244 // Each entry is 3 x 4 bytes: begin, end, landing_pad.
245 // The invoke region [begin, end) may include argument setup
246 // before the call. The runtime checks begin <= PC < end.
247 OutStreamer->emitSymbolValue(Begin, 4);
248 OutStreamer->emitSymbolValue(End, 4);
249 OutStreamer->emitSymbolValue(LPLabel, 4);
250 }
251 }
252
253 // Switch back to the function's section.
254 OutStreamer->switchSection(MF->getSection());
255}
256
258 SmallString<60> Name;
260 << "BPF.JT." << MF->getFunctionNumber() << '.' << JTI;
261 MCSymbol *S = OutContext.getOrCreateSymbol(Name);
262 if (auto *ES = static_cast<MCSymbolELF *>(S)) {
263 ES->setBinding(ELF::STB_GLOBAL);
264 ES->setType(ELF::STT_OBJECT);
265 }
266 return S;
267}
268
270 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
271 if (!MJTI)
272 return;
273
274 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
275 if (JT.empty())
276 return;
277
279 const Function &F = MF->getFunction();
280
281 MCSection *Sec = OutStreamer->getCurrentSectionOnly();
282 MCSymbol *SecStart = Sec->getBeginSymbol();
283
284 MCSection *JTS = TLOF.getSectionForJumpTable(F, TM);
286 unsigned EntrySize = MJTI->getEntrySize(getDataLayout());
287 OutStreamer->switchSection(JTS);
288 for (unsigned JTI = 0; JTI < JT.size(); JTI++) {
289 ArrayRef<MachineBasicBlock *> JTBBs = JT[JTI].MBBs;
290 if (JTBBs.empty())
291 continue;
292
293 MCSymbol *JTStart = getJTPublicSymbol(JTI);
294 OutStreamer->emitLabel(JTStart);
295 for (const MachineBasicBlock *MBB : JTBBs) {
296 const MCExpr *Diff = MCBinaryExpr::createSub(
299 OutStreamer->emitValue(Diff, EntrySize);
300 }
301 const MCExpr *JTSize =
302 MCConstantExpr::create(JTBBs.size() * EntrySize, OutContext);
303 OutStreamer->emitELFSize(JTStart, JTSize);
304 }
305}
306
307char BPFAsmPrinter::ID = 0;
308
309INITIALIZE_PASS(BPFAsmPrinter, "bpf-asm-printer", "BPF Assembly Printer", false,
310 false)
311
312// Force static initialization.
314LLVMInitializeBPFAsmPrinter() {
318}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock & MBB
#define BPF_TRAP
Definition BPF.h:25
This file contains support for writing BTF debug info.
#define X(NUM, ENUM, NAME)
Definition ELF.h:853
#define LLVM_ABI
Definition Compiler.h:215
#define LLVM_EXTERNAL_VISIBILITY
Definition Compiler.h:132
IRTranslator LLVM IR MI
Module.h This file contains the declarations for the Module class.
#define F(x, y, z)
Definition MD5.cpp:54
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
This file describes how to lower LLVM code to machine code.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
size_t size() const
Get the array size.
Definition ArrayRef.h:141
bool empty() const
Check if the array is empty.
Definition ArrayRef.h:136
const TargetLoweringObjectFile & getObjFileLowering() const
Return information about object file lowering.
MCSymbol * getSymbol(const GlobalValue *GV) const
void EmitToStreamer(MCStreamer &S, const MCInst &Inst)
TargetMachine & TM
Target machine description.
Definition AsmPrinter.h:94
SmallVector< std::unique_ptr< AsmPrinterHandler >, 2 > Handlers
Definition AsmPrinter.h:244
MachineFunction * MF
The current machine function.
Definition AsmPrinter.h:109
bool doInitialization(Module &M) override
Set up the AsmPrinter when we are working on a new module.
AsmPrinter(TargetMachine &TM, std::unique_ptr< MCStreamer > Streamer, char &ID=AsmPrinter::ID)
MCContext & OutContext
This is the context for the output file that we are streaming.
Definition AsmPrinter.h:101
bool doFinalization(Module &M) override
Shut down the asmprinter.
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
Definition AsmPrinter.h:106
const MCAsmInfo & MAI
Target Asm Printer information.
Definition AsmPrinter.h:97
MCSymbol * GetBlockAddressSymbol(const BlockAddress *BA) const
Return the MCSymbol used to satisfy BlockAddress uses of the specified basic block.
const DataLayout & getDataLayout() const
Return information about data layout.
MCSymbol * GetExternalSymbolSymbol(const Twine &Sym) const
Return the MCSymbol for the specified ExternalSymbol.
const MCSubtargetInfo & getSubtargetInfo() const
Return information about subtarget.
virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &OS)
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant.
MCSymbol * getJTPublicSymbol(unsigned JTI)
void printOperand(const MachineInstr *MI, int OpNum, raw_ostream &O)
bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum, const char *ExtraCode, raw_ostream &O) override
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant as...
BPFAsmPrinter(TargetMachine &TM, std::unique_ptr< MCStreamer > Streamer)
bool doFinalization(Module &M) override
Shut down the asmprinter.
bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &O) override
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant.
void emitFunctionBodyEnd() override
Targets can override this to emit stuff after the last basic block in the function.
~BPFAsmPrinter() override
bool doInitialization(Module &M) override
Set up the AsmPrinter when we are working on a new module.
void emitJumpTableInfo() override
Print assembly representations of the jump tables used by the current function to the current output ...
void emitInstruction(const MachineInstr *MI) override
Targets should implement this to emit instructions.
static const char * getRegisterName(MCRegister Reg)
void Lower(const MachineInstr *MI, MCInst &OutMI) const
bool hasGotox() const
Collect and emit BTF information.
Definition BTFDebug.h:295
ConstantArray - Constant Array Declarations.
Definition Constants.h:584
This is an important base class in LLVM.
Definition Constant.h:43
Diagnostic information for unsupported feature in backend.
@ PrivateLinkage
Like Internal, but omit from symbol table.
Definition GlobalValue.h:61
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
LLVM_ABI void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
static const MCBinaryExpr * createSub(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:427
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Definition MCExpr.cpp:212
Context object for machine code objects.
Definition MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:573
MCSymbol * getBeginSymbol()
Definition MCSection.h:646
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:213
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
StringRef getName() const
getName - Get the symbol name.
Definition MCSymbol.h:188
LLVM_ABI MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
Representation of each machine instruction.
LLVM_ABI unsigned getEntrySize(const DataLayout &TD) const
getEntrySize - Return the size of each entry in the jump table.
@ EK_BlockAddress
EK_BlockAddress - Each entry is a plain address of block, e.g.: .word LBB123.
const std::vector< MachineJumpTableEntry > & getJumpTables() const
MachineOperand class - Representation of each machine instruction operand.
const GlobalValue * getGlobal() const
int64_t getImm() const
bool isReg() const
isReg - Tests if this is a MO_Register operand.
MachineBasicBlock * getMBB() const
bool isImm() const
isImm - Tests if this is a MO_Immediate operand.
const BlockAddress * getBlockAddress() const
MachineOperandType getType() const
getType - Returns the MachineOperandType for this operand.
const char * getSymbolName() const
Register getReg() const
getReg - Returns the register number.
@ MO_Immediate
Immediate operand.
@ MO_ConstantPoolIndex
Address of indexed Constant in Constant Pool.
@ MO_GlobalAddress
Address of a global value.
@ MO_BlockAddress
Address of a basic block.
@ MO_MachineBasicBlock
MachineBasicBlock reference.
@ MO_Register
Register operand.
@ MO_ExternalSymbol
Name of external global symbol.
@ MO_JumpTableIndex
Address of indexed Jump Table for switch.
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
virtual MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const
Primary interface to the complete machine description for the target machine.
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
op_range operands()
Definition User.h:267
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
A raw_ostream that writes to an SmallVector or SmallString.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ SHF_ALLOC
Definition ELF.h:1251
@ SHT_PROGBITS
Definition ELF.h:1150
@ STB_GLOBAL
Definition ELF.h:1408
@ STT_OBJECT
Definition ELF.h:1420
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:558
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1738
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
Target & getTheBPFleTarget()
Target & getTheBPFbeTarget()
Target & getTheBPFTarget()
@ Global
Append to llvm.global_dtors.
DWARFExpression::Operation Op
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1916
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:860
This structure is used to retain landing pad info for the current function.
RegisterAsmPrinter - Helper template for registering a target specific assembly printer,...