Tidy up. Update per naming conventions.
[oota-llvm.git] / lib / AsmParser / LLLexer.cpp
1 //===- LLLexer.cpp - Lexer for .ll Files ----------------------------------===//
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 // Implement the Lexer for .ll files.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "LLLexer.h"
15 #include "llvm/ADT/StringExtras.h"
16 #include "llvm/ADT/Twine.h"
17 #include "llvm/AsmParser/Parser.h"
18 #include "llvm/IR/DerivedTypes.h"
19 #include "llvm/IR/Instruction.h"
20 #include "llvm/IR/LLVMContext.h"
21 #include "llvm/Support/ErrorHandling.h"
22 #include "llvm/Support/MathExtras.h"
23 #include "llvm/Support/MemoryBuffer.h"
24 #include "llvm/Support/SourceMgr.h"
25 #include "llvm/Support/raw_ostream.h"
26 #include <cctype>
27 #include <cstdio>
28 #include <cstdlib>
29 #include <cstring>
30 using namespace llvm;
31
32 bool LLLexer::Error(LocTy ErrorLoc, const Twine &Msg) const {
33   ErrorInfo = SM.GetMessage(ErrorLoc, SourceMgr::DK_Error, Msg);
34   return true;
35 }
36
37 //===----------------------------------------------------------------------===//
38 // Helper functions.
39 //===----------------------------------------------------------------------===//
40
41 // atoull - Convert an ascii string of decimal digits into the unsigned long
42 // long representation... this does not have to do input error checking,
43 // because we know that the input will be matched by a suitable regex...
44 //
45 uint64_t LLLexer::atoull(const char *Buffer, const char *End) {
46   uint64_t Result = 0;
47   for (; Buffer != End; Buffer++) {
48     uint64_t OldRes = Result;
49     Result *= 10;
50     Result += *Buffer-'0';
51     if (Result < OldRes) {  // Uh, oh, overflow detected!!!
52       Error("constant bigger than 64 bits detected!");
53       return 0;
54     }
55   }
56   return Result;
57 }
58
59 uint64_t LLLexer::HexIntToVal(const char *Buffer, const char *End) {
60   uint64_t Result = 0;
61   for (; Buffer != End; ++Buffer) {
62     uint64_t OldRes = Result;
63     Result *= 16;
64     Result += hexDigitValue(*Buffer);
65
66     if (Result < OldRes) {   // Uh, oh, overflow detected!!!
67       Error("constant bigger than 64 bits detected!");
68       return 0;
69     }
70   }
71   return Result;
72 }
73
74 void LLLexer::HexToIntPair(const char *Buffer, const char *End,
75                            uint64_t Pair[2]) {
76   Pair[0] = 0;
77   for (int i=0; i<16; i++, Buffer++) {
78     assert(Buffer != End);
79     Pair[0] *= 16;
80     Pair[0] += hexDigitValue(*Buffer);
81   }
82   Pair[1] = 0;
83   for (int i=0; i<16 && Buffer != End; i++, Buffer++) {
84     Pair[1] *= 16;
85     Pair[1] += hexDigitValue(*Buffer);
86   }
87   if (Buffer != End)
88     Error("constant bigger than 128 bits detected!");
89 }
90
91 /// FP80HexToIntPair - translate an 80 bit FP80 number (20 hexits) into
92 /// { low64, high16 } as usual for an APInt.
93 void LLLexer::FP80HexToIntPair(const char *Buffer, const char *End,
94                            uint64_t Pair[2]) {
95   Pair[1] = 0;
96   for (int i=0; i<4 && Buffer != End; i++, Buffer++) {
97     assert(Buffer != End);
98     Pair[1] *= 16;
99     Pair[1] += hexDigitValue(*Buffer);
100   }
101   Pair[0] = 0;
102   for (int i=0; i<16; i++, Buffer++) {
103     Pair[0] *= 16;
104     Pair[0] += hexDigitValue(*Buffer);
105   }
106   if (Buffer != End)
107     Error("constant bigger than 128 bits detected!");
108 }
109
110 // UnEscapeLexed - Run through the specified buffer and change \xx codes to the
111 // appropriate character.
112 static void UnEscapeLexed(std::string &Str) {
113   if (Str.empty()) return;
114
115   char *Buffer = &Str[0], *EndBuffer = Buffer+Str.size();
116   char *BOut = Buffer;
117   for (char *BIn = Buffer; BIn != EndBuffer; ) {
118     if (BIn[0] == '\\') {
119       if (BIn < EndBuffer-1 && BIn[1] == '\\') {
120         *BOut++ = '\\'; // Two \ becomes one
121         BIn += 2;
122       } else if (BIn < EndBuffer-2 &&
123                  isxdigit(static_cast<unsigned char>(BIn[1])) &&
124                  isxdigit(static_cast<unsigned char>(BIn[2]))) {
125         *BOut = hexDigitValue(BIn[1]) * 16 + hexDigitValue(BIn[2]);
126         BIn += 3;                           // Skip over handled chars
127         ++BOut;
128       } else {
129         *BOut++ = *BIn++;
130       }
131     } else {
132       *BOut++ = *BIn++;
133     }
134   }
135   Str.resize(BOut-Buffer);
136 }
137
138 /// isLabelChar - Return true for [-a-zA-Z$._0-9].
139 static bool isLabelChar(char C) {
140   return isalnum(static_cast<unsigned char>(C)) || C == '-' || C == '$' ||
141          C == '.' || C == '_';
142 }
143
144
145 /// isLabelTail - Return true if this pointer points to a valid end of a label.
146 static const char *isLabelTail(const char *CurPtr) {
147   while (1) {
148     if (CurPtr[0] == ':') return CurPtr+1;
149     if (!isLabelChar(CurPtr[0])) return 0;
150     ++CurPtr;
151   }
152 }
153
154
155
156 //===----------------------------------------------------------------------===//
157 // Lexer definition.
158 //===----------------------------------------------------------------------===//
159
160 LLLexer::LLLexer(MemoryBuffer *StartBuf, SourceMgr &sm, SMDiagnostic &Err,
161                  LLVMContext &C)
162   : CurBuf(StartBuf), ErrorInfo(Err), SM(sm), Context(C), APFloatVal(0.0) {
163   CurPtr = CurBuf->getBufferStart();
164 }
165
166 std::string LLLexer::getFilename() const {
167   return CurBuf->getBufferIdentifier();
168 }
169
170 int LLLexer::getNextChar() {
171   char CurChar = *CurPtr++;
172   switch (CurChar) {
173   default: return (unsigned char)CurChar;
174   case 0:
175     // A nul character in the stream is either the end of the current buffer or
176     // a random nul in the file.  Disambiguate that here.
177     if (CurPtr-1 != CurBuf->getBufferEnd())
178       return 0;  // Just whitespace.
179
180     // Otherwise, return end of file.
181     --CurPtr;  // Another call to lex will return EOF again.
182     return EOF;
183   }
184 }
185
186
187 lltok::Kind LLLexer::LexToken() {
188   TokStart = CurPtr;
189
190   int CurChar = getNextChar();
191   switch (CurChar) {
192   default:
193     // Handle letters: [a-zA-Z_]
194     if (isalpha(static_cast<unsigned char>(CurChar)) || CurChar == '_')
195       return LexIdentifier();
196
197     return lltok::Error;
198   case EOF: return lltok::Eof;
199   case 0:
200   case ' ':
201   case '\t':
202   case '\n':
203   case '\r':
204     // Ignore whitespace.
205     return LexToken();
206   case '+': return LexPositive();
207   case '@': return LexAt();
208   case '%': return LexPercent();
209   case '"': return LexQuote();
210   case '.':
211     if (const char *Ptr = isLabelTail(CurPtr)) {
212       CurPtr = Ptr;
213       StrVal.assign(TokStart, CurPtr-1);
214       return lltok::LabelStr;
215     }
216     if (CurPtr[0] == '.' && CurPtr[1] == '.') {
217       CurPtr += 2;
218       return lltok::dotdotdot;
219     }
220     return lltok::Error;
221   case '$':
222     if (const char *Ptr = isLabelTail(CurPtr)) {
223       CurPtr = Ptr;
224       StrVal.assign(TokStart, CurPtr-1);
225       return lltok::LabelStr;
226     }
227     return lltok::Error;
228   case ';':
229     SkipLineComment();
230     return LexToken();
231   case '!': return LexExclaim();
232   case '#': return LexHash();
233   case '0': case '1': case '2': case '3': case '4':
234   case '5': case '6': case '7': case '8': case '9':
235   case '-':
236     return LexDigitOrNegative();
237   case '=': return lltok::equal;
238   case '[': return lltok::lsquare;
239   case ']': return lltok::rsquare;
240   case '{': return lltok::lbrace;
241   case '}': return lltok::rbrace;
242   case '<': return lltok::less;
243   case '>': return lltok::greater;
244   case '(': return lltok::lparen;
245   case ')': return lltok::rparen;
246   case ',': return lltok::comma;
247   case '*': return lltok::star;
248   case '\\': return lltok::backslash;
249   }
250 }
251
252 void LLLexer::SkipLineComment() {
253   while (1) {
254     if (CurPtr[0] == '\n' || CurPtr[0] == '\r' || getNextChar() == EOF)
255       return;
256   }
257 }
258
259 /// LexAt - Lex all tokens that start with an @ character:
260 ///   GlobalVar   @\"[^\"]*\"
261 ///   GlobalVar   @[-a-zA-Z$._][-a-zA-Z$._0-9]*
262 ///   GlobalVarID @[0-9]+
263 lltok::Kind LLLexer::LexAt() {
264   // Handle AtStringConstant: @\"[^\"]*\"
265   if (CurPtr[0] == '"') {
266     ++CurPtr;
267
268     while (1) {
269       int CurChar = getNextChar();
270
271       if (CurChar == EOF) {
272         Error("end of file in global variable name");
273         return lltok::Error;
274       }
275       if (CurChar == '"') {
276         StrVal.assign(TokStart+2, CurPtr-1);
277         UnEscapeLexed(StrVal);
278         if (StringRef(StrVal).find_first_of(0) != StringRef::npos) {
279           Error("Null bytes are not allowed in names");
280           return lltok::Error;
281         }
282         return lltok::GlobalVar;
283       }
284     }
285   }
286
287   // Handle GlobalVarName: @[-a-zA-Z$._][-a-zA-Z$._0-9]*
288   if (ReadVarName())
289     return lltok::GlobalVar;
290
291   // Handle GlobalVarID: @[0-9]+
292   if (isdigit(static_cast<unsigned char>(CurPtr[0]))) {
293     for (++CurPtr; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
294       /*empty*/;
295
296     uint64_t Val = atoull(TokStart+1, CurPtr);
297     if ((unsigned)Val != Val)
298       Error("invalid value number (too large)!");
299     UIntVal = unsigned(Val);
300     return lltok::GlobalID;
301   }
302
303   return lltok::Error;
304 }
305
306 /// ReadString - Read a string until the closing quote.
307 lltok::Kind LLLexer::ReadString(lltok::Kind kind) {
308   const char *Start = CurPtr;
309   while (1) {
310     int CurChar = getNextChar();
311
312     if (CurChar == EOF) {
313       Error("end of file in string constant");
314       return lltok::Error;
315     }
316     if (CurChar == '"') {
317       StrVal.assign(Start, CurPtr-1);
318       UnEscapeLexed(StrVal);
319       return kind;
320     }
321   }
322 }
323
324 /// ReadVarName - Read the rest of a token containing a variable name.
325 bool LLLexer::ReadVarName() {
326   const char *NameStart = CurPtr;
327   if (isalpha(static_cast<unsigned char>(CurPtr[0])) ||
328       CurPtr[0] == '-' || CurPtr[0] == '$' ||
329       CurPtr[0] == '.' || CurPtr[0] == '_') {
330     ++CurPtr;
331     while (isalnum(static_cast<unsigned char>(CurPtr[0])) ||
332            CurPtr[0] == '-' || CurPtr[0] == '$' ||
333            CurPtr[0] == '.' || CurPtr[0] == '_')
334       ++CurPtr;
335
336     StrVal.assign(NameStart, CurPtr);
337     return true;
338   }
339   return false;
340 }
341
342 /// LexPercent - Lex all tokens that start with a % character:
343 ///   LocalVar   ::= %\"[^\"]*\"
344 ///   LocalVar   ::= %[-a-zA-Z$._][-a-zA-Z$._0-9]*
345 ///   LocalVarID ::= %[0-9]+
346 lltok::Kind LLLexer::LexPercent() {
347   // Handle LocalVarName: %\"[^\"]*\"
348   if (CurPtr[0] == '"') {
349     ++CurPtr;
350     return ReadString(lltok::LocalVar);
351   }
352
353   // Handle LocalVarName: %[-a-zA-Z$._][-a-zA-Z$._0-9]*
354   if (ReadVarName())
355     return lltok::LocalVar;
356
357   // Handle LocalVarID: %[0-9]+
358   if (isdigit(static_cast<unsigned char>(CurPtr[0]))) {
359     for (++CurPtr; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
360       /*empty*/;
361
362     uint64_t Val = atoull(TokStart+1, CurPtr);
363     if ((unsigned)Val != Val)
364       Error("invalid value number (too large)!");
365     UIntVal = unsigned(Val);
366     return lltok::LocalVarID;
367   }
368
369   return lltok::Error;
370 }
371
372 /// LexQuote - Lex all tokens that start with a " character:
373 ///   QuoteLabel        "[^"]+":
374 ///   StringConstant    "[^"]*"
375 lltok::Kind LLLexer::LexQuote() {
376   lltok::Kind kind = ReadString(lltok::StringConstant);
377   if (kind == lltok::Error || kind == lltok::Eof)
378     return kind;
379
380   if (CurPtr[0] == ':') {
381     ++CurPtr;
382     kind = lltok::LabelStr;
383   }
384
385   return kind;
386 }
387
388 /// LexExclaim:
389 ///    !foo
390 ///    !
391 lltok::Kind LLLexer::LexExclaim() {
392   // Lex a metadata name as a MetadataVar.
393   if (isalpha(static_cast<unsigned char>(CurPtr[0])) ||
394       CurPtr[0] == '-' || CurPtr[0] == '$' ||
395       CurPtr[0] == '.' || CurPtr[0] == '_' || CurPtr[0] == '\\') {
396     ++CurPtr;
397     while (isalnum(static_cast<unsigned char>(CurPtr[0])) ||
398            CurPtr[0] == '-' || CurPtr[0] == '$' ||
399            CurPtr[0] == '.' || CurPtr[0] == '_' || CurPtr[0] == '\\')
400       ++CurPtr;
401
402     StrVal.assign(TokStart+1, CurPtr);   // Skip !
403     UnEscapeLexed(StrVal);
404     return lltok::MetadataVar;
405   }
406   return lltok::exclaim;
407 }
408
409 /// LexHash - Lex all tokens that start with a # character:
410 ///    AttrGrpID ::= #[0-9]+
411 lltok::Kind LLLexer::LexHash() {
412   // Handle AttrGrpID: #[0-9]+
413   if (isdigit(static_cast<unsigned char>(CurPtr[0]))) {
414     for (++CurPtr; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
415       /*empty*/;
416
417     uint64_t Val = atoull(TokStart+1, CurPtr);
418     if ((unsigned)Val != Val)
419       Error("invalid value number (too large)!");
420     UIntVal = unsigned(Val);
421     return lltok::AttrGrpID;
422   }
423
424   return lltok::Error;
425 }
426
427 /// LexIdentifier: Handle several related productions:
428 ///    Label           [-a-zA-Z$._0-9]+:
429 ///    IntegerType     i[0-9]+
430 ///    Keyword         sdiv, float, ...
431 ///    HexIntConstant  [us]0x[0-9A-Fa-f]+
432 lltok::Kind LLLexer::LexIdentifier() {
433   const char *StartChar = CurPtr;
434   const char *IntEnd = CurPtr[-1] == 'i' ? 0 : StartChar;
435   const char *KeywordEnd = 0;
436
437   for (; isLabelChar(*CurPtr); ++CurPtr) {
438     // If we decide this is an integer, remember the end of the sequence.
439     if (!IntEnd && !isdigit(static_cast<unsigned char>(*CurPtr)))
440       IntEnd = CurPtr;
441     if (!KeywordEnd && !isalnum(static_cast<unsigned char>(*CurPtr)) &&
442         *CurPtr != '_')
443       KeywordEnd = CurPtr;
444   }
445
446   // If we stopped due to a colon, this really is a label.
447   if (*CurPtr == ':') {
448     StrVal.assign(StartChar-1, CurPtr++);
449     return lltok::LabelStr;
450   }
451
452   // Otherwise, this wasn't a label.  If this was valid as an integer type,
453   // return it.
454   if (IntEnd == 0) IntEnd = CurPtr;
455   if (IntEnd != StartChar) {
456     CurPtr = IntEnd;
457     uint64_t NumBits = atoull(StartChar, CurPtr);
458     if (NumBits < IntegerType::MIN_INT_BITS ||
459         NumBits > IntegerType::MAX_INT_BITS) {
460       Error("bitwidth for integer type out of range!");
461       return lltok::Error;
462     }
463     TyVal = IntegerType::get(Context, NumBits);
464     return lltok::Type;
465   }
466
467   // Otherwise, this was a letter sequence.  See which keyword this is.
468   if (KeywordEnd == 0) KeywordEnd = CurPtr;
469   CurPtr = KeywordEnd;
470   --StartChar;
471   unsigned Len = CurPtr-StartChar;
472 #define KEYWORD(STR)                                                    \
473   do {                                                                  \
474     if (Len == strlen(#STR) && !memcmp(StartChar, #STR, strlen(#STR)))  \
475       return lltok::kw_##STR;                                           \
476   } while (0)
477
478   KEYWORD(true);    KEYWORD(false);
479   KEYWORD(declare); KEYWORD(define);
480   KEYWORD(global);  KEYWORD(constant);
481
482   KEYWORD(private);
483   KEYWORD(internal);
484   KEYWORD(available_externally);
485   KEYWORD(linkonce);
486   KEYWORD(linkonce_odr);
487   KEYWORD(weak);
488   KEYWORD(weak_odr);
489   KEYWORD(appending);
490   KEYWORD(dllimport);
491   KEYWORD(dllexport);
492   KEYWORD(common);
493   KEYWORD(default);
494   KEYWORD(hidden);
495   KEYWORD(protected);
496   KEYWORD(unnamed_addr);
497   KEYWORD(externally_initialized);
498   KEYWORD(extern_weak);
499   KEYWORD(external);
500   KEYWORD(thread_local);
501   KEYWORD(localdynamic);
502   KEYWORD(initialexec);
503   KEYWORD(localexec);
504   KEYWORD(zeroinitializer);
505   KEYWORD(undef);
506   KEYWORD(null);
507   KEYWORD(to);
508   KEYWORD(tail);
509   KEYWORD(target);
510   KEYWORD(triple);
511   KEYWORD(unwind);
512   KEYWORD(deplibs);             // FIXME: Remove in 4.0.
513   KEYWORD(datalayout);
514   KEYWORD(volatile);
515   KEYWORD(atomic);
516   KEYWORD(unordered);
517   KEYWORD(monotonic);
518   KEYWORD(acquire);
519   KEYWORD(release);
520   KEYWORD(acq_rel);
521   KEYWORD(seq_cst);
522   KEYWORD(singlethread);
523
524   KEYWORD(nnan);
525   KEYWORD(ninf);
526   KEYWORD(nsz);
527   KEYWORD(arcp);
528   KEYWORD(fast);
529   KEYWORD(nuw);
530   KEYWORD(nsw);
531   KEYWORD(exact);
532   KEYWORD(inbounds);
533   KEYWORD(align);
534   KEYWORD(addrspace);
535   KEYWORD(section);
536   KEYWORD(alias);
537   KEYWORD(module);
538   KEYWORD(asm);
539   KEYWORD(sideeffect);
540   KEYWORD(alignstack);
541   KEYWORD(inteldialect);
542   KEYWORD(gc);
543   KEYWORD(prefix);
544
545   KEYWORD(ccc);
546   KEYWORD(fastcc);
547   KEYWORD(coldcc);
548   KEYWORD(x86_stdcallcc);
549   KEYWORD(x86_fastcallcc);
550   KEYWORD(x86_thiscallcc);
551   KEYWORD(x86_cdeclmethodcc);
552   KEYWORD(arm_apcscc);
553   KEYWORD(arm_aapcscc);
554   KEYWORD(arm_aapcs_vfpcc);
555   KEYWORD(msp430_intrcc);
556   KEYWORD(ptx_kernel);
557   KEYWORD(ptx_device);
558   KEYWORD(spir_kernel);
559   KEYWORD(spir_func);
560   KEYWORD(intel_ocl_bicc);
561   KEYWORD(x86_64_sysvcc);
562   KEYWORD(x86_64_win64cc);
563   KEYWORD(webkit_jscc);
564   KEYWORD(anyregcc);
565   KEYWORD(preserve_mostcc);
566   KEYWORD(preserve_allcc);
567
568   KEYWORD(cc);
569   KEYWORD(c);
570
571   KEYWORD(attributes);
572
573   KEYWORD(alwaysinline);
574   KEYWORD(builtin);
575   KEYWORD(byval);
576   KEYWORD(inalloca);
577   KEYWORD(cold);
578   KEYWORD(inlinehint);
579   KEYWORD(inreg);
580   KEYWORD(minsize);
581   KEYWORD(naked);
582   KEYWORD(nest);
583   KEYWORD(noalias);
584   KEYWORD(nobuiltin);
585   KEYWORD(nocapture);
586   KEYWORD(noduplicate);
587   KEYWORD(noimplicitfloat);
588   KEYWORD(noinline);
589   KEYWORD(nonlazybind);
590   KEYWORD(noredzone);
591   KEYWORD(noreturn);
592   KEYWORD(nounwind);
593   KEYWORD(optnone);
594   KEYWORD(optsize);
595   KEYWORD(readnone);
596   KEYWORD(readonly);
597   KEYWORD(returned);
598   KEYWORD(returns_twice);
599   KEYWORD(signext);
600   KEYWORD(sret);
601   KEYWORD(ssp);
602   KEYWORD(sspreq);
603   KEYWORD(sspstrong);
604   KEYWORD(sanitize_address);
605   KEYWORD(sanitize_thread);
606   KEYWORD(sanitize_memory);
607   KEYWORD(uwtable);
608   KEYWORD(zeroext);
609
610   KEYWORD(type);
611   KEYWORD(opaque);
612
613   KEYWORD(eq); KEYWORD(ne); KEYWORD(slt); KEYWORD(sgt); KEYWORD(sle);
614   KEYWORD(sge); KEYWORD(ult); KEYWORD(ugt); KEYWORD(ule); KEYWORD(uge);
615   KEYWORD(oeq); KEYWORD(one); KEYWORD(olt); KEYWORD(ogt); KEYWORD(ole);
616   KEYWORD(oge); KEYWORD(ord); KEYWORD(uno); KEYWORD(ueq); KEYWORD(une);
617
618   KEYWORD(xchg); KEYWORD(nand); KEYWORD(max); KEYWORD(min); KEYWORD(umax);
619   KEYWORD(umin);
620
621   KEYWORD(x);
622   KEYWORD(blockaddress);
623
624   KEYWORD(personality);
625   KEYWORD(cleanup);
626   KEYWORD(catch);
627   KEYWORD(filter);
628 #undef KEYWORD
629
630   // Keywords for types.
631 #define TYPEKEYWORD(STR, LLVMTY) \
632   if (Len == strlen(STR) && !memcmp(StartChar, STR, strlen(STR))) { \
633     TyVal = LLVMTY; return lltok::Type; }
634   TYPEKEYWORD("void",      Type::getVoidTy(Context));
635   TYPEKEYWORD("half",      Type::getHalfTy(Context));
636   TYPEKEYWORD("float",     Type::getFloatTy(Context));
637   TYPEKEYWORD("double",    Type::getDoubleTy(Context));
638   TYPEKEYWORD("x86_fp80",  Type::getX86_FP80Ty(Context));
639   TYPEKEYWORD("fp128",     Type::getFP128Ty(Context));
640   TYPEKEYWORD("ppc_fp128", Type::getPPC_FP128Ty(Context));
641   TYPEKEYWORD("label",     Type::getLabelTy(Context));
642   TYPEKEYWORD("metadata",  Type::getMetadataTy(Context));
643   TYPEKEYWORD("x86_mmx",   Type::getX86_MMXTy(Context));
644 #undef TYPEKEYWORD
645
646   // Keywords for instructions.
647 #define INSTKEYWORD(STR, Enum) \
648   if (Len == strlen(#STR) && !memcmp(StartChar, #STR, strlen(#STR))) { \
649     UIntVal = Instruction::Enum; return lltok::kw_##STR; }
650
651   INSTKEYWORD(add,   Add);  INSTKEYWORD(fadd,   FAdd);
652   INSTKEYWORD(sub,   Sub);  INSTKEYWORD(fsub,   FSub);
653   INSTKEYWORD(mul,   Mul);  INSTKEYWORD(fmul,   FMul);
654   INSTKEYWORD(udiv,  UDiv); INSTKEYWORD(sdiv,  SDiv); INSTKEYWORD(fdiv,  FDiv);
655   INSTKEYWORD(urem,  URem); INSTKEYWORD(srem,  SRem); INSTKEYWORD(frem,  FRem);
656   INSTKEYWORD(shl,   Shl);  INSTKEYWORD(lshr,  LShr); INSTKEYWORD(ashr,  AShr);
657   INSTKEYWORD(and,   And);  INSTKEYWORD(or,    Or);   INSTKEYWORD(xor,   Xor);
658   INSTKEYWORD(icmp,  ICmp); INSTKEYWORD(fcmp,  FCmp);
659
660   INSTKEYWORD(phi,         PHI);
661   INSTKEYWORD(call,        Call);
662   INSTKEYWORD(trunc,       Trunc);
663   INSTKEYWORD(zext,        ZExt);
664   INSTKEYWORD(sext,        SExt);
665   INSTKEYWORD(fptrunc,     FPTrunc);
666   INSTKEYWORD(fpext,       FPExt);
667   INSTKEYWORD(uitofp,      UIToFP);
668   INSTKEYWORD(sitofp,      SIToFP);
669   INSTKEYWORD(fptoui,      FPToUI);
670   INSTKEYWORD(fptosi,      FPToSI);
671   INSTKEYWORD(inttoptr,    IntToPtr);
672   INSTKEYWORD(ptrtoint,    PtrToInt);
673   INSTKEYWORD(bitcast,     BitCast);
674   INSTKEYWORD(addrspacecast, AddrSpaceCast);
675   INSTKEYWORD(select,      Select);
676   INSTKEYWORD(va_arg,      VAArg);
677   INSTKEYWORD(ret,         Ret);
678   INSTKEYWORD(br,          Br);
679   INSTKEYWORD(switch,      Switch);
680   INSTKEYWORD(indirectbr,  IndirectBr);
681   INSTKEYWORD(invoke,      Invoke);
682   INSTKEYWORD(resume,      Resume);
683   INSTKEYWORD(unreachable, Unreachable);
684
685   INSTKEYWORD(alloca,      Alloca);
686   INSTKEYWORD(load,        Load);
687   INSTKEYWORD(store,       Store);
688   INSTKEYWORD(cmpxchg,     AtomicCmpXchg);
689   INSTKEYWORD(atomicrmw,   AtomicRMW);
690   INSTKEYWORD(fence,       Fence);
691   INSTKEYWORD(getelementptr, GetElementPtr);
692
693   INSTKEYWORD(extractelement, ExtractElement);
694   INSTKEYWORD(insertelement,  InsertElement);
695   INSTKEYWORD(shufflevector,  ShuffleVector);
696   INSTKEYWORD(extractvalue,   ExtractValue);
697   INSTKEYWORD(insertvalue,    InsertValue);
698   INSTKEYWORD(landingpad,     LandingPad);
699 #undef INSTKEYWORD
700
701   // Check for [us]0x[0-9A-Fa-f]+ which are Hexadecimal constant generated by
702   // the CFE to avoid forcing it to deal with 64-bit numbers.
703   if ((TokStart[0] == 'u' || TokStart[0] == 's') &&
704       TokStart[1] == '0' && TokStart[2] == 'x' &&
705       isxdigit(static_cast<unsigned char>(TokStart[3]))) {
706     int len = CurPtr-TokStart-3;
707     uint32_t bits = len * 4;
708     APInt Tmp(bits, StringRef(TokStart+3, len), 16);
709     uint32_t activeBits = Tmp.getActiveBits();
710     if (activeBits > 0 && activeBits < bits)
711       Tmp = Tmp.trunc(activeBits);
712     APSIntVal = APSInt(Tmp, TokStart[0] == 'u');
713     return lltok::APSInt;
714   }
715
716   // If this is "cc1234", return this as just "cc".
717   if (TokStart[0] == 'c' && TokStart[1] == 'c') {
718     CurPtr = TokStart+2;
719     return lltok::kw_cc;
720   }
721
722   // Finally, if this isn't known, return an error.
723   CurPtr = TokStart+1;
724   return lltok::Error;
725 }
726
727
728 /// Lex0x: Handle productions that start with 0x, knowing that it matches and
729 /// that this is not a label:
730 ///    HexFPConstant     0x[0-9A-Fa-f]+
731 ///    HexFP80Constant   0xK[0-9A-Fa-f]+
732 ///    HexFP128Constant  0xL[0-9A-Fa-f]+
733 ///    HexPPC128Constant 0xM[0-9A-Fa-f]+
734 ///    HexHalfConstant   0xH[0-9A-Fa-f]+
735 lltok::Kind LLLexer::Lex0x() {
736   CurPtr = TokStart + 2;
737
738   char Kind;
739   if ((CurPtr[0] >= 'K' && CurPtr[0] <= 'M') || CurPtr[0] == 'H') {
740     Kind = *CurPtr++;
741   } else {
742     Kind = 'J';
743   }
744
745   if (!isxdigit(static_cast<unsigned char>(CurPtr[0]))) {
746     // Bad token, return it as an error.
747     CurPtr = TokStart+1;
748     return lltok::Error;
749   }
750
751   while (isxdigit(static_cast<unsigned char>(CurPtr[0])))
752     ++CurPtr;
753
754   if (Kind == 'J') {
755     // HexFPConstant - Floating point constant represented in IEEE format as a
756     // hexadecimal number for when exponential notation is not precise enough.
757     // Half, Float, and double only.
758     APFloatVal = APFloat(BitsToDouble(HexIntToVal(TokStart+2, CurPtr)));
759     return lltok::APFloat;
760   }
761
762   uint64_t Pair[2];
763   switch (Kind) {
764   default: llvm_unreachable("Unknown kind!");
765   case 'K':
766     // F80HexFPConstant - x87 long double in hexadecimal format (10 bytes)
767     FP80HexToIntPair(TokStart+3, CurPtr, Pair);
768     APFloatVal = APFloat(APFloat::x87DoubleExtended, APInt(80, Pair));
769     return lltok::APFloat;
770   case 'L':
771     // F128HexFPConstant - IEEE 128-bit in hexadecimal format (16 bytes)
772     HexToIntPair(TokStart+3, CurPtr, Pair);
773     APFloatVal = APFloat(APFloat::IEEEquad, APInt(128, Pair));
774     return lltok::APFloat;
775   case 'M':
776     // PPC128HexFPConstant - PowerPC 128-bit in hexadecimal format (16 bytes)
777     HexToIntPair(TokStart+3, CurPtr, Pair);
778     APFloatVal = APFloat(APFloat::PPCDoubleDouble, APInt(128, Pair));
779     return lltok::APFloat;
780   case 'H':
781     APFloatVal = APFloat(APFloat::IEEEhalf,
782                          APInt(16,HexIntToVal(TokStart+3, CurPtr)));
783     return lltok::APFloat;
784   }
785 }
786
787 /// LexIdentifier: Handle several related productions:
788 ///    Label             [-a-zA-Z$._0-9]+:
789 ///    NInteger          -[0-9]+
790 ///    FPConstant        [-+]?[0-9]+[.][0-9]*([eE][-+]?[0-9]+)?
791 ///    PInteger          [0-9]+
792 ///    HexFPConstant     0x[0-9A-Fa-f]+
793 ///    HexFP80Constant   0xK[0-9A-Fa-f]+
794 ///    HexFP128Constant  0xL[0-9A-Fa-f]+
795 ///    HexPPC128Constant 0xM[0-9A-Fa-f]+
796 lltok::Kind LLLexer::LexDigitOrNegative() {
797   // If the letter after the negative is not a number, this is probably a label.
798   if (!isdigit(static_cast<unsigned char>(TokStart[0])) &&
799       !isdigit(static_cast<unsigned char>(CurPtr[0]))) {
800     // Okay, this is not a number after the -, it's probably a label.
801     if (const char *End = isLabelTail(CurPtr)) {
802       StrVal.assign(TokStart, End-1);
803       CurPtr = End;
804       return lltok::LabelStr;
805     }
806
807     return lltok::Error;
808   }
809
810   // At this point, it is either a label, int or fp constant.
811
812   // Skip digits, we have at least one.
813   for (; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
814     /*empty*/;
815
816   // Check to see if this really is a label afterall, e.g. "-1:".
817   if (isLabelChar(CurPtr[0]) || CurPtr[0] == ':') {
818     if (const char *End = isLabelTail(CurPtr)) {
819       StrVal.assign(TokStart, End-1);
820       CurPtr = End;
821       return lltok::LabelStr;
822     }
823   }
824
825   // If the next character is a '.', then it is a fp value, otherwise its
826   // integer.
827   if (CurPtr[0] != '.') {
828     if (TokStart[0] == '0' && TokStart[1] == 'x')
829       return Lex0x();
830     unsigned Len = CurPtr-TokStart;
831     uint32_t numBits = ((Len * 64) / 19) + 2;
832     APInt Tmp(numBits, StringRef(TokStart, Len), 10);
833     if (TokStart[0] == '-') {
834       uint32_t minBits = Tmp.getMinSignedBits();
835       if (minBits > 0 && minBits < numBits)
836         Tmp = Tmp.trunc(minBits);
837       APSIntVal = APSInt(Tmp, false);
838     } else {
839       uint32_t activeBits = Tmp.getActiveBits();
840       if (activeBits > 0 && activeBits < numBits)
841         Tmp = Tmp.trunc(activeBits);
842       APSIntVal = APSInt(Tmp, true);
843     }
844     return lltok::APSInt;
845   }
846
847   ++CurPtr;
848
849   // Skip over [0-9]*([eE][-+]?[0-9]+)?
850   while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
851
852   if (CurPtr[0] == 'e' || CurPtr[0] == 'E') {
853     if (isdigit(static_cast<unsigned char>(CurPtr[1])) ||
854         ((CurPtr[1] == '-' || CurPtr[1] == '+') &&
855           isdigit(static_cast<unsigned char>(CurPtr[2])))) {
856       CurPtr += 2;
857       while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
858     }
859   }
860
861   APFloatVal = APFloat(std::atof(TokStart));
862   return lltok::APFloat;
863 }
864
865 ///    FPConstant  [-+]?[0-9]+[.][0-9]*([eE][-+]?[0-9]+)?
866 lltok::Kind LLLexer::LexPositive() {
867   // If the letter after the negative is a number, this is probably not a
868   // label.
869   if (!isdigit(static_cast<unsigned char>(CurPtr[0])))
870     return lltok::Error;
871
872   // Skip digits.
873   for (++CurPtr; isdigit(static_cast<unsigned char>(CurPtr[0])); ++CurPtr)
874     /*empty*/;
875
876   // At this point, we need a '.'.
877   if (CurPtr[0] != '.') {
878     CurPtr = TokStart+1;
879     return lltok::Error;
880   }
881
882   ++CurPtr;
883
884   // Skip over [0-9]*([eE][-+]?[0-9]+)?
885   while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
886
887   if (CurPtr[0] == 'e' || CurPtr[0] == 'E') {
888     if (isdigit(static_cast<unsigned char>(CurPtr[1])) ||
889         ((CurPtr[1] == '-' || CurPtr[1] == '+') &&
890         isdigit(static_cast<unsigned char>(CurPtr[2])))) {
891       CurPtr += 2;
892       while (isdigit(static_cast<unsigned char>(CurPtr[0]))) ++CurPtr;
893     }
894   }
895
896   APFloatVal = APFloat(std::atof(TokStart));
897   return lltok::APFloat;
898 }