10b57cec5SDimitry Andric //===---- IRReader.cpp - Reader for LLVM IR files -------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric
90b57cec5SDimitry Andric #include "llvm/IRReader/IRReader.h"
100b57cec5SDimitry Andric #include "llvm-c/IRReader.h"
110b57cec5SDimitry Andric #include "llvm/AsmParser/Parser.h"
120b57cec5SDimitry Andric #include "llvm/Bitcode/BitcodeReader.h"
130b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
140b57cec5SDimitry Andric #include "llvm/IR/Module.h"
150b57cec5SDimitry Andric #include "llvm/Support/MemoryBuffer.h"
160b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h"
170b57cec5SDimitry Andric #include "llvm/Support/Timer.h"
180b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
19*bdd1243dSDimitry Andric #include <optional>
200b57cec5SDimitry Andric #include <system_error>
210b57cec5SDimitry Andric
220b57cec5SDimitry Andric using namespace llvm;
230b57cec5SDimitry Andric
240b57cec5SDimitry Andric namespace llvm {
250b57cec5SDimitry Andric extern bool TimePassesIsEnabled;
260b57cec5SDimitry Andric }
270b57cec5SDimitry Andric
28e8d8bef9SDimitry Andric const char TimeIRParsingGroupName[] = "irparse";
29e8d8bef9SDimitry Andric const char TimeIRParsingGroupDescription[] = "LLVM IR Parsing";
30e8d8bef9SDimitry Andric const char TimeIRParsingName[] = "parse";
31e8d8bef9SDimitry Andric const char TimeIRParsingDescription[] = "Parse IR";
320b57cec5SDimitry Andric
330b57cec5SDimitry Andric std::unique_ptr<Module>
getLazyIRModule(std::unique_ptr<MemoryBuffer> Buffer,SMDiagnostic & Err,LLVMContext & Context,bool ShouldLazyLoadMetadata)340b57cec5SDimitry Andric llvm::getLazyIRModule(std::unique_ptr<MemoryBuffer> Buffer, SMDiagnostic &Err,
350b57cec5SDimitry Andric LLVMContext &Context, bool ShouldLazyLoadMetadata) {
360b57cec5SDimitry Andric if (isBitcode((const unsigned char *)Buffer->getBufferStart(),
370b57cec5SDimitry Andric (const unsigned char *)Buffer->getBufferEnd())) {
380b57cec5SDimitry Andric Expected<std::unique_ptr<Module>> ModuleOrErr = getOwningLazyBitcodeModule(
390b57cec5SDimitry Andric std::move(Buffer), Context, ShouldLazyLoadMetadata);
400b57cec5SDimitry Andric if (Error E = ModuleOrErr.takeError()) {
410b57cec5SDimitry Andric handleAllErrors(std::move(E), [&](ErrorInfoBase &EIB) {
420b57cec5SDimitry Andric Err = SMDiagnostic(Buffer->getBufferIdentifier(), SourceMgr::DK_Error,
430b57cec5SDimitry Andric EIB.message());
440b57cec5SDimitry Andric });
450b57cec5SDimitry Andric return nullptr;
460b57cec5SDimitry Andric }
470b57cec5SDimitry Andric return std::move(ModuleOrErr.get());
480b57cec5SDimitry Andric }
490b57cec5SDimitry Andric
500b57cec5SDimitry Andric return parseAssembly(Buffer->getMemBufferRef(), Err, Context);
510b57cec5SDimitry Andric }
520b57cec5SDimitry Andric
getLazyIRFileModule(StringRef Filename,SMDiagnostic & Err,LLVMContext & Context,bool ShouldLazyLoadMetadata)530b57cec5SDimitry Andric std::unique_ptr<Module> llvm::getLazyIRFileModule(StringRef Filename,
540b57cec5SDimitry Andric SMDiagnostic &Err,
550b57cec5SDimitry Andric LLVMContext &Context,
560b57cec5SDimitry Andric bool ShouldLazyLoadMetadata) {
570b57cec5SDimitry Andric ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr =
580b57cec5SDimitry Andric MemoryBuffer::getFileOrSTDIN(Filename);
590b57cec5SDimitry Andric if (std::error_code EC = FileOrErr.getError()) {
600b57cec5SDimitry Andric Err = SMDiagnostic(Filename, SourceMgr::DK_Error,
610b57cec5SDimitry Andric "Could not open input file: " + EC.message());
620b57cec5SDimitry Andric return nullptr;
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric
650b57cec5SDimitry Andric return getLazyIRModule(std::move(FileOrErr.get()), Err, Context,
660b57cec5SDimitry Andric ShouldLazyLoadMetadata);
670b57cec5SDimitry Andric }
680b57cec5SDimitry Andric
parseIR(MemoryBufferRef Buffer,SMDiagnostic & Err,LLVMContext & Context,ParserCallbacks Callbacks)690b57cec5SDimitry Andric std::unique_ptr<Module> llvm::parseIR(MemoryBufferRef Buffer, SMDiagnostic &Err,
700b57cec5SDimitry Andric LLVMContext &Context,
71*bdd1243dSDimitry Andric ParserCallbacks Callbacks) {
720b57cec5SDimitry Andric NamedRegionTimer T(TimeIRParsingName, TimeIRParsingDescription,
730b57cec5SDimitry Andric TimeIRParsingGroupName, TimeIRParsingGroupDescription,
740b57cec5SDimitry Andric TimePassesIsEnabled);
750b57cec5SDimitry Andric if (isBitcode((const unsigned char *)Buffer.getBufferStart(),
760b57cec5SDimitry Andric (const unsigned char *)Buffer.getBufferEnd())) {
770b57cec5SDimitry Andric Expected<std::unique_ptr<Module>> ModuleOrErr =
78*bdd1243dSDimitry Andric parseBitcodeFile(Buffer, Context, Callbacks);
790b57cec5SDimitry Andric if (Error E = ModuleOrErr.takeError()) {
800b57cec5SDimitry Andric handleAllErrors(std::move(E), [&](ErrorInfoBase &EIB) {
810b57cec5SDimitry Andric Err = SMDiagnostic(Buffer.getBufferIdentifier(), SourceMgr::DK_Error,
820b57cec5SDimitry Andric EIB.message());
830b57cec5SDimitry Andric });
840b57cec5SDimitry Andric return nullptr;
850b57cec5SDimitry Andric }
860b57cec5SDimitry Andric return std::move(ModuleOrErr.get());
870b57cec5SDimitry Andric }
880b57cec5SDimitry Andric
89*bdd1243dSDimitry Andric return parseAssembly(Buffer, Err, Context, nullptr,
90*bdd1243dSDimitry Andric Callbacks.DataLayout.value_or(
91*bdd1243dSDimitry Andric [](StringRef, StringRef) { return std::nullopt; }));
920b57cec5SDimitry Andric }
930b57cec5SDimitry Andric
parseIRFile(StringRef Filename,SMDiagnostic & Err,LLVMContext & Context,ParserCallbacks Callbacks)94*bdd1243dSDimitry Andric std::unique_ptr<Module> llvm::parseIRFile(StringRef Filename, SMDiagnostic &Err,
95*bdd1243dSDimitry Andric LLVMContext &Context,
96*bdd1243dSDimitry Andric ParserCallbacks Callbacks) {
970b57cec5SDimitry Andric ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr =
98fe6060f1SDimitry Andric MemoryBuffer::getFileOrSTDIN(Filename, /*IsText=*/true);
990b57cec5SDimitry Andric if (std::error_code EC = FileOrErr.getError()) {
1000b57cec5SDimitry Andric Err = SMDiagnostic(Filename, SourceMgr::DK_Error,
1010b57cec5SDimitry Andric "Could not open input file: " + EC.message());
1020b57cec5SDimitry Andric return nullptr;
1030b57cec5SDimitry Andric }
1040b57cec5SDimitry Andric
105*bdd1243dSDimitry Andric return parseIR(FileOrErr.get()->getMemBufferRef(), Err, Context, Callbacks);
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric
1080b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1090b57cec5SDimitry Andric // C API.
1100b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1110b57cec5SDimitry Andric
LLVMParseIRInContext(LLVMContextRef ContextRef,LLVMMemoryBufferRef MemBuf,LLVMModuleRef * OutM,char ** OutMessage)1120b57cec5SDimitry Andric LLVMBool LLVMParseIRInContext(LLVMContextRef ContextRef,
1130b57cec5SDimitry Andric LLVMMemoryBufferRef MemBuf, LLVMModuleRef *OutM,
1140b57cec5SDimitry Andric char **OutMessage) {
1150b57cec5SDimitry Andric SMDiagnostic Diag;
1160b57cec5SDimitry Andric
1170b57cec5SDimitry Andric std::unique_ptr<MemoryBuffer> MB(unwrap(MemBuf));
1180b57cec5SDimitry Andric *OutM =
1190b57cec5SDimitry Andric wrap(parseIR(MB->getMemBufferRef(), Diag, *unwrap(ContextRef)).release());
1200b57cec5SDimitry Andric
1210b57cec5SDimitry Andric if(!*OutM) {
1220b57cec5SDimitry Andric if (OutMessage) {
1230b57cec5SDimitry Andric std::string buf;
1240b57cec5SDimitry Andric raw_string_ostream os(buf);
1250b57cec5SDimitry Andric
1260b57cec5SDimitry Andric Diag.print(nullptr, os, false);
1270b57cec5SDimitry Andric os.flush();
1280b57cec5SDimitry Andric
1290b57cec5SDimitry Andric *OutMessage = strdup(buf.c_str());
1300b57cec5SDimitry Andric }
1310b57cec5SDimitry Andric return 1;
1320b57cec5SDimitry Andric }
1330b57cec5SDimitry Andric
1340b57cec5SDimitry Andric return 0;
1350b57cec5SDimitry Andric }
136