2015-05-27 18:02:19 +00:00
|
|
|
//===- MIRParser.cpp - MIR serialization format parser implementation -----===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the class that parses the optional LLVM IR and machine
|
|
|
|
// functions that are stored in MIR files.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/CodeGen/MIRParser/MIRParser.h"
|
2015-06-22 17:02:30 +00:00
|
|
|
#include "MIParser.h"
|
2015-05-27 18:02:19 +00:00
|
|
|
#include "llvm/ADT/StringRef.h"
|
2015-06-15 20:30:22 +00:00
|
|
|
#include "llvm/ADT/StringMap.h"
|
2015-05-27 18:02:19 +00:00
|
|
|
#include "llvm/ADT/STLExtras.h"
|
|
|
|
#include "llvm/AsmParser/Parser.h"
|
2015-06-15 20:30:22 +00:00
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
2015-05-28 22:41:12 +00:00
|
|
|
#include "llvm/CodeGen/MIRYamlMapping.h"
|
2015-06-19 17:43:07 +00:00
|
|
|
#include "llvm/IR/BasicBlock.h"
|
2015-06-15 20:30:22 +00:00
|
|
|
#include "llvm/IR/DiagnosticInfo.h"
|
2015-06-15 23:07:38 +00:00
|
|
|
#include "llvm/IR/Instructions.h"
|
2015-06-15 20:30:22 +00:00
|
|
|
#include "llvm/IR/LLVMContext.h"
|
2015-05-27 18:02:19 +00:00
|
|
|
#include "llvm/IR/Module.h"
|
2015-06-19 17:43:07 +00:00
|
|
|
#include "llvm/IR/ValueSymbolTable.h"
|
2015-05-29 17:05:41 +00:00
|
|
|
#include "llvm/Support/LineIterator.h"
|
2015-05-27 18:02:19 +00:00
|
|
|
#include "llvm/Support/SMLoc.h"
|
|
|
|
#include "llvm/Support/SourceMgr.h"
|
|
|
|
#include "llvm/Support/MemoryBuffer.h"
|
|
|
|
#include "llvm/Support/YAMLTraits.h"
|
|
|
|
#include <memory>
|
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
namespace llvm {
|
2015-05-27 18:02:19 +00:00
|
|
|
|
|
|
|
/// This class implements the parsing of LLVM IR that's embedded inside a MIR
|
|
|
|
/// file.
|
|
|
|
class MIRParserImpl {
|
|
|
|
SourceMgr SM;
|
|
|
|
StringRef Filename;
|
|
|
|
LLVMContext &Context;
|
2015-06-15 20:30:22 +00:00
|
|
|
StringMap<std::unique_ptr<yaml::MachineFunction>> Functions;
|
2015-05-27 18:02:19 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
MIRParserImpl(std::unique_ptr<MemoryBuffer> Contents, StringRef Filename,
|
|
|
|
LLVMContext &Context);
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
void reportDiagnostic(const SMDiagnostic &Diag);
|
|
|
|
|
|
|
|
/// Report an error with the given message at unknown location.
|
|
|
|
///
|
|
|
|
/// Always returns true.
|
|
|
|
bool error(const Twine &Message);
|
|
|
|
|
2015-05-28 22:41:12 +00:00
|
|
|
/// Try to parse the optional LLVM module and the machine functions in the MIR
|
|
|
|
/// file.
|
2015-05-27 18:02:19 +00:00
|
|
|
///
|
2015-05-28 22:41:12 +00:00
|
|
|
/// Return null if an error occurred.
|
2015-06-15 20:30:22 +00:00
|
|
|
std::unique_ptr<Module> parse();
|
2015-05-28 22:41:12 +00:00
|
|
|
|
|
|
|
/// Parse the machine function in the current YAML document.
|
|
|
|
///
|
2015-06-15 23:07:38 +00:00
|
|
|
/// \param NoLLVMIR - set to true when the MIR file doesn't have LLVM IR.
|
|
|
|
/// A dummy IR function is created and inserted into the given module when
|
|
|
|
/// this parameter is true.
|
|
|
|
///
|
2015-05-28 22:41:12 +00:00
|
|
|
/// Return true if an error occurred.
|
2015-06-15 23:07:38 +00:00
|
|
|
bool parseMachineFunction(yaml::Input &In, Module &M, bool NoLLVMIR);
|
2015-05-29 17:05:41 +00:00
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
/// Initialize the machine function to the state that's described in the MIR
|
|
|
|
/// file.
|
|
|
|
///
|
|
|
|
/// Return true if error occurred.
|
|
|
|
bool initializeMachineFunction(MachineFunction &MF);
|
|
|
|
|
2015-06-19 17:43:07 +00:00
|
|
|
/// Initialize the machine basic block using it's YAML representation.
|
|
|
|
///
|
|
|
|
/// Return true if an error occurred.
|
2015-06-22 17:02:30 +00:00
|
|
|
bool initializeMachineBasicBlock(MachineFunction &MF, MachineBasicBlock &MBB,
|
2015-06-19 17:43:07 +00:00
|
|
|
const yaml::MachineBasicBlock &YamlMBB);
|
|
|
|
|
2015-05-29 17:05:41 +00:00
|
|
|
private:
|
2015-06-23 22:39:23 +00:00
|
|
|
/// Return a MIR diagnostic converted from an MI string diagnostic.
|
|
|
|
SMDiagnostic diagFromMIStringDiag(const SMDiagnostic &Error,
|
|
|
|
SMRange SourceRange);
|
|
|
|
|
2015-05-29 17:05:41 +00:00
|
|
|
/// Return a MIR diagnostic converted from an LLVM assembly diagnostic.
|
|
|
|
SMDiagnostic diagFromLLVMAssemblyDiag(const SMDiagnostic &Error,
|
|
|
|
SMRange SourceRange);
|
2015-06-15 23:07:38 +00:00
|
|
|
|
|
|
|
/// Create an empty function with the given name.
|
|
|
|
void createDummyFunction(StringRef Name, Module &M);
|
2015-05-27 18:02:19 +00:00
|
|
|
};
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
} // end namespace llvm
|
2015-05-27 18:02:19 +00:00
|
|
|
|
|
|
|
MIRParserImpl::MIRParserImpl(std::unique_ptr<MemoryBuffer> Contents,
|
|
|
|
StringRef Filename, LLVMContext &Context)
|
|
|
|
: SM(), Filename(Filename), Context(Context) {
|
|
|
|
SM.AddNewSourceBuffer(std::move(Contents), SMLoc());
|
|
|
|
}
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
bool MIRParserImpl::error(const Twine &Message) {
|
|
|
|
Context.diagnose(DiagnosticInfoMIRParser(
|
|
|
|
DS_Error, SMDiagnostic(Filename, SourceMgr::DK_Error, Message.str())));
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void MIRParserImpl::reportDiagnostic(const SMDiagnostic &Diag) {
|
|
|
|
DiagnosticSeverity Kind;
|
|
|
|
switch (Diag.getKind()) {
|
|
|
|
case SourceMgr::DK_Error:
|
|
|
|
Kind = DS_Error;
|
|
|
|
break;
|
|
|
|
case SourceMgr::DK_Warning:
|
|
|
|
Kind = DS_Warning;
|
|
|
|
break;
|
|
|
|
case SourceMgr::DK_Note:
|
|
|
|
Kind = DS_Note;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
Context.diagnose(DiagnosticInfoMIRParser(Kind, Diag));
|
|
|
|
}
|
|
|
|
|
2015-05-28 22:41:12 +00:00
|
|
|
static void handleYAMLDiag(const SMDiagnostic &Diag, void *Context) {
|
2015-06-15 20:30:22 +00:00
|
|
|
reinterpret_cast<MIRParserImpl *>(Context)->reportDiagnostic(Diag);
|
2015-05-28 22:41:12 +00:00
|
|
|
}
|
2015-05-27 18:02:19 +00:00
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
std::unique_ptr<Module> MIRParserImpl::parse() {
|
2015-05-28 22:41:12 +00:00
|
|
|
yaml::Input In(SM.getMemoryBuffer(SM.getMainFileID())->getBuffer(),
|
2015-06-15 20:30:22 +00:00
|
|
|
/*Ctxt=*/nullptr, handleYAMLDiag, this);
|
2015-06-23 22:39:23 +00:00
|
|
|
In.setContext(&In);
|
2015-05-28 22:41:12 +00:00
|
|
|
|
|
|
|
if (!In.setCurrentDocument()) {
|
2015-06-15 20:30:22 +00:00
|
|
|
if (In.error())
|
2015-05-28 22:41:12 +00:00
|
|
|
return nullptr;
|
|
|
|
// Create an empty module when the MIR file is empty.
|
|
|
|
return llvm::make_unique<Module>(Filename, Context);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::unique_ptr<Module> M;
|
2015-06-15 23:07:38 +00:00
|
|
|
bool NoLLVMIR = false;
|
2015-05-27 18:02:19 +00:00
|
|
|
// Parse the block scalar manually so that we can return unique pointer
|
|
|
|
// without having to go trough YAML traits.
|
2015-05-28 22:41:12 +00:00
|
|
|
if (const auto *BSN =
|
|
|
|
dyn_cast_or_null<yaml::BlockScalarNode>(In.getCurrentNode())) {
|
2015-06-15 20:30:22 +00:00
|
|
|
SMDiagnostic Error;
|
2015-05-28 22:41:12 +00:00
|
|
|
M = parseAssembly(MemoryBufferRef(BSN->getValue(), Filename), Error,
|
|
|
|
Context);
|
2015-05-29 17:05:41 +00:00
|
|
|
if (!M) {
|
2015-06-15 20:30:22 +00:00
|
|
|
reportDiagnostic(diagFromLLVMAssemblyDiag(Error, BSN->getSourceRange()));
|
2015-05-28 22:41:12 +00:00
|
|
|
return M;
|
2015-05-29 17:05:41 +00:00
|
|
|
}
|
2015-05-28 22:41:12 +00:00
|
|
|
In.nextDocument();
|
|
|
|
if (!In.setCurrentDocument())
|
|
|
|
return M;
|
|
|
|
} else {
|
|
|
|
// Create an new, empty module.
|
|
|
|
M = llvm::make_unique<Module>(Filename, Context);
|
2015-06-15 23:07:38 +00:00
|
|
|
NoLLVMIR = true;
|
2015-05-27 18:02:19 +00:00
|
|
|
}
|
|
|
|
|
2015-05-28 22:41:12 +00:00
|
|
|
// Parse the machine functions.
|
|
|
|
do {
|
2015-06-15 23:07:38 +00:00
|
|
|
if (parseMachineFunction(In, *M, NoLLVMIR))
|
2015-05-28 22:41:12 +00:00
|
|
|
return nullptr;
|
|
|
|
In.nextDocument();
|
|
|
|
} while (In.setCurrentDocument());
|
|
|
|
|
|
|
|
return M;
|
|
|
|
}
|
|
|
|
|
2015-06-15 23:07:38 +00:00
|
|
|
bool MIRParserImpl::parseMachineFunction(yaml::Input &In, Module &M,
|
|
|
|
bool NoLLVMIR) {
|
2015-06-15 20:30:22 +00:00
|
|
|
auto MF = llvm::make_unique<yaml::MachineFunction>();
|
|
|
|
yaml::yamlize(In, *MF, false);
|
2015-05-28 22:41:12 +00:00
|
|
|
if (In.error())
|
|
|
|
return true;
|
2015-06-15 20:30:22 +00:00
|
|
|
auto FunctionName = MF->Name;
|
2015-06-15 22:23:23 +00:00
|
|
|
if (Functions.find(FunctionName) != Functions.end())
|
|
|
|
return error(Twine("redefinition of machine function '") + FunctionName +
|
|
|
|
"'");
|
2015-06-15 20:30:22 +00:00
|
|
|
Functions.insert(std::make_pair(FunctionName, std::move(MF)));
|
2015-06-15 23:07:38 +00:00
|
|
|
if (NoLLVMIR)
|
|
|
|
createDummyFunction(FunctionName, M);
|
2015-06-16 17:06:29 +00:00
|
|
|
else if (!M.getFunction(FunctionName))
|
|
|
|
return error(Twine("function '") + FunctionName +
|
|
|
|
"' isn't defined in the provided LLVM IR");
|
2015-06-15 20:30:22 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-06-15 23:07:38 +00:00
|
|
|
void MIRParserImpl::createDummyFunction(StringRef Name, Module &M) {
|
|
|
|
auto &Context = M.getContext();
|
|
|
|
Function *F = cast<Function>(M.getOrInsertFunction(
|
|
|
|
Name, FunctionType::get(Type::getVoidTy(Context), false)));
|
|
|
|
BasicBlock *BB = BasicBlock::Create(Context, "entry", F);
|
|
|
|
new UnreachableInst(Context, BB);
|
|
|
|
}
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
bool MIRParserImpl::initializeMachineFunction(MachineFunction &MF) {
|
|
|
|
auto It = Functions.find(MF.getName());
|
|
|
|
if (It == Functions.end())
|
|
|
|
return error(Twine("no machine function information for function '") +
|
|
|
|
MF.getName() + "' in the MIR file");
|
|
|
|
// TODO: Recreate the machine function.
|
2015-06-16 00:10:47 +00:00
|
|
|
const yaml::MachineFunction &YamlMF = *It->getValue();
|
|
|
|
if (YamlMF.Alignment)
|
|
|
|
MF.setAlignment(YamlMF.Alignment);
|
|
|
|
MF.setExposesReturnsTwice(YamlMF.ExposesReturnsTwice);
|
|
|
|
MF.setHasInlineAsm(YamlMF.HasInlineAsm);
|
2015-06-19 17:43:07 +00:00
|
|
|
const auto &F = *MF.getFunction();
|
|
|
|
for (const auto &YamlMBB : YamlMF.BasicBlocks) {
|
|
|
|
const BasicBlock *BB = nullptr;
|
|
|
|
if (!YamlMBB.Name.empty()) {
|
|
|
|
BB = dyn_cast_or_null<BasicBlock>(
|
|
|
|
F.getValueSymbolTable().lookup(YamlMBB.Name));
|
2015-06-19 20:12:03 +00:00
|
|
|
if (!BB)
|
|
|
|
return error(Twine("basic block '") + YamlMBB.Name +
|
|
|
|
"' is not defined in the function '" + MF.getName() + "'");
|
2015-06-19 17:43:07 +00:00
|
|
|
}
|
|
|
|
auto *MBB = MF.CreateMachineBasicBlock(BB);
|
|
|
|
MF.insert(MF.end(), MBB);
|
2015-06-22 17:02:30 +00:00
|
|
|
if (initializeMachineBasicBlock(MF, *MBB, YamlMBB))
|
2015-06-19 17:43:07 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MIRParserImpl::initializeMachineBasicBlock(
|
2015-06-22 17:02:30 +00:00
|
|
|
MachineFunction &MF, MachineBasicBlock &MBB,
|
|
|
|
const yaml::MachineBasicBlock &YamlMBB) {
|
2015-06-19 17:43:07 +00:00
|
|
|
MBB.setAlignment(YamlMBB.Alignment);
|
|
|
|
if (YamlMBB.AddressTaken)
|
|
|
|
MBB.setHasAddressTaken();
|
|
|
|
MBB.setIsLandingPad(YamlMBB.IsLandingPad);
|
2015-06-22 17:02:30 +00:00
|
|
|
// Parse the instructions.
|
|
|
|
for (const auto &MISource : YamlMBB.Instructions) {
|
|
|
|
SMDiagnostic Error;
|
2015-06-23 22:39:23 +00:00
|
|
|
if (auto *MI = parseMachineInstr(SM, MF, MISource.Value, Error)) {
|
2015-06-22 17:02:30 +00:00
|
|
|
MBB.insert(MBB.end(), MI);
|
|
|
|
continue;
|
|
|
|
}
|
2015-06-23 22:39:23 +00:00
|
|
|
reportDiagnostic(diagFromMIStringDiag(Error, MISource.SourceRange));
|
2015-06-22 17:02:30 +00:00
|
|
|
return true;
|
|
|
|
}
|
2015-05-28 22:41:12 +00:00
|
|
|
return false;
|
2015-05-27 18:02:19 +00:00
|
|
|
}
|
|
|
|
|
2015-06-23 22:39:23 +00:00
|
|
|
SMDiagnostic MIRParserImpl::diagFromMIStringDiag(const SMDiagnostic &Error,
|
|
|
|
SMRange SourceRange) {
|
|
|
|
assert(SourceRange.isValid() && "Invalid source range");
|
|
|
|
SMLoc Loc = SourceRange.Start;
|
|
|
|
bool HasQuote = Loc.getPointer() < SourceRange.End.getPointer() &&
|
|
|
|
*Loc.getPointer() == '\'';
|
|
|
|
// Translate the location of the error from the location in the MI string to
|
|
|
|
// the corresponding location in the MIR file.
|
|
|
|
Loc = Loc.getFromPointer(Loc.getPointer() + Error.getColumnNo() +
|
|
|
|
(HasQuote ? 1 : 0));
|
|
|
|
|
|
|
|
// TODO: Translate any source ranges as well.
|
|
|
|
return SM.GetMessage(Loc, Error.getKind(), Error.getMessage(), None,
|
|
|
|
Error.getFixIts());
|
|
|
|
}
|
|
|
|
|
2015-05-29 17:05:41 +00:00
|
|
|
SMDiagnostic MIRParserImpl::diagFromLLVMAssemblyDiag(const SMDiagnostic &Error,
|
|
|
|
SMRange SourceRange) {
|
|
|
|
assert(SourceRange.isValid());
|
|
|
|
|
|
|
|
// Translate the location of the error from the location in the llvm IR string
|
|
|
|
// to the corresponding location in the MIR file.
|
|
|
|
auto LineAndColumn = SM.getLineAndColumn(SourceRange.Start);
|
|
|
|
unsigned Line = LineAndColumn.first + Error.getLineNo() - 1;
|
|
|
|
unsigned Column = Error.getColumnNo();
|
|
|
|
StringRef LineStr = Error.getLineContents();
|
|
|
|
SMLoc Loc = Error.getLoc();
|
|
|
|
|
|
|
|
// Get the full line and adjust the column number by taking the indentation of
|
|
|
|
// LLVM IR into account.
|
|
|
|
for (line_iterator L(*SM.getMemoryBuffer(SM.getMainFileID()), false), E;
|
|
|
|
L != E; ++L) {
|
|
|
|
if (L.line_number() == Line) {
|
|
|
|
LineStr = *L;
|
|
|
|
Loc = SMLoc::getFromPointer(LineStr.data());
|
|
|
|
auto Indent = LineStr.find(Error.getLineContents());
|
|
|
|
if (Indent != StringRef::npos)
|
|
|
|
Column += Indent;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return SMDiagnostic(SM, Loc, Filename, Line, Column, Error.getKind(),
|
|
|
|
Error.getMessage(), LineStr, Error.getRanges(),
|
|
|
|
Error.getFixIts());
|
|
|
|
}
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
MIRParser::MIRParser(std::unique_ptr<MIRParserImpl> Impl)
|
|
|
|
: Impl(std::move(Impl)) {}
|
|
|
|
|
|
|
|
MIRParser::~MIRParser() {}
|
|
|
|
|
|
|
|
std::unique_ptr<Module> MIRParser::parseLLVMModule() { return Impl->parse(); }
|
|
|
|
|
|
|
|
bool MIRParser::initializeMachineFunction(MachineFunction &MF) {
|
|
|
|
return Impl->initializeMachineFunction(MF);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::unique_ptr<MIRParser> llvm::createMIRParserFromFile(StringRef Filename,
|
|
|
|
SMDiagnostic &Error,
|
|
|
|
LLVMContext &Context) {
|
2015-05-27 18:02:19 +00:00
|
|
|
auto FileOrErr = MemoryBuffer::getFile(Filename);
|
|
|
|
if (std::error_code EC = FileOrErr.getError()) {
|
|
|
|
Error = SMDiagnostic(Filename, SourceMgr::DK_Error,
|
|
|
|
"Could not open input file: " + EC.message());
|
2015-06-15 20:30:22 +00:00
|
|
|
return nullptr;
|
2015-05-27 18:02:19 +00:00
|
|
|
}
|
2015-06-15 20:30:22 +00:00
|
|
|
return createMIRParser(std::move(FileOrErr.get()), Context);
|
2015-05-27 18:02:19 +00:00
|
|
|
}
|
|
|
|
|
2015-06-15 20:30:22 +00:00
|
|
|
std::unique_ptr<MIRParser>
|
|
|
|
llvm::createMIRParser(std::unique_ptr<MemoryBuffer> Contents,
|
|
|
|
LLVMContext &Context) {
|
2015-05-27 18:02:19 +00:00
|
|
|
auto Filename = Contents->getBufferIdentifier();
|
2015-06-15 20:30:22 +00:00
|
|
|
return llvm::make_unique<MIRParser>(
|
|
|
|
llvm::make_unique<MIRParserImpl>(std::move(Contents), Filename, Context));
|
2015-05-27 18:02:19 +00:00
|
|
|
}
|