Alex Lorenz | 91370c5 | 2015-06-22 20:37:46 +0000 | [diff] [blame] | 1 | //===- MILexer.cpp - Machine instructions lexer implementation ----------===// |
| 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 | // This file implements the lexing of machine instructions. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "MILexer.h" |
| 15 | #include "llvm/ADT/Twine.h" |
| 16 | #include <cctype> |
| 17 | |
| 18 | using namespace llvm; |
| 19 | |
| 20 | namespace { |
| 21 | |
| 22 | /// This class provides a way to iterate and get characters from the source |
| 23 | /// string. |
| 24 | class Cursor { |
| 25 | const char *Ptr; |
| 26 | const char *End; |
| 27 | |
| 28 | public: |
| 29 | explicit Cursor(StringRef Str) { |
| 30 | Ptr = Str.data(); |
| 31 | End = Ptr + Str.size(); |
| 32 | } |
| 33 | |
| 34 | bool isEOF() const { return Ptr == End; } |
| 35 | |
NAKAMURA Takumi | c267b5f | 2015-06-24 06:40:09 +0000 | [diff] [blame] | 36 | char peek(int I = 0) const { return End - Ptr <= I ? 0 : Ptr[I]; } |
Alex Lorenz | 91370c5 | 2015-06-22 20:37:46 +0000 | [diff] [blame] | 37 | |
| 38 | void advance() { ++Ptr; } |
| 39 | |
| 40 | StringRef remaining() const { return StringRef(Ptr, End - Ptr); } |
| 41 | |
| 42 | StringRef upto(Cursor C) const { |
| 43 | assert(C.Ptr >= Ptr && C.Ptr <= End); |
| 44 | return StringRef(Ptr, C.Ptr - Ptr); |
| 45 | } |
| 46 | |
| 47 | StringRef::iterator location() const { return Ptr; } |
| 48 | }; |
| 49 | |
| 50 | } // end anonymous namespace |
| 51 | |
| 52 | /// Skip the leading whitespace characters and return the updated cursor. |
| 53 | static Cursor skipWhitespace(Cursor C) { |
| 54 | while (isspace(C.peek())) |
| 55 | C.advance(); |
| 56 | return C; |
| 57 | } |
| 58 | |
| 59 | static bool isIdentifierChar(char C) { |
| 60 | return isalpha(C) || isdigit(C) || C == '_' || C == '-' || C == '.'; |
| 61 | } |
| 62 | |
| 63 | static Cursor lexIdentifier(Cursor C, MIToken &Token) { |
| 64 | auto Range = C; |
| 65 | while (isIdentifierChar(C.peek())) |
| 66 | C.advance(); |
Alex Lorenz | 12b554e | 2015-06-24 17:34:58 +0000 | [diff] [blame^] | 67 | auto Identifier = Range.upto(C); |
| 68 | Token = MIToken(Identifier == "_" ? MIToken::underscore : MIToken::Identifier, |
| 69 | Identifier); |
Alex Lorenz | 91370c5 | 2015-06-22 20:37:46 +0000 | [diff] [blame] | 70 | return C; |
| 71 | } |
| 72 | |
Alex Lorenz | f3db51de | 2015-06-23 16:35:26 +0000 | [diff] [blame] | 73 | static Cursor lexPercent(Cursor C, MIToken &Token) { |
| 74 | auto Range = C; |
| 75 | C.advance(); // Skip '%' |
| 76 | while (isIdentifierChar(C.peek())) |
| 77 | C.advance(); |
| 78 | Token = MIToken(MIToken::NamedRegister, Range.upto(C)); |
| 79 | return C; |
| 80 | } |
| 81 | |
Alex Lorenz | 240fc1e | 2015-06-23 23:42:28 +0000 | [diff] [blame] | 82 | static Cursor lexIntegerLiteral(Cursor C, MIToken &Token) { |
| 83 | auto Range = C; |
| 84 | C.advance(); |
| 85 | while (isdigit(C.peek())) |
| 86 | C.advance(); |
| 87 | StringRef StrVal = Range.upto(C); |
| 88 | Token = MIToken(MIToken::IntegerLiteral, StrVal, APSInt(StrVal)); |
| 89 | return C; |
| 90 | } |
| 91 | |
Alex Lorenz | f3db51de | 2015-06-23 16:35:26 +0000 | [diff] [blame] | 92 | static MIToken::TokenKind symbolToken(char C) { |
| 93 | switch (C) { |
| 94 | case ',': |
| 95 | return MIToken::comma; |
| 96 | case '=': |
| 97 | return MIToken::equal; |
| 98 | default: |
| 99 | return MIToken::Error; |
| 100 | } |
| 101 | } |
| 102 | |
| 103 | static Cursor lexSymbol(Cursor C, MIToken::TokenKind Kind, MIToken &Token) { |
| 104 | auto Range = C; |
| 105 | C.advance(); |
| 106 | Token = MIToken(Kind, Range.upto(C)); |
| 107 | return C; |
| 108 | } |
| 109 | |
Alex Lorenz | 91370c5 | 2015-06-22 20:37:46 +0000 | [diff] [blame] | 110 | StringRef llvm::lexMIToken( |
| 111 | StringRef Source, MIToken &Token, |
| 112 | function_ref<void(StringRef::iterator Loc, const Twine &)> ErrorCallback) { |
| 113 | auto C = skipWhitespace(Cursor(Source)); |
| 114 | if (C.isEOF()) { |
| 115 | Token = MIToken(MIToken::Eof, C.remaining()); |
| 116 | return C.remaining(); |
| 117 | } |
| 118 | |
| 119 | auto Char = C.peek(); |
| 120 | if (isalpha(Char) || Char == '_') |
| 121 | return lexIdentifier(C, Token).remaining(); |
Alex Lorenz | f3db51de | 2015-06-23 16:35:26 +0000 | [diff] [blame] | 122 | if (Char == '%') |
| 123 | return lexPercent(C, Token).remaining(); |
Alex Lorenz | 240fc1e | 2015-06-23 23:42:28 +0000 | [diff] [blame] | 124 | if (isdigit(Char) || (Char == '-' && isdigit(C.peek(1)))) |
| 125 | return lexIntegerLiteral(C, Token).remaining(); |
Alex Lorenz | f3db51de | 2015-06-23 16:35:26 +0000 | [diff] [blame] | 126 | MIToken::TokenKind Kind = symbolToken(Char); |
| 127 | if (Kind != MIToken::Error) |
| 128 | return lexSymbol(C, Kind, Token).remaining(); |
Alex Lorenz | 91370c5 | 2015-06-22 20:37:46 +0000 | [diff] [blame] | 129 | Token = MIToken(MIToken::Error, C.remaining()); |
| 130 | ErrorCallback(C.location(), |
| 131 | Twine("unexpected character '") + Twine(Char) + "'"); |
| 132 | return C.remaining(); |
| 133 | } |