blob: bee07ad9e0a52949c88a585a2a50dcaf338b0cb4 [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,
26 SlotMapping *Slots) {
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
Alex Lorenz8955f7d2015-06-23 17:10:10 +000031 return LLParser(F.getBuffer(), SM, Err, &M, Slots).Run();
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000032}
33
Rafael Espindolad96d5532014-08-26 21:49:01 +000034std::unique_ptr<Module> llvm::parseAssembly(MemoryBufferRef F,
Rafael Espindola11c07d72014-08-19 16:58:54 +000035 SMDiagnostic &Err,
Alex Lorenz8955f7d2015-06-23 17:10:10 +000036 LLVMContext &Context,
37 SlotMapping *Slots) {
Rafael Espindola11c07d72014-08-19 16:58:54 +000038 std::unique_ptr<Module> M =
Rafael Espindolad96d5532014-08-26 21:49:01 +000039 make_unique<Module>(F.getBufferIdentifier(), Context);
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000040
Alex Lorenz8955f7d2015-06-23 17:10:10 +000041 if (parseAssemblyInto(F, *M, Err, Slots))
Craig Topper2617dcc2014-04-15 06:32:26 +000042 return nullptr;
Rafael Espindola3f3d7ac2014-08-19 22:05:47 +000043
Richard Trieu73d06522015-01-17 00:46:44 +000044 return M;
Dan Gohman77ac99d2009-09-02 17:18:19 +000045}
46
Rafael Espindola11c07d72014-08-19 16:58:54 +000047std::unique_ptr<Module> llvm::parseAssemblyFile(StringRef Filename,
48 SMDiagnostic &Err,
Alex Lorenz8955f7d2015-06-23 17:10:10 +000049 LLVMContext &Context,
50 SlotMapping *Slots) {
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
Alex Lorenz8955f7d2015-06-23 17:10:10 +000059 return parseAssembly(FileOrErr.get()->getMemBufferRef(), Err, Context, Slots);
Chris Lattner2f7c9632001-06-06 20:29:01 +000060}
61
Rafael Espindola11c07d72014-08-19 16:58:54 +000062std::unique_ptr<Module> llvm::parseAssemblyString(StringRef AsmString,
63 SMDiagnostic &Err,
Alex Lorenz8955f7d2015-06-23 17:10:10 +000064 LLVMContext &Context,
65 SlotMapping *Slots) {
Rafael Espindolad96d5532014-08-26 21:49:01 +000066 MemoryBufferRef F(AsmString, "<string>");
Alex Lorenz8955f7d2015-06-23 17:10:10 +000067 return parseAssembly(F, Err, Context, Slots);
Chris Lattner416a0d42005-05-20 03:25:47 +000068}
Alex Lorenzd2255952015-07-17 22:07:03 +000069
70Constant *llvm::parseConstantValue(StringRef Asm, SMDiagnostic &Err,
Alex Lorenz1de2acd2015-08-21 21:32:39 +000071 const Module &M, const SlotMapping *Slots) {
Alex Lorenzd2255952015-07-17 22:07:03 +000072 SourceMgr SM;
73 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Asm);
74 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
75 Constant *C;
76 if (LLParser(Asm, SM, Err, const_cast<Module *>(&M))
Alex Lorenz1de2acd2015-08-21 21:32:39 +000077 .parseStandaloneConstantValue(C, Slots))
Alex Lorenzd2255952015-07-17 22:07:03 +000078 return nullptr;
79 return C;
80}
Quentin Colombet81e72b42016-03-07 22:09:05 +000081
82Type *llvm::parseType(StringRef Asm, SMDiagnostic &Err, const Module &M,
83 const SlotMapping *Slots) {
Quentin Colombetdafed5d2016-03-08 00:37:07 +000084 unsigned Read;
85 Type *Ty = parseTypeAtBeginning(Asm, Read, Err, M, Slots);
86 if (!Ty)
87 return nullptr;
88 if (Read != Asm.size()) {
89 SourceMgr SM;
90 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Asm);
91 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
92 Err = SM.GetMessage(SMLoc::getFromPointer(Asm.begin() + Read),
93 SourceMgr::DK_Error, "expected end of string");
94 return nullptr;
95 }
96 return Ty;
97}
98Type *llvm::parseTypeAtBeginning(StringRef Asm, unsigned &Read,
99 SMDiagnostic &Err, const Module &M,
100 const SlotMapping *Slots) {
Quentin Colombet81e72b42016-03-07 22:09:05 +0000101 SourceMgr SM;
102 std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(Asm);
103 SM.AddNewSourceBuffer(std::move(Buf), SMLoc());
104 Type *Ty;
105 if (LLParser(Asm, SM, Err, const_cast<Module *>(&M))
Quentin Colombetdafed5d2016-03-08 00:37:07 +0000106 .parseTypeAtBeginning(Ty, Read, Slots))
Quentin Colombet81e72b42016-03-07 22:09:05 +0000107 return nullptr;
108 return Ty;
109}