blob: 0f89adcf70b486c8d1f52098418fd31c26ecda59 [file] [log] [blame]
Eugene Zelenkofa57bd02017-09-27 23:26:01 +00001//===- MILexer.h - Lexer for machine instructions ---------------*- C++ -*-===//
Alex Lorenz91370c52015-06-22 20:37:46 +00002//
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 declares the function that lexes the machine instruction source
11// string.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
16#define LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
17
Alex Lorenz240fc1e2015-06-23 23:42:28 +000018#include "llvm/ADT/APSInt.h"
Alex Lorenz91370c52015-06-22 20:37:46 +000019#include "llvm/ADT/STLExtras.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000020#include "llvm/ADT/StringRef.h"
Eugene Zelenkofa57bd02017-09-27 23:26:01 +000021#include <string>
Alex Lorenz91370c52015-06-22 20:37:46 +000022
23namespace llvm {
24
25class Twine;
26
27/// A token produced by the machine instruction lexer.
28struct MIToken {
29 enum TokenKind {
30 // Markers
31 Eof,
32 Error,
Alex Lorenz5022f6b2015-08-13 23:10:16 +000033 Newline,
Alex Lorenz91370c52015-06-22 20:37:46 +000034
Alex Lorenzf3db51de2015-06-23 16:35:26 +000035 // Tokens with no info.
36 comma,
37 equal,
Alex Lorenz12b554e2015-06-24 17:34:58 +000038 underscore,
Alex Lorenz2eacca82015-07-13 23:24:34 +000039 colon,
Alex Lorenz4af7e612015-08-03 23:08:19 +000040 coloncolon,
Matthias Braun333e4682016-07-26 21:49:34 +000041 dot,
Alex Lorenz35e44462015-07-22 17:58:46 +000042 exclaim,
Alex Lorenzdeb53492015-07-28 17:28:03 +000043 lparen,
44 rparen,
Alex Lorenzf9a2b122015-08-14 18:57:24 +000045 lbrace,
46 rbrace,
Alex Lorenz5672a892015-08-05 22:26:15 +000047 plus,
48 minus,
Quentin Colombet5e63e782016-03-08 02:00:43 +000049 less,
50 greater,
Alex Lorenzf3db51de2015-06-23 16:35:26 +000051
Alex Lorenzcb268d42015-07-06 23:07:26 +000052 // Keywords
53 kw_implicit,
54 kw_implicit_define,
Alex Lorenze66a7cc2015-08-19 18:55:47 +000055 kw_def,
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +000056 kw_dead,
Justin Lebaradbf09e2016-09-11 01:38:58 +000057 kw_dereferenceable,
Alex Lorenz495ad872015-07-08 21:23:34 +000058 kw_killed,
Alex Lorenz4d026b892015-07-08 23:58:31 +000059 kw_undef,
Alex Lorenz1039fd12015-08-14 19:07:07 +000060 kw_internal,
Alex Lorenz01c1a5e2015-08-05 17:49:03 +000061 kw_early_clobber,
Alex Lorenz90752582015-08-05 17:41:17 +000062 kw_debug_use,
Geoff Berry60c43102017-12-12 17:53:59 +000063 kw_renamable,
Alex Lorenz5ef93b02015-08-19 19:05:34 +000064 kw_tied_def,
Alex Lorenze5a44662015-07-17 00:24:15 +000065 kw_frame_setup,
Francis Visoiu Mistrihdbf2c482018-01-09 11:33:22 +000066 kw_frame_destroy,
Michael Berg7d1b25d2018-05-03 00:07:56 +000067 kw_nnan,
68 kw_ninf,
69 kw_nsz,
70 kw_arcp,
71 kw_contract,
72 kw_afn,
73 kw_reassoc,
Alex Lorenz46d760d2015-07-22 21:15:11 +000074 kw_debug_location,
Alex Lorenz577d2712015-08-14 21:55:58 +000075 kw_cfi_same_value,
Alex Lorenz8cfc6862015-07-23 23:09:07 +000076 kw_cfi_offset,
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +000077 kw_cfi_rel_offset,
Alex Lorenz5b0d5f62015-07-27 20:39:03 +000078 kw_cfi_def_cfa_register,
Alex Lorenzf4baeb52015-07-21 22:28:27 +000079 kw_cfi_def_cfa_offset,
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +000080 kw_cfi_adjust_cfa_offset,
81 kw_cfi_escape,
Alex Lorenzb1393232015-07-29 18:57:23 +000082 kw_cfi_def_cfa,
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +000083 kw_cfi_register,
84 kw_cfi_remember_state,
Francis Visoiu Mistrih66d2c262017-11-02 12:00:58 +000085 kw_cfi_restore,
Francis Visoiu Mistrih5de20e02017-12-15 15:17:18 +000086 kw_cfi_restore_state,
87 kw_cfi_undefined,
88 kw_cfi_window_save,
Alex Lorenzdeb53492015-07-28 17:28:03 +000089 kw_blockaddress,
Tim Northover6b3bd612016-07-29 20:32:59 +000090 kw_intrinsic,
Alex Lorenzef5c1962015-07-28 23:02:45 +000091 kw_target_index,
Alex Lorenzad156fb2015-07-31 20:49:21 +000092 kw_half,
93 kw_float,
94 kw_double,
95 kw_x86_fp80,
96 kw_fp128,
97 kw_ppc_fp128,
Alex Lorenz49873a82015-08-06 00:44:07 +000098 kw_target_flags,
Alex Lorenza518b792015-08-04 00:24:45 +000099 kw_volatile,
Alex Lorenz10fd0382015-08-06 16:49:30 +0000100 kw_non_temporal,
Alex Lorenzdc8de2a2015-08-06 16:55:53 +0000101 kw_invariant,
Alex Lorenz61420f72015-08-07 20:48:30 +0000102 kw_align,
Francis Visoiu Mistrihe4718e82018-01-26 11:47:28 +0000103 kw_addrspace,
Alex Lorenz46e95582015-08-12 20:44:16 +0000104 kw_stack,
Alex Lorenzd858f872015-08-12 21:00:22 +0000105 kw_got,
Alex Lorenz4be56e92015-08-12 21:11:08 +0000106 kw_jump_table,
Alex Lorenz91097a32015-08-12 20:33:26 +0000107 kw_constant_pool,
Alex Lorenz0d009642015-08-20 00:12:57 +0000108 kw_call_entry,
Alex Lorenzb97c9ef2015-08-10 23:24:42 +0000109 kw_liveout,
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000110 kw_address_taken,
111 kw_landing_pad,
112 kw_liveins,
113 kw_successors,
Tim Northoverde3aea0412016-08-17 20:25:25 +0000114 kw_floatpred,
115 kw_intpred,
Alex Lorenzcb268d42015-07-06 23:07:26 +0000116
Alex Lorenza617c912015-08-17 22:05:15 +0000117 // Named metadata keywords
118 md_tbaa,
Alex Lorenza16f6242015-08-17 22:06:40 +0000119 md_alias_scope,
Alex Lorenz03e940d2015-08-17 22:08:02 +0000120 md_noalias,
Alex Lorenzeb625682015-08-17 22:09:52 +0000121 md_range,
Reid Kleckner6d353342017-08-23 20:31:27 +0000122 md_diexpr,
Alex Lorenza617c912015-08-17 22:05:15 +0000123
Alex Lorenz91370c52015-06-22 20:37:46 +0000124 // Identifier tokens
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000125 Identifier,
Alex Lorenz05e38822015-08-05 18:52:21 +0000126 IntegerType,
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000127 NamedRegister,
Puyan Lotfi399b46c2018-03-30 18:15:54 +0000128 NamedVirtualRegister,
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000129 MachineBasicBlockLabel,
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000130 MachineBasicBlock,
Tim Northoverbd505462016-07-22 16:59:52 +0000131 PointerType,
Tim Northover62ae5682016-07-20 19:09:30 +0000132 ScalarType,
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000133 StackObject,
134 FixedStackObject,
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000135 NamedGlobalValue,
136 GlobalValue,
Alex Lorenz6ede3742015-07-21 16:59:53 +0000137 ExternalSymbol,
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000138
139 // Other tokens
Alex Lorenz53464512015-07-10 22:51:20 +0000140 IntegerLiteral,
Alex Lorenzad156fb2015-07-31 20:49:21 +0000141 FloatingPointLiteral,
Krzysztof Parzyszekd62669d2016-10-12 21:06:45 +0000142 HexLiteral,
Alex Lorenz31d70682015-07-15 23:38:35 +0000143 VirtualRegister,
Alex Lorenzab980492015-07-20 20:51:18 +0000144 ConstantPoolItem,
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000145 JumpTableIndex,
Alex Lorenzdeb53492015-07-28 17:28:03 +0000146 NamedIRBlock,
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000147 IRBlock,
Alex Lorenz4af7e612015-08-03 23:08:19 +0000148 NamedIRValue,
Alex Lorenzc1136ef32015-08-21 21:54:12 +0000149 IRValue,
Matthias Braunb74eb412016-03-28 18:18:46 +0000150 QuotedIRValue, // `<constant value>`
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +0000151 SubRegisterIndex,
152 StringConstant
Alex Lorenz91370c52015-06-22 20:37:46 +0000153 };
154
155private:
Eugene Zelenkofa57bd02017-09-27 23:26:01 +0000156 TokenKind Kind = Error;
Alex Lorenz91370c52015-06-22 20:37:46 +0000157 StringRef Range;
Alex Lorenz3fb77682015-08-06 23:17:42 +0000158 StringRef StringValue;
159 std::string StringValueStorage;
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000160 APSInt IntVal;
Alex Lorenz91370c52015-06-22 20:37:46 +0000161
162public:
Eugene Zelenkofa57bd02017-09-27 23:26:01 +0000163 MIToken() = default;
Alex Lorenz970c12e2015-08-05 17:35:55 +0000164
Alex Lorenz3fb77682015-08-06 23:17:42 +0000165 MIToken &reset(TokenKind Kind, StringRef Range);
Alex Lorenz91370c52015-06-22 20:37:46 +0000166
Alex Lorenz3fb77682015-08-06 23:17:42 +0000167 MIToken &setStringValue(StringRef StrVal);
168 MIToken &setOwnedStringValue(std::string StrVal);
169 MIToken &setIntegerValue(APSInt IntVal);
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000170
Alex Lorenz91370c52015-06-22 20:37:46 +0000171 TokenKind kind() const { return Kind; }
172
173 bool isError() const { return Kind == Error; }
174
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000175 bool isNewlineOrEOF() const { return Kind == Newline || Kind == Eof; }
176
177 bool isErrorOrEOF() const { return Kind == Error || Kind == Eof; }
178
Alex Lorenz12b554e2015-06-24 17:34:58 +0000179 bool isRegister() const {
Alex Lorenz53464512015-07-10 22:51:20 +0000180 return Kind == NamedRegister || Kind == underscore ||
Puyan Lotfi399b46c2018-03-30 18:15:54 +0000181 Kind == NamedVirtualRegister || Kind == VirtualRegister;
Alex Lorenz12b554e2015-06-24 17:34:58 +0000182 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000183
Alex Lorenzcb268d42015-07-06 23:07:26 +0000184 bool isRegisterFlag() const {
Alex Lorenz495ad872015-07-08 21:23:34 +0000185 return Kind == kw_implicit || Kind == kw_implicit_define ||
Alex Lorenze66a7cc2015-08-19 18:55:47 +0000186 Kind == kw_def || Kind == kw_dead || Kind == kw_killed ||
187 Kind == kw_undef || Kind == kw_internal ||
Geoff Berry60c43102017-12-12 17:53:59 +0000188 Kind == kw_early_clobber || Kind == kw_debug_use ||
189 Kind == kw_renamable;
Alex Lorenzcb268d42015-07-06 23:07:26 +0000190 }
191
Alex Lorenz10fd0382015-08-06 16:49:30 +0000192 bool isMemoryOperandFlag() const {
Alex Lorenzdc8de2a2015-08-06 16:55:53 +0000193 return Kind == kw_volatile || Kind == kw_non_temporal ||
Geoff Berry6748abe2017-07-13 02:28:54 +0000194 Kind == kw_dereferenceable || Kind == kw_invariant ||
195 Kind == StringConstant;
Alex Lorenz10fd0382015-08-06 16:49:30 +0000196 }
Alex Lorenza518b792015-08-04 00:24:45 +0000197
Alex Lorenz91370c52015-06-22 20:37:46 +0000198 bool is(TokenKind K) const { return Kind == K; }
199
200 bool isNot(TokenKind K) const { return Kind != K; }
201
202 StringRef::iterator location() const { return Range.begin(); }
203
Alex Lorenz3fb77682015-08-06 23:17:42 +0000204 StringRef range() const { return Range; }
Alex Lorenzb29554d2015-07-20 20:31:01 +0000205
Alex Lorenz970c12e2015-08-05 17:35:55 +0000206 /// Return the token's string value.
Alex Lorenz3fb77682015-08-06 23:17:42 +0000207 StringRef stringValue() const { return StringValue; }
Alex Lorenzb29554d2015-07-20 20:31:01 +0000208
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000209 const APSInt &integerValue() const { return IntVal; }
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000210
211 bool hasIntegerValue() const {
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000212 return Kind == IntegerLiteral || Kind == MachineBasicBlock ||
Alex Lorenz5022f6b2015-08-13 23:10:16 +0000213 Kind == MachineBasicBlockLabel || Kind == StackObject ||
214 Kind == FixedStackObject || Kind == GlobalValue ||
215 Kind == VirtualRegister || Kind == ConstantPoolItem ||
Alex Lorenzdd13be02015-08-19 23:31:05 +0000216 Kind == JumpTableIndex || Kind == IRBlock || Kind == IRValue;
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000217 }
Alex Lorenz91370c52015-06-22 20:37:46 +0000218};
219
220/// Consume a single machine instruction token in the given source and return
221/// the remaining source string.
222StringRef lexMIToken(
223 StringRef Source, MIToken &Token,
224 function_ref<void(StringRef::iterator, const Twine &)> ErrorCallback);
225
226} // end namespace llvm
227
Eugene Zelenkofa57bd02017-09-27 23:26:01 +0000228#endif // LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H