1 //===- MCModuleYAML.cpp - MCModule YAMLIO implementation ------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines classes for handling the YAML representation of MCModule.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/MC/MCModuleYAML.h"
15 #include "llvm/ADT/StringMap.h"
16 #include "llvm/MC/MCAtom.h"
17 #include "llvm/MC/MCFunction.h"
18 #include "llvm/MC/MCInstrInfo.h"
19 #include "llvm/MC/MCRegisterInfo.h"
20 #include "llvm/Object/YAML.h"
21 #include "llvm/Support/Allocator.h"
22 #include "llvm/Support/Casting.h"
23 #include "llvm/Support/MathExtras.h"
24 #include "llvm/Support/YAMLTraits.h"
28 using std::error_code;
32 // This class is used to map opcode and register names to enum values.
34 // There are at least 3 obvious ways to do this:
35 // 1- Generate an MII/MRI method using a tablegen StringMatcher
36 // 2- Write an MII/MRI method using std::lower_bound and the assumption that
37 // the enums are sorted (starting at a fixed value).
38 // 3- Do the matching manually as is done here.
41 // 1- A StringMatcher function for thousands of entries would incur
42 // a non-negligible binary size overhead.
43 // 2- The lower_bound comparators would be somewhat involved and aren't
44 // obviously reusable (see LessRecordRegister in llvm/TableGen/Record.h)
45 // 3- This isn't actually something useful outside tests (but the same argument
46 // can be made against having {MII,MRI}::getName).
48 // If this becomes useful outside this specific situation, feel free to do
49 // the Right Thing (tm) and move the functionality to MII/MRI.
51 class InstrRegInfoHolder {
52 typedef StringMap<unsigned, BumpPtrAllocator> EnumValByNameTy;
53 EnumValByNameTy InstEnumValueByName;
54 EnumValByNameTy RegEnumValueByName;
57 const MCInstrInfo &MII;
58 const MCRegisterInfo &MRI;
59 InstrRegInfoHolder(const MCInstrInfo &MII, const MCRegisterInfo &MRI)
60 : InstEnumValueByName(NextPowerOf2(MII.getNumOpcodes())),
61 RegEnumValueByName(NextPowerOf2(MRI.getNumRegs())), MII(MII), MRI(MRI) {
62 for (int i = 0, e = MII.getNumOpcodes(); i != e; ++i)
63 InstEnumValueByName[MII.getName(i)] = i;
64 for (int i = 0, e = MRI.getNumRegs(); i != e; ++i)
65 RegEnumValueByName[MRI.getName(i)] = i;
68 bool matchRegister(StringRef Name, unsigned &Reg) {
69 EnumValByNameTy::const_iterator It = RegEnumValueByName.find(Name);
70 if (It == RegEnumValueByName.end())
75 bool matchOpcode(StringRef Name, unsigned &Opc) {
76 EnumValByNameTy::const_iterator It = InstEnumValueByName.find(Name);
77 if (It == InstEnumValueByName.end())
84 } // end unnamed namespace
86 namespace MCModuleYAML {
88 LLVM_YAML_STRONG_TYPEDEF(unsigned, OpcodeEnum)
96 std::vector<Operand> Operands;
101 MCAtom::AtomKind Type;
102 yaml::Hex64 StartAddress;
105 std::vector<Inst> Insts;
106 object::yaml::BinaryRef Data;
111 std::vector<yaml::Hex64> Preds;
112 std::vector<yaml::Hex64> Succs;
117 std::vector<BasicBlock> BasicBlocks;
121 std::vector<Atom> Atoms;
122 std::vector<Function> Functions;
125 } // end namespace MCModuleYAML
126 } // end namespace llvm
128 LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR(llvm::yaml::Hex64)
129 LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR(llvm::MCModuleYAML::Operand)
130 LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::MCModuleYAML::Inst)
131 LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::MCModuleYAML::Atom)
132 LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::MCModuleYAML::BasicBlock)
133 LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::MCModuleYAML::Function)
139 template <> struct ScalarEnumerationTraits<MCAtom::AtomKind> {
140 static void enumeration(IO &IO, MCAtom::AtomKind &Kind);
143 template <> struct MappingTraits<MCModuleYAML::Atom> {
144 static void mapping(IO &IO, MCModuleYAML::Atom &A);
147 template <> struct MappingTraits<MCModuleYAML::Inst> {
148 static void mapping(IO &IO, MCModuleYAML::Inst &I);
151 template <> struct MappingTraits<MCModuleYAML::BasicBlock> {
152 static void mapping(IO &IO, MCModuleYAML::BasicBlock &BB);
155 template <> struct MappingTraits<MCModuleYAML::Function> {
156 static void mapping(IO &IO, MCModuleYAML::Function &Fn);
159 template <> struct MappingTraits<MCModuleYAML::Module> {
160 static void mapping(IO &IO, MCModuleYAML::Module &M);
163 template <> struct ScalarTraits<MCModuleYAML::Operand> {
164 static void output(const MCModuleYAML::Operand &, void *,
165 llvm::raw_ostream &);
166 static StringRef input(StringRef, void *, MCModuleYAML::Operand &);
167 static bool mustQuote(StringRef) { return false; }
170 template <> struct ScalarTraits<MCModuleYAML::OpcodeEnum> {
171 static void output(const MCModuleYAML::OpcodeEnum &, void *,
172 llvm::raw_ostream &);
173 static StringRef input(StringRef, void *, MCModuleYAML::OpcodeEnum &);
174 static bool mustQuote(StringRef) { return false; }
177 void ScalarEnumerationTraits<MCAtom::AtomKind>::enumeration(
178 IO &IO, MCAtom::AtomKind &Value) {
179 IO.enumCase(Value, "Text", MCAtom::TextAtom);
180 IO.enumCase(Value, "Data", MCAtom::DataAtom);
183 void MappingTraits<MCModuleYAML::Atom>::mapping(IO &IO, MCModuleYAML::Atom &A) {
184 IO.mapRequired("StartAddress", A.StartAddress);
185 IO.mapRequired("Size", A.Size);
186 IO.mapRequired("Type", A.Type);
187 if (A.Type == MCAtom::TextAtom)
188 IO.mapRequired("Content", A.Insts);
189 else if (A.Type == MCAtom::DataAtom)
190 IO.mapRequired("Content", A.Data);
193 void MappingTraits<MCModuleYAML::Inst>::mapping(IO &IO, MCModuleYAML::Inst &I) {
194 IO.mapRequired("Inst", I.Opcode);
195 IO.mapRequired("Size", I.Size);
196 IO.mapRequired("Ops", I.Operands);
200 MappingTraits<MCModuleYAML::BasicBlock>::mapping(IO &IO,
201 MCModuleYAML::BasicBlock &BB) {
202 IO.mapRequired("Address", BB.Address);
203 IO.mapRequired("Preds", BB.Preds);
204 IO.mapRequired("Succs", BB.Succs);
207 void MappingTraits<MCModuleYAML::Function>::mapping(IO &IO,
208 MCModuleYAML::Function &F) {
209 IO.mapRequired("Name", F.Name);
210 IO.mapRequired("BasicBlocks", F.BasicBlocks);
213 void MappingTraits<MCModuleYAML::Module>::mapping(IO &IO,
214 MCModuleYAML::Module &M) {
215 IO.mapRequired("Atoms", M.Atoms);
216 IO.mapOptional("Functions", M.Functions);
220 ScalarTraits<MCModuleYAML::Operand>::output(const MCModuleYAML::Operand &Val,
221 void *Ctx, raw_ostream &Out) {
222 InstrRegInfoHolder *IRI = (InstrRegInfoHolder *)Ctx;
224 // FIXME: Doesn't support FPImm and expr/inst, but do these make sense?
225 if (Val.MCOp.isImm())
226 Out << "I" << Val.MCOp.getImm();
227 else if (Val.MCOp.isReg())
228 Out << "R" << IRI->MRI.getName(Val.MCOp.getReg());
230 llvm_unreachable("Trying to output invalid MCOperand!");
234 ScalarTraits<MCModuleYAML::Operand>::input(StringRef Scalar, void *Ctx,
235 MCModuleYAML::Operand &Val) {
236 InstrRegInfoHolder *IRI = (InstrRegInfoHolder *)Ctx;
238 if (Scalar.size() >= 1)
239 Type = Scalar.front();
240 if (Type != 'R' && Type != 'I')
241 return "Operand must start with 'R' (register) or 'I' (immediate).";
244 if (!IRI->matchRegister(Scalar.substr(1), Reg))
245 return "Invalid register name.";
246 Val.MCOp = MCOperand::CreateReg(Reg);
247 } else if (Type == 'I') {
249 if (Scalar.substr(1).getAsInteger(10, RIVal))
250 return "Invalid immediate value.";
251 Val.MCOp = MCOperand::CreateImm(RIVal);
253 Val.MCOp = MCOperand();
258 void ScalarTraits<MCModuleYAML::OpcodeEnum>::output(
259 const MCModuleYAML::OpcodeEnum &Val, void *Ctx, raw_ostream &Out) {
260 InstrRegInfoHolder *IRI = (InstrRegInfoHolder *)Ctx;
261 Out << IRI->MII.getName(Val);
265 ScalarTraits<MCModuleYAML::OpcodeEnum>::input(StringRef Scalar, void *Ctx,
266 MCModuleYAML::OpcodeEnum &Val) {
267 InstrRegInfoHolder *IRI = (InstrRegInfoHolder *)Ctx;
269 if (!IRI->matchOpcode(Scalar, Opc))
270 return "Invalid instruction opcode.";
275 } // end namespace yaml
279 class MCModule2YAML {
281 MCModuleYAML::Module YAMLModule;
282 void dumpAtom(const MCAtom *MCA);
283 void dumpFunction(const MCFunction &MCF);
284 void dumpBasicBlock(const MCBasicBlock *MCBB);
287 MCModule2YAML(const MCModule &MCM);
288 MCModuleYAML::Module &getYAMLModule();
291 class YAML2MCModule {
295 YAML2MCModule(MCModule &MCM);
296 StringRef parse(const MCModuleYAML::Module &YAMLModule);
299 } // end unnamed namespace
301 MCModule2YAML::MCModule2YAML(const MCModule &MCM) : MCM(MCM), YAMLModule() {
302 for (MCModule::const_atom_iterator AI = MCM.atom_begin(), AE = MCM.atom_end();
305 for (MCModule::const_func_iterator FI = MCM.func_begin(), FE = MCM.func_end();
310 void MCModule2YAML::dumpAtom(const MCAtom *MCA) {
311 YAMLModule.Atoms.resize(YAMLModule.Atoms.size() + 1);
312 MCModuleYAML::Atom &A = YAMLModule.Atoms.back();
313 A.Type = MCA->getKind();
314 A.StartAddress = MCA->getBeginAddr();
315 A.Size = MCA->getEndAddr() - MCA->getBeginAddr() + 1;
316 if (const MCTextAtom *TA = dyn_cast<MCTextAtom>(MCA)) {
317 const size_t InstCount = TA->size();
318 A.Insts.resize(InstCount);
319 for (size_t i = 0; i != InstCount; ++i) {
320 const MCDecodedInst &MCDI = TA->at(i);
321 A.Insts[i].Opcode = MCDI.Inst.getOpcode();
322 A.Insts[i].Size = MCDI.Size;
323 const unsigned OpCount = MCDI.Inst.getNumOperands();
324 A.Insts[i].Operands.resize(OpCount);
325 for (unsigned oi = 0; oi != OpCount; ++oi)
326 A.Insts[i].Operands[oi].MCOp = MCDI.Inst.getOperand(oi);
328 } else if (const MCDataAtom *DA = dyn_cast<MCDataAtom>(MCA)) {
329 A.Data = DA->getData();
331 llvm_unreachable("Unknown atom type.");
335 void MCModule2YAML::dumpFunction(const MCFunction &MCF) {
336 YAMLModule.Functions.resize(YAMLModule.Functions.size() + 1);
337 MCModuleYAML::Function &F = YAMLModule.Functions.back();
338 F.Name = MCF.getName();
339 for (MCFunction::const_iterator BBI = MCF.begin(), BBE = MCF.end();
341 const MCBasicBlock &MCBB = **BBI;
342 F.BasicBlocks.resize(F.BasicBlocks.size() + 1);
343 MCModuleYAML::BasicBlock &BB = F.BasicBlocks.back();
344 BB.Address = MCBB.getInsts()->getBeginAddr();
345 for (MCBasicBlock::pred_const_iterator PI = MCBB.pred_begin(),
346 PE = MCBB.pred_end();
348 BB.Preds.push_back((*PI)->getInsts()->getBeginAddr());
349 for (MCBasicBlock::succ_const_iterator SI = MCBB.succ_begin(),
350 SE = MCBB.succ_end();
352 BB.Succs.push_back((*SI)->getInsts()->getBeginAddr());
356 MCModuleYAML::Module &MCModule2YAML::getYAMLModule() { return YAMLModule; }
358 YAML2MCModule::YAML2MCModule(MCModule &MCM) : MCM(MCM) {}
360 StringRef YAML2MCModule::parse(const MCModuleYAML::Module &YAMLModule) {
361 typedef std::vector<MCModuleYAML::Atom>::const_iterator AtomIt;
362 typedef std::vector<MCModuleYAML::Inst>::const_iterator InstIt;
363 typedef std::vector<MCModuleYAML::Operand>::const_iterator OpIt;
365 typedef DenseMap<uint64_t, MCTextAtom *> AddrToTextAtomTy;
366 AddrToTextAtomTy TAByAddr;
368 for (AtomIt AI = YAMLModule.Atoms.begin(), AE = YAMLModule.Atoms.end();
370 uint64_t StartAddress = AI->StartAddress;
372 return "Atoms can't be empty!";
373 uint64_t EndAddress = StartAddress + AI->Size - 1;
375 case MCAtom::TextAtom: {
376 MCTextAtom *TA = MCM.createTextAtom(StartAddress, EndAddress);
377 TAByAddr[StartAddress] = TA;
378 for (InstIt II = AI->Insts.begin(), IE = AI->Insts.end(); II != IE;
381 MI.setOpcode(II->Opcode);
382 for (OpIt OI = II->Operands.begin(), OE = II->Operands.end(); OI != OE;
384 MI.addOperand(OI->MCOp);
385 TA->addInst(MI, II->Size);
389 case MCAtom::DataAtom: {
390 MCDataAtom *DA = MCM.createDataAtom(StartAddress, EndAddress);
391 SmallVector<char, 64> Data;
392 raw_svector_ostream OS(Data);
393 AI->Data.writeAsBinary(OS);
395 for (size_t i = 0, e = Data.size(); i != e; ++i)
396 DA->addData((uint8_t)Data[i]);
402 typedef std::vector<MCModuleYAML::Function>::const_iterator FuncIt;
403 typedef std::vector<MCModuleYAML::BasicBlock>::const_iterator BBIt;
404 typedef std::vector<yaml::Hex64>::const_iterator AddrIt;
405 for (FuncIt FI = YAMLModule.Functions.begin(),
406 FE = YAMLModule.Functions.end();
408 MCFunction *MCFN = MCM.createFunction(FI->Name);
409 for (BBIt BBI = FI->BasicBlocks.begin(), BBE = FI->BasicBlocks.end();
411 AddrToTextAtomTy::const_iterator It = TAByAddr.find(BBI->Address);
412 if (It == TAByAddr.end())
413 return "Basic block start address doesn't match any text atom!";
414 MCFN->createBlock(*It->second);
416 for (BBIt BBI = FI->BasicBlocks.begin(), BBE = FI->BasicBlocks.end();
418 MCBasicBlock *MCBB = MCFN->find(BBI->Address);
420 return "Couldn't find matching basic block in function.";
421 for (AddrIt PI = BBI->Preds.begin(), PE = BBI->Preds.end(); PI != PE;
423 MCBasicBlock *Pred = MCFN->find(*PI);
425 return "Couldn't find predecessor basic block.";
426 MCBB->addPredecessor(Pred);
428 for (AddrIt SI = BBI->Succs.begin(), SE = BBI->Succs.end(); SI != SE;
430 MCBasicBlock *Succ = MCFN->find(*SI);
432 return "Couldn't find predecessor basic block.";
433 MCBB->addSuccessor(Succ);
440 StringRef mcmodule2yaml(raw_ostream &OS, const MCModule &MCM,
441 const MCInstrInfo &MII, const MCRegisterInfo &MRI) {
442 MCModule2YAML Dumper(MCM);
443 InstrRegInfoHolder IRI(MII, MRI);
444 yaml::Output YOut(OS, (void *)&IRI);
445 YOut << Dumper.getYAMLModule();
449 StringRef yaml2mcmodule(std::unique_ptr<MCModule> &MCM, StringRef YamlContent,
450 const MCInstrInfo &MII, const MCRegisterInfo &MRI) {
451 MCM.reset(new MCModule);
452 YAML2MCModule Parser(*MCM);
453 MCModuleYAML::Module YAMLModule;
454 InstrRegInfoHolder IRI(MII, MRI);
455 yaml::Input YIn(YamlContent, (void *)&IRI);
457 if (error_code ec = YIn.error())
459 StringRef err = Parser.parse(YAMLModule);
465 } // end namespace llvm