c00d81e697
Sometimes users do not specify data layout in LLVM assembly and let llc set the data layout by target triple after loading the LLVM assembly. Currently the parser checks alloca address space no matter whether the LLVM assembly contains data layout definition, which causes false alarm since the default data layout does not contain the correct alloca address space. The parser also calls verifier to check debug info and updating invalid debug info. Currently there is no way to let the verifier to check debug info only. If the verifier finds non-debug-info issues the parser will fail. For llc, the fix is to remove the check of alloca addr space in the parser and disable updating debug info, and defer the updating of debug info and verification to be after setting data layout of the IR by target. For other llvm tools, since they do not override data layout by target but instead can override data layout by a command line option, an argument for overriding data layout is added to the parser. In cases where data layout overriding is necessary for the parser, the data layout can be provided by command line. Differential Revision: https://reviews.llvm.org/D41832 llvm-svn: 323826
131 lines
4.4 KiB
C++
131 lines
4.4 KiB
C++
//===--- llvm-as.cpp - The low-level LLVM assembler -----------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This utility may be invoked in the following manner:
|
|
// llvm-as --help - Output information about command line switches
|
|
// llvm-as [options] - Read LLVM asm from stdin, write bitcode to stdout
|
|
// llvm-as [options] x.ll - Read LLVM asm from the x.ll file, write bitcode
|
|
// to the x.bc file.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/AsmParser/Parser.h"
|
|
#include "llvm/Bitcode/BitcodeWriter.h"
|
|
#include "llvm/IR/LLVMContext.h"
|
|
#include "llvm/IR/Module.h"
|
|
#include "llvm/IR/Verifier.h"
|
|
#include "llvm/Support/CommandLine.h"
|
|
#include "llvm/Support/FileSystem.h"
|
|
#include "llvm/Support/ManagedStatic.h"
|
|
#include "llvm/Support/PrettyStackTrace.h"
|
|
#include "llvm/Support/Signals.h"
|
|
#include "llvm/Support/SourceMgr.h"
|
|
#include "llvm/Support/SystemUtils.h"
|
|
#include "llvm/Support/ToolOutputFile.h"
|
|
#include <memory>
|
|
using namespace llvm;
|
|
|
|
static cl::opt<std::string> InputFilename(cl::Positional,
|
|
cl::desc("<input .llvm file>"),
|
|
cl::init("-"));
|
|
|
|
static cl::opt<std::string> OutputFilename("o",
|
|
cl::desc("Override output filename"),
|
|
cl::value_desc("filename"));
|
|
|
|
static cl::opt<bool> Force("f", cl::desc("Enable binary output on terminals"));
|
|
|
|
static cl::opt<bool> DisableOutput("disable-output", cl::desc("Disable output"),
|
|
cl::init(false));
|
|
|
|
static cl::opt<bool> EmitModuleHash("module-hash", cl::desc("Emit module hash"),
|
|
cl::init(false));
|
|
|
|
static cl::opt<bool> DumpAsm("d", cl::desc("Print assembly as parsed"),
|
|
cl::Hidden);
|
|
|
|
static cl::opt<bool>
|
|
DisableVerify("disable-verify", cl::Hidden,
|
|
cl::desc("Do not run verifier on input LLVM (dangerous!)"));
|
|
|
|
static cl::opt<bool> PreserveBitcodeUseListOrder(
|
|
"preserve-bc-uselistorder",
|
|
cl::desc("Preserve use-list order when writing LLVM bitcode."),
|
|
cl::init(true), cl::Hidden);
|
|
|
|
static cl::opt<std::string> ClDataLayout("data-layout",
|
|
cl::desc("data layout string to use"),
|
|
cl::value_desc("layout-string"),
|
|
cl::init(""));
|
|
|
|
static void WriteOutputFile(const Module *M) {
|
|
// Infer the output filename if needed.
|
|
if (OutputFilename.empty()) {
|
|
if (InputFilename == "-") {
|
|
OutputFilename = "-";
|
|
} else {
|
|
StringRef IFN = InputFilename;
|
|
OutputFilename = (IFN.endswith(".ll") ? IFN.drop_back(3) : IFN).str();
|
|
OutputFilename += ".bc";
|
|
}
|
|
}
|
|
|
|
std::error_code EC;
|
|
std::unique_ptr<ToolOutputFile> Out(
|
|
new ToolOutputFile(OutputFilename, EC, sys::fs::F_None));
|
|
if (EC) {
|
|
errs() << EC.message() << '\n';
|
|
exit(1);
|
|
}
|
|
|
|
if (Force || !CheckBitcodeOutputToConsole(Out->os(), true))
|
|
WriteBitcodeToFile(M, Out->os(), PreserveBitcodeUseListOrder, nullptr,
|
|
EmitModuleHash);
|
|
|
|
// Declare success.
|
|
Out->keep();
|
|
}
|
|
|
|
int main(int argc, char **argv) {
|
|
// Print a stack trace if we signal out.
|
|
sys::PrintStackTraceOnErrorSignal(argv[0]);
|
|
PrettyStackTraceProgram X(argc, argv);
|
|
LLVMContext Context;
|
|
llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
|
|
cl::ParseCommandLineOptions(argc, argv, "llvm .ll -> .bc assembler\n");
|
|
|
|
// Parse the file now...
|
|
SMDiagnostic Err;
|
|
std::unique_ptr<Module> M = parseAssemblyFile(
|
|
InputFilename, Err, Context, nullptr, !DisableVerify, ClDataLayout);
|
|
if (!M.get()) {
|
|
Err.print(argv[0], errs());
|
|
return 1;
|
|
}
|
|
|
|
if (!DisableVerify) {
|
|
std::string ErrorStr;
|
|
raw_string_ostream OS(ErrorStr);
|
|
if (verifyModule(*M.get(), &OS)) {
|
|
errs() << argv[0]
|
|
<< ": assembly parsed, but does not verify as correct!\n";
|
|
errs() << OS.str();
|
|
return 1;
|
|
}
|
|
}
|
|
|
|
if (DumpAsm)
|
|
errs() << "Here's the assembly:\n" << *M.get();
|
|
|
|
if (!DisableOutput)
|
|
WriteOutputFile(M.get());
|
|
|
|
return 0;
|
|
}
|