1 //===- MILexer.h - Lexer for machine instructions -------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file declares the function that lexes the machine instruction source
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
16 #define LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
18 #include "llvm/ADT/APSInt.h"
19 #include "llvm/ADT/StringRef.h"
20 #include "llvm/ADT/STLExtras.h"
27 /// A token produced by the machine instruction lexer.
34 // Tokens with no info.
50 kw_cfi_def_cfa_register,
51 kw_cfi_def_cfa_offset,
60 QuotedNamedGlobalValue,
74 unsigned StringOffset;
79 MIToken(TokenKind Kind, StringRef Range, unsigned StringOffset = 0)
80 : Kind(Kind), StringOffset(StringOffset), Range(Range) {}
82 MIToken(TokenKind Kind, StringRef Range, const APSInt &IntVal,
83 unsigned StringOffset = 0)
84 : Kind(Kind), StringOffset(StringOffset), Range(Range), IntVal(IntVal) {}
86 TokenKind kind() const { return Kind; }
88 bool isError() const { return Kind == Error; }
90 bool isRegister() const {
91 return Kind == NamedRegister || Kind == underscore ||
92 Kind == VirtualRegister;
95 bool isRegisterFlag() const {
96 return Kind == kw_implicit || Kind == kw_implicit_define ||
97 Kind == kw_dead || Kind == kw_killed || Kind == kw_undef;
100 bool is(TokenKind K) const { return Kind == K; }
102 bool isNot(TokenKind K) const { return Kind != K; }
104 StringRef::iterator location() const { return Range.begin(); }
106 bool isStringValueQuoted() const {
107 return Kind == QuotedNamedGlobalValue || Kind == QuotedExternalSymbol;
110 /// Return the token's raw string value.
112 /// If the string value is quoted, this method returns that quoted string as
113 /// it is, without unescaping the string value.
114 StringRef rawStringValue() const { return Range.drop_front(StringOffset); }
116 /// Return token's string value.
118 /// Expects the string value to be unquoted.
119 StringRef stringValue() const {
120 assert(!isStringValueQuoted() && "String value is quoted");
121 return Range.drop_front(StringOffset);
124 /// Unescapes the token's string value.
126 /// Expects the string value to be quoted.
127 void unescapeQuotedStringValue(std::string &Str) const;
129 const APSInt &integerValue() const { return IntVal; }
131 bool hasIntegerValue() const {
132 return Kind == IntegerLiteral || Kind == MachineBasicBlock ||
133 Kind == StackObject || Kind == FixedStackObject ||
134 Kind == GlobalValue || Kind == VirtualRegister ||
135 Kind == ConstantPoolItem || Kind == JumpTableIndex;
139 /// Consume a single machine instruction token in the given source and return
140 /// the remaining source string.
141 StringRef lexMIToken(
142 StringRef Source, MIToken &Token,
143 function_ref<void(StringRef::iterator, const Twine &)> ErrorCallback);
145 } // end namespace llvm