Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 1 | //===---- IRReader.cpp - Reader for LLVM IR files -------------------------===// |
| 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 | #include "llvm/IRReader/IRReader.h" |
Chandler Carruth | 974a445 | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 11 | #include "llvm-c/IRReader.h" |
Chandler Carruth | bc65a8d | 2014-01-07 12:34:26 +0000 | [diff] [blame] | 12 | #include "llvm/AsmParser/Parser.h" |
Teresa Johnson | a547919 | 2016-11-11 05:34:58 +0000 | [diff] [blame] | 13 | #include "llvm/Bitcode/BitcodeReader.h" |
Peter Zotov | c6099db | 2013-11-06 09:21:15 +0000 | [diff] [blame] | 14 | #include "llvm/IR/LLVMContext.h" |
| 15 | #include "llvm/IR/Module.h" |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 16 | #include "llvm/Support/MemoryBuffer.h" |
| 17 | #include "llvm/Support/SourceMgr.h" |
Eli Bendersky | 1629965 | 2013-04-03 15:33:45 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Timer.h" |
Peter Zotov | c6099db | 2013-11-06 09:21:15 +0000 | [diff] [blame] | 19 | #include "llvm/Support/raw_ostream.h" |
Rafael Espindola | d5132f9 | 2014-06-12 17:38:55 +0000 | [diff] [blame] | 20 | #include <system_error> |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 21 | |
| 22 | using namespace llvm; |
| 23 | |
Eli Bendersky | 1629965 | 2013-04-03 15:33:45 +0000 | [diff] [blame] | 24 | namespace llvm { |
| 25 | extern bool TimePassesIsEnabled; |
| 26 | } |
| 27 | |
Matthias Braun | 9262f00 | 2016-11-18 19:43:18 +0000 | [diff] [blame] | 28 | static const char *const TimeIRParsingGroupName = "irparse"; |
| 29 | static const char *const TimeIRParsingGroupDescription = "LLVM IR Parsing"; |
| 30 | static const char *const TimeIRParsingName = "parse"; |
| 31 | static const char *const TimeIRParsingDescription = "Parse IR"; |
Eli Bendersky | 1629965 | 2013-04-03 15:33:45 +0000 | [diff] [blame] | 32 | |
Rafael Espindola | 9b29ff9 | 2014-08-19 16:58:54 +0000 | [diff] [blame] | 33 | static std::unique_ptr<Module> |
| 34 | getLazyIRModule(std::unique_ptr<MemoryBuffer> Buffer, SMDiagnostic &Err, |
Teresa Johnson | d0f8afa | 2015-12-17 17:14:09 +0000 | [diff] [blame] | 35 | LLVMContext &Context, bool ShouldLazyLoadMetadata) { |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 36 | if (isBitcode((const unsigned char *)Buffer->getBufferStart(), |
| 37 | (const unsigned char *)Buffer->getBufferEnd())) { |
Peter Collingbourne | dead081 | 2016-11-13 07:00:17 +0000 | [diff] [blame] | 38 | Expected<std::unique_ptr<Module>> ModuleOrErr = getOwningLazyBitcodeModule( |
Teresa Johnson | d0f8afa | 2015-12-17 17:14:09 +0000 | [diff] [blame] | 39 | std::move(Buffer), Context, ShouldLazyLoadMetadata); |
Peter Collingbourne | dead081 | 2016-11-13 07:00:17 +0000 | [diff] [blame] | 40 | if (Error E = ModuleOrErr.takeError()) { |
| 41 | handleAllErrors(std::move(E), [&](ErrorInfoBase &EIB) { |
| 42 | Err = SMDiagnostic(Buffer->getBufferIdentifier(), SourceMgr::DK_Error, |
| 43 | EIB.message()); |
| 44 | }); |
Craig Topper | 0b6cb71 | 2014-04-15 06:32:26 +0000 | [diff] [blame] | 45 | return nullptr; |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 46 | } |
Rafael Espindola | 20a6785 | 2015-06-16 22:27:55 +0000 | [diff] [blame] | 47 | return std::move(ModuleOrErr.get()); |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 48 | } |
| 49 | |
Rafael Espindola | 2292996 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 50 | return parseAssembly(Buffer->getMemBufferRef(), Err, Context); |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Rafael Espindola | 81e4992 | 2014-08-26 17:29:46 +0000 | [diff] [blame] | 53 | std::unique_ptr<Module> llvm::getLazyIRFileModule(StringRef Filename, |
| 54 | SMDiagnostic &Err, |
Teresa Johnson | d0f8afa | 2015-12-17 17:14:09 +0000 | [diff] [blame] | 55 | LLVMContext &Context, |
| 56 | bool ShouldLazyLoadMetadata) { |
Rafael Espindola | 7cba2a9 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 57 | ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr = |
| 58 | MemoryBuffer::getFileOrSTDIN(Filename); |
| 59 | if (std::error_code EC = FileOrErr.getError()) { |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 60 | Err = SMDiagnostic(Filename, SourceMgr::DK_Error, |
Rafael Espindola | 7cba2a9 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 61 | "Could not open input file: " + EC.message()); |
Craig Topper | 0b6cb71 | 2014-04-15 06:32:26 +0000 | [diff] [blame] | 62 | return nullptr; |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 63 | } |
| 64 | |
Teresa Johnson | d0f8afa | 2015-12-17 17:14:09 +0000 | [diff] [blame] | 65 | return getLazyIRModule(std::move(FileOrErr.get()), Err, Context, |
| 66 | ShouldLazyLoadMetadata); |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 67 | } |
| 68 | |
Rafael Espindola | 2292996 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 69 | std::unique_ptr<Module> llvm::parseIR(MemoryBufferRef Buffer, SMDiagnostic &Err, |
Adrian Prantl | 733fe2f | 2017-10-02 18:31:29 +0000 | [diff] [blame] | 70 | LLVMContext &Context, |
Yaxun Liu | 7c2d049 | 2018-01-30 22:32:39 +0000 | [diff] [blame] | 71 | bool UpgradeDebugInfo, |
| 72 | StringRef DataLayoutString) { |
Matthias Braun | 9262f00 | 2016-11-18 19:43:18 +0000 | [diff] [blame] | 73 | NamedRegionTimer T(TimeIRParsingName, TimeIRParsingDescription, |
| 74 | TimeIRParsingGroupName, TimeIRParsingGroupDescription, |
Eli Bendersky | 1629965 | 2013-04-03 15:33:45 +0000 | [diff] [blame] | 75 | TimePassesIsEnabled); |
Rafael Espindola | 2292996 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 76 | if (isBitcode((const unsigned char *)Buffer.getBufferStart(), |
| 77 | (const unsigned char *)Buffer.getBufferEnd())) { |
Peter Collingbourne | dead081 | 2016-11-13 07:00:17 +0000 | [diff] [blame] | 78 | Expected<std::unique_ptr<Module>> ModuleOrErr = |
Rafael Espindola | 20a6785 | 2015-06-16 22:27:55 +0000 | [diff] [blame] | 79 | parseBitcodeFile(Buffer, Context); |
Peter Collingbourne | dead081 | 2016-11-13 07:00:17 +0000 | [diff] [blame] | 80 | if (Error E = ModuleOrErr.takeError()) { |
| 81 | handleAllErrors(std::move(E), [&](ErrorInfoBase &EIB) { |
| 82 | Err = SMDiagnostic(Buffer.getBufferIdentifier(), SourceMgr::DK_Error, |
| 83 | EIB.message()); |
| 84 | }); |
Rafael Espindola | 81e4992 | 2014-08-26 17:29:46 +0000 | [diff] [blame] | 85 | return nullptr; |
| 86 | } |
Yaxun Liu | 7c2d049 | 2018-01-30 22:32:39 +0000 | [diff] [blame] | 87 | if (!DataLayoutString.empty()) |
| 88 | ModuleOrErr.get()->setDataLayout(DataLayoutString); |
Rafael Espindola | 20a6785 | 2015-06-16 22:27:55 +0000 | [diff] [blame] | 89 | return std::move(ModuleOrErr.get()); |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 90 | } |
| 91 | |
Yaxun Liu | 7c2d049 | 2018-01-30 22:32:39 +0000 | [diff] [blame] | 92 | return parseAssembly(Buffer, Err, Context, nullptr, UpgradeDebugInfo, |
| 93 | DataLayoutString); |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 94 | } |
| 95 | |
Rafael Espindola | 81e4992 | 2014-08-26 17:29:46 +0000 | [diff] [blame] | 96 | std::unique_ptr<Module> llvm::parseIRFile(StringRef Filename, SMDiagnostic &Err, |
Adrian Prantl | 733fe2f | 2017-10-02 18:31:29 +0000 | [diff] [blame] | 97 | LLVMContext &Context, |
Yaxun Liu | 7c2d049 | 2018-01-30 22:32:39 +0000 | [diff] [blame] | 98 | bool UpgradeDebugInfo, |
| 99 | StringRef DataLayoutString) { |
Rafael Espindola | 7cba2a9 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 100 | ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr = |
| 101 | MemoryBuffer::getFileOrSTDIN(Filename); |
| 102 | if (std::error_code EC = FileOrErr.getError()) { |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 103 | Err = SMDiagnostic(Filename, SourceMgr::DK_Error, |
Rafael Espindola | 7cba2a9 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 104 | "Could not open input file: " + EC.message()); |
Craig Topper | 0b6cb71 | 2014-04-15 06:32:26 +0000 | [diff] [blame] | 105 | return nullptr; |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 106 | } |
| 107 | |
Adrian Prantl | 733fe2f | 2017-10-02 18:31:29 +0000 | [diff] [blame] | 108 | return parseIR(FileOrErr.get()->getMemBufferRef(), Err, Context, |
Yaxun Liu | 7c2d049 | 2018-01-30 22:32:39 +0000 | [diff] [blame] | 109 | UpgradeDebugInfo, DataLayoutString); |
Chandler Carruth | 7fc162f | 2013-03-26 02:25:37 +0000 | [diff] [blame] | 110 | } |
Peter Zotov | c6099db | 2013-11-06 09:21:15 +0000 | [diff] [blame] | 111 | |
| 112 | //===----------------------------------------------------------------------===// |
| 113 | // C API. |
| 114 | //===----------------------------------------------------------------------===// |
| 115 | |
| 116 | LLVMBool LLVMParseIRInContext(LLVMContextRef ContextRef, |
| 117 | LLVMMemoryBufferRef MemBuf, LLVMModuleRef *OutM, |
| 118 | char **OutMessage) { |
| 119 | SMDiagnostic Diag; |
| 120 | |
Alp Toker | d0996e5 | 2014-06-27 04:33:58 +0000 | [diff] [blame] | 121 | std::unique_ptr<MemoryBuffer> MB(unwrap(MemBuf)); |
Rafael Espindola | 2292996 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 122 | *OutM = |
| 123 | wrap(parseIR(MB->getMemBufferRef(), Diag, *unwrap(ContextRef)).release()); |
Peter Zotov | c6099db | 2013-11-06 09:21:15 +0000 | [diff] [blame] | 124 | |
| 125 | if(!*OutM) { |
| 126 | if (OutMessage) { |
Alp Toker | 8dd8d5c | 2014-06-26 22:52:05 +0000 | [diff] [blame] | 127 | std::string buf; |
| 128 | raw_string_ostream os(buf); |
| 129 | |
Craig Topper | 0b6cb71 | 2014-04-15 06:32:26 +0000 | [diff] [blame] | 130 | Diag.print(nullptr, os, false); |
Alp Toker | 8dd8d5c | 2014-06-26 22:52:05 +0000 | [diff] [blame] | 131 | os.flush(); |
| 132 | |
| 133 | *OutMessage = strdup(buf.c_str()); |
Peter Zotov | c6099db | 2013-11-06 09:21:15 +0000 | [diff] [blame] | 134 | } |
| 135 | return 1; |
| 136 | } |
| 137 | |
| 138 | return 0; |
| 139 | } |