31 const char *
Ptr =
nullptr;
32 const char *
End =
nullptr;
35 Cursor(std::nullopt_t) {}
42 bool isEOF()
const {
return Ptr ==
End; }
46 void advance(
unsigned I = 1) {
Ptr +=
I; }
51 assert(
C.Ptr >= Ptr &&
C.Ptr <= End);
57 operator bool()
const {
return Ptr !=
nullptr; }
74 StringValueStorage = std::move(StrVal);
75 StringValue = StringValueStorage;
80 this->IntVal = std::move(IntVal);
86 while (isblank(
C.peek()))
105 if (
C.peek() !=
'/' ||
C.peek(1) !=
'*')
108 while (
C.peek() !=
'*' ||
C.peek(1) !=
'/')
119 return isalpha(
C) || isdigit(
C) ||
C ==
'_' ||
C ==
'-' ||
C ==
'.' ||
128 Cursor
C = Cursor(
Value.substr(1,
Value.size() - 2));
131 Str.reserve(
C.remaining().size());
133 char Char =
C.peek();
135 if (
C.peek(1) ==
'\\') {
141 if (isxdigit(
C.peek(1)) && isxdigit(
C.peek(2))) {
142 Str += hexDigitValue(
C.peek(1)) * 16 + hexDigitValue(
C.peek(2));
156 for (
C.advance();
C.peek() !=
'"';
C.advance()) {
160 "end of machine instruction reached before the closing '\"'");
171 C.advance(PrefixLength);
172 if (
C.peek() ==
'"') {
236 .
Case(
"negate_ra_sign_state",
263 .
Case(
"inlineasm-br-indirect-target",
282 .
Case(
"machine-block-address-taken",
288 if (!isalpha(
C.peek()) &&
C.peek() !=
'_')
293 auto Identifier = Range.upto(
C);
301 bool IsReference =
C.remaining().startswith(
"%bb.");
302 if (!IsReference && !
C.remaining().startswith(
"bb."))
305 unsigned PrefixLength = IsReference ? 4 : 3;
306 C.advance(PrefixLength);
307 if (!isdigit(
C.peek())) {
309 ErrorCallback(
C.location(),
"expected a number after '%bb.'");
312 auto NumberRange =
C;
313 while (isdigit(
C.peek()))
316 unsigned StringOffset = PrefixLength +
Number.size();
320 if (
C.peek() ==
'.') {
336 if (!
C.remaining().startswith(Rule) || !isdigit(
C.peek(Rule.
size())))
339 C.advance(Rule.
size());
340 auto NumberRange =
C;
341 while (isdigit(
C.peek()))
349 if (!
C.remaining().startswith(Rule) || !isdigit(
C.peek(Rule.
size())))
352 C.advance(Rule.
size());
353 auto NumberRange =
C;
354 while (isdigit(
C.peek()))
357 unsigned StringOffset = Rule.
size() +
Number.size();
358 if (
C.peek() ==
'.') {
364 Token.
reset(Kind, Range.upto(
C))
389 if (!
C.remaining().startswith(Rule))
398 if (!
C.remaining().startswith(Rule))
400 if (isdigit(
C.peek(Rule.
size())))
408 if (!
C.remaining().startswith(Rule))
410 if (isdigit(
C.peek(Rule.
size())))
426 auto NumberRange =
C;
427 while (isdigit(
C.peek()))
451 if (
C.peek() !=
'%' &&
C.peek() !=
'$')
454 if (
C.peek() ==
'%') {
455 if (isdigit(
C.peek(1)))
478 if (!isdigit(
C.peek(1)))
483 auto NumberRange =
C;
484 while (isdigit(
C.peek()))
502 if (!
C.remaining().startswith(Rule))
505 C.advance(Rule.
size());
508 if (
C.peek() !=
'"') {
512 if (
C.peek() !=
'>') {
513 ErrorCallback(
C.location(),
514 "expected the '<mcsymbol ...' to be closed by a '>'");
527 ErrorCallback(
C.location(),
528 "unable to parse quoted string from opening quote");
533 if (R.peek() !=
'>') {
534 ErrorCallback(R.location(),
535 "expected the '<mcsymbol ...' to be closed by a '>'");
547 return C ==
'H' ||
C ==
'K' ||
C ==
'L' ||
C ==
'M' ||
C ==
'R';
553 while (isdigit(
C.peek()))
555 if ((
C.peek() ==
'e' ||
C.peek() ==
'E') &&
556 (isdigit(
C.peek(1)) ||
557 ((
C.peek(1) ==
'-' ||
C.peek(1) ==
'+') && isdigit(
C.peek(2))))) {
559 while (isdigit(
C.peek()))
567 if (
C.peek() !=
'0' || (
C.peek(1) !=
'x' &&
C.peek(1) !=
'X'))
571 unsigned PrefLen = 2;
576 while (isxdigit(
C.peek()))
579 if (StrVal.size() <= PrefLen)
589 if (!isdigit(
C.peek()) && (
C.peek() !=
'-' || !isdigit(
C.peek(1))))
593 while (isdigit(
C.peek()))
629 "use of unknown metadata keyword '" + StrVal +
"'");
667 if (
C.peek() ==
':' &&
C.peek(1) ==
':') {
676 Token.
reset(Kind, Range.upto(
C));
696 while (
C.peek() !=
'`') {
700 "end of machine instruction reached before the closing '`'");
717 return C.remaining();
723 return R.remaining();
725 return R.remaining();
727 return R.remaining();
729 return R.remaining();
731 return R.remaining();
733 return R.remaining();
735 return R.remaining();
737 return R.remaining();
739 return R.remaining();
741 return R.remaining();
743 return R.remaining();
745 return R.remaining();
747 return R.remaining();
749 return R.remaining();
751 return R.remaining();
753 return R.remaining();
755 return R.remaining();
757 return R.remaining();
759 return R.remaining();
761 return R.remaining();
764 ErrorCallback(
C.location(),
765 Twine(
"unexpected character '") +
Twine(
C.peek()) +
"'");
766 return C.remaining();
static Cursor maybeLexEscapedIRValue(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor skipComment(Cursor C)
Skip a line comment and return the updated cursor.
static bool isRegisterChar(char C)
Returns true for a character allowed in a register name.
static Cursor lexStringConstant(Cursor C, ErrorCallbackType ErrorCallback)
Lex a string constant using the following regular expression: "[^"]*".
static bool isNewlineChar(char C)
static MIToken::TokenKind symbolToken(char C)
static bool isValidHexFloatingPointPrefix(char C)
static MIToken::TokenKind getIdentifierKind(StringRef Identifier)
static Cursor maybeLexIRBlock(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor maybeLexSymbol(Cursor C, MIToken &Token)
static Cursor maybeLexJumpTableIndex(Cursor C, MIToken &Token)
static Cursor maybeLexRegister(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor maybeLexHexadecimalLiteral(Cursor C, MIToken &Token)
static Cursor lexVirtualRegister(Cursor C, MIToken &Token)
static Cursor maybeLexNumericalLiteral(Cursor C, MIToken &Token)
static Cursor maybeLexExclaim(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor lexNamedVirtualRegister(Cursor C, MIToken &Token)
static std::string unescapeQuotedString(StringRef Value)
Unescapes the given string value.
static Cursor maybeLexIndexAndName(Cursor C, MIToken &Token, StringRef Rule, MIToken::TokenKind Kind)
static Cursor maybeLexNewline(Cursor C, MIToken &Token)
static Cursor maybeLexMCSymbol(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor skipMachineOperandComment(Cursor C)
Machine operands can have comments, enclosed between /* and /.
static MIToken::TokenKind getMetadataKeywordKind(StringRef Identifier)
static Cursor maybeLexIdentifier(Cursor C, MIToken &Token)
static Cursor maybeLexStackObject(Cursor C, MIToken &Token)
static Cursor skipWhitespace(Cursor C)
Skip the leading whitespace characters and return the updated cursor.
static Cursor maybeLexExternalSymbol(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static bool isIdentifierChar(char C)
Return true if the given character satisfies the following regular expression: [-a-zA-Z$....
static Cursor lexName(Cursor C, MIToken &Token, MIToken::TokenKind Type, unsigned PrefixLength, ErrorCallbackType ErrorCallback)
static Cursor maybeLexGlobalValue(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor maybeLexIRValue(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor maybeLexFixedStackObject(Cursor C, MIToken &Token)
static Cursor maybeLexMachineBasicBlock(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor maybeLexStringConstant(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor maybeLexSubRegisterIndex(Cursor C, MIToken &Token, ErrorCallbackType ErrorCallback)
static Cursor lexFloatingPointLiteral(Cursor Range, Cursor C, MIToken &Token)
static Cursor maybeLexConstantPoolItem(Cursor C, MIToken &Token)
static Cursor maybeLexIndex(Cursor C, MIToken &Token, StringRef Rule, MIToken::TokenKind Kind)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file implements the StringSwitch template, which mimics a switch() statement whose cases are str...
static bool peek(struct InternalInstruction *insn, uint8_t &byte)
An arbitrary precision integer that knows its signedness.
StringRef - Represent a constant reference to a string, i.e.
constexpr size_t size() const
size - Get the string size.
A switch()-like statement whose cases are string literals.
StringSwitch & Case(StringLiteral S, T Value)
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM Value Representation.
An efficient, type-erasing, non-owning reference to a callable.
@ C
The default llvm calling convention, compatible with C.
LocationClass< Ty > location(Ty &L)
This is an optimization pass for GlobalISel generic memory operations.
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.
MIToken & setStringValue(StringRef StrVal)
@ kw_cfi_aarch64_negate_ra_sign_state
@ kw_cfi_llvm_def_aspace_cfa
@ kw_inlineasm_br_indirect_target
@ kw_cfi_def_cfa_register
@ kw_cfi_adjust_cfa_offset
@ kw_machine_block_address_taken
@ kw_ir_block_address_taken
MIToken & setIntegerValue(APSInt IntVal)
MIToken & reset(TokenKind Kind, StringRef Range)
MIToken & setOwnedStringValue(std::string StrVal)
StringRef::iterator location() const