1 //===- MIRParser.cpp - MIR serialization format parser implementation -----===//
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 class that parses the optional LLVM IR and machine
11 // functions that are stored in MIR files.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #include "llvm/CodeGen/MIRParser/MIRParser.h"
16 #include "MIParser.h"
17 #include "llvm/ADT/DenseMap.h"
18 #include "llvm/ADT/STLExtras.h"
19 #include "llvm/ADT/StringMap.h"
20 #include "llvm/ADT/StringRef.h"
21 #include "llvm/AsmParser/Parser.h"
22 #include "llvm/AsmParser/SlotMapping.h"
23 #include "llvm/CodeGen/GlobalISel/RegisterBank.h"
24 #include "llvm/CodeGen/GlobalISel/RegisterBankInfo.h"
25 #include "llvm/CodeGen/MIRYamlMapping.h"
26 #include "llvm/CodeGen/MachineConstantPool.h"
27 #include "llvm/CodeGen/MachineFrameInfo.h"
28 #include "llvm/CodeGen/MachineFunction.h"
29 #include "llvm/CodeGen/MachineModuleInfo.h"
30 #include "llvm/CodeGen/MachineRegisterInfo.h"
31 #include "llvm/IR/BasicBlock.h"
32 #include "llvm/IR/DebugInfo.h"
33 #include "llvm/IR/DiagnosticInfo.h"
34 #include "llvm/IR/Instructions.h"
35 #include "llvm/IR/LLVMContext.h"
36 #include "llvm/IR/Module.h"
37 #include "llvm/IR/ValueSymbolTable.h"
38 #include "llvm/Support/LineIterator.h"
39 #include "llvm/Support/MemoryBuffer.h"
40 #include "llvm/Support/SMLoc.h"
41 #include "llvm/Support/SourceMgr.h"
42 #include "llvm/Support/YAMLTraits.h"
43 #include <memory>
44 
45 using namespace llvm;
46 
47 namespace llvm {
48 
49 /// This class implements the parsing of LLVM IR that's embedded inside a MIR
50 /// file.
51 class MIRParserImpl {
52   SourceMgr SM;
53   StringRef Filename;
54   LLVMContext &Context;
55   StringMap<std::unique_ptr<yaml::MachineFunction>> Functions;
56   SlotMapping IRSlots;
57   /// Maps from register class names to register classes.
58   Name2RegClassMap Names2RegClasses;
59   /// Maps from register bank names to register banks.
60   Name2RegBankMap Names2RegBanks;
61 
62 public:
63   MIRParserImpl(std::unique_ptr<MemoryBuffer> Contents, StringRef Filename,
64                 LLVMContext &Context);
65 
66   void reportDiagnostic(const SMDiagnostic &Diag);
67 
68   /// Report an error with the given message at unknown location.
69   ///
70   /// Always returns true.
71   bool error(const Twine &Message);
72 
73   /// Report an error with the given message at the given location.
74   ///
75   /// Always returns true.
76   bool error(SMLoc Loc, const Twine &Message);
77 
78   /// Report a given error with the location translated from the location in an
79   /// embedded string literal to a location in the MIR file.
80   ///
81   /// Always returns true.
82   bool error(const SMDiagnostic &Error, SMRange SourceRange);
83 
84   /// Try to parse the optional LLVM module and the machine functions in the MIR
85   /// file.
86   ///
87   /// Return null if an error occurred.
88   std::unique_ptr<Module> parse();
89 
90   /// Parse the machine function in the current YAML document.
91   ///
92   /// \param NoLLVMIR - set to true when the MIR file doesn't have LLVM IR.
93   /// A dummy IR function is created and inserted into the given module when
94   /// this parameter is true.
95   ///
96   /// Return true if an error occurred.
97   bool parseMachineFunction(yaml::Input &In, Module &M, bool NoLLVMIR);
98 
99   /// Initialize the machine function to the state that's described in the MIR
100   /// file.
101   ///
102   /// Return true if error occurred.
103   bool initializeMachineFunction(MachineFunction &MF);
104 
105   bool parseRegisterInfo(PerFunctionMIParsingState &PFS,
106                          const yaml::MachineFunction &YamlMF);
107 
108   bool setupRegisterInfo(const PerFunctionMIParsingState &PFS,
109                          const yaml::MachineFunction &YamlMF);
110 
111   bool initializeFrameInfo(PerFunctionMIParsingState &PFS,
112                            const yaml::MachineFunction &YamlMF);
113 
114   bool parseCalleeSavedRegister(PerFunctionMIParsingState &PFS,
115                                 std::vector<CalleeSavedInfo> &CSIInfo,
116                                 const yaml::StringValue &RegisterSource,
117                                 int FrameIdx);
118 
119   bool parseStackObjectsDebugInfo(PerFunctionMIParsingState &PFS,
120                                   const yaml::MachineStackObject &Object,
121                                   int FrameIdx);
122 
123   bool initializeConstantPool(PerFunctionMIParsingState &PFS,
124                               MachineConstantPool &ConstantPool,
125                               const yaml::MachineFunction &YamlMF);
126 
127   bool initializeJumpTableInfo(PerFunctionMIParsingState &PFS,
128                                const yaml::MachineJumpTable &YamlJTI);
129 
130 private:
131   bool parseMDNode(PerFunctionMIParsingState &PFS, MDNode *&Node,
132                    const yaml::StringValue &Source);
133 
134   bool parseMBBReference(PerFunctionMIParsingState &PFS,
135                          MachineBasicBlock *&MBB,
136                          const yaml::StringValue &Source);
137 
138   /// Return a MIR diagnostic converted from an MI string diagnostic.
139   SMDiagnostic diagFromMIStringDiag(const SMDiagnostic &Error,
140                                     SMRange SourceRange);
141 
142   /// Return a MIR diagnostic converted from a diagnostic located in a YAML
143   /// block scalar string.
144   SMDiagnostic diagFromBlockStringDiag(const SMDiagnostic &Error,
145                                        SMRange SourceRange);
146 
147   /// Create an empty function with the given name.
148   void createDummyFunction(StringRef Name, Module &M);
149 
150   void initNames2RegClasses(const MachineFunction &MF);
151   void initNames2RegBanks(const MachineFunction &MF);
152 
153   /// Check if the given identifier is a name of a register class.
154   ///
155   /// Return null if the name isn't a register class.
156   const TargetRegisterClass *getRegClass(const MachineFunction &MF,
157                                          StringRef Name);
158 
159   /// Check if the given identifier is a name of a register bank.
160   ///
161   /// Return null if the name isn't a register bank.
162   const RegisterBank *getRegBank(const MachineFunction &MF, StringRef Name);
163 
164   void computeFunctionProperties(MachineFunction &MF);
165 };
166 
167 } // end namespace llvm
168 
169 MIRParserImpl::MIRParserImpl(std::unique_ptr<MemoryBuffer> Contents,
170                              StringRef Filename, LLVMContext &Context)
171     : SM(), Filename(Filename), Context(Context) {
172   SM.AddNewSourceBuffer(std::move(Contents), SMLoc());
173 }
174 
175 bool MIRParserImpl::error(const Twine &Message) {
176   Context.diagnose(DiagnosticInfoMIRParser(
177       DS_Error, SMDiagnostic(Filename, SourceMgr::DK_Error, Message.str())));
178   return true;
179 }
180 
181 bool MIRParserImpl::error(SMLoc Loc, const Twine &Message) {
182   Context.diagnose(DiagnosticInfoMIRParser(
183       DS_Error, SM.GetMessage(Loc, SourceMgr::DK_Error, Message)));
184   return true;
185 }
186 
187 bool MIRParserImpl::error(const SMDiagnostic &Error, SMRange SourceRange) {
188   assert(Error.getKind() == SourceMgr::DK_Error && "Expected an error");
189   reportDiagnostic(diagFromMIStringDiag(Error, SourceRange));
190   return true;
191 }
192 
193 void MIRParserImpl::reportDiagnostic(const SMDiagnostic &Diag) {
194   DiagnosticSeverity Kind;
195   switch (Diag.getKind()) {
196   case SourceMgr::DK_Error:
197     Kind = DS_Error;
198     break;
199   case SourceMgr::DK_Warning:
200     Kind = DS_Warning;
201     break;
202   case SourceMgr::DK_Note:
203     Kind = DS_Note;
204     break;
205   }
206   Context.diagnose(DiagnosticInfoMIRParser(Kind, Diag));
207 }
208 
209 static void handleYAMLDiag(const SMDiagnostic &Diag, void *Context) {
210   reinterpret_cast<MIRParserImpl *>(Context)->reportDiagnostic(Diag);
211 }
212 
213 std::unique_ptr<Module> MIRParserImpl::parse() {
214   yaml::Input In(SM.getMemoryBuffer(SM.getMainFileID())->getBuffer(),
215                  /*Ctxt=*/nullptr, handleYAMLDiag, this);
216   In.setContext(&In);
217 
218   if (!In.setCurrentDocument()) {
219     if (In.error())
220       return nullptr;
221     // Create an empty module when the MIR file is empty.
222     return llvm::make_unique<Module>(Filename, Context);
223   }
224 
225   std::unique_ptr<Module> M;
226   bool NoLLVMIR = false;
227   // Parse the block scalar manually so that we can return unique pointer
228   // without having to go trough YAML traits.
229   if (const auto *BSN =
230           dyn_cast_or_null<yaml::BlockScalarNode>(In.getCurrentNode())) {
231     SMDiagnostic Error;
232     M = parseAssembly(MemoryBufferRef(BSN->getValue(), Filename), Error,
233                       Context, &IRSlots);
234     if (!M) {
235       reportDiagnostic(diagFromBlockStringDiag(Error, BSN->getSourceRange()));
236       return nullptr;
237     }
238     In.nextDocument();
239     if (!In.setCurrentDocument())
240       return M;
241   } else {
242     // Create an new, empty module.
243     M = llvm::make_unique<Module>(Filename, Context);
244     NoLLVMIR = true;
245   }
246 
247   // Parse the machine functions.
248   do {
249     if (parseMachineFunction(In, *M, NoLLVMIR))
250       return nullptr;
251     In.nextDocument();
252   } while (In.setCurrentDocument());
253 
254   return M;
255 }
256 
257 bool MIRParserImpl::parseMachineFunction(yaml::Input &In, Module &M,
258                                          bool NoLLVMIR) {
259   auto MF = llvm::make_unique<yaml::MachineFunction>();
260   yaml::EmptyContext Ctx;
261   yaml::yamlize(In, *MF, false, Ctx);
262   if (In.error())
263     return true;
264   auto FunctionName = MF->Name;
265   if (Functions.find(FunctionName) != Functions.end())
266     return error(Twine("redefinition of machine function '") + FunctionName +
267                  "'");
268   Functions.insert(std::make_pair(FunctionName, std::move(MF)));
269   if (NoLLVMIR)
270     createDummyFunction(FunctionName, M);
271   else if (!M.getFunction(FunctionName))
272     return error(Twine("function '") + FunctionName +
273                  "' isn't defined in the provided LLVM IR");
274   return false;
275 }
276 
277 void MIRParserImpl::createDummyFunction(StringRef Name, Module &M) {
278   auto &Context = M.getContext();
279   Function *F = cast<Function>(M.getOrInsertFunction(
280       Name, FunctionType::get(Type::getVoidTy(Context), false)));
281   BasicBlock *BB = BasicBlock::Create(Context, "entry", F);
282   new UnreachableInst(Context, BB);
283 }
284 
285 static bool isSSA(const MachineFunction &MF) {
286   const MachineRegisterInfo &MRI = MF.getRegInfo();
287   for (unsigned I = 0, E = MRI.getNumVirtRegs(); I != E; ++I) {
288     unsigned Reg = TargetRegisterInfo::index2VirtReg(I);
289     if (!MRI.hasOneDef(Reg) && !MRI.def_empty(Reg))
290       return false;
291   }
292   return true;
293 }
294 
295 void MIRParserImpl::computeFunctionProperties(MachineFunction &MF) {
296   MachineFunctionProperties &Properties = MF.getProperties();
297 
298   bool HasPHI = false;
299   bool HasInlineAsm = false;
300   for (const MachineBasicBlock &MBB : MF) {
301     for (const MachineInstr &MI : MBB) {
302       if (MI.isPHI())
303         HasPHI = true;
304       if (MI.isInlineAsm())
305         HasInlineAsm = true;
306     }
307   }
308   if (!HasPHI)
309     Properties.set(MachineFunctionProperties::Property::NoPHIs);
310   MF.setHasInlineAsm(HasInlineAsm);
311 
312   if (isSSA(MF))
313     Properties.set(MachineFunctionProperties::Property::IsSSA);
314   else
315     Properties.reset(MachineFunctionProperties::Property::IsSSA);
316 
317   const MachineRegisterInfo &MRI = MF.getRegInfo();
318   if (MRI.getNumVirtRegs() == 0)
319     Properties.set(MachineFunctionProperties::Property::NoVRegs);
320 }
321 
322 bool MIRParserImpl::initializeMachineFunction(MachineFunction &MF) {
323   auto It = Functions.find(MF.getName());
324   if (It == Functions.end())
325     return error(Twine("no machine function information for function '") +
326                  MF.getName() + "' in the MIR file");
327   // TODO: Recreate the machine function.
328   initNames2RegClasses(MF);
329   initNames2RegBanks(MF);
330   const yaml::MachineFunction &YamlMF = *It->getValue();
331   if (YamlMF.Alignment)
332     MF.setAlignment(YamlMF.Alignment);
333   MF.setExposesReturnsTwice(YamlMF.ExposesReturnsTwice);
334 
335   if (YamlMF.NoVRegs)
336     MF.getProperties().set(MachineFunctionProperties::Property::NoVRegs);
337   if (YamlMF.Legalized)
338     MF.getProperties().set(MachineFunctionProperties::Property::Legalized);
339   if (YamlMF.RegBankSelected)
340     MF.getProperties().set(
341         MachineFunctionProperties::Property::RegBankSelected);
342   if (YamlMF.Selected)
343     MF.getProperties().set(MachineFunctionProperties::Property::Selected);
344 
345   PerFunctionMIParsingState PFS(MF, SM, IRSlots, Names2RegClasses,
346                                 Names2RegBanks);
347   if (parseRegisterInfo(PFS, YamlMF))
348     return true;
349   if (!YamlMF.Constants.empty()) {
350     auto *ConstantPool = MF.getConstantPool();
351     assert(ConstantPool && "Constant pool must be created");
352     if (initializeConstantPool(PFS, *ConstantPool, YamlMF))
353       return true;
354   }
355 
356   StringRef BlockStr = YamlMF.Body.Value.Value;
357   SMDiagnostic Error;
358   SourceMgr BlockSM;
359   BlockSM.AddNewSourceBuffer(
360       MemoryBuffer::getMemBuffer(BlockStr, "",/*RequiresNullTerminator=*/false),
361       SMLoc());
362   PFS.SM = &BlockSM;
363   if (parseMachineBasicBlockDefinitions(PFS, BlockStr, Error)) {
364     reportDiagnostic(
365         diagFromBlockStringDiag(Error, YamlMF.Body.Value.SourceRange));
366     return true;
367   }
368   PFS.SM = &SM;
369 
370   if (MF.empty())
371     return error(Twine("machine function '") + Twine(MF.getName()) +
372                  "' requires at least one machine basic block in its body");
373   // Initialize the frame information after creating all the MBBs so that the
374   // MBB references in the frame information can be resolved.
375   if (initializeFrameInfo(PFS, YamlMF))
376     return true;
377   // Initialize the jump table after creating all the MBBs so that the MBB
378   // references can be resolved.
379   if (!YamlMF.JumpTableInfo.Entries.empty() &&
380       initializeJumpTableInfo(PFS, YamlMF.JumpTableInfo))
381     return true;
382   // Parse the machine instructions after creating all of the MBBs so that the
383   // parser can resolve the MBB references.
384   StringRef InsnStr = YamlMF.Body.Value.Value;
385   SourceMgr InsnSM;
386   InsnSM.AddNewSourceBuffer(
387       MemoryBuffer::getMemBuffer(InsnStr, "", /*RequiresNullTerminator=*/false),
388       SMLoc());
389   PFS.SM = &InsnSM;
390   if (parseMachineInstructions(PFS, InsnStr, Error)) {
391     reportDiagnostic(
392         diagFromBlockStringDiag(Error, YamlMF.Body.Value.SourceRange));
393     return true;
394   }
395   PFS.SM = &SM;
396 
397   if (setupRegisterInfo(PFS, YamlMF))
398     return true;
399 
400   computeFunctionProperties(MF);
401 
402   MF.verify();
403   return false;
404 }
405 
406 bool MIRParserImpl::parseRegisterInfo(PerFunctionMIParsingState &PFS,
407                                       const yaml::MachineFunction &YamlMF) {
408   MachineFunction &MF = PFS.MF;
409   MachineRegisterInfo &RegInfo = MF.getRegInfo();
410   assert(RegInfo.tracksLiveness());
411   if (!YamlMF.TracksRegLiveness)
412     RegInfo.invalidateLiveness();
413 
414   SMDiagnostic Error;
415   // Parse the virtual register information.
416   for (const auto &VReg : YamlMF.VirtualRegisters) {
417     VRegInfo &Info = PFS.getVRegInfo(VReg.ID.Value);
418     if (Info.Explicit)
419       return error(VReg.ID.SourceRange.Start,
420                    Twine("redefinition of virtual register '%") +
421                        Twine(VReg.ID.Value) + "'");
422     Info.Explicit = true;
423 
424     if (StringRef(VReg.Class.Value).equals("_")) {
425       Info.Kind = VRegInfo::GENERIC;
426     } else {
427       const auto *RC = getRegClass(MF, VReg.Class.Value);
428       if (RC) {
429         Info.Kind = VRegInfo::NORMAL;
430         Info.D.RC = RC;
431       } else {
432         const RegisterBank *RegBank = getRegBank(MF, VReg.Class.Value);
433         if (!RegBank)
434           return error(
435               VReg.Class.SourceRange.Start,
436               Twine("use of undefined register class or register bank '") +
437                   VReg.Class.Value + "'");
438         Info.Kind = VRegInfo::REGBANK;
439         Info.D.RegBank = RegBank;
440       }
441     }
442 
443     if (!VReg.PreferredRegister.Value.empty()) {
444       if (Info.Kind != VRegInfo::NORMAL)
445         return error(VReg.Class.SourceRange.Start,
446               Twine("preferred register can only be set for normal vregs"));
447 
448       if (parseRegisterReference(PFS, Info.PreferredReg,
449                                  VReg.PreferredRegister.Value, Error))
450         return error(Error, VReg.PreferredRegister.SourceRange);
451     }
452   }
453 
454   // Parse the liveins.
455   for (const auto &LiveIn : YamlMF.LiveIns) {
456     unsigned Reg = 0;
457     if (parseNamedRegisterReference(PFS, Reg, LiveIn.Register.Value, Error))
458       return error(Error, LiveIn.Register.SourceRange);
459     unsigned VReg = 0;
460     if (!LiveIn.VirtualRegister.Value.empty()) {
461       VRegInfo *Info;
462       if (parseVirtualRegisterReference(PFS, Info, LiveIn.VirtualRegister.Value,
463                                         Error))
464         return error(Error, LiveIn.VirtualRegister.SourceRange);
465       VReg = Info->VReg;
466     }
467     RegInfo.addLiveIn(Reg, VReg);
468   }
469 
470   // Parse the callee saved registers (Registers that will
471   // be saved for the caller).
472   if (YamlMF.CalleeSavedRegisters) {
473     SmallVector<MCPhysReg, 16> CalleeSavedRegisters;
474     for (const auto &RegSource : YamlMF.CalleeSavedRegisters.getValue()) {
475       unsigned Reg = 0;
476       if (parseNamedRegisterReference(PFS, Reg, RegSource.Value, Error))
477         return error(Error, RegSource.SourceRange);
478       CalleeSavedRegisters.push_back(Reg);
479     }
480     RegInfo.setCalleeSavedRegs(CalleeSavedRegisters);
481   }
482 
483   return false;
484 }
485 
486 bool MIRParserImpl::setupRegisterInfo(const PerFunctionMIParsingState &PFS,
487                                       const yaml::MachineFunction &YamlMF) {
488   MachineFunction &MF = PFS.MF;
489   MachineRegisterInfo &MRI = MF.getRegInfo();
490   bool Error = false;
491   // Create VRegs
492   for (auto P : PFS.VRegInfos) {
493     const VRegInfo &Info = *P.second;
494     unsigned Reg = Info.VReg;
495     switch (Info.Kind) {
496     case VRegInfo::UNKNOWN:
497       error(Twine("Cannot determine class/bank of virtual register ") +
498             Twine(P.first) + " in function '" + MF.getName() + "'");
499       Error = true;
500       break;
501     case VRegInfo::NORMAL:
502       MRI.setRegClass(Reg, Info.D.RC);
503       if (Info.PreferredReg != 0)
504         MRI.setSimpleHint(Reg, Info.PreferredReg);
505       break;
506     case VRegInfo::GENERIC:
507       break;
508     case VRegInfo::REGBANK:
509       MRI.setRegBank(Reg, *Info.D.RegBank);
510       break;
511     }
512   }
513 
514   // Compute MachineRegisterInfo::UsedPhysRegMask
515   for (const MachineBasicBlock &MBB : MF) {
516     for (const MachineInstr &MI : MBB) {
517       for (const MachineOperand &MO : MI.operands()) {
518         if (!MO.isRegMask())
519           continue;
520         MRI.addPhysRegsUsedFromRegMask(MO.getRegMask());
521       }
522     }
523   }
524 
525   // FIXME: This is a temporary workaround until the reserved registers can be
526   // serialized.
527   MRI.freezeReservedRegs(MF);
528   return Error;
529 }
530 
531 bool MIRParserImpl::initializeFrameInfo(PerFunctionMIParsingState &PFS,
532                                         const yaml::MachineFunction &YamlMF) {
533   MachineFunction &MF = PFS.MF;
534   MachineFrameInfo &MFI = MF.getFrameInfo();
535   const Function &F = *MF.getFunction();
536   const yaml::MachineFrameInfo &YamlMFI = YamlMF.FrameInfo;
537   MFI.setFrameAddressIsTaken(YamlMFI.IsFrameAddressTaken);
538   MFI.setReturnAddressIsTaken(YamlMFI.IsReturnAddressTaken);
539   MFI.setHasStackMap(YamlMFI.HasStackMap);
540   MFI.setHasPatchPoint(YamlMFI.HasPatchPoint);
541   MFI.setStackSize(YamlMFI.StackSize);
542   MFI.setOffsetAdjustment(YamlMFI.OffsetAdjustment);
543   if (YamlMFI.MaxAlignment)
544     MFI.ensureMaxAlignment(YamlMFI.MaxAlignment);
545   MFI.setAdjustsStack(YamlMFI.AdjustsStack);
546   MFI.setHasCalls(YamlMFI.HasCalls);
547   MFI.setMaxCallFrameSize(YamlMFI.MaxCallFrameSize);
548   MFI.setHasOpaqueSPAdjustment(YamlMFI.HasOpaqueSPAdjustment);
549   MFI.setHasVAStart(YamlMFI.HasVAStart);
550   MFI.setHasMustTailInVarArgFunc(YamlMFI.HasMustTailInVarArgFunc);
551   if (!YamlMFI.SavePoint.Value.empty()) {
552     MachineBasicBlock *MBB = nullptr;
553     if (parseMBBReference(PFS, MBB, YamlMFI.SavePoint))
554       return true;
555     MFI.setSavePoint(MBB);
556   }
557   if (!YamlMFI.RestorePoint.Value.empty()) {
558     MachineBasicBlock *MBB = nullptr;
559     if (parseMBBReference(PFS, MBB, YamlMFI.RestorePoint))
560       return true;
561     MFI.setRestorePoint(MBB);
562   }
563 
564   std::vector<CalleeSavedInfo> CSIInfo;
565   // Initialize the fixed frame objects.
566   for (const auto &Object : YamlMF.FixedStackObjects) {
567     int ObjectIdx;
568     if (Object.Type != yaml::FixedMachineStackObject::SpillSlot)
569       ObjectIdx = MFI.CreateFixedObject(Object.Size, Object.Offset,
570                                         Object.IsImmutable, Object.IsAliased);
571     else
572       ObjectIdx = MFI.CreateFixedSpillStackObject(Object.Size, Object.Offset);
573     MFI.setObjectAlignment(ObjectIdx, Object.Alignment);
574     if (!PFS.FixedStackObjectSlots.insert(std::make_pair(Object.ID.Value,
575                                                          ObjectIdx))
576              .second)
577       return error(Object.ID.SourceRange.Start,
578                    Twine("redefinition of fixed stack object '%fixed-stack.") +
579                        Twine(Object.ID.Value) + "'");
580     if (parseCalleeSavedRegister(PFS, CSIInfo, Object.CalleeSavedRegister,
581                                  ObjectIdx))
582       return true;
583   }
584 
585   // Initialize the ordinary frame objects.
586   for (const auto &Object : YamlMF.StackObjects) {
587     int ObjectIdx;
588     const AllocaInst *Alloca = nullptr;
589     const yaml::StringValue &Name = Object.Name;
590     if (!Name.Value.empty()) {
591       Alloca = dyn_cast_or_null<AllocaInst>(
592           F.getValueSymbolTable()->lookup(Name.Value));
593       if (!Alloca)
594         return error(Name.SourceRange.Start,
595                      "alloca instruction named '" + Name.Value +
596                          "' isn't defined in the function '" + F.getName() +
597                          "'");
598     }
599     if (Object.Type == yaml::MachineStackObject::VariableSized)
600       ObjectIdx = MFI.CreateVariableSizedObject(Object.Alignment, Alloca);
601     else
602       ObjectIdx = MFI.CreateStackObject(
603           Object.Size, Object.Alignment,
604           Object.Type == yaml::MachineStackObject::SpillSlot, Alloca);
605     MFI.setObjectOffset(ObjectIdx, Object.Offset);
606     if (!PFS.StackObjectSlots.insert(std::make_pair(Object.ID.Value, ObjectIdx))
607              .second)
608       return error(Object.ID.SourceRange.Start,
609                    Twine("redefinition of stack object '%stack.") +
610                        Twine(Object.ID.Value) + "'");
611     if (parseCalleeSavedRegister(PFS, CSIInfo, Object.CalleeSavedRegister,
612                                  ObjectIdx))
613       return true;
614     if (Object.LocalOffset)
615       MFI.mapLocalFrameObject(ObjectIdx, Object.LocalOffset.getValue());
616     if (parseStackObjectsDebugInfo(PFS, Object, ObjectIdx))
617       return true;
618   }
619   MFI.setCalleeSavedInfo(CSIInfo);
620   if (!CSIInfo.empty())
621     MFI.setCalleeSavedInfoValid(true);
622 
623   // Initialize the various stack object references after initializing the
624   // stack objects.
625   if (!YamlMFI.StackProtector.Value.empty()) {
626     SMDiagnostic Error;
627     int FI;
628     if (parseStackObjectReference(PFS, FI, YamlMFI.StackProtector.Value, Error))
629       return error(Error, YamlMFI.StackProtector.SourceRange);
630     MFI.setStackProtectorIndex(FI);
631   }
632   return false;
633 }
634 
635 bool MIRParserImpl::parseCalleeSavedRegister(PerFunctionMIParsingState &PFS,
636     std::vector<CalleeSavedInfo> &CSIInfo,
637     const yaml::StringValue &RegisterSource, int FrameIdx) {
638   if (RegisterSource.Value.empty())
639     return false;
640   unsigned Reg = 0;
641   SMDiagnostic Error;
642   if (parseNamedRegisterReference(PFS, Reg, RegisterSource.Value, Error))
643     return error(Error, RegisterSource.SourceRange);
644   CSIInfo.push_back(CalleeSavedInfo(Reg, FrameIdx));
645   return false;
646 }
647 
648 /// Verify that given node is of a certain type. Return true on error.
649 template <typename T>
650 static bool typecheckMDNode(T *&Result, MDNode *Node,
651                             const yaml::StringValue &Source,
652                             StringRef TypeString, MIRParserImpl &Parser) {
653   if (!Node)
654     return false;
655   Result = dyn_cast<T>(Node);
656   if (!Result)
657     return Parser.error(Source.SourceRange.Start,
658                         "expected a reference to a '" + TypeString +
659                             "' metadata node");
660   return false;
661 }
662 
663 bool MIRParserImpl::parseStackObjectsDebugInfo(PerFunctionMIParsingState &PFS,
664     const yaml::MachineStackObject &Object, int FrameIdx) {
665   // Debug information can only be attached to stack objects; Fixed stack
666   // objects aren't supported.
667   assert(FrameIdx >= 0 && "Expected a stack object frame index");
668   MDNode *Var = nullptr, *Expr = nullptr, *Loc = nullptr;
669   if (parseMDNode(PFS, Var, Object.DebugVar) ||
670       parseMDNode(PFS, Expr, Object.DebugExpr) ||
671       parseMDNode(PFS, Loc, Object.DebugLoc))
672     return true;
673   if (!Var && !Expr && !Loc)
674     return false;
675   DILocalVariable *DIVar = nullptr;
676   DIExpression *DIExpr = nullptr;
677   DILocation *DILoc = nullptr;
678   if (typecheckMDNode(DIVar, Var, Object.DebugVar, "DILocalVariable", *this) ||
679       typecheckMDNode(DIExpr, Expr, Object.DebugExpr, "DIExpression", *this) ||
680       typecheckMDNode(DILoc, Loc, Object.DebugLoc, "DILocation", *this))
681     return true;
682   PFS.MF.setVariableDbgInfo(DIVar, DIExpr, unsigned(FrameIdx), DILoc);
683   return false;
684 }
685 
686 bool MIRParserImpl::parseMDNode(PerFunctionMIParsingState &PFS,
687     MDNode *&Node, const yaml::StringValue &Source) {
688   if (Source.Value.empty())
689     return false;
690   SMDiagnostic Error;
691   if (llvm::parseMDNode(PFS, Node, Source.Value, Error))
692     return error(Error, Source.SourceRange);
693   return false;
694 }
695 
696 bool MIRParserImpl::initializeConstantPool(PerFunctionMIParsingState &PFS,
697     MachineConstantPool &ConstantPool, const yaml::MachineFunction &YamlMF) {
698   DenseMap<unsigned, unsigned> &ConstantPoolSlots = PFS.ConstantPoolSlots;
699   const MachineFunction &MF = PFS.MF;
700   const auto &M = *MF.getFunction()->getParent();
701   SMDiagnostic Error;
702   for (const auto &YamlConstant : YamlMF.Constants) {
703     const Constant *Value = dyn_cast_or_null<Constant>(
704         parseConstantValue(YamlConstant.Value.Value, Error, M));
705     if (!Value)
706       return error(Error, YamlConstant.Value.SourceRange);
707     unsigned Alignment =
708         YamlConstant.Alignment
709             ? YamlConstant.Alignment
710             : M.getDataLayout().getPrefTypeAlignment(Value->getType());
711     unsigned Index = ConstantPool.getConstantPoolIndex(Value, Alignment);
712     if (!ConstantPoolSlots.insert(std::make_pair(YamlConstant.ID.Value, Index))
713              .second)
714       return error(YamlConstant.ID.SourceRange.Start,
715                    Twine("redefinition of constant pool item '%const.") +
716                        Twine(YamlConstant.ID.Value) + "'");
717   }
718   return false;
719 }
720 
721 bool MIRParserImpl::initializeJumpTableInfo(PerFunctionMIParsingState &PFS,
722     const yaml::MachineJumpTable &YamlJTI) {
723   MachineJumpTableInfo *JTI = PFS.MF.getOrCreateJumpTableInfo(YamlJTI.Kind);
724   for (const auto &Entry : YamlJTI.Entries) {
725     std::vector<MachineBasicBlock *> Blocks;
726     for (const auto &MBBSource : Entry.Blocks) {
727       MachineBasicBlock *MBB = nullptr;
728       if (parseMBBReference(PFS, MBB, MBBSource.Value))
729         return true;
730       Blocks.push_back(MBB);
731     }
732     unsigned Index = JTI->createJumpTableIndex(Blocks);
733     if (!PFS.JumpTableSlots.insert(std::make_pair(Entry.ID.Value, Index))
734              .second)
735       return error(Entry.ID.SourceRange.Start,
736                    Twine("redefinition of jump table entry '%jump-table.") +
737                        Twine(Entry.ID.Value) + "'");
738   }
739   return false;
740 }
741 
742 bool MIRParserImpl::parseMBBReference(PerFunctionMIParsingState &PFS,
743                                       MachineBasicBlock *&MBB,
744                                       const yaml::StringValue &Source) {
745   SMDiagnostic Error;
746   if (llvm::parseMBBReference(PFS, MBB, Source.Value, Error))
747     return error(Error, Source.SourceRange);
748   return false;
749 }
750 
751 SMDiagnostic MIRParserImpl::diagFromMIStringDiag(const SMDiagnostic &Error,
752                                                  SMRange SourceRange) {
753   assert(SourceRange.isValid() && "Invalid source range");
754   SMLoc Loc = SourceRange.Start;
755   bool HasQuote = Loc.getPointer() < SourceRange.End.getPointer() &&
756                   *Loc.getPointer() == '\'';
757   // Translate the location of the error from the location in the MI string to
758   // the corresponding location in the MIR file.
759   Loc = Loc.getFromPointer(Loc.getPointer() + Error.getColumnNo() +
760                            (HasQuote ? 1 : 0));
761 
762   // TODO: Translate any source ranges as well.
763   return SM.GetMessage(Loc, Error.getKind(), Error.getMessage(), None,
764                        Error.getFixIts());
765 }
766 
767 SMDiagnostic MIRParserImpl::diagFromBlockStringDiag(const SMDiagnostic &Error,
768                                                     SMRange SourceRange) {
769   assert(SourceRange.isValid());
770 
771   // Translate the location of the error from the location in the llvm IR string
772   // to the corresponding location in the MIR file.
773   auto LineAndColumn = SM.getLineAndColumn(SourceRange.Start);
774   unsigned Line = LineAndColumn.first + Error.getLineNo() - 1;
775   unsigned Column = Error.getColumnNo();
776   StringRef LineStr = Error.getLineContents();
777   SMLoc Loc = Error.getLoc();
778 
779   // Get the full line and adjust the column number by taking the indentation of
780   // LLVM IR into account.
781   for (line_iterator L(*SM.getMemoryBuffer(SM.getMainFileID()), false), E;
782        L != E; ++L) {
783     if (L.line_number() == Line) {
784       LineStr = *L;
785       Loc = SMLoc::getFromPointer(LineStr.data());
786       auto Indent = LineStr.find(Error.getLineContents());
787       if (Indent != StringRef::npos)
788         Column += Indent;
789       break;
790     }
791   }
792 
793   return SMDiagnostic(SM, Loc, Filename, Line, Column, Error.getKind(),
794                       Error.getMessage(), LineStr, Error.getRanges(),
795                       Error.getFixIts());
796 }
797 
798 void MIRParserImpl::initNames2RegClasses(const MachineFunction &MF) {
799   if (!Names2RegClasses.empty())
800     return;
801   const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
802   for (unsigned I = 0, E = TRI->getNumRegClasses(); I < E; ++I) {
803     const auto *RC = TRI->getRegClass(I);
804     Names2RegClasses.insert(
805         std::make_pair(StringRef(TRI->getRegClassName(RC)).lower(), RC));
806   }
807 }
808 
809 void MIRParserImpl::initNames2RegBanks(const MachineFunction &MF) {
810   if (!Names2RegBanks.empty())
811     return;
812   const RegisterBankInfo *RBI = MF.getSubtarget().getRegBankInfo();
813   // If the target does not support GlobalISel, we may not have a
814   // register bank info.
815   if (!RBI)
816     return;
817   for (unsigned I = 0, E = RBI->getNumRegBanks(); I < E; ++I) {
818     const auto &RegBank = RBI->getRegBank(I);
819     Names2RegBanks.insert(
820         std::make_pair(StringRef(RegBank.getName()).lower(), &RegBank));
821   }
822 }
823 
824 const TargetRegisterClass *MIRParserImpl::getRegClass(const MachineFunction &MF,
825                                                       StringRef Name) {
826   auto RegClassInfo = Names2RegClasses.find(Name);
827   if (RegClassInfo == Names2RegClasses.end())
828     return nullptr;
829   return RegClassInfo->getValue();
830 }
831 
832 const RegisterBank *MIRParserImpl::getRegBank(const MachineFunction &MF,
833                                               StringRef Name) {
834   auto RegBankInfo = Names2RegBanks.find(Name);
835   if (RegBankInfo == Names2RegBanks.end())
836     return nullptr;
837   return RegBankInfo->getValue();
838 }
839 
840 MIRParser::MIRParser(std::unique_ptr<MIRParserImpl> Impl)
841     : Impl(std::move(Impl)) {}
842 
843 MIRParser::~MIRParser() {}
844 
845 std::unique_ptr<Module> MIRParser::parseLLVMModule() { return Impl->parse(); }
846 
847 bool MIRParser::initializeMachineFunction(MachineFunction &MF) {
848   return Impl->initializeMachineFunction(MF);
849 }
850 
851 std::unique_ptr<MIRParser> llvm::createMIRParserFromFile(StringRef Filename,
852                                                          SMDiagnostic &Error,
853                                                          LLVMContext &Context) {
854   auto FileOrErr = MemoryBuffer::getFile(Filename);
855   if (std::error_code EC = FileOrErr.getError()) {
856     Error = SMDiagnostic(Filename, SourceMgr::DK_Error,
857                          "Could not open input file: " + EC.message());
858     return nullptr;
859   }
860   return createMIRParser(std::move(FileOrErr.get()), Context);
861 }
862 
863 std::unique_ptr<MIRParser>
864 llvm::createMIRParser(std::unique_ptr<MemoryBuffer> Contents,
865                       LLVMContext &Context) {
866   auto Filename = Contents->getBufferIdentifier();
867   if (Context.shouldDiscardValueNames()) {
868     Context.diagnose(DiagnosticInfoMIRParser(
869         DS_Error,
870         SMDiagnostic(
871             Filename, SourceMgr::DK_Error,
872             "Can't read MIR with a Context that discards named Values")));
873     return nullptr;
874   }
875   return llvm::make_unique<MIRParser>(
876       llvm::make_unique<MIRParserImpl>(std::move(Contents), Filename, Context));
877 }
878