mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-04-16 22:50:01 +00:00

This came out of a recent discussion on llvm-dev (https://reviews.llvm.org/D38042). Currently the Verifier will strip the debug info metadata from a module if it finds the dbeug info to be malformed. This feature is very valuable since it allows us to improve the Verifier by making it stricter without breaking bcompatibility, but arguable the Verifier pass should not be modifying the IR. This patch moves the stripping of broken debug info into AutoUpgrade (UpgradeDebugInfo to be precise), which is a much better location for this since the stripping of malformed (i.e., produced by older, buggy versions of Clang) is a (harsh) form of AutoUpgrade. This change is mostly NFC in nature, the one big difference is the behavior when LLVM module passes are introducing malformed debug info. Prior to this patch, a NoAsserts build would have printed a warning and stripped the debug info, after this patch the Verifier will report a fatal error. I believe this behavior is actually more desirable anyway. Differential Revision: https://reviews.llvm.org/D38184 llvm-svn: 314699
126 lines
4.1 KiB
C++
126 lines
4.1 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 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);
|
|
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;
|
|
}
|