lib/CodeGen/MIRParser/MILexer.h

   1 //===- MILexer.h - Lexer for machine instructions -------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file declares the function that lexes the machine instruction source
  11 // string.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
  16 #define LLVM_LIB_CODEGEN_MIRPARSER_MILEXER_H
  17
  18 #include "llvm/ADT/APSInt.h"
  19 #include "llvm/ADT/StringRef.h"
  20 #include "llvm/ADT/STLExtras.h"
  21 #include <functional>
  22
  23 namespace llvm {
  24
  25 class Twine;
  26
  27 /// A token produced by the machine instruction lexer.
  28 struct MIToken {
  29   enum TokenKind {
  30     // Markers
  31     Eof,
  32     Error,
  33
  34     // Tokens with no info.
  35     comma,
  36     equal,
  37     underscore,
  38     colon,
  39     coloncolon,
  40     exclaim,
  41     lparen,
  42     rparen,
  43     plus,
  44     minus,
  45
  46     // Keywords
  47     kw_implicit,
  48     kw_implicit_define,
  49     kw_dead,
  50     kw_killed,
  51     kw_undef,
  52     kw_early_clobber,
  53     kw_debug_use,
  54     kw_frame_setup,
  55     kw_debug_location,
  56     kw_cfi_offset,
  57     kw_cfi_def_cfa_register,
  58     kw_cfi_def_cfa_offset,
  59     kw_cfi_def_cfa,
  60     kw_blockaddress,
  61     kw_target_index,
  62     kw_half,
  63     kw_float,
  64     kw_double,
  65     kw_x86_fp80,
  66     kw_fp128,
  67     kw_ppc_fp128,
  68     kw_target_flags,
  69     kw_volatile,
  70     kw_non_temporal,
  71     kw_invariant,
  72     kw_align,
  73     kw_liveout,
  74
  75     // Identifier tokens
  76     Identifier,
  77     IntegerType,
  78     NamedRegister,
  79     MachineBasicBlock,
  80     StackObject,
  81     FixedStackObject,
  82     NamedGlobalValue,
  83     GlobalValue,
  84     ExternalSymbol,
  85
  86     // Other tokens
  87     IntegerLiteral,
  88     FloatingPointLiteral,
  89     VirtualRegister,
  90     ConstantPoolItem,
  91     JumpTableIndex,
  92     NamedIRBlock,
  93     IRBlock,
  94     NamedIRValue,
  95   };
  96
  97 private:
  98   TokenKind Kind;
  99   StringRef Range;
 100   StringRef StringValue;
 101   std::string StringValueStorage;
 102   APSInt IntVal;
 103
 104 public:
 105   MIToken() : Kind(Error) {}
 106
 107   MIToken &reset(TokenKind Kind, StringRef Range);
 108
 109   MIToken &setStringValue(StringRef StrVal);
 110   MIToken &setOwnedStringValue(std::string StrVal);
 111   MIToken &setIntegerValue(APSInt IntVal);
 112
 113   TokenKind kind() const { return Kind; }
 114
 115   bool isError() const { return Kind == Error; }
 116
 117   bool isRegister() const {
 118     return Kind == NamedRegister || Kind == underscore ||
 119            Kind == VirtualRegister;
 120   }
 121
 122   bool isRegisterFlag() const {
 123     return Kind == kw_implicit || Kind == kw_implicit_define ||
 124            Kind == kw_dead || Kind == kw_killed || Kind == kw_undef ||
 125            Kind == kw_early_clobber || Kind == kw_debug_use;
 126   }
 127
 128   bool isMemoryOperandFlag() const {
 129     return Kind == kw_volatile || Kind == kw_non_temporal ||
 130            Kind == kw_invariant;
 131   }
 132
 133   bool is(TokenKind K) const { return Kind == K; }
 134
 135   bool isNot(TokenKind K) const { return Kind != K; }
 136
 137   StringRef::iterator location() const { return Range.begin(); }
 138
 139   StringRef range() const { return Range; }
 140
 141   /// Return the token's string value.
 142   StringRef stringValue() const { return StringValue; }
 143
 144   const APSInt &integerValue() const { return IntVal; }
 145
 146   bool hasIntegerValue() const {
 147     return Kind == IntegerLiteral || Kind == MachineBasicBlock ||
 148            Kind == StackObject || Kind == FixedStackObject ||
 149            Kind == GlobalValue || Kind == VirtualRegister ||
 150            Kind == ConstantPoolItem || Kind == JumpTableIndex ||
 151            Kind == IRBlock;
 152   }
 153 };
 154
 155 /// Consume a single machine instruction token in the given source and return
 156 /// the remaining source string.
 157 StringRef lexMIToken(
 158     StringRef Source, MIToken &Token,
 159     function_ref<void(StringRef::iterator, const Twine &)> ErrorCallback);
 160
 161 } // end namespace llvm
 162
 163 #endif