Chris Lattner | ac161bf | 2009-01-02 07:01:27 +0000 | [diff] [blame] | 1 | //===- Parser.cpp - Main dispatch module for the Parser library -----------===// |
Misha Brukman | 13f332c | 2005-04-21 21:10:11 +0000 | [diff] [blame] | 2 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | 13f332c | 2005-04-21 21:10:11 +0000 | [diff] [blame] | 7 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
Chandler Carruth | 9aca918 | 2014-01-07 12:34:26 +0000 | [diff] [blame] | 10 | // This library implements the functionality defined in llvm/AsmParser/Parser.h |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 11 | // |
Chris Lattner | ac161bf | 2009-01-02 07:01:27 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 13 | |
Chandler Carruth | 9aca918 | 2014-01-07 12:34:26 +0000 | [diff] [blame] | 14 | #include "llvm/AsmParser/Parser.h" |
Chris Lattner | ac161bf | 2009-01-02 07:01:27 +0000 | [diff] [blame] | 15 | #include "LLParser.h" |
Benjamin Kramer | 0a446fd | 2015-03-01 21:28:53 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/STLExtras.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 17 | #include "llvm/IR/Module.h" |
Chris Lattner | 660c6b9 | 2007-11-18 08:46:26 +0000 | [diff] [blame] | 18 | #include "llvm/Support/MemoryBuffer.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 19 | #include "llvm/Support/SourceMgr.h" |
Chris Lattner | ac161bf | 2009-01-02 07:01:27 +0000 | [diff] [blame] | 20 | #include "llvm/Support/raw_ostream.h" |
Anton Korobeynikov | 579f071 | 2008-02-20 11:08:44 +0000 | [diff] [blame] | 21 | #include <cstring> |
Rafael Espindola | a6e9c3e | 2014-06-12 17:38:55 +0000 | [diff] [blame] | 22 | #include <system_error> |
Chris Lattner | d25cad9 | 2004-07-13 08:42:12 +0000 | [diff] [blame] | 23 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 24 | |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 25 | bool llvm::parseAssemblyInto(MemoryBufferRef F, Module &M, SMDiagnostic &Err, |
| 26 | SlotMapping *Slots) { |
Rafael Espindola | 3f3d7ac | 2014-08-19 22:05:47 +0000 | [diff] [blame] | 27 | SourceMgr SM; |
Alex Lorenz | c627779 | 2015-05-20 20:41:27 +0000 | [diff] [blame] | 28 | std::unique_ptr<MemoryBuffer> Buf = MemoryBuffer::getMemBuffer(F); |
Rafael Espindola | d96d553 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 29 | SM.AddNewSourceBuffer(std::move(Buf), SMLoc()); |
Rafael Espindola | 3f3d7ac | 2014-08-19 22:05:47 +0000 | [diff] [blame] | 30 | |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 31 | return LLParser(F.getBuffer(), SM, Err, &M, Slots).Run(); |
Rafael Espindola | 3f3d7ac | 2014-08-19 22:05:47 +0000 | [diff] [blame] | 32 | } |
| 33 | |
Rafael Espindola | d96d553 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 34 | std::unique_ptr<Module> llvm::parseAssembly(MemoryBufferRef F, |
Rafael Espindola | 11c07d7 | 2014-08-19 16:58:54 +0000 | [diff] [blame] | 35 | SMDiagnostic &Err, |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 36 | LLVMContext &Context, |
| 37 | SlotMapping *Slots) { |
Rafael Espindola | 11c07d7 | 2014-08-19 16:58:54 +0000 | [diff] [blame] | 38 | std::unique_ptr<Module> M = |
Rafael Espindola | d96d553 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 39 | make_unique<Module>(F.getBufferIdentifier(), Context); |
Rafael Espindola | 3f3d7ac | 2014-08-19 22:05:47 +0000 | [diff] [blame] | 40 | |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 41 | if (parseAssemblyInto(F, *M, Err, Slots)) |
Craig Topper | 2617dcc | 2014-04-15 06:32:26 +0000 | [diff] [blame] | 42 | return nullptr; |
Rafael Espindola | 3f3d7ac | 2014-08-19 22:05:47 +0000 | [diff] [blame] | 43 | |
Richard Trieu | 73d0652 | 2015-01-17 00:46:44 +0000 | [diff] [blame] | 44 | return M; |
Dan Gohman | 77ac99d | 2009-09-02 17:18:19 +0000 | [diff] [blame] | 45 | } |
| 46 | |
Rafael Espindola | 11c07d7 | 2014-08-19 16:58:54 +0000 | [diff] [blame] | 47 | std::unique_ptr<Module> llvm::parseAssemblyFile(StringRef Filename, |
| 48 | SMDiagnostic &Err, |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 49 | LLVMContext &Context, |
| 50 | SlotMapping *Slots) { |
Rafael Espindola | adf21f2 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 51 | ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr = |
| 52 | MemoryBuffer::getFileOrSTDIN(Filename); |
| 53 | if (std::error_code EC = FileOrErr.getError()) { |
Chris Lattner | 03b80a4 | 2011-10-16 05:43:57 +0000 | [diff] [blame] | 54 | Err = SMDiagnostic(Filename, SourceMgr::DK_Error, |
Rafael Espindola | adf21f2 | 2014-07-06 17:43:13 +0000 | [diff] [blame] | 55 | "Could not open input file: " + EC.message()); |
Craig Topper | 2617dcc | 2014-04-15 06:32:26 +0000 | [diff] [blame] | 56 | return nullptr; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 57 | } |
Misha Brukman | 1d9a93d | 2009-01-02 22:46:48 +0000 | [diff] [blame] | 58 | |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 59 | return parseAssembly(FileOrErr.get()->getMemBufferRef(), Err, Context, Slots); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 60 | } |
| 61 | |
Rafael Espindola | 11c07d7 | 2014-08-19 16:58:54 +0000 | [diff] [blame] | 62 | std::unique_ptr<Module> llvm::parseAssemblyString(StringRef AsmString, |
| 63 | SMDiagnostic &Err, |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 64 | LLVMContext &Context, |
| 65 | SlotMapping *Slots) { |
Rafael Espindola | d96d553 | 2014-08-26 21:49:01 +0000 | [diff] [blame] | 66 | MemoryBufferRef F(AsmString, "<string>"); |
Alex Lorenz | 8955f7d | 2015-06-23 17:10:10 +0000 | [diff] [blame] | 67 | return parseAssembly(F, Err, Context, Slots); |
Chris Lattner | 416a0d4 | 2005-05-20 03:25:47 +0000 | [diff] [blame] | 68 | } |
Alex Lorenz | d225595 | 2015-07-17 22:07:03 +0000 | [diff] [blame] | 69 | |
| 70 | Constant *llvm::parseConstantValue(StringRef Asm, SMDiagnostic &Err, |
Alex Lorenz | 1de2acd | 2015-08-21 21:32:39 +0000 | [diff] [blame] | 71 | const Module &M, const SlotMapping *Slots) { |
Alex Lorenz | d225595 | 2015-07-17 22:07:03 +0000 | [diff] [blame] | 72 | 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 Lorenz | 1de2acd | 2015-08-21 21:32:39 +0000 | [diff] [blame] | 77 | .parseStandaloneConstantValue(C, Slots)) |
Alex Lorenz | d225595 | 2015-07-17 22:07:03 +0000 | [diff] [blame] | 78 | return nullptr; |
| 79 | return C; |
| 80 | } |
Quentin Colombet | 81e72b4 | 2016-03-07 22:09:05 +0000 | [diff] [blame] | 81 | |
| 82 | Type *llvm::parseType(StringRef Asm, SMDiagnostic &Err, const Module &M, |
| 83 | const SlotMapping *Slots) { |
Quentin Colombet | dafed5d | 2016-03-08 00:37:07 +0000 | [diff] [blame] | 84 | 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 | } |
| 98 | Type *llvm::parseTypeAtBeginning(StringRef Asm, unsigned &Read, |
| 99 | SMDiagnostic &Err, const Module &M, |
| 100 | const SlotMapping *Slots) { |
Quentin Colombet | 81e72b4 | 2016-03-07 22:09:05 +0000 | [diff] [blame] | 101 | 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 Colombet | dafed5d | 2016-03-08 00:37:07 +0000 | [diff] [blame] | 106 | .parseTypeAtBeginning(Ty, Read, Slots)) |
Quentin Colombet | 81e72b4 | 2016-03-07 22:09:05 +0000 | [diff] [blame] | 107 | return nullptr; |
| 108 | return Ty; |
| 109 | } |