blob: 2cf2d46e635b4fd9637702819889e6abc2b5ef37 [file] [log] [blame]
Chris Lattnere79379a2018-06-22 10:39:19 -07001//===- Token.cpp - MLIR Token Implementation ------------------------------===//
2//
3// Copyright 2019 The MLIR Authors.
4//
5// Licensed under the Apache License, Version 2.0 (the "License");
6// you may not use this file except in compliance with the License.
7// You may obtain a copy of the License at
8//
9// http://www.apache.org/licenses/LICENSE-2.0
10//
11// Unless required by applicable law or agreed to in writing, software
12// distributed under the License is distributed on an "AS IS" BASIS,
13// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14// See the License for the specific language governing permissions and
15// limitations under the License.
16// =============================================================================
17//
18// This file implements the Token class for the MLIR textual form.
19//
20//===----------------------------------------------------------------------===//
21
22#include "Token.h"
23using namespace mlir;
24using llvm::SMLoc;
25using llvm::SMRange;
26
27SMLoc Token::getLoc() const {
28 return SMLoc::getFromPointer(spelling.data());
29}
30
31SMLoc Token::getEndLoc() const {
32 return SMLoc::getFromPointer(spelling.data() + spelling.size());
33}
34
35SMRange Token::getLocRange() const {
36 return SMRange(getLoc(), getEndLoc());
37}
Chris Lattnerbb8fafc2018-06-22 15:52:02 -070038#include "llvm/Support/raw_ostream.h"
39
40/// For an integer token, return its value as an unsigned. If it doesn't fit,
41/// return None.
Chris Lattnered65a732018-06-28 20:45:33 -070042Optional<unsigned> Token::getUnsignedIntegerValue() const {
Chris Lattnerbb8fafc2018-06-22 15:52:02 -070043 bool isHex = spelling.size() > 1 && spelling[1] == 'x';
44
45 unsigned result = 0;
46 if (spelling.getAsInteger(isHex ? 0 : 10, result))
47 return None;
48 return result;
49}
Chris Lattnered65a732018-06-28 20:45:33 -070050
Chris Lattner7121b802018-07-04 20:45:39 -070051/// For an integer token, return its value as a uint64_t. If it doesn't fit,
52/// return None.
53Optional<uint64_t> Token::getUInt64IntegerValue() const {
54 bool isHex = spelling.size() > 1 && spelling[1] == 'x';
55
56 uint64_t result = 0;
57 if (spelling.getAsInteger(isHex ? 0 : 10, result))
58 return None;
59 return result;
60}
61
62
Chris Lattnerf958bbe2018-06-29 22:08:05 -070063/// For an inttype token, return its bitwidth.
64Optional<unsigned> Token::getIntTypeBitwidth() const {
Chris Lattner7121b802018-07-04 20:45:39 -070065 unsigned result = 0;
Chris Lattnerf958bbe2018-06-29 22:08:05 -070066 if (spelling[1] == '0' ||
67 spelling.drop_front().getAsInteger(10, result) ||
68 // Arbitrary but large limit on bitwidth.
69 result > 4096 || result == 0)
70 return None;
71 return result;
72}
73
74
Chris Lattnered65a732018-06-28 20:45:33 -070075/// Given a 'string' token, return its value, including removing the quote
76/// characters and unescaping the contents of the string.
77std::string Token::getStringValue() const {
78 // TODO: Handle escaping.
79
80 // Just drop the quotes off for now.
81 return getSpelling().drop_front().drop_back().str();
82}
Chris Lattner8da0c282018-06-29 11:15:56 -070083
84
85/// Given a punctuation or keyword token kind, return the spelling of the
86/// token as a string. Warning: This will abort on markers, identifiers and
87/// literal tokens since they have no fixed spelling.
88StringRef Token::getTokenSpelling(Kind kind) {
Chris Lattner7121b802018-07-04 20:45:39 -070089 switch (kind) {
Jacques Pienaar16916002018-07-07 15:48:05 -070090 default: llvm_unreachable("This token kind has no fixed spelling");
Chris Lattner8da0c282018-06-29 11:15:56 -070091#define TOK_PUNCTUATION(NAME, SPELLING) case NAME: return SPELLING;
Uday Bondhugulafaf37dd2018-06-29 18:09:29 -070092#define TOK_OPERATOR(NAME, SPELLING) case NAME: return SPELLING;
Chris Lattner8da0c282018-06-29 11:15:56 -070093#define TOK_KEYWORD(SPELLING) case kw_##SPELLING: return #SPELLING;
94#include "TokenKinds.def"
Chris Lattner7121b802018-07-04 20:45:39 -070095 }
96}
97
98/// Return true if this is one of the keyword token kinds (e.g. kw_if).
99bool Token::isKeyword() const {
100 switch (kind) {
101 default: return false;
102#define TOK_KEYWORD(SPELLING) case kw_##SPELLING: return true;
103#include "TokenKinds.def"
104 }
Chris Lattner8da0c282018-06-29 11:15:56 -0700105}