blob: d0ae379097c9bf90d238fc8f94c135c13963cfce [file] [log] [blame]
Alex Lorenz91370c52015-06-22 20:37:46 +00001//===- 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
Alex Lorenz240fc1e2015-06-23 23:42:28 +000018#include "llvm/ADT/APSInt.h"
Alex Lorenz91370c52015-06-22 20:37:46 +000019#include "llvm/ADT/StringRef.h"
20#include "llvm/ADT/STLExtras.h"
21#include <functional>
22
23namespace llvm {
24
25class Twine;
26
27/// A token produced by the machine instruction lexer.
28struct MIToken {
29 enum TokenKind {
30 // Markers
31 Eof,
32 Error,
33
Alex Lorenzf3db51de2015-06-23 16:35:26 +000034 // Tokens with no info.
35 comma,
36 equal,
Alex Lorenz12b554e2015-06-24 17:34:58 +000037 underscore,
Alex Lorenz2eacca82015-07-13 23:24:34 +000038 colon,
Alex Lorenz4af7e612015-08-03 23:08:19 +000039 coloncolon,
Alex Lorenz35e44462015-07-22 17:58:46 +000040 exclaim,
Alex Lorenzdeb53492015-07-28 17:28:03 +000041 lparen,
42 rparen,
Alex Lorenz5672a892015-08-05 22:26:15 +000043 plus,
44 minus,
Alex Lorenzf3db51de2015-06-23 16:35:26 +000045
Alex Lorenzcb268d42015-07-06 23:07:26 +000046 // Keywords
47 kw_implicit,
48 kw_implicit_define,
Alex Lorenzcbbfd0b2015-07-07 20:34:53 +000049 kw_dead,
Alex Lorenz495ad872015-07-08 21:23:34 +000050 kw_killed,
Alex Lorenz4d026b892015-07-08 23:58:31 +000051 kw_undef,
Alex Lorenz01c1a5e2015-08-05 17:49:03 +000052 kw_early_clobber,
Alex Lorenz90752582015-08-05 17:41:17 +000053 kw_debug_use,
Alex Lorenze5a44662015-07-17 00:24:15 +000054 kw_frame_setup,
Alex Lorenz46d760d2015-07-22 21:15:11 +000055 kw_debug_location,
Alex Lorenz8cfc6862015-07-23 23:09:07 +000056 kw_cfi_offset,
Alex Lorenz5b0d5f62015-07-27 20:39:03 +000057 kw_cfi_def_cfa_register,
Alex Lorenzf4baeb52015-07-21 22:28:27 +000058 kw_cfi_def_cfa_offset,
Alex Lorenzb1393232015-07-29 18:57:23 +000059 kw_cfi_def_cfa,
Alex Lorenzdeb53492015-07-28 17:28:03 +000060 kw_blockaddress,
Alex Lorenzef5c1962015-07-28 23:02:45 +000061 kw_target_index,
Alex Lorenzad156fb2015-07-31 20:49:21 +000062 kw_half,
63 kw_float,
64 kw_double,
65 kw_x86_fp80,
66 kw_fp128,
67 kw_ppc_fp128,
Alex Lorenz49873a82015-08-06 00:44:07 +000068 kw_target_flags,
Alex Lorenza518b792015-08-04 00:24:45 +000069 kw_volatile,
Alex Lorenz10fd0382015-08-06 16:49:30 +000070 kw_non_temporal,
Alex Lorenzdc8de2a2015-08-06 16:55:53 +000071 kw_invariant,
Alex Lorenz61420f72015-08-07 20:48:30 +000072 kw_align,
Alex Lorenz46e95582015-08-12 20:44:16 +000073 kw_stack,
Alex Lorenzd858f872015-08-12 21:00:22 +000074 kw_got,
Alex Lorenz4be56e92015-08-12 21:11:08 +000075 kw_jump_table,
Alex Lorenz91097a32015-08-12 20:33:26 +000076 kw_constant_pool,
Alex Lorenzb97c9ef2015-08-10 23:24:42 +000077 kw_liveout,
Alex Lorenzcb268d42015-07-06 23:07:26 +000078
Alex Lorenz91370c52015-06-22 20:37:46 +000079 // Identifier tokens
Alex Lorenzf3db51de2015-06-23 16:35:26 +000080 Identifier,
Alex Lorenz05e38822015-08-05 18:52:21 +000081 IntegerType,
Alex Lorenz240fc1e2015-06-23 23:42:28 +000082 NamedRegister,
Alex Lorenz33f0aef2015-06-26 16:46:11 +000083 MachineBasicBlock,
Alex Lorenz7feaf7c2015-07-16 23:37:45 +000084 StackObject,
85 FixedStackObject,
Alex Lorenz5d6108e2015-06-26 22:56:48 +000086 NamedGlobalValue,
87 GlobalValue,
Alex Lorenz6ede3742015-07-21 16:59:53 +000088 ExternalSymbol,
Alex Lorenz240fc1e2015-06-23 23:42:28 +000089
90 // Other tokens
Alex Lorenz53464512015-07-10 22:51:20 +000091 IntegerLiteral,
Alex Lorenzad156fb2015-07-31 20:49:21 +000092 FloatingPointLiteral,
Alex Lorenz31d70682015-07-15 23:38:35 +000093 VirtualRegister,
Alex Lorenzab980492015-07-20 20:51:18 +000094 ConstantPoolItem,
Alex Lorenz8a1915b2015-07-27 22:42:41 +000095 JumpTableIndex,
Alex Lorenzdeb53492015-07-28 17:28:03 +000096 NamedIRBlock,
Alex Lorenz8a1915b2015-07-27 22:42:41 +000097 IRBlock,
Alex Lorenz4af7e612015-08-03 23:08:19 +000098 NamedIRValue,
Alex Lorenz91370c52015-06-22 20:37:46 +000099 };
100
101private:
102 TokenKind Kind;
103 StringRef Range;
Alex Lorenz3fb77682015-08-06 23:17:42 +0000104 StringRef StringValue;
105 std::string StringValueStorage;
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000106 APSInt IntVal;
Alex Lorenz91370c52015-06-22 20:37:46 +0000107
108public:
Alex Lorenz3fb77682015-08-06 23:17:42 +0000109 MIToken() : Kind(Error) {}
Alex Lorenz970c12e2015-08-05 17:35:55 +0000110
Alex Lorenz3fb77682015-08-06 23:17:42 +0000111 MIToken &reset(TokenKind Kind, StringRef Range);
Alex Lorenz91370c52015-06-22 20:37:46 +0000112
Alex Lorenz3fb77682015-08-06 23:17:42 +0000113 MIToken &setStringValue(StringRef StrVal);
114 MIToken &setOwnedStringValue(std::string StrVal);
115 MIToken &setIntegerValue(APSInt IntVal);
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000116
Alex Lorenz91370c52015-06-22 20:37:46 +0000117 TokenKind kind() const { return Kind; }
118
119 bool isError() const { return Kind == Error; }
120
Alex Lorenz12b554e2015-06-24 17:34:58 +0000121 bool isRegister() const {
Alex Lorenz53464512015-07-10 22:51:20 +0000122 return Kind == NamedRegister || Kind == underscore ||
123 Kind == VirtualRegister;
Alex Lorenz12b554e2015-06-24 17:34:58 +0000124 }
Alex Lorenzf3db51de2015-06-23 16:35:26 +0000125
Alex Lorenzcb268d42015-07-06 23:07:26 +0000126 bool isRegisterFlag() const {
Alex Lorenz495ad872015-07-08 21:23:34 +0000127 return Kind == kw_implicit || Kind == kw_implicit_define ||
Alex Lorenz90752582015-08-05 17:41:17 +0000128 Kind == kw_dead || Kind == kw_killed || Kind == kw_undef ||
Alex Lorenz01c1a5e2015-08-05 17:49:03 +0000129 Kind == kw_early_clobber || Kind == kw_debug_use;
Alex Lorenzcb268d42015-07-06 23:07:26 +0000130 }
131
Alex Lorenz10fd0382015-08-06 16:49:30 +0000132 bool isMemoryOperandFlag() const {
Alex Lorenzdc8de2a2015-08-06 16:55:53 +0000133 return Kind == kw_volatile || Kind == kw_non_temporal ||
134 Kind == kw_invariant;
Alex Lorenz10fd0382015-08-06 16:49:30 +0000135 }
Alex Lorenza518b792015-08-04 00:24:45 +0000136
Alex Lorenz91370c52015-06-22 20:37:46 +0000137 bool is(TokenKind K) const { return Kind == K; }
138
139 bool isNot(TokenKind K) const { return Kind != K; }
140
141 StringRef::iterator location() const { return Range.begin(); }
142
Alex Lorenz3fb77682015-08-06 23:17:42 +0000143 StringRef range() const { return Range; }
Alex Lorenzb29554d2015-07-20 20:31:01 +0000144
Alex Lorenz970c12e2015-08-05 17:35:55 +0000145 /// Return the token's string value.
Alex Lorenz3fb77682015-08-06 23:17:42 +0000146 StringRef stringValue() const { return StringValue; }
Alex Lorenzb29554d2015-07-20 20:31:01 +0000147
Alex Lorenz240fc1e2015-06-23 23:42:28 +0000148 const APSInt &integerValue() const { return IntVal; }
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000149
150 bool hasIntegerValue() const {
Alex Lorenz5d6108e2015-06-26 22:56:48 +0000151 return Kind == IntegerLiteral || Kind == MachineBasicBlock ||
Alex Lorenz7feaf7c2015-07-16 23:37:45 +0000152 Kind == StackObject || Kind == FixedStackObject ||
Alex Lorenz31d70682015-07-15 23:38:35 +0000153 Kind == GlobalValue || Kind == VirtualRegister ||
Alex Lorenz8a1915b2015-07-27 22:42:41 +0000154 Kind == ConstantPoolItem || Kind == JumpTableIndex ||
155 Kind == IRBlock;
Alex Lorenz33f0aef2015-06-26 16:46:11 +0000156 }
Alex Lorenz91370c52015-06-22 20:37:46 +0000157};
158
159/// Consume a single machine instruction token in the given source and return
160/// the remaining source string.
161StringRef lexMIToken(
162 StringRef Source, MIToken &Token,
163 function_ref<void(StringRef::iterator, const Twine &)> ErrorCallback);
164
165} // end namespace llvm
166
167#endif