Operation Enhancements
[oota-llvm.git] / utils / TableGen / Record.cpp
1 //===- Record.cpp - Record implementation ---------------------------------===//
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 tablegen record classes.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "Record.h"
15 #include "llvm/Support/DataTypes.h"
16 #include "llvm/Support/Streams.h"
17 #include "llvm/ADT/StringExtras.h"
18 #include <ios>
19
20 using namespace llvm;
21
22 //===----------------------------------------------------------------------===//
23 //    Type implementations
24 //===----------------------------------------------------------------------===//
25
26 void RecTy::dump() const { print(*cerr.stream()); }
27
28 Init *BitRecTy::convertValue(BitsInit *BI) {
29   if (BI->getNumBits() != 1) return 0; // Only accept if just one bit!
30   return BI->getBit(0);
31 }
32
33 bool BitRecTy::baseClassOf(const BitsRecTy *RHS) const {
34   return RHS->getNumBits() == 1;
35 }
36
37 Init *BitRecTy::convertValue(IntInit *II) {
38   int64_t Val = II->getValue();
39   if (Val != 0 && Val != 1) return 0;  // Only accept 0 or 1 for a bit!
40
41   return new BitInit(Val != 0);
42 }
43
44 Init *BitRecTy::convertValue(TypedInit *VI) {
45   if (dynamic_cast<BitRecTy*>(VI->getType()))
46     return VI;  // Accept variable if it is already of bit type!
47   return 0;
48 }
49
50 std::string BitsRecTy::getAsString() const {
51   return "bits<" + utostr(Size) + ">";
52 }
53
54 Init *BitsRecTy::convertValue(UnsetInit *UI) {
55   BitsInit *Ret = new BitsInit(Size);
56
57   for (unsigned i = 0; i != Size; ++i)
58     Ret->setBit(i, new UnsetInit());
59   return Ret;
60 }
61
62 Init *BitsRecTy::convertValue(BitInit *UI) {
63   if (Size != 1) return 0;  // Can only convert single bit...
64   BitsInit *Ret = new BitsInit(1);
65   Ret->setBit(0, UI);
66   return Ret;
67 }
68
69 // convertValue from Int initializer to bits type: Split the integer up into the
70 // appropriate bits...
71 //
72 Init *BitsRecTy::convertValue(IntInit *II) {
73   int64_t Value = II->getValue();
74   // Make sure this bitfield is large enough to hold the integer value...
75   if (Value >= 0) {
76     if (Value & ~((1LL << Size)-1))
77       return 0;
78   } else {
79     if ((Value >> Size) != -1 || ((Value & (1LL << (Size-1))) == 0))
80       return 0;
81   }
82
83   BitsInit *Ret = new BitsInit(Size);
84   for (unsigned i = 0; i != Size; ++i)
85     Ret->setBit(i, new BitInit(Value & (1LL << i)));
86
87   return Ret;
88 }
89
90 Init *BitsRecTy::convertValue(BitsInit *BI) {
91   // If the number of bits is right, return it.  Otherwise we need to expand or
92   // truncate...
93   if (BI->getNumBits() == Size) return BI;
94   return 0;
95 }
96
97 Init *BitsRecTy::convertValue(TypedInit *VI) {
98   if (BitsRecTy *BRT = dynamic_cast<BitsRecTy*>(VI->getType()))
99     if (BRT->Size == Size) {
100       BitsInit *Ret = new BitsInit(Size);
101       for (unsigned i = 0; i != Size; ++i)
102         Ret->setBit(i, new VarBitInit(VI, i));
103       return Ret;
104     }
105   if (Size == 1 && dynamic_cast<BitRecTy*>(VI->getType())) {
106     BitsInit *Ret = new BitsInit(1);
107     Ret->setBit(0, VI);
108     return Ret;
109   }
110
111   return 0;
112 }
113
114 Init *IntRecTy::convertValue(BitInit *BI) {
115   return new IntInit(BI->getValue());
116 }
117
118 Init *IntRecTy::convertValue(BitsInit *BI) {
119   int64_t Result = 0;
120   for (unsigned i = 0, e = BI->getNumBits(); i != e; ++i)
121     if (BitInit *Bit = dynamic_cast<BitInit*>(BI->getBit(i))) {
122       Result |= Bit->getValue() << i;
123     } else {
124       return 0;
125     }
126   return new IntInit(Result);
127 }
128
129 Init *IntRecTy::convertValue(TypedInit *TI) {
130   if (TI->getType()->typeIsConvertibleTo(this))
131     return TI;  // Accept variable if already of the right type!
132   return 0;
133 }
134
135 // Init *StringRecTy::convertValue(UnOpInit *BO) {
136 //   if (BO->getOpcode() == UnOpInit::CAST) {
137 //     Init *L = BO->getOperand()->convertInitializerTo(this);
138 //     if (L == 0) return 0;
139 //     if (L != BO->getOperand())
140 //       return new UnOpInit(UnOpInit::CAST, L, new StringRecTy);
141 //     return BO;
142 //   }
143
144 //   return convertValue((TypedInit*)BO);
145 // }
146
147 Init *StringRecTy::convertValue(BinOpInit *BO) {
148   if (BO->getOpcode() == BinOpInit::STRCONCAT) {
149     Init *L = BO->getLHS()->convertInitializerTo(this);
150     Init *R = BO->getRHS()->convertInitializerTo(this);
151     if (L == 0 || R == 0) return 0;
152     if (L != BO->getLHS() || R != BO->getRHS())
153       return new BinOpInit(BinOpInit::STRCONCAT, L, R, new StringRecTy);
154     return BO;
155   }
156   if (BO->getOpcode() == BinOpInit::NAMECONCAT) {
157     if (BO->getType()->getAsString() == getAsString()) {
158       Init *L = BO->getLHS()->convertInitializerTo(this);
159       Init *R = BO->getRHS()->convertInitializerTo(this);
160       if (L == 0 || R == 0) return 0;
161       if (L != BO->getLHS() || R != BO->getRHS())
162         return new BinOpInit(BinOpInit::NAMECONCAT, L, R, new StringRecTy);
163       return BO;
164     }
165   }
166
167   return convertValue((TypedInit*)BO);
168 }
169
170
171 Init *StringRecTy::convertValue(TypedInit *TI) {
172   if (dynamic_cast<StringRecTy*>(TI->getType()))
173     return TI;  // Accept variable if already of the right type!
174   return 0;
175 }
176
177 std::string ListRecTy::getAsString() const {
178   return "list<" + Ty->getAsString() + ">";
179 }
180
181 Init *ListRecTy::convertValue(ListInit *LI) {
182   std::vector<Init*> Elements;
183
184   // Verify that all of the elements of the list are subclasses of the
185   // appropriate class!
186   for (unsigned i = 0, e = LI->getSize(); i != e; ++i)
187     if (Init *CI = LI->getElement(i)->convertInitializerTo(Ty))
188       Elements.push_back(CI);
189     else
190       return 0;
191
192   return new ListInit(Elements);
193 }
194
195 Init *ListRecTy::convertValue(TypedInit *TI) {
196   // Ensure that TI is compatible with our class.
197   if (ListRecTy *LRT = dynamic_cast<ListRecTy*>(TI->getType()))
198     if (LRT->getElementType()->typeIsConvertibleTo(getElementType()))
199       return TI;
200   return 0;
201 }
202
203 Init *CodeRecTy::convertValue(TypedInit *TI) {
204   if (TI->getType()->typeIsConvertibleTo(this))
205     return TI;
206   return 0;
207 }
208
209 Init *DagRecTy::convertValue(TypedInit *TI) {
210   if (TI->getType()->typeIsConvertibleTo(this))
211     return TI;
212   return 0;
213 }
214
215 // Init *DagRecTy::convertValue(UnOpInit *BO) {
216 //   if (BO->getOpcode() == UnOpInit::CAST) {
217 //     Init *L = BO->getOperand()->convertInitializerTo(this);
218 //     if (L == 0) return 0;
219 //     if (L != BO->getOperand())
220 //       return new UnOpInit(UnOpInit::CAST, L, new DagRecTy);
221 //     return BO;
222 //   }
223 //   return 0;
224 // }
225
226 Init *DagRecTy::convertValue(BinOpInit *BO) {
227   if (BO->getOpcode() == BinOpInit::CONCAT) {
228     Init *L = BO->getLHS()->convertInitializerTo(this);
229     Init *R = BO->getRHS()->convertInitializerTo(this);
230     if (L == 0 || R == 0) return 0;
231     if (L != BO->getLHS() || R != BO->getRHS())
232       return new BinOpInit(BinOpInit::CONCAT, L, R, new DagRecTy);
233     return BO;
234   }
235   if (BO->getOpcode() == BinOpInit::NAMECONCAT) {
236     if (BO->getType()->getAsString() == getAsString()) {
237       Init *L = BO->getLHS()->convertInitializerTo(this);
238       Init *R = BO->getRHS()->convertInitializerTo(this);
239       if (L == 0 || R == 0) return 0;
240       if (L != BO->getLHS() || R != BO->getRHS())
241         return new BinOpInit(BinOpInit::CONCAT, L, R, new DagRecTy);
242       return BO;
243     }
244   }
245   return 0;
246 }
247
248 std::string RecordRecTy::getAsString() const {
249   return Rec->getName();
250 }
251
252 Init *RecordRecTy::convertValue(DefInit *DI) {
253   // Ensure that DI is a subclass of Rec.
254   if (!DI->getDef()->isSubClassOf(Rec))
255     return 0;
256   return DI;
257 }
258
259 Init *RecordRecTy::convertValue(TypedInit *TI) {
260   // Ensure that TI is compatible with Rec.
261   if (RecordRecTy *RRT = dynamic_cast<RecordRecTy*>(TI->getType()))
262     if (RRT->getRecord()->isSubClassOf(getRecord()) ||
263         RRT->getRecord() == getRecord())
264       return TI;
265   return 0;
266 }
267
268 bool RecordRecTy::baseClassOf(const RecordRecTy *RHS) const {
269   return Rec == RHS->getRecord() || RHS->getRecord()->isSubClassOf(Rec);
270 }
271
272
273 //===----------------------------------------------------------------------===//
274 //    Initializer implementations
275 //===----------------------------------------------------------------------===//
276
277 void Init::dump() const { return print(*cerr.stream()); }
278
279 Init *BitsInit::convertInitializerBitRange(const std::vector<unsigned> &Bits) {
280   BitsInit *BI = new BitsInit(Bits.size());
281   for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
282     if (Bits[i] >= getNumBits()) {
283       delete BI;
284       return 0;
285     }
286     BI->setBit(i, getBit(Bits[i]));
287   }
288   return BI;
289 }
290
291 std::string BitsInit::getAsString() const {
292   //if (!printInHex(OS)) return;
293   //if (!printAsVariable(OS)) return;
294   //if (!printAsUnset(OS)) return;
295
296   std::string Result = "{ ";
297   for (unsigned i = 0, e = getNumBits(); i != e; ++i) {
298     if (i) Result += ", ";
299     if (Init *Bit = getBit(e-i-1))
300       Result += Bit->getAsString();
301     else
302       Result += "*";
303   }
304   return Result + " }";
305 }
306
307 bool BitsInit::printInHex(std::ostream &OS) const {
308   // First, attempt to convert the value into an integer value...
309   int64_t Result = 0;
310   for (unsigned i = 0, e = getNumBits(); i != e; ++i)
311     if (BitInit *Bit = dynamic_cast<BitInit*>(getBit(i))) {
312       Result |= Bit->getValue() << i;
313     } else {
314       return true;
315     }
316
317   OS << "0x" << std::hex << Result << std::dec;
318   return false;
319 }
320
321 bool BitsInit::printAsVariable(std::ostream &OS) const {
322   // Get the variable that we may be set equal to...
323   assert(getNumBits() != 0);
324   VarBitInit *FirstBit = dynamic_cast<VarBitInit*>(getBit(0));
325   if (FirstBit == 0) return true;
326   TypedInit *Var = FirstBit->getVariable();
327
328   // Check to make sure the types are compatible.
329   BitsRecTy *Ty = dynamic_cast<BitsRecTy*>(FirstBit->getVariable()->getType());
330   if (Ty == 0) return true;
331   if (Ty->getNumBits() != getNumBits()) return true; // Incompatible types!
332
333   // Check to make sure all bits are referring to the right bits in the variable
334   for (unsigned i = 0, e = getNumBits(); i != e; ++i) {
335     VarBitInit *Bit = dynamic_cast<VarBitInit*>(getBit(i));
336     if (Bit == 0 || Bit->getVariable() != Var || Bit->getBitNum() != i)
337       return true;
338   }
339
340   Var->print(OS);
341   return false;
342 }
343
344 bool BitsInit::printAsUnset(std::ostream &OS) const {
345   for (unsigned i = 0, e = getNumBits(); i != e; ++i)
346     if (!dynamic_cast<UnsetInit*>(getBit(i)))
347       return true;
348   OS << "?";
349   return false;
350 }
351
352 // resolveReferences - If there are any field references that refer to fields
353 // that have been filled in, we can propagate the values now.
354 //
355 Init *BitsInit::resolveReferences(Record &R, const RecordVal *RV) {
356   bool Changed = false;
357   BitsInit *New = new BitsInit(getNumBits());
358
359   for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
360     Init *B;
361     Init *CurBit = getBit(i);
362
363     do {
364       B = CurBit;
365       CurBit = CurBit->resolveReferences(R, RV);
366       Changed |= B != CurBit;
367     } while (B != CurBit);
368     New->setBit(i, CurBit);
369   }
370
371   if (Changed)
372     return New;
373   delete New;
374   return this;
375 }
376
377 std::string IntInit::getAsString() const {
378   return itostr(Value);
379 }
380
381 Init *IntInit::convertInitializerBitRange(const std::vector<unsigned> &Bits) {
382   BitsInit *BI = new BitsInit(Bits.size());
383
384   for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
385     if (Bits[i] >= 64) {
386       delete BI;
387       return 0;
388     }
389     BI->setBit(i, new BitInit(Value & (INT64_C(1) << Bits[i])));
390   }
391   return BI;
392 }
393
394 Init *ListInit::convertInitListSlice(const std::vector<unsigned> &Elements) {
395   std::vector<Init*> Vals;
396   for (unsigned i = 0, e = Elements.size(); i != e; ++i) {
397     if (Elements[i] >= getSize())
398       return 0;
399     Vals.push_back(getElement(Elements[i]));
400   }
401   return new ListInit(Vals);
402 }
403
404 Record *ListInit::getElementAsRecord(unsigned i) const {
405   assert(i < Values.size() && "List element index out of range!");
406   DefInit *DI = dynamic_cast<DefInit*>(Values[i]);
407   if (DI == 0) throw "Expected record in list!";
408   return DI->getDef();
409 }
410
411 Init *ListInit::resolveReferences(Record &R, const RecordVal *RV) {
412   std::vector<Init*> Resolved;
413   Resolved.reserve(getSize());
414   bool Changed = false;
415
416   for (unsigned i = 0, e = getSize(); i != e; ++i) {
417     Init *E;
418     Init *CurElt = getElement(i);
419
420     do {
421       E = CurElt;
422       CurElt = CurElt->resolveReferences(R, RV);
423       Changed |= E != CurElt;
424     } while (E != CurElt);
425     Resolved.push_back(E);
426   }
427
428   if (Changed)
429     return new ListInit(Resolved);
430   return this;
431 }
432
433 std::string ListInit::getAsString() const {
434   std::string Result = "[";
435   for (unsigned i = 0, e = Values.size(); i != e; ++i) {
436     if (i) Result += ", ";
437     Result += Values[i]->getAsString();
438   }
439   return Result + "]";
440 }
441
442 Init *OpInit::resolveBitReference(Record &R, const RecordVal *IRV,
443                                    unsigned Bit) {
444   Init *Folded = Fold(&R, 0);
445
446   if (Folded != this) {
447     TypedInit *Typed = dynamic_cast<TypedInit *>(Folded);
448     if (Typed) {
449       return Typed->resolveBitReference(R, IRV, Bit);
450     }    
451   }
452   
453   return 0;
454 }
455
456 Init *OpInit::resolveListElementReference(Record &R, const RecordVal *IRV,
457                                            unsigned Elt) {
458   Init *Folded = Fold(&R, 0);
459
460   if (Folded != this) {
461     TypedInit *Typed = dynamic_cast<TypedInit *>(Folded);
462     if (Typed) {
463       return Typed->resolveListElementReference(R, IRV, Elt);
464     }    
465   }
466   
467   return 0;
468 }
469
470 // Init *UnOpInit::Fold(Record *CurRec, MultiClass *CurMultiClass) {
471 //   switch (getOpcode()) {
472 //   default: assert(0 && "Unknown unop");
473 //   case CAST: {
474 //     StringInit *LHSs = dynamic_cast<StringInit*>(LHS);
475 //     if (LHSs) {
476 //       std::string Name = LHSs->getValue();
477
478 //       // From TGParser::ParseIDValue
479 //       if (CurRec) {
480 //         if (const RecordVal *RV = CurRec->getValue(Name)) {
481 //           if (RV->getType() != getType()) {
482 //             throw "type mismatch in nameconcat";
483 //           }
484 //           return new VarInit(Name, RV->getType());
485 //         }
486         
487 //         std::string TemplateArgName = CurRec->getName()+":"+Name;
488 //         if (CurRec->isTemplateArg(TemplateArgName)) {
489 //           const RecordVal *RV = CurRec->getValue(TemplateArgName);
490 //           assert(RV && "Template arg doesn't exist??");
491
492 //           if (RV->getType() != getType()) {
493 //             throw "type mismatch in nameconcat";
494 //           }
495
496 //           return new VarInit(TemplateArgName, RV->getType());
497 //         }
498 //       }
499
500 //       if (CurMultiClass) {
501 //         std::string MCName = CurMultiClass->Rec.getName()+"::"+Name;
502 //         if (CurMultiClass->Rec.isTemplateArg(MCName)) {
503 //           const RecordVal *RV = CurMultiClass->Rec.getValue(MCName);
504 //           assert(RV && "Template arg doesn't exist??");
505
506 //           if (RV->getType() != getType()) {
507 //             throw "type mismatch in nameconcat";
508 //           }
509           
510 //           return new VarInit(MCName, RV->getType());
511 //         }
512 //       }
513
514 //       if (Record *D = Records.getDef(Name))
515 //         return new DefInit(D);
516
517 //       cerr << "Variable not defined: '" + Name + "'\n";
518 //       assert(0 && "Variable not found");
519 //       return 0;
520 //     }
521 //     break;
522 //   }
523 //   }
524 //   return this;
525 // }
526
527 // Init *UnOpInit::resolveReferences(Record &R, const RecordVal *RV) {
528 //   Init *lhs = LHS->resolveReferences(R, RV);
529   
530 //   if (LHS != lhs)
531 //     return (new UnOpInit(getOpcode(), lhs, getType()))->Fold(&R, 0);
532 //   return Fold(&R, 0);
533 // }
534
535 // std::string UnOpInit::getAsString() const {
536 //   std::string Result;
537 //   switch (Opc) {
538 //   case CAST: Result = "!cast<" + getType()->getAsString() + ">"; break;
539 //   }
540 //   return Result + "(" + LHS->getAsString() + ")";
541 // }
542
543 Init *BinOpInit::Fold(Record *CurRec, MultiClass *CurMultiClass) {
544   switch (getOpcode()) {
545   default: assert(0 && "Unknown binop");
546   case CONCAT: {
547     DagInit *LHSs = dynamic_cast<DagInit*>(LHS);
548     DagInit *RHSs = dynamic_cast<DagInit*>(RHS);
549     if (LHSs && RHSs) {
550       DefInit *LOp = dynamic_cast<DefInit*>(LHSs->getOperator());
551       DefInit *ROp = dynamic_cast<DefInit*>(RHSs->getOperator());
552       if (LOp->getDef() != ROp->getDef()) {
553         bool LIsOps =
554           LOp->getDef()->getName() == "outs" ||
555           LOp->getDef()->getName() != "ins" ||
556           LOp->getDef()->getName() != "defs";
557         bool RIsOps =
558           ROp->getDef()->getName() == "outs" ||
559           ROp->getDef()->getName() != "ins" ||
560           ROp->getDef()->getName() != "defs";
561         if (!LIsOps || !RIsOps)
562           throw "Concated Dag operators do not match!";
563       }
564       std::vector<Init*> Args;
565       std::vector<std::string> ArgNames;
566       for (unsigned i = 0, e = LHSs->getNumArgs(); i != e; ++i) {
567         Args.push_back(LHSs->getArg(i));
568         ArgNames.push_back(LHSs->getArgName(i));
569       }
570       for (unsigned i = 0, e = RHSs->getNumArgs(); i != e; ++i) {
571         Args.push_back(RHSs->getArg(i));
572         ArgNames.push_back(RHSs->getArgName(i));
573       }
574       return new DagInit(LHSs->getOperator(), "", Args, ArgNames);
575     }
576     break;
577   }
578   case STRCONCAT: {
579     StringInit *LHSs = dynamic_cast<StringInit*>(LHS);
580     StringInit *RHSs = dynamic_cast<StringInit*>(RHS);
581     if (LHSs && RHSs)
582       return new StringInit(LHSs->getValue() + RHSs->getValue());
583     break;
584   }
585   case NAMECONCAT: {
586     StringInit *LHSs = dynamic_cast<StringInit*>(LHS);
587     StringInit *RHSs = dynamic_cast<StringInit*>(RHS);
588     if (LHSs && RHSs) {
589       std::string Name(LHSs->getValue() + RHSs->getValue());
590
591       // From TGParser::ParseIDValue
592       if (CurRec) {
593         if (const RecordVal *RV = CurRec->getValue(Name)) {
594           if (RV->getType() != getType()) {
595             throw "type mismatch in nameconcat";
596           }
597           return new VarInit(Name, RV->getType());
598         }
599         
600         std::string TemplateArgName = CurRec->getName()+":"+Name;
601         if (CurRec->isTemplateArg(TemplateArgName)) {
602           const RecordVal *RV = CurRec->getValue(TemplateArgName);
603           assert(RV && "Template arg doesn't exist??");
604
605           if (RV->getType() != getType()) {
606             throw "type mismatch in nameconcat";
607           }
608
609           return new VarInit(TemplateArgName, RV->getType());
610         }
611       }
612
613       if (CurMultiClass) {
614         std::string MCName = CurMultiClass->Rec.getName()+"::"+Name;
615         if (CurMultiClass->Rec.isTemplateArg(MCName)) {
616           const RecordVal *RV = CurMultiClass->Rec.getValue(MCName);
617           assert(RV && "Template arg doesn't exist??");
618
619           if (RV->getType() != getType()) {
620             throw "type mismatch in nameconcat";
621           }
622           
623           return new VarInit(MCName, RV->getType());
624         }
625       }
626
627       if (Record *D = Records.getDef(Name))
628         return new DefInit(D);
629
630       cerr << "Variable not defined: '" + Name + "'\n";
631       assert(0 && "Variable not found");
632       return 0;
633     }
634     break;
635   }
636   case SHL:
637   case SRA:
638   case SRL: {
639     IntInit *LHSi = dynamic_cast<IntInit*>(LHS);
640     IntInit *RHSi = dynamic_cast<IntInit*>(RHS);
641     if (LHSi && RHSi) {
642       int64_t LHSv = LHSi->getValue(), RHSv = RHSi->getValue();
643       int64_t Result;
644       switch (getOpcode()) {
645       default: assert(0 && "Bad opcode!");
646       case SHL: Result = LHSv << RHSv; break;
647       case SRA: Result = LHSv >> RHSv; break;
648       case SRL: Result = (uint64_t)LHSv >> (uint64_t)RHSv; break;
649       }
650       return new IntInit(Result);
651     }
652     break;
653   }
654   }
655   return this;
656 }
657
658 Init *BinOpInit::resolveReferences(Record &R, const RecordVal *RV) {
659   Init *lhs = LHS->resolveReferences(R, RV);
660   Init *rhs = RHS->resolveReferences(R, RV);
661   
662   if (LHS != lhs || RHS != rhs)
663     return (new BinOpInit(getOpcode(), lhs, rhs, getType()))->Fold(&R, 0);
664   return Fold(&R, 0);
665 }
666
667 std::string BinOpInit::getAsString() const {
668   std::string Result;
669   switch (Opc) {
670   case CONCAT: Result = "!con"; break;
671   case SHL: Result = "!shl"; break;
672   case SRA: Result = "!sra"; break;
673   case SRL: Result = "!srl"; break;
674   case STRCONCAT: Result = "!strconcat"; break;
675   case NAMECONCAT: 
676     Result = "!nameconcat<" + getType()->getAsString() + ">"; break;
677   }
678   return Result + "(" + LHS->getAsString() + ", " + RHS->getAsString() + ")";
679 }
680
681 // Init *TernOpInit::Fold(Record *CurRec, MultiClass *CurMultiClass) {
682 //   switch (getOpcode()) {
683 //   default: assert(0 && "Unknown binop");
684 //   case SUBST: {
685 //     DefInit *LHSd = dynamic_cast<DefInit*>(LHS);
686 //     VarInit *LHSv = dynamic_cast<VarInit*>(LHS);
687 //     StringInit *LHSs = dynamic_cast<StringInit*>(LHS);
688
689 //     DefInit *MHSd = dynamic_cast<DefInit*>(MHS);
690 //     VarInit *MHSv = dynamic_cast<VarInit*>(MHS);
691 //     StringInit *MHSs = dynamic_cast<StringInit*>(MHS);
692
693 //     DagInit *RHSd = dynamic_cast<DagInit*>(RHS);
694 //     ListInit *RHSl = dynamic_cast<ListInit*>(RHS);
695
696 //     DagRecTy *DagType = dynamic_cast<DagRecTy*>(getType());
697 //     ListRecTy *ListType = dynamic_cast<ListRecTy*>(getType());
698
699 //     if ((DagType && RHSd || ListType && RHSl)
700 //         && (LHSd && MHSd || LHSv && MHSv || LHSs && MHSs)) {
701 //       if (RHSd) {
702 //         Init *Val = RHSd->getOperator(); 
703 //         if (Val->getAsString() == LHS->getAsString()) {
704 //           Val = MHS;
705 //         }
706 //         std::vector<std::pair<Init *, std::string> > args;
707 //         for (int i = 0; i < RHSd->getNumArgs(); ++i) {
708 //           Init *Arg;
709 //           std::string ArgName;
710 //           Arg = RHSd->getArg(i);
711 //           ArgName = RHSd->getArgName(i);
712 //           if (Arg->getAsString() == LHS->getAsString()) {
713 //             Arg = MHS;
714 //           }
715 //           if (ArgName == LHS->getAsString()) {
716 //             ArgName = MHS->getAsString();
717 //           }
718 //           args.push_back(std::make_pair(Arg, ArgName));
719 //         }
720
721 //         return new DagInit(Val, args);
722 //       }
723 //       if (RHSl) {
724 //         std::vector<Init *> NewList(RHSl->begin(), RHSl->end());
725
726 //         for (ListInit::iterator i = NewList.begin(),
727 //                iend = NewList.end();
728 //              i != iend;
729 //              ++i) {
730 //           if ((*i)->getAsString() == LHS->getAsString()) {
731 //             *i = MHS;
732 //           }
733 //         }
734 //         return new ListInit(NewList);
735 //       }
736 //     }
737 //     break;
738 //   }  
739
740 //   case FOREACH: {
741 //     DagInit *MHSd = dynamic_cast<DagInit*>(MHS);
742 //     ListInit *MHSl = dynamic_cast<ListInit*>(MHS);
743
744 //     DagRecTy *DagType = dynamic_cast<DagRecTy*>(getType());
745 //     ListRecTy *ListType = dynamic_cast<ListRecTy*>(getType());
746
747 //     OpInit *RHSo = dynamic_cast<OpInit*>(RHS);
748
749 //     if (!RHSo) {
750 //       cerr << "!foreach requires an operator\n";
751 //       assert(0 && "No operator for !foreach");
752 //     }
753
754 //     TypedInit *LHSt = dynamic_cast<TypedInit*>(LHS);
755
756 //     if (!LHSt) {
757 //       cerr << "!foreach requires typed variable\n";
758 //       assert(0 && "No typed variable for !foreach");
759 //     }
760
761 //     if (MHSd && DagType || MHSl && ListType) {
762 //       std::vector<Init *> NewOperands;
763 //       if (MHSd) {
764 //         Init *Val = MHSd->getOperator();
765 //         TypedInit *TVal = dynamic_cast<TypedInit*>(Val);
766
767 //         if (TVal && TVal->getType()->typeIsConvertibleTo(LHSt->getType())) {
768           
769 //           // First, replace the foreach variable with the DAG leaf
770 //           for (int i = 0; i < RHSo->getNumOperands(); ++i) {
771 //             if (LHS->getAsString() == RHSo->getOperand(i)->getAsString()) {
772 //               NewOperands.push_back(Val);
773 //             }
774 //             else {
775 //               NewOperands.push_back(RHSo->getOperand(i));
776 //             }
777 //           }
778
779 //           // Now run the operator and use its result as the new leaf
780 //           OpInit *NewOp = RHSo->clone(NewOperands);
781 //           Val = NewOp->Fold(CurRec, CurMultiClass);
782 //           if (Val != NewOp) {
783 //             delete NewOp;
784 //           }
785 //         }
786
787 //         std::vector<std::pair<Init *, std::string> > args;
788 //         for (int i = 0; i < MHSd->getNumArgs(); ++i) {
789 //           Init *Arg;
790 //           std::string ArgName;
791 //           Arg = MHSd->getArg(i);
792 //           ArgName = MHSd->getArgName(i);
793
794 //           TypedInit *TArg = dynamic_cast<TypedInit*>(Arg);
795
796 //           if (TArg && TArg->getType()->typeIsConvertibleTo(LHSt->getType())) {
797 //             NewOperands.clear();
798
799 //             // First, replace the foreach variable with the DAG leaf
800 //             for (int i = 0; i < RHSo->getNumOperands(); ++i) {
801 //               if (LHS->getAsString() == RHSo->getOperand(i)->getAsString()) {
802 //                 NewOperands.push_back(Arg);
803 //               }
804 //               else {
805 //                 NewOperands.push_back(RHSo->getOperand(i));
806 //               }
807 //             }
808
809 //             // Now run the operator and use its result as the new leaf
810 //             OpInit *NewOp = RHSo->clone(NewOperands);
811 //             Arg = NewOp->Fold(CurRec, CurMultiClass);
812 //             if (Arg != NewOp) {
813 //               delete NewOp;
814 //             }
815 //           }
816          
817 //           if (LHSt->getType()->getAsString() == "string") {
818 //             NewOperands.clear();
819
820 //             // First, replace the foreach variable with the DAG leaf
821 //             for (int i = 0; i < RHSo->getNumOperands(); ++i) {
822 //               if (LHS->getAsString() == RHSo->getOperand(i)->getAsString()) {
823 //                 NewOperands.push_back(new StringInit(ArgName));
824 //               }
825 //               else {
826 //                 NewOperands.push_back(RHSo->getOperand(i));
827 //               }
828 //             }
829
830 //             // Now run the operator and use its result as the new leaf
831 //             OpInit *NewOp = RHSo->clone(NewOperands);
832 //             Init *ArgNameInit = NewOp->Fold(CurRec, CurMultiClass);
833 //             StringInit *SArgNameInit = dynamic_cast<StringInit*>(ArgNameInit);
834 //             if (SArgNameInit) {
835 //               ArgName = SArgNameInit->getValue();
836 //             }
837 //             if (ArgNameInit != NewOp) {
838 //               delete NewOp;
839 //             }
840 //             delete ArgNameInit;
841 //           }
842
843 //           args.push_back(std::make_pair(Arg, ArgName));
844 //         }
845
846 //         return new DagInit(Val, args);
847 //       }
848 //       if (MHSl) {
849 //         std::vector<Init *> NewList(MHSl->begin(), MHSl->end());
850
851 //         for (ListInit::iterator li = NewList.begin(),
852 //                liend = NewList.end();
853 //              li != liend;
854 //              ++li) {
855 //           Init *Item = *li;
856 //           TypedInit *TItem = dynamic_cast<TypedInit*>(Item);
857 //           if (TItem && TItem->getType()->typeIsConvertibleTo(LHSt->getType())) {
858 //             // First, replace the foreach variable with the list item
859 //             for (int i = 0; i < RHSo->getNumOperands(); ++i) {
860 //               if (LHS->getAsString() == RHSo->getOperand(i)->getAsString()) {
861 //                 NewOperands.push_back(Item);
862 //               }
863 //               else {
864 //                 NewOperands.push_back(RHSo->getOperand(i));
865 //               }
866 //             }
867
868 //             // Now run the operator and use its result as the new list item
869 //             OpInit *NewOp = RHSo->clone(NewOperands);
870 //             *li = NewOp->Fold(CurRec, CurMultiClass);
871 //             if (*li != NewOp) {
872 //               delete NewOp;
873 //             }
874 //           }
875 //         }
876           
877 //         return new ListInit(NewList);
878 //       }
879 //     }
880 //     break;
881 //   }
882 //   }
883
884 //   return this;
885 // }
886
887 // Init *TernOpInit::resolveReferences(Record &R, const RecordVal *RV) {
888 //   Init *lhs = LHS->resolveReferences(R, RV);
889 //   Init *mhs = MHS->resolveReferences(R, RV);
890 //   Init *rhs = RHS->resolveReferences(R, RV);
891   
892 //   if (LHS != lhs || MHS != mhs || RHS != rhs)
893 //     return (new TernOpInit(getOpcode(), lhs, mhs, rhs, getType()))->Fold(&R, 0);
894 //   return Fold(&R, 0);
895 // }
896
897 // std::string TernOpInit::getAsString() const {
898 //   std::string Result;
899 //   switch (Opc) {
900 //   case SUBST: Result = "!subst"; break;
901 //   case FOREACH: Result = "!foreach"; break; 
902 //  }
903 //   return Result + "(" + LHS->getAsString() + ", " + MHS->getAsString() + ", " 
904 //     + RHS->getAsString() + ")";
905 // }
906
907 Init *TypedInit::convertInitializerBitRange(const std::vector<unsigned> &Bits) {
908   BitsRecTy *T = dynamic_cast<BitsRecTy*>(getType());
909   if (T == 0) return 0;  // Cannot subscript a non-bits variable...
910   unsigned NumBits = T->getNumBits();
911
912   BitsInit *BI = new BitsInit(Bits.size());
913   for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
914     if (Bits[i] >= NumBits) {
915       delete BI;
916       return 0;
917     }
918     BI->setBit(i, new VarBitInit(this, Bits[i]));
919   }
920   return BI;
921 }
922
923 Init *TypedInit::convertInitListSlice(const std::vector<unsigned> &Elements) {
924   ListRecTy *T = dynamic_cast<ListRecTy*>(getType());
925   if (T == 0) return 0;  // Cannot subscript a non-list variable...
926
927   if (Elements.size() == 1)
928     return new VarListElementInit(this, Elements[0]);
929
930   std::vector<Init*> ListInits;
931   ListInits.reserve(Elements.size());
932   for (unsigned i = 0, e = Elements.size(); i != e; ++i)
933     ListInits.push_back(new VarListElementInit(this, Elements[i]));
934   return new ListInit(ListInits);
935 }
936
937
938 Init *VarInit::resolveBitReference(Record &R, const RecordVal *IRV,
939                                    unsigned Bit) {
940   if (R.isTemplateArg(getName())) return 0;
941   if (IRV && IRV->getName() != getName()) return 0;
942
943   RecordVal *RV = R.getValue(getName());
944   assert(RV && "Reference to a non-existant variable?");
945   assert(dynamic_cast<BitsInit*>(RV->getValue()));
946   BitsInit *BI = (BitsInit*)RV->getValue();
947
948   assert(Bit < BI->getNumBits() && "Bit reference out of range!");
949   Init *B = BI->getBit(Bit);
950
951   if (!dynamic_cast<UnsetInit*>(B))  // If the bit is not set...
952     return B;                        // Replace the VarBitInit with it.
953   return 0;
954 }
955
956 Init *VarInit::resolveListElementReference(Record &R, const RecordVal *IRV,
957                                            unsigned Elt) {
958   if (R.isTemplateArg(getName())) return 0;
959   if (IRV && IRV->getName() != getName()) return 0;
960
961   RecordVal *RV = R.getValue(getName());
962   assert(RV && "Reference to a non-existant variable?");
963   ListInit *LI = dynamic_cast<ListInit*>(RV->getValue());
964   if (!LI) {
965     VarInit *VI = dynamic_cast<VarInit*>(RV->getValue());
966     assert(VI && "Invalid list element!");
967     return new VarListElementInit(VI, Elt);
968   }
969   
970   if (Elt >= LI->getSize())
971     return 0;  // Out of range reference.
972   Init *E = LI->getElement(Elt);
973   if (!dynamic_cast<UnsetInit*>(E))  // If the element is set
974     return E;                        // Replace the VarListElementInit with it.
975   return 0;
976 }
977
978
979 RecTy *VarInit::getFieldType(const std::string &FieldName) const {
980   if (RecordRecTy *RTy = dynamic_cast<RecordRecTy*>(getType()))
981     if (const RecordVal *RV = RTy->getRecord()->getValue(FieldName))
982       return RV->getType();
983   return 0;
984 }
985
986 Init *VarInit::getFieldInit(Record &R, const std::string &FieldName) const {
987   if (dynamic_cast<RecordRecTy*>(getType()))
988     if (const RecordVal *RV = R.getValue(VarName)) {
989       Init *TheInit = RV->getValue();
990       assert(TheInit != this && "Infinite loop detected!");
991       if (Init *I = TheInit->getFieldInit(R, FieldName))
992         return I;
993       else
994         return 0;
995     }
996   return 0;
997 }
998
999 /// resolveReferences - This method is used by classes that refer to other
1000 /// variables which may not be defined at the time they expression is formed.
1001 /// If a value is set for the variable later, this method will be called on
1002 /// users of the value to allow the value to propagate out.
1003 ///
1004 Init *VarInit::resolveReferences(Record &R, const RecordVal *RV) {
1005   if (RecordVal *Val = R.getValue(VarName))
1006     if (RV == Val || (RV == 0 && !dynamic_cast<UnsetInit*>(Val->getValue())))
1007       return Val->getValue();
1008   return this;
1009 }
1010
1011 std::string VarBitInit::getAsString() const {
1012    return TI->getAsString() + "{" + utostr(Bit) + "}";
1013 }
1014
1015 Init *VarBitInit::resolveReferences(Record &R, const RecordVal *RV) {
1016   if (Init *I = getVariable()->resolveBitReference(R, RV, getBitNum()))
1017     return I;
1018   return this;
1019 }
1020
1021 std::string VarListElementInit::getAsString() const {
1022   return TI->getAsString() + "[" + utostr(Element) + "]";
1023 }
1024
1025 Init *VarListElementInit::resolveReferences(Record &R, const RecordVal *RV) {
1026   if (Init *I = getVariable()->resolveListElementReference(R, RV,
1027                                                            getElementNum()))
1028     return I;
1029   return this;
1030 }
1031
1032 Init *VarListElementInit::resolveBitReference(Record &R, const RecordVal *RV,
1033                                               unsigned Bit) {
1034   // FIXME: This should be implemented, to support references like:
1035   // bit B = AA[0]{1};
1036   return 0;
1037 }
1038
1039 Init *VarListElementInit::
1040 resolveListElementReference(Record &R, const RecordVal *RV, unsigned Elt) {
1041   // FIXME: This should be implemented, to support references like:
1042   // int B = AA[0][1];
1043   return 0;
1044 }
1045
1046 RecTy *DefInit::getFieldType(const std::string &FieldName) const {
1047   if (const RecordVal *RV = Def->getValue(FieldName))
1048     return RV->getType();
1049   return 0;
1050 }
1051
1052 Init *DefInit::getFieldInit(Record &R, const std::string &FieldName) const {
1053   return Def->getValue(FieldName)->getValue();
1054 }
1055
1056
1057 std::string DefInit::getAsString() const {
1058   return Def->getName();
1059 }
1060
1061 Init *FieldInit::resolveBitReference(Record &R, const RecordVal *RV,
1062                                      unsigned Bit) {
1063   if (Init *BitsVal = Rec->getFieldInit(R, FieldName))
1064     if (BitsInit *BI = dynamic_cast<BitsInit*>(BitsVal)) {
1065       assert(Bit < BI->getNumBits() && "Bit reference out of range!");
1066       Init *B = BI->getBit(Bit);
1067
1068       if (dynamic_cast<BitInit*>(B))  // If the bit is set...
1069         return B;                     // Replace the VarBitInit with it.
1070     }
1071   return 0;
1072 }
1073
1074 Init *FieldInit::resolveListElementReference(Record &R, const RecordVal *RV,
1075                                              unsigned Elt) {
1076   if (Init *ListVal = Rec->getFieldInit(R, FieldName))
1077     if (ListInit *LI = dynamic_cast<ListInit*>(ListVal)) {
1078       if (Elt >= LI->getSize()) return 0;
1079       Init *E = LI->getElement(Elt);
1080
1081       if (!dynamic_cast<UnsetInit*>(E))  // If the bit is set...
1082         return E;                  // Replace the VarListElementInit with it.
1083     }
1084   return 0;
1085 }
1086
1087 Init *FieldInit::resolveReferences(Record &R, const RecordVal *RV) {
1088   Init *NewRec = RV ? Rec->resolveReferences(R, RV) : Rec;
1089
1090   Init *BitsVal = NewRec->getFieldInit(R, FieldName);
1091   if (BitsVal) {
1092     Init *BVR = BitsVal->resolveReferences(R, RV);
1093     return BVR->isComplete() ? BVR : this;
1094   }
1095
1096   if (NewRec != Rec) {
1097     return new FieldInit(NewRec, FieldName);
1098   }
1099   return this;
1100 }
1101
1102 Init *DagInit::resolveReferences(Record &R, const RecordVal *RV) {
1103   std::vector<Init*> NewArgs;
1104   for (unsigned i = 0, e = Args.size(); i != e; ++i)
1105     NewArgs.push_back(Args[i]->resolveReferences(R, RV));
1106   
1107   Init *Op = Val->resolveReferences(R, RV);
1108   
1109   if (Args != NewArgs || Op != Val)
1110     return new DagInit(Op, "", NewArgs, ArgNames);
1111     
1112   return this;
1113 }
1114
1115
1116 std::string DagInit::getAsString() const {
1117   std::string Result = "(" + Val->getAsString();
1118   if (!ValName.empty())
1119     Result += ":" + ValName;
1120   if (Args.size()) {
1121     Result += " " + Args[0]->getAsString();
1122     if (!ArgNames[0].empty()) Result += ":$" + ArgNames[0];
1123     for (unsigned i = 1, e = Args.size(); i != e; ++i) {
1124       Result += ", " + Args[i]->getAsString();
1125       if (!ArgNames[i].empty()) Result += ":$" + ArgNames[i];
1126     }
1127   }
1128   return Result + ")";
1129 }
1130
1131
1132 //===----------------------------------------------------------------------===//
1133 //    Other implementations
1134 //===----------------------------------------------------------------------===//
1135
1136 RecordVal::RecordVal(const std::string &N, RecTy *T, unsigned P)
1137   : Name(N), Ty(T), Prefix(P) {
1138   Value = Ty->convertValue(new UnsetInit());
1139   assert(Value && "Cannot create unset value for current type!");
1140 }
1141
1142 void RecordVal::dump() const { cerr << *this; }
1143
1144 void RecordVal::print(std::ostream &OS, bool PrintSem) const {
1145   if (getPrefix()) OS << "field ";
1146   OS << *getType() << " " << getName();
1147
1148   if (getValue())
1149     OS << " = " << *getValue();
1150
1151   if (PrintSem) OS << ";\n";
1152 }
1153
1154 void Record::setName(const std::string &Name) {
1155   if (Records.getDef(getName()) == this) {
1156     Records.removeDef(getName());
1157     this->Name = Name;
1158     Records.addDef(this);
1159   } else {
1160     Records.removeClass(getName());
1161     this->Name = Name;
1162     Records.addClass(this);
1163   }
1164 }
1165
1166 /// resolveReferencesTo - If anything in this record refers to RV, replace the
1167 /// reference to RV with the RHS of RV.  If RV is null, we resolve all possible
1168 /// references.
1169 void Record::resolveReferencesTo(const RecordVal *RV) {
1170   for (unsigned i = 0, e = Values.size(); i != e; ++i) {
1171     if (Init *V = Values[i].getValue())
1172       Values[i].setValue(V->resolveReferences(*this, RV));
1173   }
1174 }
1175
1176
1177 void Record::dump() const { cerr << *this; }
1178
1179 std::ostream &llvm::operator<<(std::ostream &OS, const Record &R) {
1180   OS << R.getName();
1181
1182   const std::vector<std::string> &TArgs = R.getTemplateArgs();
1183   if (!TArgs.empty()) {
1184     OS << "<";
1185     for (unsigned i = 0, e = TArgs.size(); i != e; ++i) {
1186       if (i) OS << ", ";
1187       const RecordVal *RV = R.getValue(TArgs[i]);
1188       assert(RV && "Template argument record not found??");
1189       RV->print(OS, false);
1190     }
1191     OS << ">";
1192   }
1193
1194   OS << " {";
1195   const std::vector<Record*> &SC = R.getSuperClasses();
1196   if (!SC.empty()) {
1197     OS << "\t//";
1198     for (unsigned i = 0, e = SC.size(); i != e; ++i)
1199       OS << " " << SC[i]->getName();
1200   }
1201   OS << "\n";
1202
1203   const std::vector<RecordVal> &Vals = R.getValues();
1204   for (unsigned i = 0, e = Vals.size(); i != e; ++i)
1205     if (Vals[i].getPrefix() && !R.isTemplateArg(Vals[i].getName()))
1206       OS << Vals[i];
1207   for (unsigned i = 0, e = Vals.size(); i != e; ++i)
1208     if (!Vals[i].getPrefix() && !R.isTemplateArg(Vals[i].getName()))
1209       OS << Vals[i];
1210
1211   return OS << "}\n";
1212 }
1213
1214 /// getValueInit - Return the initializer for a value with the specified name,
1215 /// or throw an exception if the field does not exist.
1216 ///
1217 Init *Record::getValueInit(const std::string &FieldName) const {
1218   const RecordVal *R = getValue(FieldName);
1219   if (R == 0 || R->getValue() == 0)
1220     throw "Record `" + getName() + "' does not have a field named `" +
1221       FieldName + "'!\n";
1222   return R->getValue();
1223 }
1224
1225
1226 /// getValueAsString - This method looks up the specified field and returns its
1227 /// value as a string, throwing an exception if the field does not exist or if
1228 /// the value is not a string.
1229 ///
1230 std::string Record::getValueAsString(const std::string &FieldName) const {
1231   const RecordVal *R = getValue(FieldName);
1232   if (R == 0 || R->getValue() == 0)
1233     throw "Record `" + getName() + "' does not have a field named `" +
1234           FieldName + "'!\n";
1235
1236   if (const StringInit *SI = dynamic_cast<const StringInit*>(R->getValue()))
1237     return SI->getValue();
1238   throw "Record `" + getName() + "', field `" + FieldName +
1239         "' does not have a string initializer!";
1240 }
1241
1242 /// getValueAsBitsInit - This method looks up the specified field and returns
1243 /// its value as a BitsInit, throwing an exception if the field does not exist
1244 /// or if the value is not the right type.
1245 ///
1246 BitsInit *Record::getValueAsBitsInit(const std::string &FieldName) const {
1247   const RecordVal *R = getValue(FieldName);
1248   if (R == 0 || R->getValue() == 0)
1249     throw "Record `" + getName() + "' does not have a field named `" +
1250           FieldName + "'!\n";
1251
1252   if (BitsInit *BI = dynamic_cast<BitsInit*>(R->getValue()))
1253     return BI;
1254   throw "Record `" + getName() + "', field `" + FieldName +
1255         "' does not have a BitsInit initializer!";
1256 }
1257
1258 /// getValueAsListInit - This method looks up the specified field and returns
1259 /// its value as a ListInit, throwing an exception if the field does not exist
1260 /// or if the value is not the right type.
1261 ///
1262 ListInit *Record::getValueAsListInit(const std::string &FieldName) const {
1263   const RecordVal *R = getValue(FieldName);
1264   if (R == 0 || R->getValue() == 0)
1265     throw "Record `" + getName() + "' does not have a field named `" +
1266           FieldName + "'!\n";
1267
1268   if (ListInit *LI = dynamic_cast<ListInit*>(R->getValue()))
1269     return LI;
1270   throw "Record `" + getName() + "', field `" + FieldName +
1271         "' does not have a list initializer!";
1272 }
1273
1274 /// getValueAsListOfDefs - This method looks up the specified field and returns
1275 /// its value as a vector of records, throwing an exception if the field does
1276 /// not exist or if the value is not the right type.
1277 ///
1278 std::vector<Record*> 
1279 Record::getValueAsListOfDefs(const std::string &FieldName) const {
1280   ListInit *List = getValueAsListInit(FieldName);
1281   std::vector<Record*> Defs;
1282   for (unsigned i = 0; i < List->getSize(); i++) {
1283     if (DefInit *DI = dynamic_cast<DefInit*>(List->getElement(i))) {
1284       Defs.push_back(DI->getDef());
1285     } else {
1286       throw "Record `" + getName() + "', field `" + FieldName +
1287             "' list is not entirely DefInit!";
1288     }
1289   }
1290   return Defs;
1291 }
1292
1293 /// getValueAsInt - This method looks up the specified field and returns its
1294 /// value as an int64_t, throwing an exception if the field does not exist or if
1295 /// the value is not the right type.
1296 ///
1297 int64_t Record::getValueAsInt(const std::string &FieldName) const {
1298   const RecordVal *R = getValue(FieldName);
1299   if (R == 0 || R->getValue() == 0)
1300     throw "Record `" + getName() + "' does not have a field named `" +
1301           FieldName + "'!\n";
1302
1303   if (IntInit *II = dynamic_cast<IntInit*>(R->getValue()))
1304     return II->getValue();
1305   throw "Record `" + getName() + "', field `" + FieldName +
1306         "' does not have an int initializer!";
1307 }
1308
1309 /// getValueAsListOfInts - This method looks up the specified field and returns
1310 /// its value as a vector of integers, throwing an exception if the field does
1311 /// not exist or if the value is not the right type.
1312 ///
1313 std::vector<int64_t> 
1314 Record::getValueAsListOfInts(const std::string &FieldName) const {
1315   ListInit *List = getValueAsListInit(FieldName);
1316   std::vector<int64_t> Ints;
1317   for (unsigned i = 0; i < List->getSize(); i++) {
1318     if (IntInit *II = dynamic_cast<IntInit*>(List->getElement(i))) {
1319       Ints.push_back(II->getValue());
1320     } else {
1321       throw "Record `" + getName() + "', field `" + FieldName +
1322             "' does not have a list of ints initializer!";
1323     }
1324   }
1325   return Ints;
1326 }
1327
1328 /// getValueAsDef - This method looks up the specified field and returns its
1329 /// value as a Record, throwing an exception if the field does not exist or if
1330 /// the value is not the right type.
1331 ///
1332 Record *Record::getValueAsDef(const std::string &FieldName) const {
1333   const RecordVal *R = getValue(FieldName);
1334   if (R == 0 || R->getValue() == 0)
1335     throw "Record `" + getName() + "' does not have a field named `" +
1336       FieldName + "'!\n";
1337
1338   if (DefInit *DI = dynamic_cast<DefInit*>(R->getValue()))
1339     return DI->getDef();
1340   throw "Record `" + getName() + "', field `" + FieldName +
1341         "' does not have a def initializer!";
1342 }
1343
1344 /// getValueAsBit - This method looks up the specified field and returns its
1345 /// value as a bit, throwing an exception if the field does not exist or if
1346 /// the value is not the right type.
1347 ///
1348 bool Record::getValueAsBit(const std::string &FieldName) const {
1349   const RecordVal *R = getValue(FieldName);
1350   if (R == 0 || R->getValue() == 0)
1351     throw "Record `" + getName() + "' does not have a field named `" +
1352       FieldName + "'!\n";
1353
1354   if (BitInit *BI = dynamic_cast<BitInit*>(R->getValue()))
1355     return BI->getValue();
1356   throw "Record `" + getName() + "', field `" + FieldName +
1357         "' does not have a bit initializer!";
1358 }
1359
1360 /// getValueAsDag - This method looks up the specified field and returns its
1361 /// value as an Dag, throwing an exception if the field does not exist or if
1362 /// the value is not the right type.
1363 ///
1364 DagInit *Record::getValueAsDag(const std::string &FieldName) const {
1365   const RecordVal *R = getValue(FieldName);
1366   if (R == 0 || R->getValue() == 0)
1367     throw "Record `" + getName() + "' does not have a field named `" +
1368       FieldName + "'!\n";
1369
1370   if (DagInit *DI = dynamic_cast<DagInit*>(R->getValue()))
1371     return DI;
1372   throw "Record `" + getName() + "', field `" + FieldName +
1373         "' does not have a dag initializer!";
1374 }
1375
1376 std::string Record::getValueAsCode(const std::string &FieldName) const {
1377   const RecordVal *R = getValue(FieldName);
1378   if (R == 0 || R->getValue() == 0)
1379     throw "Record `" + getName() + "' does not have a field named `" +
1380       FieldName + "'!\n";
1381   
1382   if (const CodeInit *CI = dynamic_cast<const CodeInit*>(R->getValue()))
1383     return CI->getValue();
1384   throw "Record `" + getName() + "', field `" + FieldName +
1385     "' does not have a code initializer!";
1386 }
1387
1388
1389 void MultiClass::dump() const {
1390   cerr << "Record:\n";
1391   Rec.dump();
1392   
1393   cerr << "Defs:\n";
1394   for (RecordVector::const_iterator r = DefPrototypes.begin(),
1395          rend = DefPrototypes.end();
1396        r != rend;
1397        ++r) {
1398     (*r)->dump();
1399   }
1400 }
1401
1402
1403 void RecordKeeper::dump() const { cerr << *this; }
1404
1405 std::ostream &llvm::operator<<(std::ostream &OS, const RecordKeeper &RK) {
1406   OS << "------------- Classes -----------------\n";
1407   const std::map<std::string, Record*> &Classes = RK.getClasses();
1408   for (std::map<std::string, Record*>::const_iterator I = Classes.begin(),
1409          E = Classes.end(); I != E; ++I)
1410     OS << "class " << *I->second;
1411
1412   OS << "------------- Defs -----------------\n";
1413   const std::map<std::string, Record*> &Defs = RK.getDefs();
1414   for (std::map<std::string, Record*>::const_iterator I = Defs.begin(),
1415          E = Defs.end(); I != E; ++I)
1416     OS << "def " << *I->second;
1417   return OS;
1418 }
1419
1420
1421 /// getAllDerivedDefinitions - This method returns all concrete definitions
1422 /// that derive from the specified class name.  If a class with the specified
1423 /// name does not exist, an error is printed and true is returned.
1424 std::vector<Record*>
1425 RecordKeeper::getAllDerivedDefinitions(const std::string &ClassName) const {
1426   Record *Class = Records.getClass(ClassName);
1427   if (!Class)
1428     throw "ERROR: Couldn't find the `" + ClassName + "' class!\n";
1429
1430   std::vector<Record*> Defs;
1431   for (std::map<std::string, Record*>::const_iterator I = getDefs().begin(),
1432          E = getDefs().end(); I != E; ++I)
1433     if (I->second->isSubClassOf(Class))
1434       Defs.push_back(I->second);
1435
1436   return Defs;
1437 }
1438