LLVM 24.0.0git
LLLexer.cpp
Go to the documentation of this file.
1//===- LLLexer.cpp - Lexer for .ll Files ----------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Implement the Lexer for .ll files.
10//
11//===----------------------------------------------------------------------===//
12
14#include "llvm/ADT/APInt.h"
15#include "llvm/ADT/STLExtras.h"
17#include "llvm/ADT/Twine.h"
19#include "llvm/IR/Instruction.h"
22#include <cassert>
23#include <cctype>
24#include <cstdio>
25
26using namespace llvm;
27
28// Both the lexer and parser can issue error messages. If the lexer issues a
29// lexer error, since we do not terminate execution immediately, usually that
30// is followed by the parser issuing a parser error. However, the error issued
31// by the lexer is more relevant in that case as opposed to potentially more
32// generic parser error. So instead of always recording the last error message
33// use the `Priority` to establish a priority, with Lexer > Parser > None. We
34// record the issued message only if the message has same or higher priority
35// than the existing one. This prevents lexer errors from being overwritten by
36// parser errors.
37void LLLexer::Error(LocTy ErrorLoc, const Twine &Msg,
38 LLLexer::ErrorPriority Priority) {
39 if (Priority < ErrorInfo.Priority)
40 return;
41 ErrorInfo.Error = SM.GetMessage(ErrorLoc, SourceMgr::DK_Error, Msg);
42 ErrorInfo.Priority = Priority;
43}
44
45void LLLexer::Warning(LocTy WarningLoc, const Twine &Msg) const {
46 SM.PrintMessage(WarningLoc, SourceMgr::DK_Warning, Msg);
47}
48
49//===----------------------------------------------------------------------===//
50// Helper functions.
51//===----------------------------------------------------------------------===//
52
53// atoull - Convert an ascii string of decimal digits into the unsigned long
54// long representation... this does not have to do input error checking,
55// because we know that the input will be matched by a suitable regex...
56//
57uint64_t LLLexer::atoull(const char *Buffer, const char *End) {
58 uint64_t Result = 0;
59 for (; Buffer != End; Buffer++) {
60 uint64_t OldRes = Result;
61 Result *= 10;
62 Result += *Buffer-'0';
63 if (Result < OldRes) { // overflow detected.
64 LexError("constant bigger than 64 bits detected");
65 return 0;
66 }
67 }
68 return Result;
69}
70
71uint64_t LLLexer::HexIntToVal(const char *Buffer, const char *End) {
72 uint64_t Result = 0;
73 for (; Buffer != End; ++Buffer) {
74 uint64_t OldRes = Result;
75 Result *= 16;
76 Result += hexDigitValue(*Buffer);
77
78 if (Result < OldRes) { // overflow detected.
79 LexError("constant bigger than 64 bits detected");
80 return 0;
81 }
82 }
83 return Result;
84}
85
86void LLLexer::HexToIntPair(const char *Buffer, const char *End,
87 uint64_t Pair[2]) {
88 Pair[0] = 0;
89 if (End - Buffer >= 16) {
90 for (int i = 0; i < 16; i++, Buffer++) {
91 assert(Buffer != End);
92 Pair[0] *= 16;
93 Pair[0] += hexDigitValue(*Buffer);
94 }
95 }
96 Pair[1] = 0;
97 for (int i = 0; i < 16 && Buffer != End; i++, Buffer++) {
98 Pair[1] *= 16;
99 Pair[1] += hexDigitValue(*Buffer);
100 }
101 if (Buffer != End)
102 LexError("constant bigger than 128 bits detected");
103}
104
105/// FP80HexToIntPair - translate an 80 bit FP80 number (20 hexits) into
106/// { low64, high16 } as usual for an APInt.
107void LLLexer::FP80HexToIntPair(const char *Buffer, const char *End,
108 uint64_t Pair[2]) {
109 Pair[1] = 0;
110 for (int i=0; i<4 && Buffer != End; i++, Buffer++) {
111 assert(Buffer != End);
112 Pair[1] *= 16;
113 Pair[1] += hexDigitValue(*Buffer);
114 }
115 Pair[0] = 0;
116 for (int i = 0; i < 16 && Buffer != End; i++, Buffer++) {
117 Pair[0] *= 16;
118 Pair[0] += hexDigitValue(*Buffer);
119 }
120 if (Buffer != End)
121 LexError("constant bigger than 128 bits detected");
122}
123
124// UnEscapeLexed - Run through the specified buffer and change \xx codes to the
125// appropriate character.
126static void UnEscapeLexed(std::string &Str) {
127 if (Str.empty()) return;
128
129 char *Buffer = &Str[0], *EndBuffer = Buffer+Str.size();
130 char *BOut = Buffer;
131 for (char *BIn = Buffer; BIn != EndBuffer; ) {
132 if (BIn[0] == '\\') {
133 if (BIn < EndBuffer-1 && BIn[1] == '\\') {
134 *BOut++ = '\\'; // Two \ becomes one
135 BIn += 2;
136 } else if (BIn < EndBuffer-2 &&
137 isxdigit(static_cast<unsigned char>(BIn[1])) &&
138 isxdigit(static_cast<unsigned char>(BIn[2]))) {
139 *BOut = hexDigitValue(BIn[1]) * 16 + hexDigitValue(BIn[2]);
140 BIn += 3; // Skip over handled chars
141 ++BOut;
142 } else {
143 *BOut++ = *BIn++;
144 }
145 } else {
146 *BOut++ = *BIn++;
147 }
148 }
149 Str.resize(BOut-Buffer);
150}
151
152/// isLabelChar - Return true for [-a-zA-Z$._0-9].
153static bool isLabelChar(char C) {
154 return isalnum(static_cast<unsigned char>(C)) || C == '-' || C == '$' ||
155 C == '.' || C == '_';
156}
157
158/// isLabelTail - Return true if this pointer points to a valid end of a label.
159static const char *isLabelTail(const char *CurPtr) {
160 while (true) {
161 if (CurPtr[0] == ':') return CurPtr+1;
162 if (!isLabelChar(CurPtr[0])) return nullptr;
163 ++CurPtr;
164 }
165}
166
167//===----------------------------------------------------------------------===//
168// Lexer definition.
169//===----------------------------------------------------------------------===//
170
172 LLVMContext &C)
173 : CurBuf(StartBuf), ErrorInfo(Err), SM(SM), Context(C) {
174 CurPtr = CurBuf.begin();
175}
176
177int LLLexer::getNextChar() {
178 char CurChar = *CurPtr++;
179 switch (CurChar) {
180 default: return (unsigned char)CurChar;
181 case 0:
182 // A nul character in the stream is either the end of the current buffer or
183 // a random nul in the file. Disambiguate that here.
184 if (CurPtr-1 != CurBuf.end())
185 return 0; // Just whitespace.
186
187 // Otherwise, return end of file.
188 --CurPtr; // Another call to lex will return EOF again.
189 return EOF;
190 }
191}
192
193lltok::Kind LLLexer::LexToken() {
194 // Set token end to next location, since the end is exclusive.
195 PrevTokEnd = CurPtr;
196 while (true) {
197 TokStart = CurPtr;
198
199 int CurChar = getNextChar();
200 switch (CurChar) {
201 default:
202 // Handle letters: [a-zA-Z_]
203 if (isalpha(static_cast<unsigned char>(CurChar)) || CurChar == '_')
204 return LexIdentifier();
205 return lltok::Error;
206 case EOF: return lltok::Eof;
207 case 0:
208 case ' ':
209 case '\t':
210 case '\n':
211 case '\r':
212 // Ignore whitespace.
213 continue;
214 case '+': return LexPositive();
215 case '@': return LexAt();
216 case '$': return LexDollar();
217 case '%': return LexPercent();
218 case '"': return LexQuote();
219 case '.':
220 if (const char *Ptr = isLabelTail(CurPtr)) {
221 CurPtr = Ptr;
222 StrVal.assign(TokStart, CurPtr-1);
223 return lltok::LabelStr;
224 }
225 if (CurPtr[0] == '.' && CurPtr[1] == '.') {
226 CurPtr += 2;
227 return lltok::dotdotdot;
228 }
229 return lltok::Error;
230 case ';':
231 SkipLineComment();
232 continue;
233 case '!': return LexExclaim();
234 case '^':
235 return LexCaret();
236 case ':':
237 return lltok::colon;
238 case '#': return LexHash();
239 case '0': case '1': case '2': case '3': case '4':
240 case '5': case '6': case '7': case '8': case '9':
241 case '-':
242 return LexDigitOrNegative();
243 case '=': return lltok::equal;
244 case '[': return lltok::lsquare;
245 case ']': return lltok::rsquare;
246 case '{': return lltok::lbrace;
247 case '}': return lltok::rbrace;
248 case '<': return lltok::less;
249 case '>': return lltok::greater;
250 case '(': return lltok::lparen;
251 case ')': return lltok::rparen;
252 case ',': return lltok::comma;
253 case '*': return lltok::star;
254 case '|': return lltok::bar;
255 case '/':
256 if (getNextChar() != '*')
257 return lltok::Error;
258 if (SkipCComment())
259 return lltok::Error;
260 continue;
261 }
262 }
263}
264
265void LLLexer::SkipLineComment() {
266 while (true) {
267 if (CurPtr[0] == '\n' || CurPtr[0] == '\r' || getNextChar() == EOF)
268 return;
269 }
270}
271
272/// This skips C-style /**/ comments. Returns true if there
273/// was an error.
274bool LLLexer::SkipCComment() {
275 while (true) {
276 int CurChar = getNextChar();
277 switch (CurChar) {
278 case EOF:
279 LexError("unterminated comment");
280 return true;
281 case '*':
282 // End of the comment?
283 CurChar = getNextChar();
284 if (CurChar == '/')
285 return false;
286 if (CurChar == EOF) {
287 LexError("unterminated comment");
288 return true;
289 }
290 }
291 }
292}
293
294/// Lex all tokens that start with an @ character.
295/// GlobalVar @\"[^\"]*\"
296/// GlobalVar @[-a-zA-Z$._][-a-zA-Z$._0-9]*
297/// GlobalVarID @[0-9]+
298lltok::Kind LLLexer::LexAt() {
299 return LexVar(lltok::GlobalVar, lltok::GlobalID);
300}
301
302lltok::Kind LLLexer::LexDollar() {
303 if (const char *Ptr = isLabelTail(TokStart)) {
304 CurPtr = Ptr;
305 StrVal.assign(TokStart, CurPtr - 1);
306 return lltok::LabelStr;
307 }
308
309 // Handle DollarStringConstant: $\"[^\"]*\"
310 if (CurPtr[0] == '"') {
311 ++CurPtr;
312
313 while (true) {
314 int CurChar = getNextChar();
315
316 if (CurChar == EOF) {
317 LexError("end of file in COMDAT variable name");
318 return lltok::Error;
319 }
320 if (CurChar == '"') {
321 StrVal.assign(TokStart + 2, CurPtr - 1);
322 UnEscapeLexed(StrVal);
323 if (StringRef(StrVal).contains(0)) {
324 LexError("NUL character is not allowed in names");
325 return lltok::Error;
326 }
327 return lltok::ComdatVar;
328 }
329 }
330 }
331
332 // Handle ComdatVarName: $[-a-zA-Z$._][-a-zA-Z$._0-9]*
333 if (ReadVarName())
334 return lltok::ComdatVar;
335
336 return lltok::Error;
337}
338
339/// ReadString - Read a string until the closing quote.
340lltok::Kind LLLexer::ReadString(lltok::Kind kind) {
341 const char *Start = CurPtr;
342 while (true) {
343 int CurChar = getNextChar();
344
345 if (CurChar == EOF) {
346 LexError("end of file in string constant");
347 return lltok::Error;
348 }
349 if (CurChar == '"') {
350 StrVal.assign(Start, CurPtr-1);
351 UnEscapeLexed(StrVal);
352 return kind;
353 }
354 }
355}
356
357/// ReadVarName - Read the rest of a token containing a variable name.
358bool LLLexer::ReadVarName() {
359 const char *NameStart = CurPtr;
360 if (isalpha(static_cast<unsigned char>(CurPtr[0])) ||
361 CurPtr[0] == '-' || CurPtr[0] == '$' ||
362 CurPtr[0] == '.' || CurPtr[0] == '_') {
363 ++CurPtr;
364 while (isalnum(static_cast<unsigned char>(CurPtr[0])) ||
365 CurPtr[0] == '-' || CurPtr[0] == '$' ||
366 CurPtr[0] == '.' || CurPtr[0] == '_')
367 ++CurPtr;
368
369 StrVal.assign(NameStart, CurPtr);
370 return true;
371 }
372 return false;
373}
374
375// Lex an ID: [0-9]+. On success, the ID is stored in UIntVal and Token is
376// returned, otherwise the Error token is returned.
377lltok::Kind LLLexer::LexUIntID(lltok::Kind Token) {
378 if (!isdigit(static_cast<unsigned char>(CurPtr[0])))
379 return lltok::Error;
380
381 for (++CurPtr; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
382 /*empty*/;
383
384 uint64_t Val = atoull(TokStart + 1, CurPtr);
385 if ((unsigned)Val != Val)
386 LexError("invalid value number (too large)");
387 UIntVal = unsigned(Val);
388 return Token;
389}
390
391lltok::Kind LLLexer::LexVar(lltok::Kind Var, lltok::Kind VarID) {
392 // Handle StringConstant: \"[^\"]*\"
393 if (CurPtr[0] == '"') {
394 ++CurPtr;
395
396 while (true) {
397 int CurChar = getNextChar();
398
399 if (CurChar == EOF) {
400 LexError("end of file in global variable name");
401 return lltok::Error;
402 }
403 if (CurChar == '"') {
404 StrVal.assign(TokStart+2, CurPtr-1);
405 UnEscapeLexed(StrVal);
406 if (StringRef(StrVal).contains(0)) {
407 LexError("NUL character is not allowed in names");
408 return lltok::Error;
409 }
410 return Var;
411 }
412 }
413 }
414
415 // Handle VarName: [-a-zA-Z$._][-a-zA-Z$._0-9]*
416 if (ReadVarName())
417 return Var;
418
419 // Handle VarID: [0-9]+
420 return LexUIntID(VarID);
421}
422
423/// Lex all tokens that start with a % character.
424/// LocalVar ::= %\"[^\"]*\"
425/// LocalVar ::= %[-a-zA-Z$._][-a-zA-Z$._0-9]*
426/// LocalVarID ::= %[0-9]+
427lltok::Kind LLLexer::LexPercent() {
428 return LexVar(lltok::LocalVar, lltok::LocalVarID);
429}
430
431/// Lex all tokens that start with a " character.
432/// QuoteLabel "[^"]+":
433/// StringConstant "[^"]*"
434lltok::Kind LLLexer::LexQuote() {
435 lltok::Kind kind = ReadString(lltok::StringConstant);
436 if (kind == lltok::Error || kind == lltok::Eof)
437 return kind;
438
439 if (CurPtr[0] == ':') {
440 ++CurPtr;
441 if (StringRef(StrVal).contains(0)) {
442 LexError("NUL character is not allowed in names");
443 kind = lltok::Error;
444 } else {
445 kind = lltok::LabelStr;
446 }
447 }
448
449 return kind;
450}
451
452/// Lex all tokens that start with a ! character.
453/// !foo
454/// !
455lltok::Kind LLLexer::LexExclaim() {
456 // Lex a metadata name as a MetadataVar.
457 if (isalpha(static_cast<unsigned char>(CurPtr[0])) ||
458 CurPtr[0] == '-' || CurPtr[0] == '$' ||
459 CurPtr[0] == '.' || CurPtr[0] == '_' || CurPtr[0] == '\\') {
460 ++CurPtr;
461 while (isalnum(static_cast<unsigned char>(CurPtr[0])) ||
462 CurPtr[0] == '-' || CurPtr[0] == '$' ||
463 CurPtr[0] == '.' || CurPtr[0] == '_' || CurPtr[0] == '\\')
464 ++CurPtr;
465
466 StrVal.assign(TokStart+1, CurPtr); // Skip !
467 UnEscapeLexed(StrVal);
468 return lltok::MetadataVar;
469 }
470 return lltok::exclaim;
471}
472
473/// Lex all tokens that start with a ^ character.
474/// SummaryID ::= ^[0-9]+
475lltok::Kind LLLexer::LexCaret() {
476 // Handle SummaryID: ^[0-9]+
477 return LexUIntID(lltok::SummaryID);
478}
479
480/// Lex all tokens that start with a # character.
481/// AttrGrpID ::= #[0-9]+
482/// Hash ::= #
483lltok::Kind LLLexer::LexHash() {
484 // Handle AttrGrpID: #[0-9]+
485 if (isdigit(static_cast<unsigned char>(CurPtr[0])))
486 return LexUIntID(lltok::AttrGrpID);
487 return lltok::hash;
488}
489
490/// Lex a label, integer or byte types, keyword, or hexadecimal integer
491/// constant.
492/// Label [-a-zA-Z$._0-9]+:
493/// ByteType b[0-9]+
494/// IntegerType i[0-9]+
495/// Keyword sdiv, float, ...
496/// HexIntConstant [us]0x[0-9A-Fa-f]+
497/// HexFloatConstant f0x[0-9A-Fa-f]+
498lltok::Kind LLLexer::LexIdentifier() {
499 const char *StartChar = CurPtr;
500 const char IntOrByteIdentifier = CurPtr[-1];
501 const char *IntOrByteEnd =
502 (IntOrByteIdentifier == 'i' || IntOrByteIdentifier == 'b') ? nullptr
503 : StartChar;
504 const char *KeywordEnd = nullptr;
505
506 for (; isLabelChar(*CurPtr); ++CurPtr) {
507 // If we decide this is a byte or an integer, remember the end of the
508 // sequence.
509 if (!IntOrByteEnd && !isdigit(static_cast<unsigned char>(*CurPtr)))
510 IntOrByteEnd = CurPtr;
511 if (!KeywordEnd && !isalnum(static_cast<unsigned char>(*CurPtr)) &&
512 *CurPtr != '_')
513 KeywordEnd = CurPtr;
514 }
515
516 // If we stopped due to a colon, unless we were directed to ignore it,
517 // this really is a label.
518 if (!IgnoreColonInIdentifiers && *CurPtr == ':') {
519 StrVal.assign(StartChar-1, CurPtr++);
520 return lltok::LabelStr;
521 }
522
523 // Otherwise, this wasn't a label. If this was valid as a byte or an integer
524 // type, return it.
525 if (!IntOrByteEnd)
526 IntOrByteEnd = CurPtr;
527 if (IntOrByteEnd != StartChar) {
528 CurPtr = IntOrByteEnd;
529 uint64_t NumBits = atoull(StartChar, CurPtr);
530 if (NumBits < IntegerType::MIN_INT_BITS ||
531 NumBits > IntegerType::MAX_INT_BITS) {
532 LexError("bitwidth for integer or byte type out of range");
533 return lltok::Error;
534 }
535 if (IntOrByteIdentifier == 'i')
536 TyVal = IntegerType::get(Context, NumBits);
537 else
538 TyVal = ByteType::get(Context, NumBits);
539
540 return lltok::Type;
541 }
542
543 // Otherwise, this was a letter sequence. See which keyword this is.
544 if (!KeywordEnd) KeywordEnd = CurPtr;
545 CurPtr = KeywordEnd;
546 --StartChar;
547 StringRef Keyword(StartChar, CurPtr - StartChar);
548
549#define KEYWORD(STR) \
550 do { \
551 if (Keyword == #STR) \
552 return lltok::kw_##STR; \
553 } while (false)
554
555 KEYWORD(true); KEYWORD(false);
556 KEYWORD(declare); KEYWORD(define);
557 KEYWORD(global); KEYWORD(constant);
558 KEYWORD(br);
559
560 KEYWORD(dso_local);
561 KEYWORD(dso_preemptable);
562
563 KEYWORD(private);
564 KEYWORD(internal);
565 KEYWORD(available_externally);
566 KEYWORD(linkonce);
567 KEYWORD(linkonce_odr);
568 KEYWORD(weak); // Use as a linkage, and a modifier for "cmpxchg".
569 KEYWORD(weak_odr);
570 KEYWORD(appending);
571 KEYWORD(dllimport);
572 KEYWORD(dllexport);
573 KEYWORD(common);
574 KEYWORD(default);
575 KEYWORD(hidden);
576 KEYWORD(protected);
577 KEYWORD(unnamed_addr);
578 KEYWORD(local_unnamed_addr);
579 KEYWORD(externally_initialized);
580 KEYWORD(extern_weak);
581 KEYWORD(external);
582 KEYWORD(thread_local);
583 KEYWORD(localdynamic);
584 KEYWORD(initialexec);
585 KEYWORD(localexec);
586 KEYWORD(zeroinitializer);
587 KEYWORD(undef);
588 KEYWORD(null);
589 KEYWORD(none);
590 KEYWORD(poison);
591 KEYWORD(to);
592 KEYWORD(caller);
593 KEYWORD(within);
594 KEYWORD(from);
595 KEYWORD(tail);
596 KEYWORD(musttail);
597 KEYWORD(notail);
598 KEYWORD(target);
599 KEYWORD(triple);
600 KEYWORD(source_filename);
601 KEYWORD(unwind);
602 KEYWORD(datalayout);
603 KEYWORD(volatile);
604 KEYWORD(elementwise);
605 KEYWORD(atomic);
606 KEYWORD(unordered);
607 KEYWORD(monotonic);
612 KEYWORD(syncscope);
613
614 KEYWORD(nnan);
615 KEYWORD(ninf);
616 KEYWORD(nsz);
617 KEYWORD(arcp);
619 KEYWORD(reassoc);
620 KEYWORD(afn);
621 KEYWORD(fast);
622 KEYWORD(nuw);
623 KEYWORD(nsw);
624 KEYWORD(nusw);
625 KEYWORD(exact);
626 KEYWORD(disjoint);
627 KEYWORD(inbounds);
628 KEYWORD(nneg);
629 KEYWORD(samesign);
630 KEYWORD(inrange);
631 KEYWORD(addrspace);
632 KEYWORD(section);
634 KEYWORD(code_model);
635 KEYWORD(alias);
636 KEYWORD(ifunc);
637 KEYWORD(module);
638 KEYWORD(asm);
639 KEYWORD(sideeffect);
640 KEYWORD(inteldialect);
641 KEYWORD(gc);
642 KEYWORD(prefix);
643 KEYWORD(prologue);
644 KEYWORD(prefalign);
645
646 KEYWORD(no_sanitize_address);
647 KEYWORD(no_sanitize_hwaddress);
648 KEYWORD(sanitize_address_dyninit);
649
650 KEYWORD(ccc);
651 KEYWORD(fastcc);
652 KEYWORD(coldcc);
653 KEYWORD(cfguard_checkcc);
654 KEYWORD(x86_stdcallcc);
655 KEYWORD(x86_fastcallcc);
656 KEYWORD(x86_thiscallcc);
657 KEYWORD(x86_vectorcallcc);
658 KEYWORD(arm_apcscc);
659 KEYWORD(arm_aapcscc);
660 KEYWORD(arm_aapcs_vfpcc);
661 KEYWORD(aarch64_vector_pcs);
662 KEYWORD(aarch64_sve_vector_pcs);
663 KEYWORD(aarch64_sme_preservemost_from_x0);
664 KEYWORD(aarch64_sme_preservemost_from_x1);
665 KEYWORD(aarch64_sme_preservemost_from_x2);
666 KEYWORD(msp430_intrcc);
667 KEYWORD(avr_intrcc);
668 KEYWORD(avr_signalcc);
669 KEYWORD(ptx_kernel);
670 KEYWORD(ptx_device);
671 KEYWORD(spir_kernel);
672 KEYWORD(spir_func);
673 KEYWORD(intel_ocl_bicc);
674 KEYWORD(x86_64_sysvcc);
675 KEYWORD(win64cc);
676 KEYWORD(x86_regcallcc);
677 KEYWORD(swiftcc);
678 KEYWORD(swifttailcc);
679 KEYWORD(anyregcc);
680 KEYWORD(preserve_mostcc);
681 KEYWORD(preserve_allcc);
682 KEYWORD(preserve_nonecc);
683 KEYWORD(ghccc);
684 KEYWORD(x86_intrcc);
685 KEYWORD(hhvmcc);
686 KEYWORD(hhvm_ccc);
687 KEYWORD(cxx_fast_tlscc);
688 KEYWORD(amdgpu_vs);
689 KEYWORD(amdgpu_ls);
690 KEYWORD(amdgpu_hs);
691 KEYWORD(amdgpu_es);
692 KEYWORD(amdgpu_gs);
693 KEYWORD(amdgpu_ps);
694 KEYWORD(amdgpu_cs);
695 KEYWORD(amdgpu_cs_chain);
696 KEYWORD(amdgpu_cs_chain_preserve);
697 KEYWORD(amdgpu_kernel);
698 KEYWORD(amdgpu_gfx);
699 KEYWORD(amdgpu_gfx_whole_wave);
700 KEYWORD(tailcc);
701 KEYWORD(m68k_rtdcc);
702 KEYWORD(graalcc);
703 KEYWORD(riscv_vector_cc);
704 KEYWORD(riscv_vls_cc);
705 KEYWORD(cheriot_compartmentcallcc);
706 KEYWORD(cheriot_compartmentcalleecc);
707 KEYWORD(cheriot_librarycallcc);
708
709 KEYWORD(cc);
710 KEYWORD(c);
711
712 KEYWORD(attributes);
713 KEYWORD(sync);
714 KEYWORD(async);
715
716#define GET_ATTR_NAMES
717#define ATTRIBUTE_ENUM(ENUM_NAME, DISPLAY_NAME) \
718 KEYWORD(DISPLAY_NAME);
719#include "llvm/IR/Attributes.inc"
720
721 KEYWORD(read);
722 KEYWORD(write);
723 KEYWORD(readwrite);
724 KEYWORD(argmem);
725 KEYWORD(target_mem0);
726 KEYWORD(target_mem1);
727 KEYWORD(target_mem);
728 KEYWORD(inaccessiblemem);
729 KEYWORD(errnomem);
730 KEYWORD(argmemonly);
731 KEYWORD(inaccessiblememonly);
732 KEYWORD(inaccessiblemem_or_argmemonly);
733 KEYWORD(nocapture);
734 KEYWORD(address_is_null);
735 KEYWORD(address);
736 KEYWORD(provenance);
737 KEYWORD(read_provenance);
738
739 // denormal_fpenv attribute
740 KEYWORD(ieee);
741 KEYWORD(preservesign);
742 KEYWORD(positivezero);
743 KEYWORD(dynamic);
744
745 // nofpclass attribute
746 KEYWORD(all);
747 KEYWORD(nan);
748 KEYWORD(snan);
749 KEYWORD(qnan);
750 KEYWORD(inf);
751 // ninf already a keyword
752 KEYWORD(pinf);
753 KEYWORD(norm);
754 KEYWORD(nnorm);
755 KEYWORD(pnorm);
756 // sub already a keyword
757 KEYWORD(nsub);
758 KEYWORD(psub);
759 KEYWORD(zero);
760 KEYWORD(nzero);
761 KEYWORD(pzero);
762
763 KEYWORD(type);
764 KEYWORD(opaque);
765
766 KEYWORD(comdat);
767
768 // Comdat types
769 KEYWORD(any);
770 KEYWORD(exactmatch);
771 KEYWORD(largest);
772 KEYWORD(nodeduplicate);
773 KEYWORD(samesize);
774
775 KEYWORD(eq); KEYWORD(ne); KEYWORD(slt); KEYWORD(sgt); KEYWORD(sle);
776 KEYWORD(sge); KEYWORD(ult); KEYWORD(ugt); KEYWORD(ule); KEYWORD(uge);
777 KEYWORD(oeq); KEYWORD(one); KEYWORD(olt); KEYWORD(ogt); KEYWORD(ole);
778 KEYWORD(oge); KEYWORD(ord); KEYWORD(uno); KEYWORD(ueq); KEYWORD(une);
779
780 KEYWORD(xchg); KEYWORD(nand); KEYWORD(max); KEYWORD(min); KEYWORD(umax);
781 KEYWORD(umin); KEYWORD(fmax); KEYWORD(fmin);
782 KEYWORD(fmaximum);
783 KEYWORD(fminimum);
784 KEYWORD(fmaximumnum);
785 KEYWORD(fminimumnum);
786 KEYWORD(uinc_wrap);
787 KEYWORD(udec_wrap);
788 KEYWORD(usub_cond);
789 KEYWORD(usub_sat);
790
791 KEYWORD(splat);
792 KEYWORD(vscale);
793 KEYWORD(x);
794 KEYWORD(blockaddress);
795 KEYWORD(dso_local_equivalent);
796 KEYWORD(no_cfi);
797 KEYWORD(ptrauth);
798
799 // Metadata types.
800 KEYWORD(distinct);
801
802 // Use-list order directives.
803 KEYWORD(uselistorder);
804
805 KEYWORD(personality);
807 KEYWORD(catch);
808 KEYWORD(filter);
809
810 // Summary index keywords.
811 KEYWORD(path);
812 KEYWORD(hash);
813 KEYWORD(gv);
814 KEYWORD(guid);
815 KEYWORD(name);
816 KEYWORD(summaries);
817 KEYWORD(flags);
818 KEYWORD(blockcount);
819 KEYWORD(linkage);
820 KEYWORD(visibility);
821 KEYWORD(notEligibleToImport);
822 KEYWORD(live);
823 KEYWORD(dsoLocal);
824 KEYWORD(canAutoHide);
825 KEYWORD(importType);
826 KEYWORD(definition);
827 KEYWORD(declaration);
828 KEYWORD(noRenameOnPromotion);
830 KEYWORD(insts);
831 KEYWORD(funcFlags);
832 KEYWORD(readNone);
833 KEYWORD(readOnly);
834 KEYWORD(noRecurse);
835 KEYWORD(returnDoesNotAlias);
836 KEYWORD(noInline);
837 KEYWORD(alwaysInline);
838 KEYWORD(noUnwind);
839 KEYWORD(mayThrow);
840 KEYWORD(hasUnknownCall);
841 KEYWORD(mustBeUnreachable);
842 KEYWORD(calls);
843 KEYWORD(callee);
844 KEYWORD(params);
845 KEYWORD(param);
846 KEYWORD(hotness);
847 KEYWORD(unknown);
848 KEYWORD(critical);
849 // Deprecated, keep in order to support old files.
850 KEYWORD(relbf);
851 KEYWORD(variable);
852 KEYWORD(vTableFuncs);
853 KEYWORD(virtFunc);
854 KEYWORD(aliasee);
855 KEYWORD(refs);
856 KEYWORD(typeIdInfo);
857 KEYWORD(typeTests);
858 KEYWORD(typeTestAssumeVCalls);
859 KEYWORD(typeCheckedLoadVCalls);
860 KEYWORD(typeTestAssumeConstVCalls);
861 KEYWORD(typeCheckedLoadConstVCalls);
862 KEYWORD(vFuncId);
863 KEYWORD(offset);
864 KEYWORD(args);
865 KEYWORD(typeid);
866 KEYWORD(typeidCompatibleVTable);
867 KEYWORD(summary);
868 KEYWORD(typeTestRes);
869 KEYWORD(kind);
870 KEYWORD(unsat);
871 KEYWORD(byteArray);
872 KEYWORD(inline);
873 KEYWORD(single);
875 KEYWORD(sizeM1BitWidth);
876 KEYWORD(alignLog2);
877 KEYWORD(sizeM1);
878 KEYWORD(bitMask);
879 KEYWORD(inlineBits);
880 KEYWORD(vcall_visibility);
881 KEYWORD(wpdResolutions);
882 KEYWORD(wpdRes);
883 KEYWORD(indir);
884 KEYWORD(singleImpl);
885 KEYWORD(branchFunnel);
886 KEYWORD(singleImplName);
887 KEYWORD(resByArg);
888 KEYWORD(byArg);
889 KEYWORD(uniformRetVal);
890 KEYWORD(uniqueRetVal);
891 KEYWORD(virtualConstProp);
892 KEYWORD(info);
893 KEYWORD(byte);
894 KEYWORD(bit);
895 KEYWORD(varFlags);
896 KEYWORD(callsites);
897 KEYWORD(clones);
898 KEYWORD(stackIds);
899 KEYWORD(allocs);
900 KEYWORD(versions);
901 KEYWORD(memProf);
902 KEYWORD(notcold);
903
904#undef KEYWORD
905
906 // Keywords for types.
907#define TYPEKEYWORD(STR, LLVMTY) \
908 do { \
909 if (Keyword == STR) { \
910 TyVal = LLVMTY; \
911 return lltok::Type; \
912 } \
913 } while (false)
914
915 TYPEKEYWORD("void", Type::getVoidTy(Context));
916 TYPEKEYWORD("half", Type::getHalfTy(Context));
917 TYPEKEYWORD("bfloat", Type::getBFloatTy(Context));
918 TYPEKEYWORD("float", Type::getFloatTy(Context));
919 TYPEKEYWORD("double", Type::getDoubleTy(Context));
920 TYPEKEYWORD("x86_fp80", Type::getX86_FP80Ty(Context));
921 TYPEKEYWORD("fp128", Type::getFP128Ty(Context));
922 TYPEKEYWORD("ppc_fp128", Type::getPPC_FP128Ty(Context));
923 TYPEKEYWORD("label", Type::getLabelTy(Context));
924 TYPEKEYWORD("metadata", Type::getMetadataTy(Context));
925 TYPEKEYWORD("x86_amx", Type::getX86_AMXTy(Context));
926 TYPEKEYWORD("token", Type::getTokenTy(Context));
927 TYPEKEYWORD("ptr", PointerType::getUnqual(Context));
928
929#undef TYPEKEYWORD
930
931 // Keywords for instructions.
932#define INSTKEYWORD(STR, Enum) \
933 do { \
934 if (Keyword == #STR) { \
935 UIntVal = Instruction::Enum; \
936 return lltok::kw_##STR; \
937 } \
938 } while (false)
939
940 INSTKEYWORD(fneg, FNeg);
941
942 INSTKEYWORD(add, Add); INSTKEYWORD(fadd, FAdd);
943 INSTKEYWORD(sub, Sub); INSTKEYWORD(fsub, FSub);
944 INSTKEYWORD(mul, Mul); INSTKEYWORD(fmul, FMul);
945 INSTKEYWORD(udiv, UDiv); INSTKEYWORD(sdiv, SDiv); INSTKEYWORD(fdiv, FDiv);
946 INSTKEYWORD(urem, URem); INSTKEYWORD(srem, SRem); INSTKEYWORD(frem, FRem);
947 INSTKEYWORD(shl, Shl); INSTKEYWORD(lshr, LShr); INSTKEYWORD(ashr, AShr);
948 INSTKEYWORD(and, And); INSTKEYWORD(or, Or); INSTKEYWORD(xor, Xor);
949 INSTKEYWORD(icmp, ICmp); INSTKEYWORD(fcmp, FCmp);
950
951 INSTKEYWORD(phi, PHI);
952 INSTKEYWORD(call, Call);
953 INSTKEYWORD(trunc, Trunc);
954 INSTKEYWORD(zext, ZExt);
955 INSTKEYWORD(sext, SExt);
956 INSTKEYWORD(fptrunc, FPTrunc);
957 INSTKEYWORD(fpext, FPExt);
958 INSTKEYWORD(uitofp, UIToFP);
959 INSTKEYWORD(sitofp, SIToFP);
960 INSTKEYWORD(fptoui, FPToUI);
961 INSTKEYWORD(fptosi, FPToSI);
962 INSTKEYWORD(inttoptr, IntToPtr);
963 INSTKEYWORD(ptrtoaddr, PtrToAddr);
964 INSTKEYWORD(ptrtoint, PtrToInt);
965 INSTKEYWORD(bitcast, BitCast);
966 INSTKEYWORD(addrspacecast, AddrSpaceCast);
967 INSTKEYWORD(select, Select);
968 INSTKEYWORD(va_arg, VAArg);
969 INSTKEYWORD(ret, Ret);
970 INSTKEYWORD(switch, Switch);
971 INSTKEYWORD(indirectbr, IndirectBr);
972 INSTKEYWORD(invoke, Invoke);
973 INSTKEYWORD(resume, Resume);
974 INSTKEYWORD(unreachable, Unreachable);
975 INSTKEYWORD(callbr, CallBr);
976
977 INSTKEYWORD(alloca, Alloca);
979 INSTKEYWORD(store, Store);
980 INSTKEYWORD(cmpxchg, AtomicCmpXchg);
981 INSTKEYWORD(atomicrmw, AtomicRMW);
982 INSTKEYWORD(fence, Fence);
983 INSTKEYWORD(getelementptr, GetElementPtr);
984
985 INSTKEYWORD(extractelement, ExtractElement);
986 INSTKEYWORD(insertelement, InsertElement);
987 INSTKEYWORD(shufflevector, ShuffleVector);
988 INSTKEYWORD(extractvalue, ExtractValue);
989 INSTKEYWORD(insertvalue, InsertValue);
990 INSTKEYWORD(landingpad, LandingPad);
991 INSTKEYWORD(cleanupret, CleanupRet);
992 INSTKEYWORD(catchret, CatchRet);
993 INSTKEYWORD(catchswitch, CatchSwitch);
994 INSTKEYWORD(catchpad, CatchPad);
995 INSTKEYWORD(cleanuppad, CleanupPad);
996
997 INSTKEYWORD(freeze, Freeze);
998 INSTKEYWORD(bitinsert, BitInsert);
999 INSTKEYWORD(bitextract, BitExtract);
1000
1001#undef INSTKEYWORD
1002
1003#define DWKEYWORD(TYPE, TOKEN) \
1004 do { \
1005 if (Keyword.starts_with("DW_" #TYPE "_")) { \
1006 StrVal.assign(Keyword.begin(), Keyword.end()); \
1007 return lltok::TOKEN; \
1008 } \
1009 } while (false)
1010
1011 DWKEYWORD(TAG, DwarfTag);
1012 DWKEYWORD(ATE, DwarfAttEncoding);
1013 DWKEYWORD(VIRTUALITY, DwarfVirtuality);
1014 DWKEYWORD(LLVM_LANG_DIALECT, DwarfLangDialect);
1015 DWKEYWORD(LANG, DwarfLang);
1016 DWKEYWORD(LNAME, DwarfSourceLangName);
1017 DWKEYWORD(CC, DwarfCC);
1018 DWKEYWORD(OP, DwarfOp);
1019 DWKEYWORD(MACINFO, DwarfMacinfo);
1020 DWKEYWORD(APPLE_ENUM_KIND, DwarfEnumKind);
1021
1022#undef DWKEYWORD
1023
1024// Keywords for debug record types.
1025#define DBGRECORDTYPEKEYWORD(STR) \
1026 do { \
1027 if (Keyword == "dbg_" #STR) { \
1028 StrVal = #STR; \
1029 return lltok::DbgRecordType; \
1030 } \
1031 } while (false)
1032
1033 DBGRECORDTYPEKEYWORD(value);
1034 DBGRECORDTYPEKEYWORD(declare);
1036 DBGRECORDTYPEKEYWORD(label);
1037 DBGRECORDTYPEKEYWORD(declare_value);
1038#undef DBGRECORDTYPEKEYWORD
1039
1040 if (Keyword.starts_with("DIFlag")) {
1041 StrVal.assign(Keyword.begin(), Keyword.end());
1042 return lltok::DIFlag;
1043 }
1044
1045 if (Keyword.starts_with("DISPFlag")) {
1046 StrVal.assign(Keyword.begin(), Keyword.end());
1047 return lltok::DISPFlag;
1048 }
1049
1050 if (Keyword.starts_with("CSK_")) {
1051 StrVal.assign(Keyword.begin(), Keyword.end());
1052 return lltok::ChecksumKind;
1053 }
1054
1055 if (Keyword == "NoDebug" || Keyword == "FullDebug" ||
1056 Keyword == "LineTablesOnly" || Keyword == "DebugDirectivesOnly") {
1057 StrVal.assign(Keyword.begin(), Keyword.end());
1058 return lltok::EmissionKind;
1059 }
1060
1061 if (Keyword == "GNU" || Keyword == "Apple" || Keyword == "None" ||
1062 Keyword == "Default") {
1063 StrVal.assign(Keyword.begin(), Keyword.end());
1064 return lltok::NameTableKind;
1065 }
1066
1067 if (Keyword == "Binary" || Keyword == "Decimal" || Keyword == "Rational") {
1068 StrVal.assign(Keyword.begin(), Keyword.end());
1069 return lltok::FixedPointKind;
1070 }
1071
1072 // Check for [us]0x[0-9A-Fa-f]+ which are Hexadecimal constant generated by
1073 // the CFE to avoid forcing it to deal with 64-bit numbers. Also check for
1074 // f0x[0-9A-Fa-f]+, which is the floating-point hexadecimal literal constant.
1075 if ((TokStart[0] == 'u' || TokStart[0] == 's' || TokStart[0] == 'f') &&
1076 TokStart[1] == '0' && TokStart[2] == 'x' &&
1077 isxdigit(static_cast<unsigned char>(TokStart[3]))) {
1078 bool IsFloatConst = TokStart[0] == 'f';
1079 size_t Len = CurPtr - TokStart - 3;
1080 uint32_t Bits = Len * 4;
1081 StringRef HexStr(TokStart + 3, Len);
1082 if (!all_of(HexStr, isxdigit)) {
1083 // Bad token, return it as an error.
1084 CurPtr = TokStart + 3;
1085 return lltok::Error;
1086 }
1087 APInt Tmp(Bits, HexStr, 16);
1088 uint32_t ActiveBits = Tmp.getActiveBits();
1089 if (!IsFloatConst && ActiveBits > 0 && ActiveBits < Bits)
1090 Tmp = Tmp.trunc(ActiveBits);
1091 APSIntVal = APSInt(Tmp, TokStart[0] != 's');
1092 return IsFloatConst ? lltok::FloatHexLiteral : lltok::APSInt;
1093 }
1094
1095 // If this is "cc1234", return this as just "cc".
1096 if (TokStart[0] == 'c' && TokStart[1] == 'c') {
1097 CurPtr = TokStart+2;
1098 return lltok::kw_cc;
1099 }
1100
1101 // Finally, if this isn't known, return an error.
1102 CurPtr = TokStart+1;
1103 return lltok::Error;
1104}
1105
1106/// Lex all tokens that start with a 0x prefix, knowing they match and are not
1107/// labels.
1108/// HexFPLiteral [-+]?0x[0-9A-Fa-f]+.[0-9A-Fa-f]*[pP][-+]?[0-9]+
1109/// HexFPConstant 0x[0-9A-Fa-f]+
1110/// HexFP80Constant 0xK[0-9A-Fa-f]+
1111/// HexFP128Constant 0xL[0-9A-Fa-f]+
1112/// HexPPC128Constant 0xM[0-9A-Fa-f]+
1113/// HexHalfConstant 0xH[0-9A-Fa-f]+
1114/// HexBFloatConstant 0xR[0-9A-Fa-f]+
1115lltok::Kind LLLexer::Lex0x() {
1116 CurPtr = TokStart + 2;
1117
1118 char Kind;
1119 if ((CurPtr[0] >= 'K' && CurPtr[0] <= 'M') || CurPtr[0] == 'H' ||
1120 CurPtr[0] == 'R') {
1121 Kind = *CurPtr++;
1122 } else {
1123 Kind = 'J';
1124 }
1125
1126 if (!isxdigit(static_cast<unsigned char>(CurPtr[0]))) {
1127 // Bad token, return it as an error.
1128 CurPtr = TokStart+1;
1129 return lltok::Error;
1130 }
1131
1132 while (isxdigit(static_cast<unsigned char>(CurPtr[0])))
1133 ++CurPtr;
1134
1135 if (*CurPtr == '.') {
1136 // HexFPLiteral, following C's %a syntax
1137 return LexFloatStr();
1138 }
1139
1140 if (Kind == 'J') {
1141 // HexFPConstant - Floating point constant represented in IEEE format as a
1142 // hexadecimal number for when exponential notation is not precise enough.
1143 // Half, BFloat, Float, and double only.
1144 APFloatVal = APFloat(APFloat::IEEEdouble(),
1145 APInt(64, HexIntToVal(TokStart + 2, CurPtr)));
1146 return lltok::APFloat;
1147 }
1148
1149 uint64_t Pair[2];
1150 switch (Kind) {
1151 default:
1152 llvm_unreachable("Unknown kind!");
1153 case 'K':
1154 // F80HexFPConstant - x87 long double in hexadecimal format (10 bytes)
1155 FP80HexToIntPair(TokStart + 3, CurPtr, Pair);
1156 APSIntVal = APInt(80, Pair);
1158 case 'L':
1159 // F128HexFPConstant - IEEE 128-bit in hexadecimal format (16 bytes)
1160 HexToIntPair(TokStart + 3, CurPtr, Pair);
1161 APSIntVal = APInt(128, Pair);
1163 case 'M':
1164 // PPC128HexFPConstant - PowerPC 128-bit in hexadecimal format (16 bytes)
1165 HexToIntPair(TokStart + 3, CurPtr, Pair);
1166 APSIntVal = APInt(128, Pair);
1168 case 'H': {
1169 uint64_t Val = HexIntToVal(TokStart + 3, CurPtr);
1170 if (!llvm::isUInt<16>(Val)) {
1171 LexError("hexadecimal constant too large for half (16-bit)");
1172 return lltok::Error;
1173 }
1174 APSIntVal = APInt(16, Val);
1176 }
1177 case 'R': {
1178 // Brain floating point
1179 uint64_t Val = HexIntToVal(TokStart + 3, CurPtr);
1180 if (!llvm::isUInt<16>(Val)) {
1181 LexError("hexadecimal constant too large for bfloat (16-bit)");
1182 return lltok::Error;
1183 }
1184 APSIntVal = APInt(16, Val);
1186 }
1187 }
1188}
1189
1190/// Lex tokens for a label or a numeric constant, possibly starting with -.
1191/// Label [-a-zA-Z$._0-9]+:
1192/// NInteger -[0-9]+
1193/// FPConstant [-+]?[0-9]+[.][0-9]*([eE][-+]?[0-9]+)?
1194/// PInteger [0-9]+
1195/// HexFPLiteral [-+]?0x[0-9A-Fa-f]+.[0-9A-Fa-f]*[pP][-+]?[0-9]+
1196/// HexFPConstant 0x[0-9A-Fa-f]+
1197/// HexFP80Constant 0xK[0-9A-Fa-f]+
1198/// HexFP128Constant 0xL[0-9A-Fa-f]+
1199/// HexPPC128Constant 0xM[0-9A-Fa-f]+
1200lltok::Kind LLLexer::LexDigitOrNegative() {
1201 // If the letter after the negative is not a number, this is probably a label.
1202 if (!isdigit(static_cast<unsigned char>(TokStart[0])) &&
1203 !isdigit(static_cast<unsigned char>(CurPtr[0]))) {
1204 // Okay, this is not a number after the -, it's probably a label.
1205 if (const char *End = isLabelTail(CurPtr)) {
1206 StrVal.assign(TokStart, End-1);
1207 CurPtr = End;
1208 return lltok::LabelStr;
1209 }
1210
1211 // It might be a -inf, -nan, etc. Check if it's a float string (which will
1212 // also handle error conditions there).
1213 return LexFloatStr();
1214 }
1215
1216 // At this point, it is either a label, int or fp constant.
1217
1218 // Skip digits, we have at least one.
1219 for (; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
1220 /*empty*/;
1221
1222 // Check if this is a fully-numeric label:
1223 if (isdigit(TokStart[0]) && CurPtr[0] == ':') {
1224 uint64_t Val = atoull(TokStart, CurPtr);
1225 ++CurPtr; // Skip the colon.
1226 if ((unsigned)Val != Val)
1227 LexError("invalid value number (too large)");
1228 UIntVal = unsigned(Val);
1229 return lltok::LabelID;
1230 }
1231
1232 // Check to see if this really is a string label, e.g. "-1:".
1233 if (isLabelChar(CurPtr[0]) || CurPtr[0] == ':') {
1234 if (const char *End = isLabelTail(CurPtr)) {
1235 StrVal.assign(TokStart, End-1);
1236 CurPtr = End;
1237 return lltok::LabelStr;
1238 }
1239 }
1240
1241 // If the next character is a '.', then it is a fp value, otherwise its
1242 // integer.
1243 if (CurPtr[0] != '.') {
1244 if (TokStart[0] == '0' && TokStart[1] == 'x')
1245 return Lex0x();
1246 if (TokStart[0] == '-' && TokStart[1] == '0' && TokStart[2] == 'x')
1247 return LexFloatStr();
1248
1249 APSIntVal = APSInt(StringRef(TokStart, CurPtr - TokStart));
1250 return lltok::APSInt;
1251 }
1252
1253 ++CurPtr;
1254
1255 // Skip over [0-9]*([eE][-+]?[0-9]+)?
1256 while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
1257
1258 if (CurPtr[0] == 'e' || CurPtr[0] == 'E') {
1259 if (isdigit(static_cast<unsigned char>(CurPtr[1])) ||
1260 ((CurPtr[1] == '-' || CurPtr[1] == '+') &&
1261 isdigit(static_cast<unsigned char>(CurPtr[2])))) {
1262 CurPtr += 2;
1263 while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
1264 }
1265 }
1266
1267 StrVal.assign(TokStart, CurPtr - TokStart);
1268 return lltok::FloatLiteral;
1269}
1270
1271/// Lex a floating point constant starting with +.
1272/// FPConstant [-+]?[0-9]+[.][0-9]*([eE][-+]?[0-9]+)?
1273/// HexFPLiteral [-+]?0x[0-9A-Fa-f]+.[0-9A-Fa-f]*[pP][-+]?[0-9]+
1274/// HexFPSpecial [-+](inf|qnan|s?nan\‍(0x[0-9A-Fa-f]+\‍))
1275lltok::Kind LLLexer::LexPositive() {
1276 // If it's not numeric, check for special floating-point values.
1277 if (!isdigit(static_cast<unsigned char>(CurPtr[0])))
1278 return LexFloatStr();
1279
1280 // Skip digits.
1281 for (++CurPtr; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
1282 /*empty*/;
1283
1284 // If the first non-digit is an x, check if it's a hex FP literal. LexFloatStr
1285 // will reanalyze TokStr..CurPtr to make sure that it's 0x and not 413x.
1286 if (CurPtr[0] == 'x')
1287 return LexFloatStr();
1288
1289 // At this point, we need a '.'.
1290 if (CurPtr[0] != '.') {
1291 CurPtr = TokStart + 1;
1292 return lltok::Error;
1293 }
1294
1295 ++CurPtr;
1296
1297 // Skip over [0-9]*([eE][-+]?[0-9]+)?
1298 while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
1299
1300 if (CurPtr[0] == 'e' || CurPtr[0] == 'E') {
1301 if (isdigit(static_cast<unsigned char>(CurPtr[1])) ||
1302 ((CurPtr[1] == '-' || CurPtr[1] == '+') &&
1303 isdigit(static_cast<unsigned char>(CurPtr[2])))) {
1304 CurPtr += 2;
1305 while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
1306 }
1307 }
1308
1309 StrVal.assign(TokStart, CurPtr - TokStart);
1310 return lltok::FloatLiteral;
1311}
1312
1313/// Lex all tokens that start with a + or - that could be a float literal.
1314/// HexFPLiteral [-+]?0x[0-9A-Fa-f]+.[0-9A-Fa-f]*[pP][-+]?[0-9]+
1315/// HexFPSpecial [-+](inf|qnan|s?nan\‍(0x[0-9A-Fa-f]+\‍))
1316lltok::Kind LLLexer::LexFloatStr() {
1317 // At the point we enter this function, we may have seen a few characters
1318 // already, but how many differs based on the entry point. Rewind to the
1319 // beginning just in case.
1320 CurPtr = TokStart;
1321
1322 // Check for optional sign.
1323 if (*CurPtr == '-' || *CurPtr == '+')
1324 ++CurPtr;
1325
1326 if (*CurPtr != '0') {
1327 // Check for keywords.
1328 const char *LabelStart = CurPtr;
1329 while (isLabelChar(*CurPtr))
1330 ++CurPtr;
1331 StringRef Label(LabelStart, CurPtr - LabelStart);
1332
1333 // Basic special values.
1334 if (Label == "inf") {
1335 // Copy from the beginning, to include the sign.
1336 StrVal.assign(TokStart, CurPtr - TokStart);
1337 return lltok::FloatLiteral;
1338 }
1339
1340 // APFloat::convertFromString doesn't support qnan, so translate it to a
1341 // nan payload string it does support.
1342 if (Label == "qnan") {
1343 StrVal = *TokStart == '-' ? "-nan(0)" : "nan(0)";
1344 return lltok::FloatLiteral;
1345 }
1346
1347 // NaN with payload.
1348 if ((Label == "nan" || Label == "snan") && *CurPtr == '(') {
1349 const char *Payload = ++CurPtr;
1350 while (*CurPtr && *CurPtr != ')')
1351 ++CurPtr;
1352
1353 // If no close parenthesis, it's a bad token, return it as an error.
1354 if (*CurPtr++ != ')') {
1355 CurPtr = TokStart + 1;
1356 LexError("unclosed nan literal");
1357 return lltok::Error;
1358 }
1359
1360 StringRef PayloadStr(Payload, CurPtr - Payload);
1361 APInt Val;
1362 if (PayloadStr.consume_front("0x") && PayloadStr.getAsInteger(16, Val)) {
1363 StrVal.assign(TokStart, CurPtr - TokStart);
1364 // Drop the leading + from the string, as APFloat::convertFromString
1365 // doesn't support leading + sign.
1366 if (StrVal[0] == '+')
1367 StrVal.erase(0, 1);
1368 return lltok::FloatLiteral;
1369 }
1370 }
1371
1372 // Bad token, return it as an error.
1373 LexError("bad payload format for nan literal");
1374 CurPtr = TokStart + 1;
1375 return lltok::Error;
1376 }
1377 ++CurPtr;
1378
1379 if (*CurPtr++ != 'x') {
1380 // Bad token, return it as an error.
1381 CurPtr = TokStart + 1;
1382 return lltok::Error;
1383 }
1384
1385 if (!isxdigit(static_cast<unsigned char>(CurPtr[0]))) {
1386 // Bad token, return it as an error.
1387 CurPtr = TokStart + 1;
1388 return lltok::Error;
1389 }
1390
1391 while (isxdigit(static_cast<unsigned char>(CurPtr[0])))
1392 ++CurPtr;
1393
1394 if (*CurPtr != '.') {
1395 // Bad token, return it as an error.
1396 CurPtr = TokStart + 1;
1397 return lltok::Error;
1398 }
1399
1400 ++CurPtr; // Eat the .
1401 while (isxdigit(static_cast<unsigned char>(CurPtr[0])))
1402 ++CurPtr;
1403
1404 if (*CurPtr != 'p' && *CurPtr != 'P') {
1405 // Bad token, return it as an error.
1406 CurPtr = TokStart + 1;
1407 return lltok::Error;
1408 }
1409
1410 ++CurPtr;
1411 if (*CurPtr == '+' || *CurPtr == '-')
1412 ++CurPtr;
1413 while (isdigit(static_cast<unsigned char>(CurPtr[0])))
1414 ++CurPtr;
1415
1416 StrVal.assign(TokStart, CurPtr - TokStart);
1417 return lltok::FloatLiteral;
1418}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned uint64_t
AMDGPU Mark last scratch load
AMDGPU Register Bank Select
Rewrite undef for PHI
This file implements a class to represent arbitrary precision integral constant values and operations...
static void cleanup(BlockFrequencyInfoImplBase &BFI)
Clear all memory not needed downstream.
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static void zero(T &Obj)
expand ir insts
static void UnEscapeLexed(std::string &Str)
Definition LLLexer.cpp:126
static const char * isLabelTail(const char *CurPtr)
isLabelTail - Return true if this pointer points to a valid end of a label.
Definition LLLexer.cpp:159
#define DBGRECORDTYPEKEYWORD(STR)
static bool isLabelChar(char C)
isLabelChar - Return true for [-a-zA-Z$._0-9].
Definition LLLexer.cpp:153
#define TYPEKEYWORD(STR, LLVMTY)
#define DWKEYWORD(TYPE, TOKEN)
#define INSTKEYWORD(STR, Enum)
#define KEYWORD(STR)
lazy value info
nvptx lower args
objc arc contract
static constexpr auto TAG
dot regions Print regions of function to dot true view regions View regions of function(with no function bodies)"
const char * Msg
This file contains some templates that are useful if you are working with the STL at all.
static const char * name
#define OP(OPC)
Definition Instruction.h:46
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
Definition Value.cpp:484
This file contains some functions that are useful when dealing with strings.
static uint64_t allOnes(unsigned int Count)
static const fltSemantics & IEEEdouble()
Definition APFloat.h:305
static LLVM_ABI ByteType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing a ByteType.
Definition Type.cpp:368
Lightweight error class with error context and mandatory checking.
Definition Error.h:159
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition Type.cpp:338
@ MIN_INT_BITS
Minimum number of bits that can be specified.
@ MAX_INT_BITS
Maximum number of bits that can be specified.
LLVM_ABI void Warning(LocTy WarningLoc, const Twine &Msg) const
Definition LLLexer.cpp:45
LLVM_ABI LLLexer(StringRef StartBuf, SourceMgr &SM, SMDiagnostic &, LLVMContext &C)
Definition LLLexer.cpp:171
SMLoc LocTy
Definition LLLexer.h:70
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
static PointerType * getUnqual(LLVMContext &C)
This constructs an opaque pointer to an object in the default address space (address space zero).
Instances of this class encapsulate one diagnostic report, allowing printing to a raw_ostream as a ca...
Definition SourceMgr.h:305
This owns the files read by a parser, handles include stacks, and handles diagnostic wrangling.
Definition SourceMgr.h:34
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
iterator end() const
Definition StringRef.h:116
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
static LLVM_ABI Type * getX86_AMXTy(LLVMContext &C)
Definition Type.cpp:283
static LLVM_ABI Type * getMetadataTy(LLVMContext &C)
Definition Type.cpp:278
static LLVM_ABI Type * getTokenTy(LLVMContext &C)
Definition Type.cpp:279
static LLVM_ABI Type * getPPC_FP128Ty(LLVMContext &C)
Definition Type.cpp:282
static LLVM_ABI Type * getFP128Ty(LLVMContext &C)
Definition Type.cpp:281
static LLVM_ABI Type * getLabelTy(LLVMContext &C)
Definition Type.cpp:273
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
Definition Type.cpp:272
static LLVM_ABI Type * getDoubleTy(LLVMContext &C)
Definition Type.cpp:277
static LLVM_ABI Type * getX86_FP80Ty(LLVMContext &C)
Definition Type.cpp:280
static LLVM_ABI Type * getFloatTy(LLVMContext &C)
Definition Type.cpp:276
static LLVM_ABI Type * getBFloatTy(LLVMContext &C)
Definition Type.cpp:275
static LLVM_ABI Type * getHalfTy(LLVMContext &C)
Definition Type.cpp:274
CallInst * Call
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ FloatHexLiteral
Definition LLToken.h:534
@ StringConstant
Definition LLToken.h:511
@ NameTableKind
Definition LLToken.h:520
@ FixedPointKind
Definition LLToken.h:521
This is an optimization pass for GlobalISel generic memory operations.
std::tuple< const DIScope *, const DIScope *, const DILocalVariable * > VarID
A unique key that represents a debug variable.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1755
unsigned hexDigitValue(char C)
Interpret the given character C as a hexadecimal digit and return its value.
@ Load
The value being inserted comes from a load (InsertElement only).
@ Store
The extracted value is stored (ExtractElement only).
constexpr NextUseDistance min(NextUseDistance A, NextUseDistance B)
constexpr std::invoke_result_t< FnT, ArgsT... > invoke(FnT &&Fn, ArgsT &&...Args)
C++20 constexpr invoke.
static void assign(DXContainerYAML::SourceInfo::SectionHeader &Dst, const dxbc::SourceInfo::SectionHeader &Src)
LLVM_ABI FPClassTest fneg(FPClassTest Mask)
Return the test mask which returns true if the value's sign bit is flipped.
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
Definition MathExtras.h:190
constexpr NextUseDistance max(NextUseDistance A, NextUseDistance B)
@ Or
Bitwise or logical OR of integers.
@ Mul
Product of integers.
@ FSub
Subtraction of floats.
@ Xor
Bitwise or logical XOR of integers.
@ FMul
Product of floats.
@ And
Bitwise or logical AND of integers.
@ Sub
Subtraction of integers.
@ Add
Sum of integers.
@ FAdd
Sum of floats.
auto partition(R &&Range, UnaryPredicate P)
Provide wrappers to std::partition which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:2049
LLVM_ABI Error write(DWPWriter &Out, ArrayRef< std::string > Inputs, OnCuIndexOverflow OverflowOptValue, Dwarf64StrOffsetsPromotion StrOffsetsOptValue, raw_pwrite_stream *OS=nullptr)
Definition DWP.cpp:746