blob: 482c33ae2235b7d8830c41d24b9d97f7d8e3df60 [file] [log] [blame]
Alex Lorenz91370c52015-06-22 20:37:46 +00001//===- 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"
Alex Lorenzcb268d42015-07-06 23:07:26 +000015#include "llvm/ADT/StringSwitch.h"
Alex Lorenz91370c52015-06-22 20:37:46 +000016#include "llvm/ADT/Twine.h"
17#include <cctype>
18
19using namespace llvm;
20
21namespace {
22
23/// This class provides a way to iterate and get characters from the source
24/// string.
25class Cursor {
26 const char *Ptr;
27 const char *End;
28
29public:
Alex Lorenz6c6c46e2015-06-30 16:51:29 +000030 Cursor(NoneType) : Ptr(nullptr), End(nullptr) {}
31
Alex Lorenz91370c52015-06-22 20:37:46 +000032 explicit Cursor(StringRef Str) {
33 Ptr = Str.data();
34 End = Ptr + Str.size();
35 }
36
37 bool isEOF() const { return Ptr == End; }
38
NAKAMURA Takumic267b5f2015-06-24 06:40:09 +000039 char peek(int I = 0) const { return End - Ptr <= I ? 0 : Ptr[I]; }
Alex Lorenz91370c52015-06-22 20:37:46 +000040
Alex Lorenz33f0aef2015-06-26 16:46:11 +000041 void advance(unsigned I = 1) { Ptr += I; }
Alex Lorenz91370c52015-06-22 20:37:46 +000042
43 StringRef remaining() const { return StringRef(Ptr, End - Ptr); }
44
45 StringRef upto(Cursor C) const {
46 assert(C.Ptr >= Ptr && C.Ptr <= End);
47 return StringRef(Ptr, C.Ptr - Ptr);
48 }
49
50 StringRef::iterator location() const { return Ptr; }
Alex Lorenz6c6c46e2015-06-30 16:51:29 +000051
52 operator bool() const { return Ptr != nullptr; }
Alex Lorenz91370c52015-06-22 20:37:46 +000053};
54
55} // end anonymous namespace
56
57/// Skip the leading whitespace characters and return the updated cursor.
58static Cursor skipWhitespace(Cursor C) {
59 while (isspace(C.peek()))
60 C.advance();
61 return C;
62}
63
64static bool isIdentifierChar(char C) {
65 return isalpha(C) || isdigit(C) || C == '_' || C == '-' || C == '.';
66}
67
Alex Lorenzcb268d42015-07-06 23:07:26 +000068static MIToken::TokenKind getIdentifierKind(StringRef Identifier) {
69 return StringSwitch<MIToken::TokenKind>(Identifier)
70 .Case("_", MIToken::underscore)
71 .Case("implicit", MIToken::kw_implicit)
72 .Case("implicit-def", MIToken::kw_implicit_define)
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +000073 .Case("dead", MIToken::kw_dead)
Alex Lorenz495ad872015-07-08 21:23:34 +000074 .Case("killed", MIToken::kw_killed)
Alex Lorenz4d026b892015-07-08 23:58:31 +000075 .Case("undef", MIToken::kw_undef)
Alex Lorenzcb268d42015-07-06 23:07:26 +000076 .Default(MIToken::Identifier);
77}
78
Alex Lorenz6c6c46e2015-06-30 16:51:29 +000079static Cursor maybeLexIdentifier(Cursor C, MIToken &Token) {
80 if (!isalpha(C.peek()) && C.peek() != '_')
81 return None;
Alex Lorenz91370c52015-06-22 20:37:46 +000082 auto Range = C;
83 while (isIdentifierChar(C.peek()))
84 C.advance();
Alex Lorenz12b554e2015-06-24 17:34:58 +000085 auto Identifier = Range.upto(C);
Alex Lorenzcb268d42015-07-06 23:07:26 +000086 Token = MIToken(getIdentifierKind(Identifier), Identifier);
Alex Lorenz91370c52015-06-22 20:37:46 +000087 return C;
88}
89
Alex Lorenz6c6c46e2015-06-30 16:51:29 +000090static Cursor maybeLexMachineBasicBlock(
Alex Lorenz33f0aef2015-06-26 16:46:11 +000091 Cursor C, MIToken &Token,
92 function_ref<void(StringRef::iterator Loc, const Twine &)> ErrorCallback) {
Alex Lorenz6c6c46e2015-06-30 16:51:29 +000093 if (!C.remaining().startswith("%bb."))
94 return None;
Alex Lorenz33f0aef2015-06-26 16:46:11 +000095 auto Range = C;
96 C.advance(4); // Skip '%bb.'
97 if (!isdigit(C.peek())) {
98 Token = MIToken(MIToken::Error, C.remaining());
99 ErrorCallback(C.location(), "expected a number after '%bb.'");
100 return C;
101 }
102 auto NumberRange = C;
103 while (isdigit(C.peek()))
104 C.advance();
105 StringRef Number = NumberRange.upto(C);
106 unsigned StringOffset = 4 + Number.size(); // Drop '%bb.<id>'
107 if (C.peek() == '.') {
108 C.advance(); // Skip '.'
109 ++StringOffset;
110 while (isIdentifierChar(C.peek()))
111 C.advance();
112 }
113 Token = MIToken(MIToken::MachineBasicBlock, Range.upto(C), APSInt(Number),
114 StringOffset);
115 return C;
116}
117
Alex Lorenz53464512015-07-10 22:51:20 +0000118static Cursor lexVirtualRegister(Cursor C, MIToken &Token) {
119 auto Range = C;
120 C.advance(); // Skip '%'
121 auto NumberRange = C;
122 while (isdigit(C.peek()))
123 C.advance();
124 Token = MIToken(MIToken::VirtualRegister, Range.upto(C),
125 APSInt(NumberRange.upto(C)));
126 return C;
127}
128
Alex Lorenz6c6c46e2015-06-30 16:51:29 +0000129static Cursor maybeLexRegister(Cursor C, MIToken &Token) {
130 if (C.peek() != '%')
131 return None;
Alex Lorenz53464512015-07-10 22:51:20 +0000132 if (isdigit(C.peek(1)))
133 return lexVirtualRegister(C, Token);
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000134 auto Range = C;
135 C.advance(); // Skip '%'
136 while (isIdentifierChar(C.peek()))
137 C.advance();
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000138 Token = MIToken(MIToken::NamedRegister, Range.upto(C),
139 /*StringOffset=*/1); // Drop the '%'
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000140 return C;
141}
142
Alex Lorenz6c6c46e2015-06-30 16:51:29 +0000143static Cursor maybeLexGlobalValue(Cursor C, MIToken &Token) {
144 if (C.peek() != '@')
145 return None;
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000146 auto Range = C;
147 C.advance(); // Skip the '@'
148 // TODO: add support for quoted names.
149 if (!isdigit(C.peek())) {
150 while (isIdentifierChar(C.peek()))
151 C.advance();
152 Token = MIToken(MIToken::NamedGlobalValue, Range.upto(C),
153 /*StringOffset=*/1); // Drop the '@'
154 return C;
155 }
156 auto NumberRange = C;
157 while (isdigit(C.peek()))
158 C.advance();
159 Token =
160 MIToken(MIToken::GlobalValue, Range.upto(C), APSInt(NumberRange.upto(C)));
161 return C;
162}
163
Alex Lorenz6c6c46e2015-06-30 16:51:29 +0000164static Cursor maybeLexIntegerLiteral(Cursor C, MIToken &Token) {
165 if (!isdigit(C.peek()) && (C.peek() != '-' || !isdigit(C.peek(1))))
166 return None;
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000167 auto Range = C;
168 C.advance();
169 while (isdigit(C.peek()))
170 C.advance();
171 StringRef StrVal = Range.upto(C);
172 Token = MIToken(MIToken::IntegerLiteral, StrVal, APSInt(StrVal));
173 return C;
174}
175
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000176static MIToken::TokenKind symbolToken(char C) {
177 switch (C) {
178 case ',':
179 return MIToken::comma;
180 case '=':
181 return MIToken::equal;
Alex Lorenz2eacca82015-07-13 23:24:34 +0000182 case ':':
183 return MIToken::colon;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000184 default:
185 return MIToken::Error;
186 }
187}
188
Alex Lorenz6c6c46e2015-06-30 16:51:29 +0000189static Cursor maybeLexSymbol(Cursor C, MIToken &Token) {
190 auto Kind = symbolToken(C.peek());
191 if (Kind == MIToken::Error)
192 return None;
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000193 auto Range = C;
194 C.advance();
195 Token = MIToken(Kind, Range.upto(C));
196 return C;
197}
198
Alex Lorenz91370c52015-06-22 20:37:46 +0000199StringRef llvm::lexMIToken(
200 StringRef Source, MIToken &Token,
201 function_ref<void(StringRef::iterator Loc, const Twine &)> ErrorCallback) {
202 auto C = skipWhitespace(Cursor(Source));
203 if (C.isEOF()) {
204 Token = MIToken(MIToken::Eof, C.remaining());
205 return C.remaining();
206 }
207
Alex Lorenz6c6c46e2015-06-30 16:51:29 +0000208 if (Cursor R = maybeLexIdentifier(C, Token))
209 return R.remaining();
210 if (Cursor R = maybeLexMachineBasicBlock(C, Token, ErrorCallback))
211 return R.remaining();
212 if (Cursor R = maybeLexRegister(C, Token))
213 return R.remaining();
214 if (Cursor R = maybeLexGlobalValue(C, Token))
215 return R.remaining();
216 if (Cursor R = maybeLexIntegerLiteral(C, Token))
217 return R.remaining();
218 if (Cursor R = maybeLexSymbol(C, Token))
219 return R.remaining();
220
Alex Lorenz91370c52015-06-22 20:37:46 +0000221 Token = MIToken(MIToken::Error, C.remaining());
222 ErrorCallback(C.location(),
Alex Lorenz6c6c46e2015-06-30 16:51:29 +0000223 Twine("unexpected character '") + Twine(C.peek()) + "'");
Alex Lorenz91370c52015-06-22 20:37:46 +0000224 return C.remaining();
225}