MILexer.cpp File Reference

#include "MILexer.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringSwitch.h"
#include "llvm/ADT/Twine.h"
#include <cassert>
#include <cctype>
#include <string>

Go to the source code of this file.

Functions
static Cursor	skipWhitespace (Cursor C)
	Skip the leading whitespace characters and return the updated cursor.
static bool	isNewlineChar (char C)
static Cursor	skipComment (Cursor C)
	Skip a line comment and return the updated cursor.
static Cursor	skipMachineOperandComment (Cursor C)
	Machine operands can have comments, enclosed between /* and ‍/.
static bool	isIdentifierChar (char C)
	Return true if the given character satisfies the following regular expression: [-a-zA-Z$._0-9].
static std::string	unescapeQuotedString (StringRef Value)
	Unescapes the given string value.
static Cursor	lexStringConstant (Cursor C, ErrorCallbackType ErrorCallback)
	Lex a string constant using the following regular expression: "[^"]*".
static Cursor	lexName (Cursor C, MIToken &Token, MIToken::TokenKind Type, unsigned PrefixLength, ErrorCallbackType ErrorCallback)
static MIToken::TokenKind	getIdentifierKind (StringRef Identifier)
static Cursor	maybeLexIdentifier (Cursor C, MIToken &Token)
static Cursor	maybeLexMachineBasicBlock (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexIndex (Cursor C, MIToken &Token, StringRef Rule, MIToken::TokenKind Kind)
static Cursor	maybeLexIndexAndName (Cursor C, MIToken &Token, StringRef Rule, MIToken::TokenKind Kind)
static Cursor	maybeLexJumpTableIndex (Cursor C, MIToken &Token)
static Cursor	maybeLexStackObject (Cursor C, MIToken &Token)
static Cursor	maybeLexFixedStackObject (Cursor C, MIToken &Token)
static Cursor	maybeLexConstantPoolItem (Cursor C, MIToken &Token)
static Cursor	maybeLexSubRegisterIndex (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexIRBlock (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexIRValue (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexStringConstant (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	lexVirtualRegister (Cursor C, MIToken &Token)
static bool	isRegisterChar (char C)
	Returns true for a character allowed in a register name.
static Cursor	lexNamedVirtualRegister (Cursor C, MIToken &Token)
static Cursor	maybeLexRegister (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexGlobalValue (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexExternalSymbol (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor	maybeLexMCSymbol (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static bool	isValidHexFloatingPointPrefix (char C)
static Cursor	lexFloatingPointLiteral (Cursor Range, Cursor C, MIToken &Token)
static Cursor	maybeLexHexadecimalLiteral (Cursor C, MIToken &Token)
static Cursor	maybeLexFloatHexBits (Cursor C, MIToken &Token)
static Cursor	maybeLexNumericalLiteral (Cursor C, MIToken &Token)
static MIToken::TokenKind	getMetadataKeywordKind (StringRef Identifier)
static Cursor	maybeLexExclaim (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static MIToken::TokenKind	symbolToken (char C)
static Cursor	maybeLexSymbol (Cursor C, MIToken &Token)
static Cursor	maybeLexNewline (Cursor C, MIToken &Token)
static Cursor	maybeLexEscapedIRValue (Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)

Function Documentation

getIdentifierKind()

MIToken::TokenKind getIdentifierKind ( StringRef Identifier )

static

Definition at line 190 of file MILexer.cpp.

References llvm::StringSwitch< T, R >::Case(), llvm::StringSwitch< T, R >::Default(), llvm::MIToken::Identifier, llvm::MIToken::kw_addrspace, llvm::MIToken::kw_afn, llvm::MIToken::kw_align, llvm::MIToken::kw_arcp, llvm::MIToken::kw_basealign, llvm::MIToken::kw_bb_id, llvm::MIToken::kw_bbsections, llvm::MIToken::kw_bfloat, llvm::MIToken::kw_blockaddress, llvm::MIToken::kw_call_entry, llvm::MIToken::kw_call_frame_size, llvm::MIToken::kw_cfi_aarch64_negate_ra_sign_state, llvm::MIToken::kw_cfi_aarch64_negate_ra_sign_state_with_pc, llvm::MIToken::kw_cfi_adjust_cfa_offset, llvm::MIToken::kw_cfi_def_cfa, llvm::MIToken::kw_cfi_def_cfa_offset, llvm::MIToken::kw_cfi_def_cfa_register, llvm::MIToken::kw_cfi_escape, llvm::MIToken::kw_cfi_llvm_def_aspace_cfa, llvm::MIToken::kw_cfi_llvm_register_pair, llvm::MIToken::kw_cfi_llvm_vector_offset, llvm::MIToken::kw_cfi_llvm_vector_register_mask, llvm::MIToken::kw_cfi_llvm_vector_registers, llvm::MIToken::kw_cfi_offset, llvm::MIToken::kw_cfi_register, llvm::MIToken::kw_cfi_rel_offset, llvm::MIToken::kw_cfi_remember_state, llvm::MIToken::kw_cfi_restore, llvm::MIToken::kw_cfi_restore_state, llvm::MIToken::kw_cfi_same_value, llvm::MIToken::kw_cfi_set_ra_state, llvm::MIToken::kw_cfi_type, llvm::MIToken::kw_cfi_undefined, llvm::MIToken::kw_cfi_window_save, llvm::MIToken::kw_cleanup_funclet_entry, llvm::MIToken::kw_constant_pool, llvm::MIToken::kw_contract, llvm::MIToken::kw_custom, llvm::MIToken::kw_dbg_instr_ref, llvm::MIToken::kw_deactivation_symbol, llvm::MIToken::kw_dead, llvm::MIToken::kw_debug_instr_number, llvm::MIToken::kw_debug_location, llvm::MIToken::kw_debug_use, llvm::MIToken::kw_def, llvm::MIToken::kw_dereferenceable, llvm::MIToken::kw_disjoint, llvm::MIToken::kw_distinct, llvm::MIToken::kw_double, llvm::MIToken::kw_early_clobber, llvm::MIToken::kw_ehcont_target, llvm::MIToken::kw_ehfunclet_entry, llvm::MIToken::kw_ehscope_entry, llvm::MIToken::kw_exact, llvm::MIToken::kw_float, llvm::MIToken::kw_floatpred, llvm::MIToken::kw_fp128, llvm::MIToken::kw_frame_destroy, llvm::MIToken::kw_frame_setup, llvm::MIToken::kw_got, llvm::MIToken::kw_half, llvm::MIToken::kw_heap_alloc_marker, llvm::MIToken::kw_implicit, llvm::MIToken::kw_implicit_define, llvm::MIToken::kw_inbounds, llvm::MIToken::kw_inlineasm_br_indirect_target, llvm::MIToken::kw_internal, llvm::MIToken::kw_intpred, llvm::MIToken::kw_intrinsic, llvm::MIToken::kw_invariant, llvm::MIToken::kw_ir_block_address_taken, llvm::MIToken::kw_jump_table, llvm::MIToken::kw_killed, llvm::MIToken::kw_landing_pad, llvm::MIToken::kw_lanemask, llvm::MIToken::kw_liveins, llvm::MIToken::kw_liveout, llvm::MIToken::kw_lr_split, llvm::MIToken::kw_machine_block_address_taken, llvm::MIToken::kw_max_bytes_for_alignment, llvm::MIToken::kw_mmra, llvm::MIToken::kw_ninf, llvm::MIToken::kw_nnan, llvm::MIToken::kw_nneg, llvm::MIToken::kw_noconvergent, llvm::MIToken::kw_nofpexcept, llvm::MIToken::kw_non_temporal, llvm::MIToken::kw_nonnull, llvm::MIToken::kw_nsw, llvm::MIToken::kw_nsz, llvm::MIToken::kw_nusw, llvm::MIToken::kw_nuw, llvm::MIToken::kw_pcsections, llvm::MIToken::kw_post_instr_symbol, llvm::MIToken::kw_ppc_fp128, llvm::MIToken::kw_pre_instr_symbol, llvm::MIToken::kw_reassoc, llvm::MIToken::kw_renamable, llvm::MIToken::kw_samesign, llvm::MIToken::kw_shufflemask, llvm::MIToken::kw_stack, llvm::MIToken::kw_successors, llvm::MIToken::kw_target_flags, llvm::MIToken::kw_target_index, llvm::MIToken::kw_tied_def, llvm::MIToken::kw_undef, llvm::MIToken::kw_unknown_address, llvm::MIToken::kw_unknown_size, llvm::MIToken::kw_unpredictable, llvm::MIToken::kw_volatile, llvm::MIToken::kw_x86_fp80, and llvm::MIToken::underscore.

Referenced by maybeLexIdentifier().

getMetadataKeywordKind()

MIToken::TokenKind getMetadataKeywordKind ( StringRef Identifier )

static

Definition at line 660 of file MILexer.cpp.

References llvm::StringSwitch< T, R >::Case(), llvm::StringSwitch< T, R >::Default(), llvm::MIToken::Error, llvm::MIToken::md_alias_scope, llvm::MIToken::md_diexpr, llvm::MIToken::md_dilocation, llvm::MIToken::md_mem_cache_hint, llvm::MIToken::md_noalias, llvm::MIToken::md_noalias_addrspace, llvm::MIToken::md_range, and llvm::MIToken::md_tbaa.

Referenced by maybeLexExclaim().

isIdentifierChar()

bool isIdentifierChar ( char C )

static

Return true if the given character satisfies the following regular expression: [-a-zA-Z$._0-9].

Definition at line 118 of file MILexer.cpp.

References C().

Referenced by isRegisterChar(), lexName(), maybeLexExclaim(), maybeLexIdentifier(), maybeLexIndexAndName(), maybeLexMachineBasicBlock(), and maybeLexMCSymbol().

isNewlineChar()

bool isNewlineChar ( char C )

static

Definition at line 91 of file MILexer.cpp.

References C().

Referenced by lexStringConstant(), maybeLexEscapedIRValue(), maybeLexNewline(), and skipComment().

isRegisterChar()

bool isRegisterChar ( char C )

static

Returns true for a character allowed in a register name.

Definition at line 477 of file MILexer.cpp.

References C(), and isIdentifierChar().

Referenced by lexNamedVirtualRegister(), and maybeLexRegister().

isValidHexFloatingPointPrefix()

bool isValidHexFloatingPointPrefix ( char C )

static

Definition at line 588 of file MILexer.cpp.

References C().

Referenced by maybeLexHexadecimalLiteral().

lexFloatingPointLiteral()

Cursor lexFloatingPointLiteral ( Cursor Range, Cursor C, MIToken & Token )

static

Definition at line 592 of file MILexer.cpp.

References C(), llvm::MIToken::FloatingPointLiteral, Range, and llvm::MIToken::reset().

Referenced by maybeLexNumericalLiteral().

lexName()

Cursor lexName ( Cursor C, MIToken & Token, MIToken::TokenKind Type, unsigned PrefixLength, ErrorCallbackType ErrorCallback )

static

Definition at line 168 of file MILexer.cpp.

References C(), llvm::MIToken::Error, isIdentifierChar(), lexStringConstant(), Range, llvm::MIToken::reset(), llvm::MIToken::setOwnedStringValue(), llvm::MIToken::setStringValue(), llvm::String, and unescapeQuotedString().

Referenced by maybeLexExternalSymbol(), maybeLexGlobalValue(), maybeLexIRBlock(), maybeLexIRValue(), maybeLexStringConstant(), and maybeLexSubRegisterIndex().

lexNamedVirtualRegister()

Cursor lexNamedVirtualRegister ( Cursor C, MIToken & Token )

static

Definition at line 481 of file MILexer.cpp.

References C(), isRegisterChar(), llvm::MIToken::NamedVirtualRegister, Range, llvm::MIToken::reset(), and llvm::MIToken::setStringValue().

Referenced by maybeLexRegister().

lexStringConstant()

Cursor lexStringConstant ( Cursor C, ErrorCallbackType ErrorCallback )

static

Lex a string constant using the following regular expression: "[^"]*".

Definition at line 154 of file MILexer.cpp.

References assert(), C(), and isNewlineChar().

Referenced by lexName(), maybeLexMachineBasicBlock(), and maybeLexMCSymbol().

lexVirtualRegister()

Cursor lexVirtualRegister ( Cursor C, MIToken & Token )

static

Definition at line 465 of file MILexer.cpp.

References C(), Range, llvm::MIToken::reset(), llvm::MIToken::setIntegerValue(), and llvm::MIToken::VirtualRegister.

Referenced by maybeLexRegister().

maybeLexConstantPoolItem()

Cursor maybeLexConstantPoolItem ( Cursor C, MIToken & Token )

static

Definition at line 424 of file MILexer.cpp.

References C(), llvm::MIToken::ConstantPoolItem, and maybeLexIndex().

maybeLexEscapedIRValue()

Cursor maybeLexEscapedIRValue ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 749 of file MILexer.cpp.

References C(), llvm::MIToken::Error, isNewlineChar(), llvm::MIToken::QuotedIRValue, Range, llvm::MIToken::reset(), and llvm::MIToken::setStringValue().

maybeLexExclaim()

Cursor maybeLexExclaim ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 673 of file MILexer.cpp.

References C(), llvm::MIToken::exclaim, getMetadataKeywordKind(), llvm::MIToken::isError(), isIdentifierChar(), llvm::MIToken::location(), Range, and llvm::MIToken::reset().

maybeLexExternalSymbol()

Cursor maybeLexExternalSymbol ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 533 of file MILexer.cpp.

References C(), llvm::MIToken::ExternalSymbol, and lexName().

maybeLexFixedStackObject()

Cursor maybeLexFixedStackObject ( Cursor C, MIToken & Token )

static

Definition at line 420 of file MILexer.cpp.

References C(), llvm::MIToken::FixedStackObject, and maybeLexIndex().

maybeLexFloatHexBits()

Cursor maybeLexFloatHexBits ( Cursor C, MIToken & Token )

static

Definition at line 630 of file MILexer.cpp.

References C(), llvm::MIToken::FloatingPointLiteral, Range, and llvm::MIToken::reset().

maybeLexGlobalValue()

Cursor maybeLexGlobalValue ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 516 of file MILexer.cpp.

References C(), llvm::MIToken::GlobalValue, lexName(), llvm::MIToken::NamedGlobalValue, Range, llvm::MIToken::reset(), and llvm::MIToken::setIntegerValue().

maybeLexHexadecimalLiteral()

Cursor maybeLexHexadecimalLiteral ( Cursor C, MIToken & Token )

static

Definition at line 608 of file MILexer.cpp.

References C(), llvm::MIToken::FloatingPointLiteral, llvm::MIToken::HexLiteral, isValidHexFloatingPointPrefix(), Range, and llvm::MIToken::reset().

maybeLexIdentifier()

Cursor maybeLexIdentifier ( Cursor C, MIToken & Token )

static

Definition at line 312 of file MILexer.cpp.

References C(), getIdentifierKind(), isIdentifierChar(), Range, llvm::MIToken::reset(), and llvm::MIToken::setStringValue().

maybeLexIndex()

Cursor maybeLexIndex ( Cursor C, MIToken & Token, StringRef Rule, MIToken::TokenKind Kind )

static

Definition at line 376 of file MILexer.cpp.

References C(), Range, llvm::MIToken::reset(), llvm::MIToken::setIntegerValue(), and llvm::StringRef::size().

Referenced by maybeLexConstantPoolItem(), maybeLexFixedStackObject(), maybeLexIRBlock(), maybeLexIRValue(), and maybeLexJumpTableIndex().

maybeLexIndexAndName()

Cursor maybeLexIndexAndName ( Cursor C, MIToken & Token, StringRef Rule, MIToken::TokenKind Kind )

static

Definition at line 389 of file MILexer.cpp.

References C(), isIdentifierChar(), llvm::Number, Range, llvm::MIToken::reset(), llvm::MIToken::setIntegerValue(), llvm::MIToken::setStringValue(), and llvm::StringRef::size().

Referenced by maybeLexStackObject().

maybeLexIRBlock()

Cursor maybeLexIRBlock ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 437 of file MILexer.cpp.

References C(), llvm::MIToken::IRBlock, lexName(), maybeLexIndex(), llvm::MIToken::NamedIRBlock, and llvm::StringRef::size().

maybeLexIRValue()

Cursor maybeLexIRValue ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 447 of file MILexer.cpp.

References C(), llvm::MIToken::IRValue, lexName(), maybeLexIndex(), llvm::MIToken::NamedIRValue, and llvm::StringRef::size().

maybeLexJumpTableIndex()

Cursor maybeLexJumpTableIndex ( Cursor C, MIToken & Token )

static

Definition at line 412 of file MILexer.cpp.

References C(), llvm::MIToken::JumpTableIndex, and maybeLexIndex().

maybeLexMachineBasicBlock()

Cursor maybeLexMachineBasicBlock ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 324 of file MILexer.cpp.

References C(), llvm::MIToken::Error, isIdentifierChar(), lexStringConstant(), llvm::MIToken::MachineBasicBlock, llvm::MIToken::MachineBasicBlockLabel, llvm::Number, Range, llvm::MIToken::reset(), llvm::MIToken::setIntegerValue(), llvm::MIToken::setOwnedStringValue(), llvm::MIToken::setStringValue(), and unescapeQuotedString().

maybeLexMCSymbol()

Cursor maybeLexMCSymbol ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 541 of file MILexer.cpp.

References C(), llvm::MIToken::Error, isIdentifierChar(), lexStringConstant(), llvm::MIToken::MCSymbol, llvm::MIToken::reset(), llvm::MIToken::setOwnedStringValue(), llvm::MIToken::setStringValue(), llvm::StringRef::size(), llvm::String, and unescapeQuotedString().

maybeLexNewline()

Cursor maybeLexNewline ( Cursor C, MIToken & Token )

static

Definition at line 740 of file MILexer.cpp.

References C(), isNewlineChar(), llvm::MIToken::Newline, Range, and llvm::MIToken::reset().

maybeLexNumericalLiteral()

Cursor maybeLexNumericalLiteral ( Cursor C, MIToken & Token )

static

Definition at line 646 of file MILexer.cpp.

References C(), llvm::MIToken::IntegerLiteral, lexFloatingPointLiteral(), Range, llvm::MIToken::reset(), and llvm::MIToken::setIntegerValue().

maybeLexRegister()

Cursor maybeLexRegister ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 491 of file MILexer.cpp.

References assert(), C(), isRegisterChar(), lexNamedVirtualRegister(), lexVirtualRegister(), llvm::MIToken::NamedRegister, Range, llvm::MIToken::reset(), and llvm::MIToken::setStringValue().

maybeLexStackObject()

Cursor maybeLexStackObject ( Cursor C, MIToken & Token )

static

Definition at line 416 of file MILexer.cpp.

References C(), maybeLexIndexAndName(), and llvm::MIToken::StackObject.

maybeLexStringConstant()

Cursor maybeLexStringConstant ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 457 of file MILexer.cpp.

References C(), lexName(), and llvm::MIToken::StringConstant.

maybeLexSubRegisterIndex()

Cursor maybeLexSubRegisterIndex ( Cursor C, MIToken & Token, ErrorCallbackType ErrorCallback )

static

Definition at line 428 of file MILexer.cpp.

References C(), lexName(), llvm::StringRef::size(), and llvm::MIToken::SubRegisterIndex.

maybeLexSymbol()

Cursor maybeLexSymbol ( Cursor C, MIToken & Token )

static

Definition at line 724 of file MILexer.cpp.

References C(), llvm::MIToken::coloncolon, llvm::MIToken::Error, llvm::Length, Range, llvm::MIToken::reset(), and symbolToken().

skipComment()

Cursor skipComment ( Cursor C )

static

Skip a line comment and return the updated cursor.

Definition at line 94 of file MILexer.cpp.

References C(), and isNewlineChar().

skipMachineOperandComment()

Cursor skipMachineOperandComment ( Cursor C )

static

Machine operands can have comments, enclosed between /* and ‍/.

This eats up all tokens, including / and *‍/.

Definition at line 104 of file MILexer.cpp.

References C().

skipWhitespace()

Cursor skipWhitespace ( Cursor C )

static

Skip the leading whitespace characters and return the updated cursor.

Definition at line 85 of file MILexer.cpp.

References C().

symbolToken()

MIToken::TokenKind symbolToken ( char C )

static

Definition at line 693 of file MILexer.cpp.

References C(), llvm::MIToken::colon, llvm::MIToken::comma, llvm::MIToken::dot, llvm::MIToken::equal, llvm::MIToken::Error, llvm::MIToken::greater, llvm::MIToken::lbrace, llvm::MIToken::less, llvm::MIToken::lparen, llvm::MIToken::minus, llvm::MIToken::plus, llvm::MIToken::rbrace, and llvm::MIToken::rparen.

Referenced by maybeLexSymbol().

unescapeQuotedString()

std::string unescapeQuotedString ( StringRef Value )

static

Unescapes the given string value.

Expects the string value to be quoted.

Definition at line 126 of file MILexer.cpp.

References assert(), C(), and llvm::hexDigitValue().

Referenced by lexName(), maybeLexMachineBasicBlock(), and maybeLexMCSymbol().