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