| |
| /* A Bison parser, made from /Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y |
| by GNU Bison version 1.28 */ |
| |
| #define YYBISON 1 /* Identify Bison output. */ |
| |
| #define yyparse Fileparse |
| #define yylex Filelex |
| #define yyerror Fileerror |
| #define yylval Filelval |
| #define yychar Filechar |
| #define yydebug Filedebug |
| #define yynerrs Filenerrs |
| #define INT 257 |
| #define BIT 258 |
| #define STRING 259 |
| #define BITS 260 |
| #define LIST 261 |
| #define CODE 262 |
| #define DAG 263 |
| #define CLASS 264 |
| #define DEF 265 |
| #define MULTICLASS 266 |
| #define DEFM 267 |
| #define FIELD 268 |
| #define LET 269 |
| #define IN 270 |
| #define SHLTOK 271 |
| #define SRATOK 272 |
| #define SRLTOK 273 |
| #define STRCONCATTOK 274 |
| #define INTVAL 275 |
| #define ID 276 |
| #define VARNAME 277 |
| #define STRVAL 278 |
| #define CODEFRAGMENT 279 |
| |
| #line 14 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| |
| #include "Record.h" |
| #include "llvm/ADT/StringExtras.h" |
| #include <algorithm> |
| #include <cstdio> |
| #define YYERROR_VERBOSE 1 |
| |
| int yyerror(const char *ErrorMsg); |
| int yylex(); |
| |
| namespace llvm { |
| struct MultiClass { |
| Record Rec; // Placeholder for template args and Name. |
| std::vector<Record*> DefPrototypes; |
| |
| MultiClass(const std::string &Name) : Rec(Name) {} |
| }; |
| |
| |
| static std::map<std::string, MultiClass*> MultiClasses; |
| |
| extern int Filelineno; |
| static MultiClass *CurMultiClass = 0; // Set while parsing a multiclass. |
| static std::string *CurDefmPrefix = 0; // Set while parsing defm. |
| static Record *CurRec = 0; |
| static bool ParsingTemplateArgs = false; |
| |
| typedef std::pair<Record*, std::vector<Init*>*> SubClassRefTy; |
| |
| struct LetRecord { |
| std::string Name; |
| std::vector<unsigned> Bits; |
| Init *Value; |
| bool HasBits; |
| LetRecord(const std::string &N, std::vector<unsigned> *B, Init *V) |
| : Name(N), Value(V), HasBits(B != 0) { |
| if (HasBits) Bits = *B; |
| } |
| }; |
| |
| static std::vector<std::vector<LetRecord> > LetStack; |
| |
| |
| extern std::ostream &err(); |
| |
| /// getActiveRec - If inside a def/class definition, return the def/class. |
| /// Otherwise, if within a multidef, return it. |
| static Record *getActiveRec() { |
| return CurRec ? CurRec : &CurMultiClass->Rec; |
| } |
| |
| static void addValue(const RecordVal &RV) { |
| Record *TheRec = getActiveRec(); |
| |
| if (RecordVal *ERV = TheRec->getValue(RV.getName())) { |
| // The value already exists in the class, treat this as a set... |
| if (ERV->setValue(RV.getValue())) { |
| err() << "New definition of '" << RV.getName() << "' of type '" |
| << *RV.getType() << "' is incompatible with previous " |
| << "definition of type '" << *ERV->getType() << "'!\n"; |
| exit(1); |
| } |
| } else { |
| TheRec->addValue(RV); |
| } |
| } |
| |
| static void addSuperClass(Record *SC) { |
| if (CurRec->isSubClassOf(SC)) { |
| err() << "Already subclass of '" << SC->getName() << "'!\n"; |
| exit(1); |
| } |
| CurRec->addSuperClass(SC); |
| } |
| |
| static void setValue(const std::string &ValName, |
| std::vector<unsigned> *BitList, Init *V) { |
| if (!V) return; |
| |
| Record *TheRec = getActiveRec(); |
| RecordVal *RV = TheRec->getValue(ValName); |
| if (RV == 0) { |
| err() << "Value '" << ValName << "' unknown!\n"; |
| exit(1); |
| } |
| |
| // Do not allow assignments like 'X = X'. This will just cause infinite loops |
| // in the resolution machinery. |
| if (!BitList) |
| if (VarInit *VI = dynamic_cast<VarInit*>(V)) |
| if (VI->getName() == ValName) |
| return; |
| |
| // If we are assigning to a subset of the bits in the value... then we must be |
| // assigning to a field of BitsRecTy, which must have a BitsInit |
| // initializer... |
| // |
| if (BitList) { |
| BitsInit *CurVal = dynamic_cast<BitsInit*>(RV->getValue()); |
| if (CurVal == 0) { |
| err() << "Value '" << ValName << "' is not a bits type!\n"; |
| exit(1); |
| } |
| |
| // Convert the incoming value to a bits type of the appropriate size... |
| Init *BI = V->convertInitializerTo(new BitsRecTy(BitList->size())); |
| if (BI == 0) { |
| V->convertInitializerTo(new BitsRecTy(BitList->size())); |
| err() << "Initializer '" << *V << "' not compatible with bit range!\n"; |
| exit(1); |
| } |
| |
| // We should have a BitsInit type now... |
| assert(dynamic_cast<BitsInit*>(BI) != 0 || &(std::cerr << *BI) == 0); |
| BitsInit *BInit = (BitsInit*)BI; |
| |
| BitsInit *NewVal = new BitsInit(CurVal->getNumBits()); |
| |
| // Loop over bits, assigning values as appropriate... |
| for (unsigned i = 0, e = BitList->size(); i != e; ++i) { |
| unsigned Bit = (*BitList)[i]; |
| if (NewVal->getBit(Bit)) { |
| err() << "Cannot set bit #" << Bit << " of value '" << ValName |
| << "' more than once!\n"; |
| exit(1); |
| } |
| NewVal->setBit(Bit, BInit->getBit(i)); |
| } |
| |
| for (unsigned i = 0, e = CurVal->getNumBits(); i != e; ++i) |
| if (NewVal->getBit(i) == 0) |
| NewVal->setBit(i, CurVal->getBit(i)); |
| |
| V = NewVal; |
| } |
| |
| if (RV->setValue(V)) { |
| err() << "Value '" << ValName << "' of type '" << *RV->getType() |
| << "' is incompatible with initializer '" << *V << "'!\n"; |
| exit(1); |
| } |
| } |
| |
| // addSubClass - Add SC as a subclass to CurRec, resolving TemplateArgs as SC's |
| // template arguments. |
| static void addSubClass(Record *SC, const std::vector<Init*> &TemplateArgs) { |
| // Add all of the values in the subclass into the current class... |
| const std::vector<RecordVal> &Vals = SC->getValues(); |
| for (unsigned i = 0, e = Vals.size(); i != e; ++i) |
| addValue(Vals[i]); |
| |
| const std::vector<std::string> &TArgs = SC->getTemplateArgs(); |
| |
| // Ensure that an appropriate number of template arguments are specified... |
| if (TArgs.size() < TemplateArgs.size()) { |
| err() << "ERROR: More template args specified than expected!\n"; |
| exit(1); |
| } |
| |
| // Loop over all of the template arguments, setting them to the specified |
| // value or leaving them as the default if necessary. |
| for (unsigned i = 0, e = TArgs.size(); i != e; ++i) { |
| if (i < TemplateArgs.size()) { // A value is specified for this temp-arg? |
| // Set it now. |
| setValue(TArgs[i], 0, TemplateArgs[i]); |
| |
| // Resolve it next. |
| CurRec->resolveReferencesTo(CurRec->getValue(TArgs[i])); |
| |
| |
| // Now remove it. |
| CurRec->removeValue(TArgs[i]); |
| |
| } else if (!CurRec->getValue(TArgs[i])->getValue()->isComplete()) { |
| err() << "ERROR: Value not specified for template argument #" |
| << i << " (" << TArgs[i] << ") of subclass '" << SC->getName() |
| << "'!\n"; |
| exit(1); |
| } |
| } |
| |
| // Since everything went well, we can now set the "superclass" list for the |
| // current record. |
| const std::vector<Record*> &SCs = SC->getSuperClasses(); |
| for (unsigned i = 0, e = SCs.size(); i != e; ++i) |
| addSuperClass(SCs[i]); |
| addSuperClass(SC); |
| } |
| |
| } // End llvm namespace |
| |
| using namespace llvm; |
| |
| |
| #line 209 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| typedef union { |
| std::string* StrVal; |
| int IntVal; |
| llvm::RecTy* Ty; |
| llvm::Init* Initializer; |
| std::vector<llvm::Init*>* FieldList; |
| std::vector<unsigned>* BitList; |
| llvm::Record* Rec; |
| std::vector<llvm::Record*>* RecList; |
| SubClassRefTy* SubClassRef; |
| std::vector<SubClassRefTy>* SubClassList; |
| std::vector<std::pair<llvm::Init*, std::string> >* DagValueList; |
| } YYSTYPE; |
| #include <stdio.h> |
| |
| #ifndef __cplusplus |
| #ifndef __STDC__ |
| #define const |
| #endif |
| #endif |
| |
| |
| |
| #define YYFINAL 188 |
| #define YYFLAG -32768 |
| #define YYNTBASE 41 |
| |
| #define YYTRANSLATE(x) ((unsigned)(x) <= 279 ? yytranslate[x] : 90) |
| |
| static const char yytranslate[] = { 0, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 35, |
| 36, 2, 2, 37, 39, 34, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 38, 40, 26, |
| 28, 27, 29, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 32, 2, 33, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 30, 2, 31, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 1, 3, 4, 5, 6, |
| 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, |
| 17, 18, 19, 20, 21, 22, 23, 24, 25 |
| }; |
| |
| #if YYDEBUG != 0 |
| static const short yyprhs[] = { 0, |
| 0, 2, 4, 6, 11, 13, 18, 20, 22, 24, |
| 25, 27, 28, 31, 33, 35, 37, 39, 41, 43, |
| 47, 52, 57, 61, 65, 70, 75, 82, 89, 96, |
| 103, 104, 107, 110, 115, 116, 118, 120, 124, 127, |
| 131, 137, 142, 144, 145, 149, 150, 152, 154, 158, |
| 163, 166, 173, 174, 177, 179, 183, 185, 190, 192, |
| 196, 197, 200, 202, 206, 210, 211, 213, 215, 216, |
| 218, 220, 222, 223, 227, 228, 229, 236, 240, 242, |
| 244, 247, 249, 250, 251, 260, 261, 268, 270, 272, |
| 274, 276, 281, 283, 287, 288, 293, 298, 301, 303, |
| 306 |
| }; |
| |
| static const short yyrhs[] = { 22, |
| 0, 5, 0, 4, 0, 6, 26, 21, 27, 0, |
| 3, 0, 7, 26, 42, 27, 0, 8, 0, 9, |
| 0, 41, 0, 0, 14, 0, 0, 28, 46, 0, |
| 22, 0, 45, 0, 21, 0, 24, 0, 25, 0, |
| 29, 0, 30, 53, 31, 0, 22, 26, 54, 27, |
| 0, 46, 30, 51, 31, 0, 32, 53, 33, 0, |
| 46, 34, 22, 0, 35, 45, 49, 36, 0, 46, |
| 32, 51, 33, 0, 17, 35, 46, 37, 46, 36, |
| 0, 18, 35, 46, 37, 46, 36, 0, 19, 35, |
| 46, 37, 46, 36, 0, 20, 35, 46, 37, 46, |
| 36, 0, 0, 38, 23, 0, 46, 47, 0, 48, |
| 37, 46, 47, 0, 0, 48, 0, 21, 0, 21, |
| 39, 21, 0, 21, 21, 0, 50, 37, 21, 0, |
| 50, 37, 21, 39, 21, 0, 50, 37, 21, 21, |
| 0, 50, 0, 0, 30, 51, 31, 0, 0, 54, |
| 0, 46, 0, 54, 37, 46, 0, 43, 42, 22, |
| 44, 0, 55, 40, 0, 15, 22, 52, 28, 46, |
| 40, 0, 0, 57, 56, 0, 40, 0, 30, 57, |
| 31, 0, 41, 0, 41, 26, 54, 27, 0, 59, |
| 0, 60, 37, 59, 0, 0, 38, 60, 0, 55, |
| 0, 62, 37, 55, 0, 26, 62, 27, 0, 0, |
| 63, 0, 22, 0, 0, 65, 0, 66, 0, 66, |
| 0, 0, 61, 70, 58, 0, 0, 0, 10, 67, |
| 72, 64, 73, 69, 0, 11, 68, 69, 0, 74, |
| 0, 75, 0, 76, 75, 0, 22, 0, 0, 0, |
| 12, 77, 79, 64, 80, 30, 76, 31, 0, 0, |
| 13, 22, 82, 38, 59, 40, 0, 71, 0, 74, |
| 0, 78, 0, 81, 0, 22, 52, 28, 46, 0, |
| 84, 0, 85, 37, 84, 0, 0, 15, 87, 85, |
| 16, 0, 86, 30, 88, 31, 0, 86, 83, 0, |
| 83, 0, 88, 83, 0, 88, 0 |
| }; |
| |
| #endif |
| |
| #if YYDEBUG != 0 |
| static const short yyrline[] = { 0, |
| 245, 267, 269, 271, 273, 275, 277, 279, 281, 285, |
| 285, 287, 287, 289, 312, 314, 316, 319, 322, 324, |
| 337, 365, 372, 375, 382, 385, 393, 395, 397, 399, |
| 403, 406, 410, 415, 421, 424, 427, 430, 443, 457, |
| 459, 472, 488, 490, 490, 494, 496, 500, 503, 507, |
| 524, 526, 532, 532, 533, 533, 535, 537, 541, 546, |
| 551, 554, 558, 561, 566, 567, 567, 569, 569, 571, |
| 578, 596, 621, 635, 640, 642, 644, 648, 658, 672, |
| 675, 679, 690, 692, 694, 699, 699, 773, 773, 774, |
| 774, 776, 781, 781, 784, 784, 787, 790, 794, 794, |
| 796 |
| }; |
| #endif |
| |
| |
| #if YYDEBUG != 0 || defined (YYERROR_VERBOSE) |
| |
| static const char * const yytname[] = { "$","error","$undefined.","INT","BIT", |
| "STRING","BITS","LIST","CODE","DAG","CLASS","DEF","MULTICLASS","DEFM","FIELD", |
| "LET","IN","SHLTOK","SRATOK","SRLTOK","STRCONCATTOK","INTVAL","ID","VARNAME", |
| "STRVAL","CODEFRAGMENT","'<'","'>'","'='","'?'","'{'","'}'","'['","']'","'.'", |
| "'('","')'","','","':'","'-'","';'","ClassID","Type","OptPrefix","OptValue", |
| "IDValue","Value","OptVarName","DagArgListNE","DagArgList","RBitList","BitList", |
| "OptBitList","ValueList","ValueListNE","Declaration","BodyItem","BodyList","Body", |
| "SubClassRef","ClassListNE","ClassList","DeclListNE","TemplateArgList","OptTemplateArgList", |
| "OptID","ObjectName","ClassName","DefName","ObjectBody","@1","ClassInst","@2", |
| "@3","DefInst","MultiClassDef","MultiClassBody","MultiClassName","MultiClassInst", |
| "@4","@5","DefMInst","@6","Object","LETItem","LETList","LETCommand","@7","ObjectList", |
| "File", NULL |
| }; |
| #endif |
| |
| static const short yyr1[] = { 0, |
| 41, 42, 42, 42, 42, 42, 42, 42, 42, 43, |
| 43, 44, 44, 45, 46, 46, 46, 46, 46, 46, |
| 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, |
| 47, 47, 48, 48, 49, 49, 50, 50, 50, 50, |
| 50, 50, 51, 52, 52, 53, 53, 54, 54, 55, |
| 56, 56, 57, 57, 58, 58, 59, 59, 60, 60, |
| 61, 61, 62, 62, 63, 64, 64, 65, 65, 66, |
| 67, 68, 70, 69, 72, 73, 71, 74, 75, 76, |
| 76, 77, 79, 80, 78, 82, 81, 83, 83, 83, |
| 83, 84, 85, 85, 87, 86, 83, 83, 88, 88, |
| 89 |
| }; |
| |
| static const short yyr2[] = { 0, |
| 1, 1, 1, 4, 1, 4, 1, 1, 1, 0, |
| 1, 0, 2, 1, 1, 1, 1, 1, 1, 3, |
| 4, 4, 3, 3, 4, 4, 6, 6, 6, 6, |
| 0, 2, 2, 4, 0, 1, 1, 3, 2, 3, |
| 5, 4, 1, 0, 3, 0, 1, 1, 3, 4, |
| 2, 6, 0, 2, 1, 3, 1, 4, 1, 3, |
| 0, 2, 1, 3, 3, 0, 1, 1, 0, 1, |
| 1, 1, 0, 3, 0, 0, 6, 3, 1, 1, |
| 2, 1, 0, 0, 8, 0, 6, 1, 1, 1, |
| 1, 4, 1, 3, 0, 4, 4, 2, 1, 2, |
| 1 |
| }; |
| |
| static const short yydefact[] = { 0, |
| 69, 69, 0, 0, 95, 88, 89, 90, 91, 99, |
| 0, 101, 68, 70, 71, 75, 72, 61, 82, 83, |
| 86, 0, 0, 98, 100, 66, 0, 73, 78, 66, |
| 0, 44, 93, 0, 0, 10, 67, 76, 1, 57, |
| 59, 62, 0, 84, 0, 0, 0, 96, 0, 97, |
| 11, 0, 63, 0, 61, 0, 0, 53, 55, 74, |
| 0, 0, 37, 43, 0, 0, 94, 5, 3, 2, |
| 0, 0, 7, 8, 9, 0, 65, 10, 77, 0, |
| 0, 0, 0, 16, 14, 17, 18, 19, 46, 46, |
| 0, 15, 48, 0, 60, 10, 0, 87, 39, 0, |
| 0, 45, 92, 0, 0, 12, 64, 0, 0, 0, |
| 0, 0, 0, 47, 0, 14, 35, 0, 0, 0, |
| 58, 0, 0, 56, 0, 54, 79, 80, 0, 38, |
| 40, 0, 0, 0, 50, 0, 0, 0, 0, 0, |
| 20, 23, 31, 36, 0, 0, 0, 24, 49, 44, |
| 51, 85, 81, 42, 0, 4, 6, 13, 0, 0, |
| 0, 0, 21, 0, 33, 0, 25, 22, 26, 0, |
| 41, 0, 0, 0, 0, 32, 31, 0, 27, 28, |
| 29, 30, 34, 0, 52, 0, 0, 0 |
| }; |
| |
| static const short yydefgoto[] = { 40, |
| 76, 52, 135, 92, 93, 165, 144, 145, 64, 65, |
| 47, 113, 114, 53, 126, 96, 60, 41, 42, 28, |
| 54, 37, 38, 14, 15, 16, 18, 29, 43, 6, |
| 26, 55, 7, 128, 129, 20, 8, 30, 61, 9, |
| 31, 10, 33, 34, 11, 22, 12, 186 |
| }; |
| |
| static const short yypact[] = { 129, |
| 3, 3, 11, 19,-32768,-32768,-32768,-32768,-32768,-32768, |
| 2, 129,-32768,-32768,-32768,-32768,-32768, 29,-32768,-32768, |
| -32768, 24, 129,-32768,-32768, 43, 31,-32768,-32768, 43, |
| 40, 50,-32768, -6, -4, 69,-32768,-32768,-32768, 59, |
| -32768, 61, 10,-32768, 31, 81, 78,-32768, 24,-32768, |
| -32768, 15,-32768, 12, 29, 41, 31,-32768,-32768,-32768, |
| 84, 68, 8, 83, 87, 41,-32768,-32768,-32768,-32768, |
| 111, 120,-32768,-32768,-32768, 126,-32768, 69,-32768, 114, |
| 115, 116, 117,-32768, 127,-32768,-32768,-32768, 41, 41, |
| 132,-32768, 113, 27,-32768, 60, 144,-32768,-32768, 135, |
| 136,-32768, 113, 137, 15, 131,-32768, 41, 41, 41, |
| 41, 41, 130, 123, 133,-32768, 41, 81, 81, 140, |
| -32768, 41, 141,-32768, 124,-32768,-32768,-32768, 5,-32768, |
| 9, 138, 142, 41,-32768, 67, 73, 79, 85, 45, |
| -32768,-32768, 54, 134, 139, 143, 145,-32768, 113, 50, |
| -32768,-32768,-32768,-32768, 146,-32768,-32768, 113, 41, 41, |
| 41, 41,-32768, 147,-32768, 41,-32768,-32768,-32768, 148, |
| -32768, 91, 94, 99, 102,-32768, 54, 41,-32768,-32768, |
| -32768,-32768,-32768, 47,-32768, 168, 172,-32768 |
| }; |
| |
| static const short yypgoto[] = { -50, |
| 72,-32768,-32768, 82, -66, 4,-32768,-32768,-32768, -29, |
| 30, 89, -55, -44,-32768,-32768,-32768, -19,-32768,-32768, |
| -32768,-32768, 152,-32768, 181,-32768,-32768, 149,-32768,-32768, |
| -32768,-32768, -94, 55,-32768,-32768,-32768,-32768,-32768,-32768, |
| -32768, -7, 150,-32768,-32768,-32768, 162,-32768 |
| }; |
| |
| |
| #define YYLAST 204 |
| |
| |
| static const short yytable[] = { 103, |
| 94, 75, 127, 24, 25, 1, 2, 3, 4, 48, |
| 5, 1, 2, 3, 4, 2, 5, 68, 69, 70, |
| 71, 72, 73, 74, 13, 62, 50, 25, 99, 154, |
| 49, 23, 19, 107, 127, 152, 39, 95, 77, 58, |
| 21, 136, 137, 138, 139, 32, 100, 155, 78, 59, |
| 143, 125, 39, 121, 75, 149, 140, 80, 81, 82, |
| 83, 84, 85, 122, 86, 87, 27, 158, 36, 88, |
| 89, 163, 90, 51, 123, 91, 118, 45, 119, 46, |
| 120, 122, 51, 118, 56, 119, 185, 120, 146, 147, |
| 124, 164, 172, 173, 174, 175, 118, 57, 119, 177, |
| 120, 63, 118, 159, 119, 66, 120, 98, 118, 160, |
| 119, 184, 120, 97, 118, 161, 119, 102, 120, 101, |
| 118, 162, 119, 118, 120, 119, 179, 120, 118, 180, |
| 119, 118, 120, 119, 181, 120, 104, 182, 1, 2, |
| 3, 4, 118, 5, 119, 105, 120, 106, 108, 109, |
| 110, 111, 112, 116, 2, 130, 131, 132, 134, 122, |
| 141, 148, 150, 151, 156, 142, 171, 187, 157, 176, |
| 166, 188, 117, 168, 167, 178, 133, 169, 115, 170, |
| 183, 44, 17, 153, 35, 0, 0, 0, 0, 0, |
| 0, 0, 0, 0, 0, 0, 0, 0, 67, 0, |
| 0, 0, 0, 79 |
| }; |
| |
| static const short yycheck[] = { 66, |
| 56, 52, 97, 11, 12, 10, 11, 12, 13, 16, |
| 15, 10, 11, 12, 13, 11, 15, 3, 4, 5, |
| 6, 7, 8, 9, 22, 45, 31, 35, 21, 21, |
| 37, 30, 22, 78, 129, 31, 22, 57, 27, 30, |
| 22, 108, 109, 110, 111, 22, 39, 39, 37, 40, |
| 117, 96, 22, 27, 105, 122, 112, 17, 18, 19, |
| 20, 21, 22, 37, 24, 25, 38, 134, 26, 29, |
| 30, 27, 32, 14, 15, 35, 30, 38, 32, 30, |
| 34, 37, 14, 30, 26, 32, 40, 34, 118, 119, |
| 31, 38, 159, 160, 161, 162, 30, 37, 32, 166, |
| 34, 21, 30, 37, 32, 28, 34, 40, 30, 37, |
| 32, 178, 34, 30, 30, 37, 32, 31, 34, 37, |
| 30, 37, 32, 30, 34, 32, 36, 34, 30, 36, |
| 32, 30, 34, 32, 36, 34, 26, 36, 10, 11, |
| 12, 13, 30, 15, 32, 26, 34, 22, 35, 35, |
| 35, 35, 26, 22, 11, 21, 21, 21, 28, 37, |
| 31, 22, 22, 40, 27, 33, 21, 0, 27, 23, |
| 37, 0, 91, 31, 36, 28, 105, 33, 90, 150, |
| 177, 30, 2, 129, 23, -1, -1, -1, -1, -1, |
| -1, -1, -1, -1, -1, -1, -1, -1, 49, -1, |
| -1, -1, -1, 55 |
| }; |
| /* -*-C-*- Note some compilers choke on comments on `#line' lines. */ |
| #line 3 "/usr/share/bison.simple" |
| /* This file comes from bison-1.28. */ |
| |
| /* Skeleton output parser for bison, |
| Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc. |
| |
| This program is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| This program is distributed in the hope that it will be useful, |
| but WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program; if not, write to the Free Software |
| Foundation, Inc., 59 Temple Place - Suite 330, |
| Boston, MA 02111-1307, USA. */ |
| |
| /* As a special exception, when this file is copied by Bison into a |
| Bison output file, you may use that output file without restriction. |
| This special exception was added by the Free Software Foundation |
| in version 1.24 of Bison. */ |
| |
| /* This is the parser code that is written into each bison parser |
| when the %semantic_parser declaration is not specified in the grammar. |
| It was written by Richard Stallman by simplifying the hairy parser |
| used when %semantic_parser is specified. */ |
| |
| #ifndef YYSTACK_USE_ALLOCA |
| #ifdef alloca |
| #define YYSTACK_USE_ALLOCA |
| #else /* alloca not defined */ |
| #ifdef __GNUC__ |
| #define YYSTACK_USE_ALLOCA |
| #define alloca __builtin_alloca |
| #else /* not GNU C. */ |
| #if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386)) |
| #define YYSTACK_USE_ALLOCA |
| #include <alloca.h> |
| #else /* not sparc */ |
| /* We think this test detects Watcom and Microsoft C. */ |
| /* This used to test MSDOS, but that is a bad idea |
| since that symbol is in the user namespace. */ |
| #if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__) |
| #if 0 /* No need for malloc.h, which pollutes the namespace; |
| instead, just don't use alloca. */ |
| #include <malloc.h> |
| #endif |
| #else /* not MSDOS, or __TURBOC__ */ |
| #if defined(_AIX) |
| /* I don't know what this was needed for, but it pollutes the namespace. |
| So I turned it off. rms, 2 May 1997. */ |
| /* #include <malloc.h> */ |
| #pragma alloca |
| #define YYSTACK_USE_ALLOCA |
| #else /* not MSDOS, or __TURBOC__, or _AIX */ |
| #if 0 |
| #ifdef __hpux /* haible@ilog.fr says this works for HPUX 9.05 and up, |
| and on HPUX 10. Eventually we can turn this on. */ |
| #define YYSTACK_USE_ALLOCA |
| #define alloca __builtin_alloca |
| #endif /* __hpux */ |
| #endif |
| #endif /* not _AIX */ |
| #endif /* not MSDOS, or __TURBOC__ */ |
| #endif /* not sparc */ |
| #endif /* not GNU C */ |
| #endif /* alloca not defined */ |
| #endif /* YYSTACK_USE_ALLOCA not defined */ |
| |
| #ifdef YYSTACK_USE_ALLOCA |
| #define YYSTACK_ALLOC alloca |
| #else |
| #define YYSTACK_ALLOC malloc |
| #endif |
| |
| /* Note: there must be only one dollar sign in this file. |
| It is replaced by the list of actions, each action |
| as one case of the switch. */ |
| |
| #define yyerrok (yyerrstatus = 0) |
| #define yyclearin (yychar = YYEMPTY) |
| #define YYEMPTY -2 |
| #define YYEOF 0 |
| #define YYACCEPT goto yyacceptlab |
| #define YYABORT goto yyabortlab |
| #define YYERROR goto yyerrlab1 |
| /* Like YYERROR except do call yyerror. |
| This remains here temporarily to ease the |
| transition to the new meaning of YYERROR, for GCC. |
| Once GCC version 2 has supplanted version 1, this can go. */ |
| #define YYFAIL goto yyerrlab |
| #define YYRECOVERING() (!!yyerrstatus) |
| #define YYBACKUP(token, value) \ |
| do \ |
| if (yychar == YYEMPTY && yylen == 1) \ |
| { yychar = (token), yylval = (value); \ |
| yychar1 = YYTRANSLATE (yychar); \ |
| YYPOPSTACK; \ |
| goto yybackup; \ |
| } \ |
| else \ |
| { yyerror ("syntax error: cannot back up"); YYERROR; } \ |
| while (0) |
| |
| #define YYTERROR 1 |
| #define YYERRCODE 256 |
| |
| #ifndef YYPURE |
| #define YYLEX yylex() |
| #endif |
| |
| #ifdef YYPURE |
| #ifdef YYLSP_NEEDED |
| #ifdef YYLEX_PARAM |
| #define YYLEX yylex(&yylval, &yylloc, YYLEX_PARAM) |
| #else |
| #define YYLEX yylex(&yylval, &yylloc) |
| #endif |
| #else /* not YYLSP_NEEDED */ |
| #ifdef YYLEX_PARAM |
| #define YYLEX yylex(&yylval, YYLEX_PARAM) |
| #else |
| #define YYLEX yylex(&yylval) |
| #endif |
| #endif /* not YYLSP_NEEDED */ |
| #endif |
| |
| /* If nonreentrant, generate the variables here */ |
| |
| #ifndef YYPURE |
| |
| int yychar; /* the lookahead symbol */ |
| YYSTYPE yylval; /* the semantic value of the */ |
| /* lookahead symbol */ |
| |
| #ifdef YYLSP_NEEDED |
| YYLTYPE yylloc; /* location data for the lookahead */ |
| /* symbol */ |
| #endif |
| |
| int yynerrs; /* number of parse errors so far */ |
| #endif /* not YYPURE */ |
| |
| #if YYDEBUG != 0 |
| int yydebug; /* nonzero means print parse trace */ |
| /* Since this is uninitialized, it does not stop multiple parsers |
| from coexisting. */ |
| #endif |
| |
| /* YYINITDEPTH indicates the initial size of the parser's stacks */ |
| |
| #ifndef YYINITDEPTH |
| #define YYINITDEPTH 200 |
| #endif |
| |
| /* YYMAXDEPTH is the maximum size the stacks can grow to |
| (effective only if the built-in stack extension method is used). */ |
| |
| #if YYMAXDEPTH == 0 |
| #undef YYMAXDEPTH |
| #endif |
| |
| #ifndef YYMAXDEPTH |
| #define YYMAXDEPTH 10000 |
| #endif |
| |
| /* Define __yy_memcpy. Note that the size argument |
| should be passed with type unsigned int, because that is what the non-GCC |
| definitions require. With GCC, __builtin_memcpy takes an arg |
| of type size_t, but it can handle unsigned int. */ |
| |
| #if __GNUC__ > 1 /* GNU C and GNU C++ define this. */ |
| #define __yy_memcpy(TO,FROM,COUNT) __builtin_memcpy(TO,FROM,COUNT) |
| #else /* not GNU C or C++ */ |
| #ifndef __cplusplus |
| |
| /* This is the most reliable way to avoid incompatibilities |
| in available built-in functions on various systems. */ |
| static void |
| __yy_memcpy (to, from, count) |
| char *to; |
| char *from; |
| unsigned int count; |
| { |
| register char *f = from; |
| register char *t = to; |
| register int i = count; |
| |
| while (i-- > 0) |
| *t++ = *f++; |
| } |
| |
| #else /* __cplusplus */ |
| |
| /* This is the most reliable way to avoid incompatibilities |
| in available built-in functions on various systems. */ |
| static void |
| __yy_memcpy (char *to, char *from, unsigned int count) |
| { |
| register char *t = to; |
| register char *f = from; |
| register int i = count; |
| |
| while (i-- > 0) |
| *t++ = *f++; |
| } |
| |
| #endif |
| #endif |
| |
| #line 217 "/usr/share/bison.simple" |
| |
| /* The user can define YYPARSE_PARAM as the name of an argument to be passed |
| into yyparse. The argument should have type void *. |
| It should actually point to an object. |
| Grammar actions can access the variable by casting it |
| to the proper pointer type. */ |
| |
| #ifdef YYPARSE_PARAM |
| #ifdef __cplusplus |
| #define YYPARSE_PARAM_ARG void *YYPARSE_PARAM |
| #define YYPARSE_PARAM_DECL |
| #else /* not __cplusplus */ |
| #define YYPARSE_PARAM_ARG YYPARSE_PARAM |
| #define YYPARSE_PARAM_DECL void *YYPARSE_PARAM; |
| #endif /* not __cplusplus */ |
| #else /* not YYPARSE_PARAM */ |
| #define YYPARSE_PARAM_ARG |
| #define YYPARSE_PARAM_DECL |
| #endif /* not YYPARSE_PARAM */ |
| |
| /* Prevent warning if -Wstrict-prototypes. */ |
| #ifdef __GNUC__ |
| #ifdef YYPARSE_PARAM |
| int yyparse (void *); |
| #else |
| int yyparse (void); |
| #endif |
| #endif |
| |
| int |
| yyparse(YYPARSE_PARAM_ARG) |
| YYPARSE_PARAM_DECL |
| { |
| register int yystate; |
| register int yyn; |
| register short *yyssp; |
| register YYSTYPE *yyvsp; |
| int yyerrstatus; /* number of tokens to shift before error messages enabled */ |
| int yychar1 = 0; /* lookahead token as an internal (translated) token number */ |
| |
| short yyssa[YYINITDEPTH]; /* the state stack */ |
| YYSTYPE yyvsa[YYINITDEPTH]; /* the semantic value stack */ |
| |
| short *yyss = yyssa; /* refer to the stacks thru separate pointers */ |
| YYSTYPE *yyvs = yyvsa; /* to allow yyoverflow to reallocate them elsewhere */ |
| |
| #ifdef YYLSP_NEEDED |
| YYLTYPE yylsa[YYINITDEPTH]; /* the location stack */ |
| YYLTYPE *yyls = yylsa; |
| YYLTYPE *yylsp; |
| |
| #define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) |
| #else |
| #define YYPOPSTACK (yyvsp--, yyssp--) |
| #endif |
| |
| int yystacksize = YYINITDEPTH; |
| int yyfree_stacks = 0; |
| |
| #ifdef YYPURE |
| int yychar; |
| YYSTYPE yylval; |
| int yynerrs; |
| #ifdef YYLSP_NEEDED |
| YYLTYPE yylloc; |
| #endif |
| #endif |
| |
| YYSTYPE yyval; /* the variable used to return */ |
| /* semantic values from the action */ |
| /* routines */ |
| |
| int yylen; |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Starting parse\n"); |
| #endif |
| |
| yystate = 0; |
| yyerrstatus = 0; |
| yynerrs = 0; |
| yychar = YYEMPTY; /* Cause a token to be read. */ |
| |
| /* Initialize stack pointers. |
| Waste one element of value and location stack |
| so that they stay on the same level as the state stack. |
| The wasted elements are never initialized. */ |
| |
| yyssp = yyss - 1; |
| yyvsp = yyvs; |
| #ifdef YYLSP_NEEDED |
| yylsp = yyls; |
| #endif |
| |
| /* Push a new state, which is found in yystate . */ |
| /* In all cases, when you get here, the value and location stacks |
| have just been pushed. so pushing a state here evens the stacks. */ |
| yynewstate: |
| |
| *++yyssp = yystate; |
| |
| if (yyssp >= yyss + yystacksize - 1) |
| { |
| /* Give user a chance to reallocate the stack */ |
| /* Use copies of these so that the &'s don't force the real ones into memory. */ |
| YYSTYPE *yyvs1 = yyvs; |
| short *yyss1 = yyss; |
| #ifdef YYLSP_NEEDED |
| YYLTYPE *yyls1 = yyls; |
| #endif |
| |
| /* Get the current used size of the three stacks, in elements. */ |
| int size = yyssp - yyss + 1; |
| |
| #ifdef yyoverflow |
| /* Each stack pointer address is followed by the size of |
| the data in use in that stack, in bytes. */ |
| #ifdef YYLSP_NEEDED |
| /* This used to be a conditional around just the two extra args, |
| but that might be undefined if yyoverflow is a macro. */ |
| yyoverflow("parser stack overflow", |
| &yyss1, size * sizeof (*yyssp), |
| &yyvs1, size * sizeof (*yyvsp), |
| &yyls1, size * sizeof (*yylsp), |
| &yystacksize); |
| #else |
| yyoverflow("parser stack overflow", |
| &yyss1, size * sizeof (*yyssp), |
| &yyvs1, size * sizeof (*yyvsp), |
| &yystacksize); |
| #endif |
| |
| yyss = yyss1; yyvs = yyvs1; |
| #ifdef YYLSP_NEEDED |
| yyls = yyls1; |
| #endif |
| #else /* no yyoverflow */ |
| /* Extend the stack our own way. */ |
| if (yystacksize >= YYMAXDEPTH) |
| { |
| yyerror("parser stack overflow"); |
| if (yyfree_stacks) |
| { |
| free (yyss); |
| free (yyvs); |
| #ifdef YYLSP_NEEDED |
| free (yyls); |
| #endif |
| } |
| return 2; |
| } |
| yystacksize *= 2; |
| if (yystacksize > YYMAXDEPTH) |
| yystacksize = YYMAXDEPTH; |
| #ifndef YYSTACK_USE_ALLOCA |
| yyfree_stacks = 1; |
| #endif |
| yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp)); |
| __yy_memcpy ((char *)yyss, (char *)yyss1, |
| size * (unsigned int) sizeof (*yyssp)); |
| yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp)); |
| __yy_memcpy ((char *)yyvs, (char *)yyvs1, |
| size * (unsigned int) sizeof (*yyvsp)); |
| #ifdef YYLSP_NEEDED |
| yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp)); |
| __yy_memcpy ((char *)yyls, (char *)yyls1, |
| size * (unsigned int) sizeof (*yylsp)); |
| #endif |
| #endif /* no yyoverflow */ |
| |
| yyssp = yyss + size - 1; |
| yyvsp = yyvs + size - 1; |
| #ifdef YYLSP_NEEDED |
| yylsp = yyls + size - 1; |
| #endif |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Stack size increased to %d\n", yystacksize); |
| #endif |
| |
| if (yyssp >= yyss + yystacksize - 1) |
| YYABORT; |
| } |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Entering state %d\n", yystate); |
| #endif |
| |
| goto yybackup; |
| yybackup: |
| |
| /* Do appropriate processing given the current state. */ |
| /* Read a lookahead token if we need one and don't already have one. */ |
| /* yyresume: */ |
| |
| /* First try to decide what to do without reference to lookahead token. */ |
| |
| yyn = yypact[yystate]; |
| if (yyn == YYFLAG) |
| goto yydefault; |
| |
| /* Not known => get a lookahead token if don't already have one. */ |
| |
| /* yychar is either YYEMPTY or YYEOF |
| or a valid token in external form. */ |
| |
| if (yychar == YYEMPTY) |
| { |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Reading a token: "); |
| #endif |
| yychar = YYLEX; |
| } |
| |
| /* Convert token to internal form (in yychar1) for indexing tables with */ |
| |
| if (yychar <= 0) /* This means end of input. */ |
| { |
| yychar1 = 0; |
| yychar = YYEOF; /* Don't call YYLEX any more */ |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Now at end of input.\n"); |
| #endif |
| } |
| else |
| { |
| yychar1 = YYTRANSLATE(yychar); |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| { |
| fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]); |
| /* Give the individual parser a way to print the precise meaning |
| of a token, for further debugging info. */ |
| #ifdef YYPRINT |
| YYPRINT (stderr, yychar, yylval); |
| #endif |
| fprintf (stderr, ")\n"); |
| } |
| #endif |
| } |
| |
| yyn += yychar1; |
| if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1) |
| goto yydefault; |
| |
| yyn = yytable[yyn]; |
| |
| /* yyn is what to do for this token type in this state. |
| Negative => reduce, -yyn is rule number. |
| Positive => shift, yyn is new state. |
| New state is final state => don't bother to shift, |
| just return success. |
| 0, or most negative number => error. */ |
| |
| if (yyn < 0) |
| { |
| if (yyn == YYFLAG) |
| goto yyerrlab; |
| yyn = -yyn; |
| goto yyreduce; |
| } |
| else if (yyn == 0) |
| goto yyerrlab; |
| |
| if (yyn == YYFINAL) |
| YYACCEPT; |
| |
| /* Shift the lookahead token. */ |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]); |
| #endif |
| |
| /* Discard the token being shifted unless it is eof. */ |
| if (yychar != YYEOF) |
| yychar = YYEMPTY; |
| |
| *++yyvsp = yylval; |
| #ifdef YYLSP_NEEDED |
| *++yylsp = yylloc; |
| #endif |
| |
| /* count tokens shifted since error; after three, turn off error status. */ |
| if (yyerrstatus) yyerrstatus--; |
| |
| yystate = yyn; |
| goto yynewstate; |
| |
| /* Do the default action for the current state. */ |
| yydefault: |
| |
| yyn = yydefact[yystate]; |
| if (yyn == 0) |
| goto yyerrlab; |
| |
| /* Do a reduction. yyn is the number of a rule to reduce with. */ |
| yyreduce: |
| yylen = yyr2[yyn]; |
| if (yylen > 0) |
| yyval = yyvsp[1-yylen]; /* implement default value of the action */ |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| { |
| int i; |
| |
| fprintf (stderr, "Reducing via rule %d (line %d), ", |
| yyn, yyrline[yyn]); |
| |
| /* Print the symbols being reduced, and their result. */ |
| for (i = yyprhs[yyn]; yyrhs[i] > 0; i++) |
| fprintf (stderr, "%s ", yytname[yyrhs[i]]); |
| fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]); |
| } |
| #endif |
| |
| |
| switch (yyn) { |
| |
| case 1: |
| #line 245 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| if (CurDefmPrefix) { |
| // If CurDefmPrefix is set, we're parsing a defm, which means that this is |
| // actually the name of a multiclass. |
| MultiClass *MC = MultiClasses[*yyvsp[0].StrVal]; |
| if (MC == 0) { |
| err() << "Couldn't find class '" << *yyvsp[0].StrVal << "'!\n"; |
| exit(1); |
| } |
| yyval.Rec = &MC->Rec; |
| } else { |
| yyval.Rec = Records.getClass(*yyvsp[0].StrVal); |
| } |
| if (yyval.Rec == 0) { |
| err() << "Couldn't find class '" << *yyvsp[0].StrVal << "'!\n"; |
| exit(1); |
| } |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 2: |
| #line 267 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // string type |
| yyval.Ty = new StringRecTy(); |
| ; |
| break;} |
| case 3: |
| #line 269 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // bit type |
| yyval.Ty = new BitRecTy(); |
| ; |
| break;} |
| case 4: |
| #line 271 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // bits<x> type |
| yyval.Ty = new BitsRecTy(yyvsp[-1].IntVal); |
| ; |
| break;} |
| case 5: |
| #line 273 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // int type |
| yyval.Ty = new IntRecTy(); |
| ; |
| break;} |
| case 6: |
| #line 275 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // list<x> type |
| yyval.Ty = new ListRecTy(yyvsp[-1].Ty); |
| ; |
| break;} |
| case 7: |
| #line 277 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // code type |
| yyval.Ty = new CodeRecTy(); |
| ; |
| break;} |
| case 8: |
| #line 279 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // dag type |
| yyval.Ty = new DagRecTy(); |
| ; |
| break;} |
| case 9: |
| #line 281 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { // Record Type |
| yyval.Ty = new RecordRecTy(yyvsp[0].Rec); |
| ; |
| break;} |
| case 10: |
| #line 285 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.IntVal = 0; ; |
| break;} |
| case 11: |
| #line 285 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.IntVal = 1; ; |
| break;} |
| case 12: |
| #line 287 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.Initializer = 0; ; |
| break;} |
| case 13: |
| #line 287 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.Initializer = yyvsp[0].Initializer; ; |
| break;} |
| case 14: |
| #line 289 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| if (const RecordVal *RV = (CurRec ? CurRec->getValue(*yyvsp[0].StrVal) : 0)) { |
| yyval.Initializer = new VarInit(*yyvsp[0].StrVal, RV->getType()); |
| } else if (CurRec && CurRec->isTemplateArg(CurRec->getName()+":"+*yyvsp[0].StrVal)) { |
| const RecordVal *RV = CurRec->getValue(CurRec->getName()+":"+*yyvsp[0].StrVal); |
| assert(RV && "Template arg doesn't exist??"); |
| yyval.Initializer = new VarInit(CurRec->getName()+":"+*yyvsp[0].StrVal, RV->getType()); |
| } else if (CurMultiClass && |
| CurMultiClass->Rec.isTemplateArg(CurMultiClass->Rec.getName()+"::"+*yyvsp[0].StrVal)) { |
| std::string Name = CurMultiClass->Rec.getName()+"::"+*yyvsp[0].StrVal; |
| const RecordVal *RV = CurMultiClass->Rec.getValue(Name); |
| assert(RV && "Template arg doesn't exist??"); |
| yyval.Initializer = new VarInit(Name, RV->getType()); |
| } else if (Record *D = Records.getDef(*yyvsp[0].StrVal)) { |
| yyval.Initializer = new DefInit(D); |
| } else { |
| err() << "Variable not defined: '" << *yyvsp[0].StrVal << "'!\n"; |
| exit(1); |
| } |
| |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 15: |
| #line 312 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = yyvsp[0].Initializer; |
| ; |
| break;} |
| case 16: |
| #line 314 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = new IntInit(yyvsp[0].IntVal); |
| ; |
| break;} |
| case 17: |
| #line 316 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = new StringInit(*yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 18: |
| #line 319 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = new CodeInit(*yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 19: |
| #line 322 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = new UnsetInit(); |
| ; |
| break;} |
| case 20: |
| #line 324 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| BitsInit *Init = new BitsInit(yyvsp[-1].FieldList->size()); |
| for (unsigned i = 0, e = yyvsp[-1].FieldList->size(); i != e; ++i) { |
| struct Init *Bit = (*yyvsp[-1].FieldList)[i]->convertInitializerTo(new BitRecTy()); |
| if (Bit == 0) { |
| err() << "Element #" << i << " (" << *(*yyvsp[-1].FieldList)[i] |
| << ") is not convertable to a bit!\n"; |
| exit(1); |
| } |
| Init->setBit(yyvsp[-1].FieldList->size()-i-1, Bit); |
| } |
| yyval.Initializer = Init; |
| delete yyvsp[-1].FieldList; |
| ; |
| break;} |
| case 21: |
| #line 337 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| // This is a CLASS<initvalslist> expression. This is supposed to synthesize |
| // a new anonymous definition, deriving from CLASS<initvalslist> with no |
| // body. |
| Record *Class = Records.getClass(*yyvsp[-3].StrVal); |
| if (!Class) { |
| err() << "Expected a class, got '" << *yyvsp[-3].StrVal << "'!\n"; |
| exit(1); |
| } |
| delete yyvsp[-3].StrVal; |
| |
| static unsigned AnonCounter = 0; |
| Record *OldRec = CurRec; // Save CurRec. |
| |
| // Create the new record, set it as CurRec temporarily. |
| CurRec = new Record("anonymous.val."+utostr(AnonCounter++)); |
| addSubClass(Class, *yyvsp[-1].FieldList); // Add info about the subclass to CurRec. |
| delete yyvsp[-1].FieldList; // Free up the template args. |
| |
| CurRec->resolveReferences(); |
| |
| Records.addDef(CurRec); |
| |
| // The result of the expression is a reference to the new record. |
| yyval.Initializer = new DefInit(CurRec); |
| |
| // Restore the old CurRec |
| CurRec = OldRec; |
| ; |
| break;} |
| case 22: |
| #line 365 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = yyvsp[-3].Initializer->convertInitializerBitRange(*yyvsp[-1].BitList); |
| if (yyval.Initializer == 0) { |
| err() << "Invalid bit range for value '" << *yyvsp[-3].Initializer << "'!\n"; |
| exit(1); |
| } |
| delete yyvsp[-1].BitList; |
| ; |
| break;} |
| case 23: |
| #line 372 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = new ListInit(*yyvsp[-1].FieldList); |
| delete yyvsp[-1].FieldList; |
| ; |
| break;} |
| case 24: |
| #line 375 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| if (!yyvsp[-2].Initializer->getFieldType(*yyvsp[0].StrVal)) { |
| err() << "Cannot access field '" << *yyvsp[0].StrVal << "' of value '" << *yyvsp[-2].Initializer << "!\n"; |
| exit(1); |
| } |
| yyval.Initializer = new FieldInit(yyvsp[-2].Initializer, *yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 25: |
| #line 382 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = new DagInit(yyvsp[-2].Initializer, *yyvsp[-1].DagValueList); |
| delete yyvsp[-1].DagValueList; |
| ; |
| break;} |
| case 26: |
| #line 385 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| std::reverse(yyvsp[-1].BitList->begin(), yyvsp[-1].BitList->end()); |
| yyval.Initializer = yyvsp[-3].Initializer->convertInitListSlice(*yyvsp[-1].BitList); |
| if (yyval.Initializer == 0) { |
| err() << "Invalid list slice for value '" << *yyvsp[-3].Initializer << "'!\n"; |
| exit(1); |
| } |
| delete yyvsp[-1].BitList; |
| ; |
| break;} |
| case 27: |
| #line 393 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = (new BinOpInit(BinOpInit::SHL, yyvsp[-3].Initializer, yyvsp[-1].Initializer))->Fold(); |
| ; |
| break;} |
| case 28: |
| #line 395 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = (new BinOpInit(BinOpInit::SRA, yyvsp[-3].Initializer, yyvsp[-1].Initializer))->Fold(); |
| ; |
| break;} |
| case 29: |
| #line 397 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = (new BinOpInit(BinOpInit::SRL, yyvsp[-3].Initializer, yyvsp[-1].Initializer))->Fold(); |
| ; |
| break;} |
| case 30: |
| #line 399 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Initializer = (new BinOpInit(BinOpInit::STRCONCAT, yyvsp[-3].Initializer, yyvsp[-1].Initializer))->Fold(); |
| ; |
| break;} |
| case 31: |
| #line 403 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.StrVal = new std::string(); |
| ; |
| break;} |
| case 32: |
| #line 406 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.StrVal = yyvsp[0].StrVal; |
| ; |
| break;} |
| case 33: |
| #line 410 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.DagValueList = new std::vector<std::pair<Init*, std::string> >(); |
| yyval.DagValueList->push_back(std::make_pair(yyvsp[-1].Initializer, *yyvsp[0].StrVal)); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 34: |
| #line 415 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyvsp[-3].DagValueList->push_back(std::make_pair(yyvsp[-1].Initializer, *yyvsp[0].StrVal)); |
| delete yyvsp[0].StrVal; |
| yyval.DagValueList = yyvsp[-3].DagValueList; |
| ; |
| break;} |
| case 35: |
| #line 421 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.DagValueList = new std::vector<std::pair<Init*, std::string> >(); |
| ; |
| break;} |
| case 36: |
| #line 424 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.DagValueList = yyvsp[0].DagValueList; ; |
| break;} |
| case 37: |
| #line 427 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.BitList = new std::vector<unsigned>(); |
| yyval.BitList->push_back(yyvsp[0].IntVal); |
| ; |
| break;} |
| case 38: |
| #line 430 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| if (yyvsp[-2].IntVal < 0 || yyvsp[0].IntVal < 0) { |
| err() << "Invalid range: " << yyvsp[-2].IntVal << "-" << yyvsp[0].IntVal << "!\n"; |
| exit(1); |
| } |
| yyval.BitList = new std::vector<unsigned>(); |
| if (yyvsp[-2].IntVal < yyvsp[0].IntVal) { |
| for (int i = yyvsp[-2].IntVal; i <= yyvsp[0].IntVal; ++i) |
| yyval.BitList->push_back(i); |
| } else { |
| for (int i = yyvsp[-2].IntVal; i >= yyvsp[0].IntVal; --i) |
| yyval.BitList->push_back(i); |
| } |
| ; |
| break;} |
| case 39: |
| #line 443 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyvsp[0].IntVal = -yyvsp[0].IntVal; |
| if (yyvsp[-1].IntVal < 0 || yyvsp[0].IntVal < 0) { |
| err() << "Invalid range: " << yyvsp[-1].IntVal << "-" << yyvsp[0].IntVal << "!\n"; |
| exit(1); |
| } |
| yyval.BitList = new std::vector<unsigned>(); |
| if (yyvsp[-1].IntVal < yyvsp[0].IntVal) { |
| for (int i = yyvsp[-1].IntVal; i <= yyvsp[0].IntVal; ++i) |
| yyval.BitList->push_back(i); |
| } else { |
| for (int i = yyvsp[-1].IntVal; i >= yyvsp[0].IntVal; --i) |
| yyval.BitList->push_back(i); |
| } |
| ; |
| break;} |
| case 40: |
| #line 457 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| (yyval.BitList=yyvsp[-2].BitList)->push_back(yyvsp[0].IntVal); |
| ; |
| break;} |
| case 41: |
| #line 459 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| if (yyvsp[-2].IntVal < 0 || yyvsp[0].IntVal < 0) { |
| err() << "Invalid range: " << yyvsp[-2].IntVal << "-" << yyvsp[0].IntVal << "!\n"; |
| exit(1); |
| } |
| yyval.BitList = yyvsp[-4].BitList; |
| if (yyvsp[-2].IntVal < yyvsp[0].IntVal) { |
| for (int i = yyvsp[-2].IntVal; i <= yyvsp[0].IntVal; ++i) |
| yyval.BitList->push_back(i); |
| } else { |
| for (int i = yyvsp[-2].IntVal; i >= yyvsp[0].IntVal; --i) |
| yyval.BitList->push_back(i); |
| } |
| ; |
| break;} |
| case 42: |
| #line 472 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyvsp[0].IntVal = -yyvsp[0].IntVal; |
| if (yyvsp[-1].IntVal < 0 || yyvsp[0].IntVal < 0) { |
| err() << "Invalid range: " << yyvsp[-1].IntVal << "-" << yyvsp[0].IntVal << "!\n"; |
| exit(1); |
| } |
| yyval.BitList = yyvsp[-3].BitList; |
| if (yyvsp[-1].IntVal < yyvsp[0].IntVal) { |
| for (int i = yyvsp[-1].IntVal; i <= yyvsp[0].IntVal; ++i) |
| yyval.BitList->push_back(i); |
| } else { |
| for (int i = yyvsp[-1].IntVal; i >= yyvsp[0].IntVal; --i) |
| yyval.BitList->push_back(i); |
| } |
| ; |
| break;} |
| case 43: |
| #line 488 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.BitList = yyvsp[0].BitList; std::reverse(yyvsp[0].BitList->begin(), yyvsp[0].BitList->end()); ; |
| break;} |
| case 44: |
| #line 490 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.BitList = 0; ; |
| break;} |
| case 45: |
| #line 490 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.BitList = yyvsp[-1].BitList; ; |
| break;} |
| case 46: |
| #line 494 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.FieldList = new std::vector<Init*>(); |
| ; |
| break;} |
| case 47: |
| #line 496 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.FieldList = yyvsp[0].FieldList; |
| ; |
| break;} |
| case 48: |
| #line 500 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.FieldList = new std::vector<Init*>(); |
| yyval.FieldList->push_back(yyvsp[0].Initializer); |
| ; |
| break;} |
| case 49: |
| #line 503 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| (yyval.FieldList = yyvsp[-2].FieldList)->push_back(yyvsp[0].Initializer); |
| ; |
| break;} |
| case 50: |
| #line 507 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| std::string DecName = *yyvsp[-1].StrVal; |
| if (ParsingTemplateArgs) { |
| if (CurRec) { |
| DecName = CurRec->getName() + ":" + DecName; |
| } else { |
| assert(CurMultiClass); |
| } |
| if (CurMultiClass) |
| DecName = CurMultiClass->Rec.getName() + "::" + DecName; |
| } |
| |
| addValue(RecordVal(DecName, yyvsp[-2].Ty, yyvsp[-3].IntVal)); |
| setValue(DecName, 0, yyvsp[0].Initializer); |
| yyval.StrVal = new std::string(DecName); |
| ; |
| break;} |
| case 51: |
| #line 524 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| delete yyvsp[-1].StrVal; |
| ; |
| break;} |
| case 52: |
| #line 526 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| setValue(*yyvsp[-4].StrVal, yyvsp[-3].BitList, yyvsp[-1].Initializer); |
| delete yyvsp[-4].StrVal; |
| delete yyvsp[-3].BitList; |
| ; |
| break;} |
| case 57: |
| #line 535 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.SubClassRef = new SubClassRefTy(yyvsp[0].Rec, new std::vector<Init*>()); |
| ; |
| break;} |
| case 58: |
| #line 537 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.SubClassRef = new SubClassRefTy(yyvsp[-3].Rec, yyvsp[-1].FieldList); |
| ; |
| break;} |
| case 59: |
| #line 541 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.SubClassList = new std::vector<SubClassRefTy>(); |
| yyval.SubClassList->push_back(*yyvsp[0].SubClassRef); |
| delete yyvsp[0].SubClassRef; |
| ; |
| break;} |
| case 60: |
| #line 546 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| (yyval.SubClassList=yyvsp[-2].SubClassList)->push_back(*yyvsp[0].SubClassRef); |
| delete yyvsp[0].SubClassRef; |
| ; |
| break;} |
| case 61: |
| #line 551 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.SubClassList = new std::vector<SubClassRefTy>(); |
| ; |
| break;} |
| case 62: |
| #line 554 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.SubClassList = yyvsp[0].SubClassList; |
| ; |
| break;} |
| case 63: |
| #line 558 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| getActiveRec()->addTemplateArg(*yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 64: |
| #line 561 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| getActiveRec()->addTemplateArg(*yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 65: |
| #line 566 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| {; |
| break;} |
| case 68: |
| #line 569 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.StrVal = yyvsp[0].StrVal; ; |
| break;} |
| case 69: |
| #line 569 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { yyval.StrVal = new std::string(); ; |
| break;} |
| case 70: |
| #line 571 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| static unsigned AnonCounter = 0; |
| if (yyvsp[0].StrVal->empty()) |
| *yyvsp[0].StrVal = "anonymous."+utostr(AnonCounter++); |
| yyval.StrVal = yyvsp[0].StrVal; |
| ; |
| break;} |
| case 71: |
| #line 578 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| // If a class of this name already exists, it must be a forward ref. |
| if ((CurRec = Records.getClass(*yyvsp[0].StrVal))) { |
| // If the body was previously defined, this is an error. |
| if (!CurRec->getValues().empty() || |
| !CurRec->getSuperClasses().empty() || |
| !CurRec->getTemplateArgs().empty()) { |
| err() << "Class '" << CurRec->getName() << "' already defined!\n"; |
| exit(1); |
| } |
| } else { |
| // If this is the first reference to this class, create and add it. |
| CurRec = new Record(*yyvsp[0].StrVal); |
| Records.addClass(CurRec); |
| } |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 72: |
| #line 596 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| CurRec = new Record(*yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| |
| if (!CurMultiClass) { |
| // Top-level def definition. |
| |
| // Ensure redefinition doesn't happen. |
| if (Records.getDef(CurRec->getName())) { |
| err() << "def '" << CurRec->getName() << "' already defined!\n"; |
| exit(1); |
| } |
| Records.addDef(CurRec); |
| } else { |
| // Otherwise, a def inside a multiclass, add it to the multiclass. |
| for (unsigned i = 0, e = CurMultiClass->DefPrototypes.size(); i != e; ++i) |
| if (CurMultiClass->DefPrototypes[i]->getName() == CurRec->getName()) { |
| err() << "def '" << CurRec->getName() |
| << "' already defined in this multiclass!\n"; |
| exit(1); |
| } |
| CurMultiClass->DefPrototypes.push_back(CurRec); |
| } |
| ; |
| break;} |
| case 73: |
| #line 621 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| for (unsigned i = 0, e = yyvsp[0].SubClassList->size(); i != e; ++i) { |
| addSubClass((*yyvsp[0].SubClassList)[i].first, *(*yyvsp[0].SubClassList)[i].second); |
| // Delete the template arg values for the class |
| delete (*yyvsp[0].SubClassList)[i].second; |
| } |
| delete yyvsp[0].SubClassList; // Delete the class list. |
| |
| // Process any variables on the let stack. |
| for (unsigned i = 0, e = LetStack.size(); i != e; ++i) |
| for (unsigned j = 0, e = LetStack[i].size(); j != e; ++j) |
| setValue(LetStack[i][j].Name, |
| LetStack[i][j].HasBits ? &LetStack[i][j].Bits : 0, |
| LetStack[i][j].Value); |
| ; |
| break;} |
| case 74: |
| #line 635 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Rec = CurRec; |
| CurRec = 0; |
| ; |
| break;} |
| case 75: |
| #line 640 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| ParsingTemplateArgs = true; |
| ; |
| break;} |
| case 76: |
| #line 642 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| ParsingTemplateArgs = false; |
| ; |
| break;} |
| case 77: |
| #line 644 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Rec = yyvsp[0].Rec; |
| ; |
| break;} |
| case 78: |
| #line 648 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| if (CurMultiClass == 0) // Def's in multiclasses aren't really defs. |
| yyvsp[0].Rec->resolveReferences(); |
| |
| // If ObjectBody has template arguments, it's an error. |
| assert(yyvsp[0].Rec->getTemplateArgs().empty() && "How'd this get template args?"); |
| yyval.Rec = yyvsp[0].Rec; |
| ; |
| break;} |
| case 79: |
| #line 658 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.Rec = yyvsp[0].Rec; |
| // Copy the template arguments for the multiclass into the def. |
| const std::vector<std::string> &TArgs = CurMultiClass->Rec.getTemplateArgs(); |
| |
| for (unsigned i = 0, e = TArgs.size(); i != e; ++i) { |
| const RecordVal *RV = CurMultiClass->Rec.getValue(TArgs[i]); |
| assert(RV && "Template arg doesn't exist?"); |
| yyval.Rec->addValue(*RV); |
| } |
| ; |
| break;} |
| case 80: |
| #line 672 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.RecList = new std::vector<Record*>(); |
| yyval.RecList->push_back(yyvsp[0].Rec); |
| ; |
| break;} |
| case 81: |
| #line 675 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| yyval.RecList->push_back(yyvsp[0].Rec); |
| ; |
| break;} |
| case 82: |
| #line 679 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| MultiClass *&MCE = MultiClasses[*yyvsp[0].StrVal]; |
| if (MCE) { |
| err() << "multiclass '" << *yyvsp[0].StrVal << "' already defined!\n"; |
| exit(1); |
| } |
| MCE = CurMultiClass = new MultiClass(*yyvsp[0].StrVal); |
| delete yyvsp[0].StrVal; |
| ; |
| break;} |
| case 83: |
| #line 690 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| ParsingTemplateArgs = true; |
| ; |
| break;} |
| case 84: |
| #line 692 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| ParsingTemplateArgs = false; |
| ; |
| break;} |
| case 85: |
| #line 694 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| CurMultiClass = 0; |
| ; |
| break;} |
| case 86: |
| #line 699 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { CurDefmPrefix = yyvsp[0].StrVal; ; |
| break;} |
| case 87: |
| #line 699 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| // To instantiate a multiclass, we need to first get the multiclass, then |
| // instantiate each def contained in the multiclass with the SubClassRef |
| // template parameters. |
| MultiClass *MC = MultiClasses[yyvsp[-1].SubClassRef->first->getName()]; |
| assert(MC && "Didn't lookup multiclass correctly?"); |
| std::vector<Init*> &TemplateVals = *yyvsp[-1].SubClassRef->second; |
| delete yyvsp[-1].SubClassRef; |
| |
| // Verify that the correct number of template arguments were specified. |
| const std::vector<std::string> &TArgs = MC->Rec.getTemplateArgs(); |
| if (TArgs.size() < TemplateVals.size()) { |
| err() << "ERROR: More template args specified than multiclass expects!\n"; |
| exit(1); |
| } |
| |
| // Loop over all the def's in the multiclass, instantiating each one. |
| for (unsigned i = 0, e = MC->DefPrototypes.size(); i != e; ++i) { |
| Record *DefProto = MC->DefPrototypes[i]; |
| |
| // Add the suffix to the defm name to get the new name. |
| assert(CurRec == 0 && "A def is current?"); |
| CurRec = new Record(*yyvsp[-4].StrVal + DefProto->getName()); |
| |
| addSubClass(DefProto, std::vector<Init*>()); |
| |
| // Loop over all of the template arguments, setting them to the specified |
| // value or leaving them as the default if necessary. |
| for (unsigned i = 0, e = TArgs.size(); i != e; ++i) { |
| if (i < TemplateVals.size()) { // A value is specified for this temp-arg? |
| // Set it now. |
| setValue(TArgs[i], 0, TemplateVals[i]); |
| |
| // Resolve it next. |
| CurRec->resolveReferencesTo(CurRec->getValue(TArgs[i])); |
| |
| // Now remove it. |
| CurRec->removeValue(TArgs[i]); |
| |
| } else if (!CurRec->getValue(TArgs[i])->getValue()->isComplete()) { |
| err() << "ERROR: Value not specified for template argument #" |
| << i << " (" << TArgs[i] << ") of multiclassclass '" |
| << MC->Rec.getName() << "'!\n"; |
| exit(1); |
| } |
| } |
| |
| // If the mdef is inside a 'let' expression, add to each def. |
| for (unsigned i = 0, e = LetStack.size(); i != e; ++i) |
| for (unsigned j = 0, e = LetStack[i].size(); j != e; ++j) |
| setValue(LetStack[i][j].Name, |
| LetStack[i][j].HasBits ? &LetStack[i][j].Bits : 0, |
| LetStack[i][j].Value); |
| |
| |
| // Ensure redefinition doesn't happen. |
| if (Records.getDef(CurRec->getName())) { |
| err() << "def '" << CurRec->getName() << "' already defined, " |
| << "instantiating defm '" << *yyvsp[-4].StrVal << "' with subdef '" |
| << DefProto->getName() << "'!\n"; |
| exit(1); |
| } |
| Records.addDef(CurRec); |
| |
| CurRec->resolveReferences(); |
| |
| CurRec = 0; |
| } |
| |
| delete &TemplateVals; |
| delete yyvsp[-4].StrVal; |
| CurDefmPrefix = 0; |
| ; |
| break;} |
| case 88: |
| #line 773 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| {; |
| break;} |
| case 89: |
| #line 773 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| {; |
| break;} |
| case 92: |
| #line 776 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| LetStack.back().push_back(LetRecord(*yyvsp[-3].StrVal, yyvsp[-2].BitList, yyvsp[0].Initializer)); |
| delete yyvsp[-3].StrVal; delete yyvsp[-2].BitList; |
| ; |
| break;} |
| case 95: |
| #line 784 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { LetStack.push_back(std::vector<LetRecord>()); ; |
| break;} |
| case 97: |
| #line 787 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| LetStack.pop_back(); |
| ; |
| break;} |
| case 98: |
| #line 790 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| { |
| LetStack.pop_back(); |
| ; |
| break;} |
| case 99: |
| #line 794 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| {; |
| break;} |
| case 100: |
| #line 794 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| {; |
| break;} |
| } |
| /* the action file gets copied in in place of this dollarsign */ |
| #line 543 "/usr/share/bison.simple" |
| |
| yyvsp -= yylen; |
| yyssp -= yylen; |
| #ifdef YYLSP_NEEDED |
| yylsp -= yylen; |
| #endif |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| { |
| short *ssp1 = yyss - 1; |
| fprintf (stderr, "state stack now"); |
| while (ssp1 != yyssp) |
| fprintf (stderr, " %d", *++ssp1); |
| fprintf (stderr, "\n"); |
| } |
| #endif |
| |
| *++yyvsp = yyval; |
| |
| #ifdef YYLSP_NEEDED |
| yylsp++; |
| if (yylen == 0) |
| { |
| yylsp->first_line = yylloc.first_line; |
| yylsp->first_column = yylloc.first_column; |
| yylsp->last_line = (yylsp-1)->last_line; |
| yylsp->last_column = (yylsp-1)->last_column; |
| yylsp->text = 0; |
| } |
| else |
| { |
| yylsp->last_line = (yylsp+yylen-1)->last_line; |
| yylsp->last_column = (yylsp+yylen-1)->last_column; |
| } |
| #endif |
| |
| /* Now "shift" the result of the reduction. |
| Determine what state that goes to, |
| based on the state we popped back to |
| and the rule number reduced by. */ |
| |
| yyn = yyr1[yyn]; |
| |
| yystate = yypgoto[yyn - YYNTBASE] + *yyssp; |
| if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp) |
| yystate = yytable[yystate]; |
| else |
| yystate = yydefgoto[yyn - YYNTBASE]; |
| |
| goto yynewstate; |
| |
| yyerrlab: /* here on detecting error */ |
| |
| if (! yyerrstatus) |
| /* If not already recovering from an error, report this error. */ |
| { |
| ++yynerrs; |
| |
| #ifdef YYERROR_VERBOSE |
| yyn = yypact[yystate]; |
| |
| if (yyn > YYFLAG && yyn < YYLAST) |
| { |
| int size = 0; |
| char *msg; |
| int x, count; |
| |
| count = 0; |
| /* Start X at -yyn if nec to avoid negative indexes in yycheck. */ |
| for (x = (yyn < 0 ? -yyn : 0); |
| x < (sizeof(yytname) / sizeof(char *)); x++) |
| if (yycheck[x + yyn] == x) |
| size += strlen(yytname[x]) + 15, count++; |
| msg = (char *) malloc(size + 15); |
| if (msg != 0) |
| { |
| strcpy(msg, "parse error"); |
| |
| if (count < 5) |
| { |
| count = 0; |
| for (x = (yyn < 0 ? -yyn : 0); |
| x < (sizeof(yytname) / sizeof(char *)); x++) |
| if (yycheck[x + yyn] == x) |
| { |
| strcat(msg, count == 0 ? ", expecting `" : " or `"); |
| strcat(msg, yytname[x]); |
| strcat(msg, "'"); |
| count++; |
| } |
| } |
| yyerror(msg); |
| free(msg); |
| } |
| else |
| yyerror ("parse error; also virtual memory exceeded"); |
| } |
| else |
| #endif /* YYERROR_VERBOSE */ |
| yyerror("parse error"); |
| } |
| |
| goto yyerrlab1; |
| yyerrlab1: /* here on error raised explicitly by an action */ |
| |
| if (yyerrstatus == 3) |
| { |
| /* if just tried and failed to reuse lookahead token after an error, discard it. */ |
| |
| /* return failure if at end of input */ |
| if (yychar == YYEOF) |
| YYABORT; |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]); |
| #endif |
| |
| yychar = YYEMPTY; |
| } |
| |
| /* Else will try to reuse lookahead token |
| after shifting the error token. */ |
| |
| yyerrstatus = 3; /* Each real token shifted decrements this */ |
| |
| goto yyerrhandle; |
| |
| yyerrdefault: /* current state does not do anything special for the error token. */ |
| |
| #if 0 |
| /* This is wrong; only states that explicitly want error tokens |
| should shift them. */ |
| yyn = yydefact[yystate]; /* If its default is to accept any token, ok. Otherwise pop it.*/ |
| if (yyn) goto yydefault; |
| #endif |
| |
| yyerrpop: /* pop the current state because it cannot handle the error token */ |
| |
| if (yyssp == yyss) YYABORT; |
| yyvsp--; |
| yystate = *--yyssp; |
| #ifdef YYLSP_NEEDED |
| yylsp--; |
| #endif |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| { |
| short *ssp1 = yyss - 1; |
| fprintf (stderr, "Error: state stack now"); |
| while (ssp1 != yyssp) |
| fprintf (stderr, " %d", *++ssp1); |
| fprintf (stderr, "\n"); |
| } |
| #endif |
| |
| yyerrhandle: |
| |
| yyn = yypact[yystate]; |
| if (yyn == YYFLAG) |
| goto yyerrdefault; |
| |
| yyn += YYTERROR; |
| if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR) |
| goto yyerrdefault; |
| |
| yyn = yytable[yyn]; |
| if (yyn < 0) |
| { |
| if (yyn == YYFLAG) |
| goto yyerrpop; |
| yyn = -yyn; |
| goto yyreduce; |
| } |
| else if (yyn == 0) |
| goto yyerrpop; |
| |
| if (yyn == YYFINAL) |
| YYACCEPT; |
| |
| #if YYDEBUG != 0 |
| if (yydebug) |
| fprintf(stderr, "Shifting error token, "); |
| #endif |
| |
| *++yyvsp = yylval; |
| #ifdef YYLSP_NEEDED |
| *++yylsp = yylloc; |
| #endif |
| |
| yystate = yyn; |
| goto yynewstate; |
| |
| yyacceptlab: |
| /* YYACCEPT comes here. */ |
| if (yyfree_stacks) |
| { |
| free (yyss); |
| free (yyvs); |
| #ifdef YYLSP_NEEDED |
| free (yyls); |
| #endif |
| } |
| return 0; |
| |
| yyabortlab: |
| /* YYABORT comes here. */ |
| if (yyfree_stacks) |
| { |
| free (yyss); |
| free (yyvs); |
| #ifdef YYLSP_NEEDED |
| free (yyls); |
| #endif |
| } |
| return 1; |
| } |
| #line 798 "/Volumes/ProjectsDisk/cvs/llvm/utils/TableGen/FileParser.y" |
| |
| |
| int yyerror(const char *ErrorMsg) { |
| err() << "Error parsing: " << ErrorMsg << "\n"; |
| exit(1); |
| } |