blob: a43ae2b5577ab5e33e03752e7f0aa145409110ad [file] [log] [blame]
Chris Lattnerac161bf2009-01-02 07:01:27 +00001//===- Parser.cpp - Main dispatch module for the Parser library -----------===//
Misha Brukman13f332c2005-04-21 21:10:11 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman13f332c2005-04-21 21:10:11 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +00009//
Chandler Carruth9aca9182014-01-07 12:34:26 +000010// This library implements the functionality defined in llvm/AsmParser/Parser.h
Chris Lattner2f7c9632001-06-06 20:29:01 +000011//
Chris Lattnerac161bf2009-01-02 07:01:27 +000012//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +000013
Chandler Carruth9aca9182014-01-07 12:34:26 +000014#include "llvm/AsmParser/Parser.h"
Chris Lattnerac161bf2009-01-02 07:01:27 +000015#include "LLParser.h"
Benjamin Kramer0a446fd2015-03-01 21:28:53 +000016#include "llvm/ADT/STLExtras.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000017#include "llvm/IR/Module.h"
Chris Lattner660c6b92007-11-18 08:46:26 +000018#include "llvm/Support/MemoryBuffer.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/Support/SourceMgr.h"
Chris Lattnerac161bf2009-01-02 07:01:27 +000020#include "llvm/Support/raw_ostream.h"
Anton Korobeynikov579f0712008-02-20 11:08:44 +000021#include <cstring>
Rafael Espindolaa6e9c3e2014-06-12 17:38:55 +000022#include <system_error>
Chris Lattnerd25cad92004-07-13 08:42:12 +000023using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000024
Alex Lorenz8955f7d2015-06-23 17:10:10 +000025bool llvm::parseAssemblyInto(MemoryBufferRef F, Module &M, SMDiagnostic &Err,
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000026 SlotMapping *Slots, bool UpgradeDebugInfo) {
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000027 SourceMgr SM;
Alex Lorenzc6277792015-05-20 20:41:27 +000028 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(F);
Rafael Espindolad96d5532014-08-26 21:49:01 +000029 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000030
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000031 return LLParser(F.getBuffer(), SM, Err, &M, Slots, UpgradeDebugInfo).Run();
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000032}
33
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000034std::unique_ptr<Module>
35llvm::parseAssembly(MemoryBufferRef F, SMDiagnostic &Err, LLVMContext &Context,
36 SlotMapping *Slots, bool UpgradeDebugInfo) {
Rafael Espindola11c07d72014-08-19 16:58:54 +000037 std::unique_ptr<Module> M =
Rafael Espindolad96d5532014-08-26 21:49:01 +000038 make_unique<Module>(F.getBufferIdentifier(), Context);
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000039
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000040 if (parseAssemblyInto(F, *M, Err, Slots, UpgradeDebugInfo))
Craig Topper2617dcc2014-04-15 06:32:26 +000041 return nullptr;
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000042
Richard Trieu73d06522015-01-17 00:46:44 +000043 return M;
Dan Gohman77ac99d2009-09-02 17:18:19 +000044}
45
Rafael Espindola11c07d72014-08-19 16:58:54 +000046std::unique_ptr<Module> llvm::parseAssemblyFile(StringRef Filename,
47 SMDiagnostic &Err,
Alex Lorenz8955f7d2015-06-23 17:10:10 +000048 LLVMContext &Context,
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000049 SlotMapping *Slots,
50 bool UpgradeDebugInfo) {
Rafael Espindolaadf21f22014-07-06 17:43:13 +000051 ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr =
52 MemoryBuffer::getFileOrSTDIN(Filename);
53 if (std::error_code EC = FileOrErr.getError()) {
Chris Lattner03b80a42011-10-16 05:43:57 +000054 Err = SMDiagnostic(Filename, SourceMgr::DK_Error,
Rafael Espindolaadf21f22014-07-06 17:43:13 +000055 "Could not open input file: " + EC.message());
Craig Topper2617dcc2014-04-15 06:32:26 +000056 return nullptr;
Chris Lattner2f7c9632001-06-06 20:29:01 +000057 }
Misha Brukman1d9a93d2009-01-02 22:46:48 +000058
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000059 return parseAssembly(FileOrErr.get()->getMemBufferRef(), Err, Context, Slots,
60 UpgradeDebugInfo);
Chris Lattner2f7c9632001-06-06 20:29:01 +000061}
62
Rafael Espindola11c07d72014-08-19 16:58:54 +000063std::unique_ptr<Module> llvm::parseAssemblyString(StringRef AsmString,
64 SMDiagnostic &Err,
Alex Lorenz8955f7d2015-06-23 17:10:10 +000065 LLVMContext &Context,
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000066 SlotMapping *Slots,
67 bool UpgradeDebugInfo) {
Rafael Espindolad96d5532014-08-26 21:49:01 +000068 MemoryBufferRef F(AsmString, "<string>");
Adrian Prantla8b2ddb2017-10-02 18:31:29 +000069 return parseAssembly(F, Err, Context, Slots, UpgradeDebugInfo);
Chris Lattner416a0d42005-05-20 03:25:47 +000070}
Alex Lorenzd2255952015-07-17 22:07:03 +000071
72Constant *llvm::parseConstantValue(StringRef Asm, SMDiagnostic &Err,
Alex Lorenz1de2acd2015-08-21 21:32:39 +000073 const Module &M, const SlotMapping *Slots) {
Alex Lorenzd2255952015-07-17 22:07:03 +000074 SourceMgr SM;
75 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Asm);
76 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
77 Constant *C;
78 if (LLParser(Asm, SM, Err, const_cast<Module *>(&M))
Alex Lorenz1de2acd2015-08-21 21:32:39 +000079 .parseStandaloneConstantValue(C, Slots))
Alex Lorenzd2255952015-07-17 22:07:03 +000080 return nullptr;
81 return C;
82}
Quentin Colombet81e72b42016-03-07 22:09:05 +000083
84Type *llvm::parseType(StringRef Asm, SMDiagnostic &Err, const Module &M,
85 const SlotMapping *Slots) {
Quentin Colombetdafed5d2016-03-08 00:37:07 +000086 unsigned Read;
87 Type *Ty = parseTypeAtBeginning(Asm, Read, Err, M, Slots);
88 if (!Ty)
89 return nullptr;
90 if (Read != Asm.size()) {
91 SourceMgr SM;
92 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Asm);
93 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
94 Err = SM.GetMessage(SMLoc::getFromPointer(Asm.begin() + Read),
95 SourceMgr::DK_Error, "expected end of string");
96 return nullptr;
97 }
98 return Ty;
99}
100Type *llvm::parseTypeAtBeginning(StringRef Asm, unsigned &Read,
101 SMDiagnostic &Err, const Module &M,
102 const SlotMapping *Slots) {
Quentin Colombet81e72b42016-03-07 22:09:05 +0000103 SourceMgr SM;
104 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Asm);
105 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
106 Type *Ty;
107 if (LLParser(Asm, SM, Err, const_cast<Module *>(&M))
Quentin Colombetdafed5d2016-03-08 00:37:07 +0000108 .parseTypeAtBeginning(Ty, Read, Slots))
Quentin Colombet81e72b42016-03-07 22:09:05 +0000109 return nullptr;
110 return Ty;
111}