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",
290 if (!isalpha(
C.peek()) &&
C.peek() !=
'_')
295 auto Identifier = Range.upto(
C);
303 bool IsReference =
C.remaining().startswith(
"%bb.");
304 if (!IsReference && !
C.remaining().startswith(
"bb."))
307 unsigned PrefixLength = IsReference ? 4 : 3;
308 C.advance(PrefixLength);
309 if (!isdigit(
C.peek())) {
311 ErrorCallback(
C.location(),
"expected a number after '%bb.'");
314 auto NumberRange =
C;
315 while (isdigit(
C.peek()))
318 unsigned StringOffset = PrefixLength +
Number.size();
322 if (
C.peek() ==
'.') {
338 if (!
C.remaining().startswith(Rule) || !isdigit(
C.peek(Rule.
size())))
341 C.advance(Rule.
size());
342 auto NumberRange =
C;
343 while (isdigit(
C.peek()))
351 if (!
C.remaining().startswith(Rule) || !isdigit(
C.peek(Rule.
size())))
354 C.advance(Rule.
size());
355 auto NumberRange =
C;
356 while (isdigit(
C.peek()))
359 unsigned StringOffset = Rule.
size() +
Number.size();
360 if (
C.peek() ==
'.') {
366 Token.
reset(Kind, Range.upto(
C))
391 if (!
C.remaining().startswith(Rule))
400 if (!
C.remaining().startswith(Rule))
402 if (isdigit(
C.peek(Rule.
size())))
410 if (!
C.remaining().startswith(Rule))
412 if (isdigit(
C.peek(Rule.
size())))
428 auto NumberRange =
C;
429 while (isdigit(
C.peek()))
453 if (
C.peek() !=
'%' &&
C.peek() !=
'$')
456 if (
C.peek() ==
'%') {
457 if (isdigit(
C.peek(1)))
480 if (!isdigit(
C.peek(1)))
485 auto NumberRange =
C;
486 while (isdigit(
C.peek()))
504 if (!
C.remaining().startswith(Rule))
507 C.advance(Rule.
size());
510 if (
C.peek() !=
'"') {
514 if (
C.peek() !=
'>') {
515 ErrorCallback(
C.location(),
516 "expected the '<mcsymbol ...' to be closed by a '>'");
529 ErrorCallback(
C.location(),
530 "unable to parse quoted string from opening quote");
535 if (R.peek() !=
'>') {
536 ErrorCallback(R.location(),
537 "expected the '<mcsymbol ...' to be closed by a '>'");
549 return C ==
'H' ||
C ==
'K' ||
C ==
'L' ||
C ==
'M' ||
C ==
'R';
555 while (isdigit(
C.peek()))
557 if ((
C.peek() ==
'e' ||
C.peek() ==
'E') &&
558 (isdigit(
C.peek(1)) ||
559 ((
C.peek(1) ==
'-' ||
C.peek(1) ==
'+') && isdigit(
C.peek(2))))) {
561 while (isdigit(
C.peek()))
569 if (
C.peek() !=
'0' || (
C.peek(1) !=
'x' &&
C.peek(1) !=
'X'))
573 unsigned PrefLen = 2;
578 while (isxdigit(
C.peek()))
581 if (StrVal.size() <= PrefLen)
591 if (!isdigit(
C.peek()) && (
C.peek() !=
'-' || !isdigit(
C.peek(1))))
595 while (isdigit(
C.peek()))
631 "use of unknown metadata keyword '" + StrVal +
"'");
669 if (
C.peek() ==
':' &&
C.peek(1) ==
':') {
678 Token.
reset(Kind, Range.upto(
C));
698 while (
C.peek() !=
'`') {
702 "end of machine instruction reached before the closing '`'");
719 return C.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();
763 return R.remaining();
766 ErrorCallback(
C.location(),
767 Twine(
"unexpected character '") +
Twine(
C.peek()) +
"'");
768 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