blob: 437f658caf6e21c9e9812383d3f849502530db09 [file] [log] [blame]
Alexei Starovoitove4c8c802015-01-24 17:51:26 +00001//===-- BPFMCCodeEmitter.cpp - Convert BPF code to machine code -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the BPFMCCodeEmitter class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "MCTargetDesc/BPFMCTargetDesc.h"
Eugene Zelenko4282c402017-01-06 23:06:25 +000015#include "llvm/ADT/SmallVector.h"
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000016#include "llvm/MC/MCCodeEmitter.h"
17#include "llvm/MC/MCFixup.h"
18#include "llvm/MC/MCInst.h"
19#include "llvm/MC/MCInstrInfo.h"
20#include "llvm/MC/MCRegisterInfo.h"
21#include "llvm/MC/MCSubtargetInfo.h"
Eugene Zelenko4282c402017-01-06 23:06:25 +000022#include "llvm/Support/Endian.h"
Reid Kleckner858239d2016-06-22 23:23:08 +000023#include "llvm/Support/EndianStream.h"
Eugene Zelenko4282c402017-01-06 23:06:25 +000024#include <cassert>
25#include <cstdint>
26
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000027using namespace llvm;
28
29#define DEBUG_TYPE "mccodeemitter"
30
31namespace {
Eugene Zelenko4282c402017-01-06 23:06:25 +000032
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000033class BPFMCCodeEmitter : public MCCodeEmitter {
Daniel Sandersc95590b2016-11-19 14:47:41 +000034 const MCInstrInfo &MCII;
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000035 const MCRegisterInfo &MRI;
Alexei Starovoitov310dead2015-06-04 19:15:05 +000036 bool IsLittleEndian;
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000037
38public:
Daniel Sanders72db2a32016-11-19 13:05:44 +000039 BPFMCCodeEmitter(const MCInstrInfo &mcii, const MCRegisterInfo &mri,
40 bool IsLittleEndian)
41 : MCII(mcii), MRI(mri), IsLittleEndian(IsLittleEndian) {}
Eugene Zelenko4282c402017-01-06 23:06:25 +000042 BPFMCCodeEmitter(const BPFMCCodeEmitter &) = delete;
43 void operator=(const BPFMCCodeEmitter &) = delete;
44 ~BPFMCCodeEmitter() override = default;
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000045
46 // getBinaryCodeForInstr - TableGen'erated function for getting the
47 // binary encoding for an instruction.
48 uint64_t getBinaryCodeForInstr(const MCInst &MI,
49 SmallVectorImpl<MCFixup> &Fixups,
50 const MCSubtargetInfo &STI) const;
51
52 // getMachineOpValue - Return binary encoding of operand. If the machin
53 // operand requires relocation, record the relocation and return zero.
54 unsigned getMachineOpValue(const MCInst &MI, const MCOperand &MO,
55 SmallVectorImpl<MCFixup> &Fixups,
56 const MCSubtargetInfo &STI) const;
57
58 uint64_t getMemoryOpValue(const MCInst &MI, unsigned Op,
59 SmallVectorImpl<MCFixup> &Fixups,
60 const MCSubtargetInfo &STI) const;
61
Jim Grosbach91df21f2015-05-15 19:13:16 +000062 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000063 SmallVectorImpl<MCFixup> &Fixups,
64 const MCSubtargetInfo &STI) const override;
Daniel Sanders72db2a32016-11-19 13:05:44 +000065
66private:
67 uint64_t computeAvailableFeatures(const FeatureBitset &FB) const;
68 void verifyInstructionPredicates(const MCInst &MI,
69 uint64_t AvailableFeatures) const;
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000070};
Eugene Zelenko4282c402017-01-06 23:06:25 +000071
72} // end anonymous namespace
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000073
74MCCodeEmitter *llvm::createBPFMCCodeEmitter(const MCInstrInfo &MCII,
75 const MCRegisterInfo &MRI,
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000076 MCContext &Ctx) {
Daniel Sanders72db2a32016-11-19 13:05:44 +000077 return new BPFMCCodeEmitter(MCII, MRI, true);
Alexei Starovoitov310dead2015-06-04 19:15:05 +000078}
79
80MCCodeEmitter *llvm::createBPFbeMCCodeEmitter(const MCInstrInfo &MCII,
81 const MCRegisterInfo &MRI,
82 MCContext &Ctx) {
Daniel Sanders72db2a32016-11-19 13:05:44 +000083 return new BPFMCCodeEmitter(MCII, MRI, false);
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000084}
85
86unsigned BPFMCCodeEmitter::getMachineOpValue(const MCInst &MI,
87 const MCOperand &MO,
88 SmallVectorImpl<MCFixup> &Fixups,
89 const MCSubtargetInfo &STI) const {
90 if (MO.isReg())
91 return MRI.getEncodingValue(MO.getReg());
92 if (MO.isImm())
93 return static_cast<unsigned>(MO.getImm());
94
95 assert(MO.isExpr());
96
97 const MCExpr *Expr = MO.getExpr();
Alexei Starovoitove4c8c802015-01-24 17:51:26 +000098
Alexei Starovoitov94c259d2015-04-07 20:25:34 +000099 assert(Expr->getKind() == MCExpr::SymbolRef);
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000100
101 if (MI.getOpcode() == BPF::JAL)
102 // func call name
Alexei Starovoitov9a672452017-11-19 01:35:00 +0000103 Fixups.push_back(MCFixup::create(0, Expr, FK_PCRel_4));
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000104 else if (MI.getOpcode() == BPF::LD_imm64)
Jim Grosbach63661f82015-05-15 19:13:05 +0000105 Fixups.push_back(MCFixup::create(0, Expr, FK_SecRel_8));
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000106 else
107 // bb label
Jim Grosbach63661f82015-05-15 19:13:05 +0000108 Fixups.push_back(MCFixup::create(0, Expr, FK_PCRel_2));
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000109
110 return 0;
111}
112
Alexei Starovoitov310dead2015-06-04 19:15:05 +0000113static uint8_t SwapBits(uint8_t Val)
114{
115 return (Val & 0x0F) << 4 | (Val & 0xF0) >> 4;
116}
117
Jim Grosbach91df21f2015-05-15 19:13:16 +0000118void BPFMCCodeEmitter::encodeInstruction(const MCInst &MI, raw_ostream &OS,
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000119 SmallVectorImpl<MCFixup> &Fixups,
120 const MCSubtargetInfo &STI) const {
Daniel Sanders72db2a32016-11-19 13:05:44 +0000121 verifyInstructionPredicates(MI,
122 computeAvailableFeatures(STI.getFeatureBits()));
123
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000124 unsigned Opcode = MI.getOpcode();
Peter Collingbournee3f65292018-05-18 19:46:24 +0000125 support::endian::Writer OSE(OS,
126 IsLittleEndian ? support::little : support::big);
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000127
Alexei Starovoitov13cf2cc2015-03-27 18:51:42 +0000128 if (Opcode == BPF::LD_imm64 || Opcode == BPF::LD_pseudo) {
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000129 uint64_t Value = getBinaryCodeForInstr(MI, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000130 OS << char(Value >> 56);
Alexei Starovoitov310dead2015-06-04 19:15:05 +0000131 if (IsLittleEndian)
Peter Collingbournee3f65292018-05-18 19:46:24 +0000132 OS << char((Value >> 48) & 0xff);
Alexei Starovoitov310dead2015-06-04 19:15:05 +0000133 else
Peter Collingbournee3f65292018-05-18 19:46:24 +0000134 OS << char(SwapBits((Value >> 48) & 0xff));
135 OSE.write<uint16_t>(0);
136 OSE.write<uint32_t>(Value & 0xffffFFFF);
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000137
138 const MCOperand &MO = MI.getOperand(1);
139 uint64_t Imm = MO.isImm() ? MO.getImm() : 0;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000140 OSE.write<uint8_t>(0);
141 OSE.write<uint8_t>(0);
142 OSE.write<uint16_t>(0);
143 OSE.write<uint32_t>(Imm >> 32);
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000144 } else {
145 // Get instruction encoding and emit it
146 uint64_t Value = getBinaryCodeForInstr(MI, Fixups, STI);
Peter Collingbournee3f65292018-05-18 19:46:24 +0000147 OS << char(Value >> 56);
148 if (IsLittleEndian)
149 OS << char((Value >> 48) & 0xff);
150 else
151 OS << char(SwapBits((Value >> 48) & 0xff));
152 OSE.write<uint16_t>((Value >> 32) & 0xffff);
153 OSE.write<uint32_t>(Value & 0xffffFFFF);
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000154 }
155}
156
157// Encode BPF Memory Operand
158uint64_t BPFMCCodeEmitter::getMemoryOpValue(const MCInst &MI, unsigned Op,
159 SmallVectorImpl<MCFixup> &Fixups,
160 const MCSubtargetInfo &STI) const {
161 uint64_t Encoding;
162 const MCOperand Op1 = MI.getOperand(1);
163 assert(Op1.isReg() && "First operand is not register.");
164 Encoding = MRI.getEncodingValue(Op1.getReg());
165 Encoding <<= 16;
166 MCOperand Op2 = MI.getOperand(2);
167 assert(Op2.isImm() && "Second operand is not immediate.");
168 Encoding |= Op2.getImm() & 0xffff;
169 return Encoding;
170}
171
Daniel Sanders72db2a32016-11-19 13:05:44 +0000172#define ENABLE_INSTR_PREDICATE_VERIFIER
Alexei Starovoitove4c8c802015-01-24 17:51:26 +0000173#include "BPFGenMCCodeEmitter.inc"