10b57cec5SDimitry Andric //===- MILexer.h - Lexer for machine instructions ---------------*- C++ -*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file declares the function that lexes the machine instruction source
100b57cec5SDimitry Andric // string.
110b57cec5SDimitry Andric //
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #ifndef LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
150b57cec5SDimitry Andric #define LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric #include "llvm/ADT/APSInt.h"
180b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
190b57cec5SDimitry Andric #include <string>
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric namespace llvm {
220b57cec5SDimitry Andric 
230b57cec5SDimitry Andric class Twine;
240b57cec5SDimitry Andric 
250b57cec5SDimitry Andric /// A token produced by the machine instruction lexer.
260b57cec5SDimitry Andric struct MIToken {
270b57cec5SDimitry Andric   enum TokenKind {
280b57cec5SDimitry Andric     // Markers
290b57cec5SDimitry Andric     Eof,
300b57cec5SDimitry Andric     Error,
310b57cec5SDimitry Andric     Newline,
320b57cec5SDimitry Andric 
330b57cec5SDimitry Andric     // Tokens with no info.
340b57cec5SDimitry Andric     comma,
350b57cec5SDimitry Andric     equal,
360b57cec5SDimitry Andric     underscore,
370b57cec5SDimitry Andric     colon,
380b57cec5SDimitry Andric     coloncolon,
390b57cec5SDimitry Andric     dot,
400b57cec5SDimitry Andric     exclaim,
410b57cec5SDimitry Andric     lparen,
420b57cec5SDimitry Andric     rparen,
430b57cec5SDimitry Andric     lbrace,
440b57cec5SDimitry Andric     rbrace,
450b57cec5SDimitry Andric     plus,
460b57cec5SDimitry Andric     minus,
470b57cec5SDimitry Andric     less,
480b57cec5SDimitry Andric     greater,
490b57cec5SDimitry Andric 
500b57cec5SDimitry Andric     // Keywords
510b57cec5SDimitry Andric     kw_implicit,
520b57cec5SDimitry Andric     kw_implicit_define,
530b57cec5SDimitry Andric     kw_def,
540b57cec5SDimitry Andric     kw_dead,
550b57cec5SDimitry Andric     kw_dereferenceable,
560b57cec5SDimitry Andric     kw_killed,
570b57cec5SDimitry Andric     kw_undef,
580b57cec5SDimitry Andric     kw_internal,
590b57cec5SDimitry Andric     kw_early_clobber,
600b57cec5SDimitry Andric     kw_debug_use,
610b57cec5SDimitry Andric     kw_renamable,
620b57cec5SDimitry Andric     kw_tied_def,
630b57cec5SDimitry Andric     kw_frame_setup,
640b57cec5SDimitry Andric     kw_frame_destroy,
650b57cec5SDimitry Andric     kw_nnan,
660b57cec5SDimitry Andric     kw_ninf,
670b57cec5SDimitry Andric     kw_nsz,
680b57cec5SDimitry Andric     kw_arcp,
690b57cec5SDimitry Andric     kw_contract,
700b57cec5SDimitry Andric     kw_afn,
710b57cec5SDimitry Andric     kw_reassoc,
720b57cec5SDimitry Andric     kw_nuw,
730b57cec5SDimitry Andric     kw_nsw,
740b57cec5SDimitry Andric     kw_exact,
75480093f4SDimitry Andric     kw_nofpexcept,
7606c3fb27SDimitry Andric     kw_unpredictable,
770b57cec5SDimitry Andric     kw_debug_location,
78e8d8bef9SDimitry Andric     kw_debug_instr_number,
79bdd1243dSDimitry Andric     kw_dbg_instr_ref,
800b57cec5SDimitry Andric     kw_cfi_same_value,
810b57cec5SDimitry Andric     kw_cfi_offset,
820b57cec5SDimitry Andric     kw_cfi_rel_offset,
830b57cec5SDimitry Andric     kw_cfi_def_cfa_register,
840b57cec5SDimitry Andric     kw_cfi_def_cfa_offset,
850b57cec5SDimitry Andric     kw_cfi_adjust_cfa_offset,
860b57cec5SDimitry Andric     kw_cfi_escape,
870b57cec5SDimitry Andric     kw_cfi_def_cfa,
88fe6060f1SDimitry Andric     kw_cfi_llvm_def_aspace_cfa,
890b57cec5SDimitry Andric     kw_cfi_register,
900b57cec5SDimitry Andric     kw_cfi_remember_state,
910b57cec5SDimitry Andric     kw_cfi_restore,
920b57cec5SDimitry Andric     kw_cfi_restore_state,
930b57cec5SDimitry Andric     kw_cfi_undefined,
940b57cec5SDimitry Andric     kw_cfi_window_save,
950b57cec5SDimitry Andric     kw_cfi_aarch64_negate_ra_sign_state,
960b57cec5SDimitry Andric     kw_blockaddress,
970b57cec5SDimitry Andric     kw_intrinsic,
980b57cec5SDimitry Andric     kw_target_index,
990b57cec5SDimitry Andric     kw_half,
1000b57cec5SDimitry Andric     kw_float,
1010b57cec5SDimitry Andric     kw_double,
1020b57cec5SDimitry Andric     kw_x86_fp80,
1030b57cec5SDimitry Andric     kw_fp128,
1040b57cec5SDimitry Andric     kw_ppc_fp128,
1050b57cec5SDimitry Andric     kw_target_flags,
1060b57cec5SDimitry Andric     kw_volatile,
1070b57cec5SDimitry Andric     kw_non_temporal,
1080b57cec5SDimitry Andric     kw_invariant,
1090b57cec5SDimitry Andric     kw_align,
110e8d8bef9SDimitry Andric     kw_basealign,
1110b57cec5SDimitry Andric     kw_addrspace,
1120b57cec5SDimitry Andric     kw_stack,
1130b57cec5SDimitry Andric     kw_got,
1140b57cec5SDimitry Andric     kw_jump_table,
1150b57cec5SDimitry Andric     kw_constant_pool,
1160b57cec5SDimitry Andric     kw_call_entry,
117480093f4SDimitry Andric     kw_custom,
1180b57cec5SDimitry Andric     kw_liveout,
1190b57cec5SDimitry Andric     kw_landing_pad,
120349cc55cSDimitry Andric     kw_inlineasm_br_indirect_target,
1215ffd83dbSDimitry Andric     kw_ehfunclet_entry,
1220b57cec5SDimitry Andric     kw_liveins,
1230b57cec5SDimitry Andric     kw_successors,
1240b57cec5SDimitry Andric     kw_floatpred,
1250b57cec5SDimitry Andric     kw_intpred,
1268bcb0991SDimitry Andric     kw_shufflemask,
1270b57cec5SDimitry Andric     kw_pre_instr_symbol,
1280b57cec5SDimitry Andric     kw_post_instr_symbol,
129480093f4SDimitry Andric     kw_heap_alloc_marker,
130bdd1243dSDimitry Andric     kw_pcsections,
131bdd1243dSDimitry Andric     kw_cfi_type,
1325ffd83dbSDimitry Andric     kw_bbsections,
133bdd1243dSDimitry Andric     kw_bb_id,
1340b57cec5SDimitry Andric     kw_unknown_size,
135fe6060f1SDimitry Andric     kw_unknown_address,
136bdd1243dSDimitry Andric     kw_ir_block_address_taken,
137bdd1243dSDimitry Andric     kw_machine_block_address_taken,
1385f757f3fSDimitry Andric     kw_call_frame_size,
1395f757f3fSDimitry Andric     kw_noconvergent,
140fe6060f1SDimitry Andric 
141fe6060f1SDimitry Andric     // Metadata types.
142fe6060f1SDimitry Andric     kw_distinct,
1430b57cec5SDimitry Andric 
1440b57cec5SDimitry Andric     // Named metadata keywords
1450b57cec5SDimitry Andric     md_tbaa,
1460b57cec5SDimitry Andric     md_alias_scope,
1470b57cec5SDimitry Andric     md_noalias,
1480b57cec5SDimitry Andric     md_range,
1490b57cec5SDimitry Andric     md_diexpr,
1500b57cec5SDimitry Andric     md_dilocation,
1510b57cec5SDimitry Andric 
1520b57cec5SDimitry Andric     // Identifier tokens
1530b57cec5SDimitry Andric     Identifier,
1540b57cec5SDimitry Andric     NamedRegister,
1550b57cec5SDimitry Andric     NamedVirtualRegister,
1560b57cec5SDimitry Andric     MachineBasicBlockLabel,
1570b57cec5SDimitry Andric     MachineBasicBlock,
1580b57cec5SDimitry Andric     StackObject,
1590b57cec5SDimitry Andric     FixedStackObject,
1600b57cec5SDimitry Andric     NamedGlobalValue,
1610b57cec5SDimitry Andric     GlobalValue,
1620b57cec5SDimitry Andric     ExternalSymbol,
1630b57cec5SDimitry Andric     MCSymbol,
1640b57cec5SDimitry Andric 
1650b57cec5SDimitry Andric     // Other tokens
1660b57cec5SDimitry Andric     IntegerLiteral,
1670b57cec5SDimitry Andric     FloatingPointLiteral,
1680b57cec5SDimitry Andric     HexLiteral,
1698bcb0991SDimitry Andric     VectorLiteral,
1700b57cec5SDimitry Andric     VirtualRegister,
1710b57cec5SDimitry Andric     ConstantPoolItem,
1720b57cec5SDimitry Andric     JumpTableIndex,
1730b57cec5SDimitry Andric     NamedIRBlock,
1740b57cec5SDimitry Andric     IRBlock,
1750b57cec5SDimitry Andric     NamedIRValue,
1760b57cec5SDimitry Andric     IRValue,
1770b57cec5SDimitry Andric     QuotedIRValue, // `<constant value>`
1780b57cec5SDimitry Andric     SubRegisterIndex,
1790b57cec5SDimitry Andric     StringConstant
1800b57cec5SDimitry Andric   };
1810b57cec5SDimitry Andric 
1820b57cec5SDimitry Andric private:
1830b57cec5SDimitry Andric   TokenKind Kind = Error;
1840b57cec5SDimitry Andric   StringRef Range;
1850b57cec5SDimitry Andric   StringRef StringValue;
1860b57cec5SDimitry Andric   std::string StringValueStorage;
1870b57cec5SDimitry Andric   APSInt IntVal;
1880b57cec5SDimitry Andric 
1890b57cec5SDimitry Andric public:
1900b57cec5SDimitry Andric   MIToken() = default;
1910b57cec5SDimitry Andric 
1920b57cec5SDimitry Andric   MIToken &reset(TokenKind Kind, StringRef Range);
1930b57cec5SDimitry Andric 
1940b57cec5SDimitry Andric   MIToken &setStringValue(StringRef StrVal);
1950b57cec5SDimitry Andric   MIToken &setOwnedStringValue(std::string StrVal);
1960b57cec5SDimitry Andric   MIToken &setIntegerValue(APSInt IntVal);
1970b57cec5SDimitry Andric 
kindMIToken1980b57cec5SDimitry Andric   TokenKind kind() const { return Kind; }
1990b57cec5SDimitry Andric 
isErrorMIToken2000b57cec5SDimitry Andric   bool isError() const { return Kind == Error; }
2010b57cec5SDimitry Andric 
isNewlineOrEOFMIToken2020b57cec5SDimitry Andric   bool isNewlineOrEOF() const { return Kind == Newline || Kind == Eof; }
2030b57cec5SDimitry Andric 
isErrorOrEOFMIToken2040b57cec5SDimitry Andric   bool isErrorOrEOF() const { return Kind == Error || Kind == Eof; }
2050b57cec5SDimitry Andric 
isRegisterMIToken2060b57cec5SDimitry Andric   bool isRegister() const {
2070b57cec5SDimitry Andric     return Kind == NamedRegister || Kind == underscore ||
2080b57cec5SDimitry Andric            Kind == NamedVirtualRegister || Kind == VirtualRegister;
2090b57cec5SDimitry Andric   }
2100b57cec5SDimitry Andric 
isRegisterFlagMIToken2110b57cec5SDimitry Andric   bool isRegisterFlag() const {
2120b57cec5SDimitry Andric     return Kind == kw_implicit || Kind == kw_implicit_define ||
2130b57cec5SDimitry Andric            Kind == kw_def || Kind == kw_dead || Kind == kw_killed ||
2140b57cec5SDimitry Andric            Kind == kw_undef || Kind == kw_internal ||
2150b57cec5SDimitry Andric            Kind == kw_early_clobber || Kind == kw_debug_use ||
2160b57cec5SDimitry Andric            Kind == kw_renamable;
2170b57cec5SDimitry Andric   }
2180b57cec5SDimitry Andric 
isMemoryOperandFlagMIToken2190b57cec5SDimitry Andric   bool isMemoryOperandFlag() const {
2200b57cec5SDimitry Andric     return Kind == kw_volatile || Kind == kw_non_temporal ||
2210b57cec5SDimitry Andric            Kind == kw_dereferenceable || Kind == kw_invariant ||
2220b57cec5SDimitry Andric            Kind == StringConstant;
2230b57cec5SDimitry Andric   }
2240b57cec5SDimitry Andric 
isMIToken2250b57cec5SDimitry Andric   bool is(TokenKind K) const { return Kind == K; }
2260b57cec5SDimitry Andric 
isNotMIToken2270b57cec5SDimitry Andric   bool isNot(TokenKind K) const { return Kind != K; }
2280b57cec5SDimitry Andric 
locationMIToken2290b57cec5SDimitry Andric   StringRef::iterator location() const { return Range.begin(); }
2300b57cec5SDimitry Andric 
rangeMIToken2310b57cec5SDimitry Andric   StringRef range() const { return Range; }
2320b57cec5SDimitry Andric 
2330b57cec5SDimitry Andric   /// Return the token's string value.
stringValueMIToken2340b57cec5SDimitry Andric   StringRef stringValue() const { return StringValue; }
2350b57cec5SDimitry Andric 
integerValueMIToken2360b57cec5SDimitry Andric   const APSInt &integerValue() const { return IntVal; }
2370b57cec5SDimitry Andric 
hasIntegerValueMIToken2380b57cec5SDimitry Andric   bool hasIntegerValue() const {
2390b57cec5SDimitry Andric     return Kind == IntegerLiteral || Kind == MachineBasicBlock ||
2400b57cec5SDimitry Andric            Kind == MachineBasicBlockLabel || Kind == StackObject ||
2410b57cec5SDimitry Andric            Kind == FixedStackObject || Kind == GlobalValue ||
2420b57cec5SDimitry Andric            Kind == VirtualRegister || Kind == ConstantPoolItem ||
2430b57cec5SDimitry Andric            Kind == JumpTableIndex || Kind == IRBlock || Kind == IRValue;
2440b57cec5SDimitry Andric   }
2450b57cec5SDimitry Andric };
2460b57cec5SDimitry Andric 
2470b57cec5SDimitry Andric /// Consume a single machine instruction token in the given source and return
2480b57cec5SDimitry Andric /// the remaining source string.
2490b57cec5SDimitry Andric StringRef lexMIToken(
2500b57cec5SDimitry Andric     StringRef Source, MIToken &Token,
2510b57cec5SDimitry Andric     function_ref<void(StringRef::iterator, const Twine &)> ErrorCallback);
2520b57cec5SDimitry Andric 
2530b57cec5SDimitry Andric } // end namespace llvm
2540b57cec5SDimitry Andric 
2550b57cec5SDimitry Andric #endif // LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
256