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_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_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_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_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 656 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 473 of file MILexer.cpp.

References C(), and isIdentifierChar().

Referenced by lexNamedVirtualRegister(), and maybeLexRegister().

isValidHexFloatingPointPrefix()

bool isValidHexFloatingPointPrefix ( char C )

static

Definition at line 584 of file MILexer.cpp.

References C().

Referenced by maybeLexHexadecimalLiteral().

lexFloatingPointLiteral()

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

static

Definition at line 588 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 477 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 461 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 420 of file MILexer.cpp.

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

maybeLexEscapedIRValue()

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

static

Definition at line 745 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 669 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 529 of file MILexer.cpp.

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

maybeLexFixedStackObject()

Cursor maybeLexFixedStackObject ( Cursor C, MIToken & Token )

static

Definition at line 416 of file MILexer.cpp.

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

maybeLexFloatHexBits()

Cursor maybeLexFloatHexBits ( Cursor C, MIToken & Token )

static

Definition at line 626 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 512 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 604 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 308 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 372 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 385 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 433 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 443 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 408 of file MILexer.cpp.

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

maybeLexMachineBasicBlock()

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

static

Definition at line 320 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 537 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 736 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 642 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 487 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 412 of file MILexer.cpp.

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

maybeLexStringConstant()

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

static

Definition at line 453 of file MILexer.cpp.

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

maybeLexSubRegisterIndex()

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

static

Definition at line 424 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 720 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 689 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().