LLVM 19.0.0git
MILexer.h
Go to the documentation of this file.
1//===- MILexer.h - Lexer for machine instructions ---------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file declares the function that lexes the machine instruction source
10// string.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
15#define LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
16
17#include "llvm/ADT/APSInt.h"
18#include "llvm/ADT/StringRef.h"
19#include <string>
20
21namespace llvm {
22
23class Twine;
24
25/// A token produced by the machine instruction lexer.
26struct MIToken {
27 enum TokenKind {
28 // Markers
32
33 // Tokens with no info.
49
50 // Keywords
142
143 // Metadata types.
145
146 // Named metadata keywords
153
154 // Identifier tokens
166
167 // Other tokens
179 QuotedIRValue, // `<constant value>`
182 };
183
184private:
185 TokenKind Kind = Error;
186 StringRef Range;
187 StringRef StringValue;
188 std::string StringValueStorage;
189 APSInt IntVal;
190
191public:
192 MIToken() = default;
193
194 MIToken &reset(TokenKind Kind, StringRef Range);
195
197 MIToken &setOwnedStringValue(std::string StrVal);
199
200 TokenKind kind() const { return Kind; }
201
202 bool isError() const { return Kind == Error; }
203
204 bool isNewlineOrEOF() const { return Kind == Newline || Kind == Eof; }
205
206 bool isErrorOrEOF() const { return Kind == Error || Kind == Eof; }
207
208 bool isRegister() const {
209 return Kind == NamedRegister || Kind == underscore ||
210 Kind == NamedVirtualRegister || Kind == VirtualRegister;
211 }
212
213 bool isRegisterFlag() const {
214 return Kind == kw_implicit || Kind == kw_implicit_define ||
215 Kind == kw_def || Kind == kw_dead || Kind == kw_killed ||
216 Kind == kw_undef || Kind == kw_internal ||
217 Kind == kw_early_clobber || Kind == kw_debug_use ||
218 Kind == kw_renamable;
219 }
220
221 bool isMemoryOperandFlag() const {
222 return Kind == kw_volatile || Kind == kw_non_temporal ||
223 Kind == kw_dereferenceable || Kind == kw_invariant ||
224 Kind == StringConstant;
225 }
226
227 bool is(TokenKind K) const { return Kind == K; }
228
229 bool isNot(TokenKind K) const { return Kind != K; }
230
231 StringRef::iterator location() const { return Range.begin(); }
232
233 StringRef range() const { return Range; }
234
235 /// Return the token's string value.
236 StringRef stringValue() const { return StringValue; }
237
238 const APSInt &integerValue() const { return IntVal; }
239
240 bool hasIntegerValue() const {
241 return Kind == IntegerLiteral || Kind == MachineBasicBlock ||
242 Kind == MachineBasicBlockLabel || Kind == StackObject ||
243 Kind == FixedStackObject || Kind == GlobalValue ||
244 Kind == VirtualRegister || Kind == ConstantPoolItem ||
245 Kind == JumpTableIndex || Kind == IRBlock || Kind == IRValue;
246 }
247};
248
249/// Consume a single machine instruction token in the given source and return
250/// the remaining source string.
252 StringRef Source, MIToken &Token,
253 function_ref<void(StringRef::iterator, const Twine &)> ErrorCallback);
254
255} // end namespace llvm
256
257#endif // LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
This file implements the APSInt class, which is a simple class that represents an arbitrary sized int...
An arbitrary precision integer that knows its signedness.
Definition: APSInt.h:23
Lightweight error class with error context and mandatory checking.
Definition: Error.h:160
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
An efficient, type-erasing, non-owning reference to a callable.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
StringRef lexMIToken(StringRef Source, MIToken &Token, function_ref< void(StringRef::iterator, const Twine &)> ErrorCallback)
Consume a single machine instruction token in the given source and return the remaining source string...
A token produced by the machine instruction lexer.
Definition: MILexer.h:26
bool isRegisterFlag() const
Definition: MILexer.h:213
MIToken & setStringValue(StringRef StrVal)
Definition: MILexer.cpp:68
TokenKind kind() const
Definition: MILexer.h:200
bool isNewlineOrEOF() const
Definition: MILexer.h:204
bool hasIntegerValue() const
Definition: MILexer.h:240
bool isNot(TokenKind K) const
Definition: MILexer.h:229
bool is(TokenKind K) const
Definition: MILexer.h:227
MIToken()=default
bool isMemoryOperandFlag() const
Definition: MILexer.h:221
StringRef stringValue() const
Return the token's string value.
Definition: MILexer.h:236
@ kw_target_flags
Definition: MILexer.h:107
@ kw_landing_pad
Definition: MILexer.h:121
@ kw_blockaddress
Definition: MILexer.h:98
@ kw_pre_instr_symbol
Definition: MILexer.h:129
@ md_alias_scope
Definition: MILexer.h:148
@ kw_intrinsic
Definition: MILexer.h:99
@ NamedGlobalValue
Definition: MILexer.h:162
@ kw_call_frame_size
Definition: MILexer.h:140
@ SubRegisterIndex
Definition: MILexer.h:180
@ kw_frame_setup
Definition: MILexer.h:63
@ kw_cfi_aarch64_negate_ra_sign_state
Definition: MILexer.h:97
@ ConstantPoolItem
Definition: MILexer.h:173
@ kw_cfi_llvm_def_aspace_cfa
Definition: MILexer.h:90
@ MachineBasicBlock
Definition: MILexer.h:159
@ kw_dbg_instr_ref
Definition: MILexer.h:81
@ NamedVirtualRegister
Definition: MILexer.h:157
@ kw_early_clobber
Definition: MILexer.h:59
@ kw_cfi_offset
Definition: MILexer.h:83
@ kw_unpredictable
Definition: MILexer.h:76
@ FloatingPointLiteral
Definition: MILexer.h:169
@ kw_debug_use
Definition: MILexer.h:60
@ kw_cfi_window_save
Definition: MILexer.h:96
@ kw_constant_pool
Definition: MILexer.h:117
@ kw_frame_destroy
Definition: MILexer.h:64
@ kw_cfi_undefined
Definition: MILexer.h:95
@ StringConstant
Definition: MILexer.h:181
@ MachineBasicBlockLabel
Definition: MILexer.h:158
@ kw_cfi_restore
Definition: MILexer.h:93
@ kw_non_temporal
Definition: MILexer.h:109
@ kw_cfi_register
Definition: MILexer.h:91
@ kw_inlineasm_br_indirect_target
Definition: MILexer.h:122
@ kw_cfi_rel_offset
Definition: MILexer.h:84
@ kw_ehfunclet_entry
Definition: MILexer.h:123
@ kw_cfi_def_cfa_register
Definition: MILexer.h:85
@ FixedStackObject
Definition: MILexer.h:161
@ kw_cfi_same_value
Definition: MILexer.h:82
@ kw_target_index
Definition: MILexer.h:100
@ kw_cfi_adjust_cfa_offset
Definition: MILexer.h:87
@ kw_dereferenceable
Definition: MILexer.h:55
@ kw_implicit_define
Definition: MILexer.h:52
@ kw_cfi_def_cfa
Definition: MILexer.h:89
@ kw_cfi_escape
Definition: MILexer.h:88
@ VirtualRegister
Definition: MILexer.h:172
@ kw_cfi_def_cfa_offset
Definition: MILexer.h:86
@ kw_machine_block_address_taken
Definition: MILexer.h:139
@ kw_renamable
Definition: MILexer.h:61
@ ExternalSymbol
Definition: MILexer.h:164
@ kw_unknown_size
Definition: MILexer.h:136
@ IntegerLiteral
Definition: MILexer.h:168
@ kw_cfi_remember_state
Definition: MILexer.h:92
@ kw_debug_instr_number
Definition: MILexer.h:80
@ kw_post_instr_symbol
Definition: MILexer.h:130
@ kw_cfi_restore_state
Definition: MILexer.h:94
@ kw_nofpexcept
Definition: MILexer.h:75
@ kw_ir_block_address_taken
Definition: MILexer.h:138
@ kw_unknown_address
Definition: MILexer.h:137
@ JumpTableIndex
Definition: MILexer.h:174
@ kw_shufflemask
Definition: MILexer.h:128
@ kw_debug_location
Definition: MILexer.h:79
@ kw_noconvergent
Definition: MILexer.h:141
@ kw_heap_alloc_marker
Definition: MILexer.h:131
StringRef range() const
Definition: MILexer.h:233
bool isRegister() const
Definition: MILexer.h:208
MIToken & setIntegerValue(APSInt IntVal)
Definition: MILexer.cpp:79
bool isErrorOrEOF() const
Definition: MILexer.h:206
MIToken & reset(TokenKind Kind, StringRef Range)
Definition: MILexer.cpp:62
bool isError() const
Definition: MILexer.h:202
MIToken & setOwnedStringValue(std::string StrVal)
Definition: MILexer.cpp:73
StringRef::iterator location() const
Definition: MILexer.h:231
const APSInt & integerValue() const
Definition: MILexer.h:238