mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
6d0ecb4cce
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
59 lines
2.4 KiB
C++
59 lines
2.4 KiB
C++
//===---- llvm/IRReader/IRReader.h - Reader for LLVM IR files ---*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines functions for reading LLVM IR. They support both
|
|
// Bitcode and Assembly, automatically detecting the input format.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_IRREADER_IRREADER_H
|
|
#define LLVM_IRREADER_IRREADER_H
|
|
|
|
#include <memory>
|
|
|
|
namespace llvm {
|
|
|
|
class StringRef;
|
|
class MemoryBufferRef;
|
|
class Module;
|
|
class SMDiagnostic;
|
|
class LLVMContext;
|
|
|
|
/// If the given file holds a bitcode image, return a Module
|
|
/// for it which does lazy deserialization of function bodies. Otherwise,
|
|
/// attempt to parse it as LLVM Assembly and return a fully populated
|
|
/// Module. The ShouldLazyLoadMetadata flag is passed down to the bitcode
|
|
/// reader to optionally enable lazy metadata loading.
|
|
std::unique_ptr<Module>
|
|
getLazyIRFileModule(StringRef Filename, SMDiagnostic &Err, LLVMContext &Context,
|
|
bool ShouldLazyLoadMetadata = false);
|
|
|
|
/// If the given MemoryBuffer holds a bitcode image, return a Module
|
|
/// for it. Otherwise, attempt to parse it as LLVM Assembly and return
|
|
/// a Module for it.
|
|
/// \param UpgradeDebugInfo Run UpgradeDebugInfo, which runs the Verifier.
|
|
/// This option should only be set to false by llvm-as
|
|
/// for use inside the LLVM testuite!
|
|
std::unique_ptr<Module> parseIR(MemoryBufferRef Buffer, SMDiagnostic &Err,
|
|
LLVMContext &Context,
|
|
bool UpgradeDebugInfo = true);
|
|
|
|
/// If the given file holds a bitcode image, return a Module for it.
|
|
/// Otherwise, attempt to parse it as LLVM Assembly and return a Module
|
|
/// for it.
|
|
/// \param UpgradeDebugInfo Run UpgradeDebugInfo, which runs the Verifier.
|
|
/// This option should only be set to false by llvm-as
|
|
/// for use inside the LLVM testuite!
|
|
std::unique_ptr<Module> parseIRFile(StringRef Filename, SMDiagnostic &Err,
|
|
LLVMContext &Context,
|
|
bool UpgradeDebugInfo = true);
|
|
}
|
|
|
|
#endif
|