1 //===- Record.cpp - Record implementation ---------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Implement the tablegen record classes.
12 //===----------------------------------------------------------------------===//
15 #include "llvm/Support/DataTypes.h"
16 #include "llvm/Support/Streams.h"
17 #include "llvm/ADT/StringExtras.h"
22 //===----------------------------------------------------------------------===//
23 // Type implementations
24 //===----------------------------------------------------------------------===//
26 void RecTy::dump() const { print(*cerr
.stream()); }
28 Init
*BitRecTy::convertValue(BitsInit
*BI
) {
29 if (BI
->getNumBits() != 1) return 0; // Only accept if just one bit!
33 bool BitRecTy::baseClassOf(const BitsRecTy
*RHS
) const {
34 return RHS
->getNumBits() == 1;
37 Init
*BitRecTy::convertValue(IntInit
*II
) {
38 int Val
= II
->getValue();
39 if (Val
!= 0 && Val
!= 1) return 0; // Only accept 0 or 1 for a bit!
41 return new BitInit(Val
!= 0);
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!
50 std::string
BitsRecTy::getAsString() const {
51 return "bits<" + utostr(Size
) + ">";
54 Init
*BitsRecTy::convertValue(UnsetInit
*UI
) {
55 BitsInit
*Ret
= new BitsInit(Size
);
57 for (unsigned i
= 0; i
!= Size
; ++i
)
58 Ret
->setBit(i
, new UnsetInit());
62 Init
*BitsRecTy::convertValue(BitInit
*UI
) {
63 if (Size
!= 1) return 0; // Can only convert single bit...
64 BitsInit
*Ret
= new BitsInit(1);
69 // convertValue from Int initializer to bits type: Split the integer up into the
70 // appropriate bits...
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...
76 if (Value
& ~((1LL << Size
)-1))
79 if ((Value
>> Size
) != -1 || ((Value
& (1LL << (Size
-1))) == 0))
83 BitsInit
*Ret
= new BitsInit(Size
);
84 for (unsigned i
= 0; i
!= Size
; ++i
)
85 Ret
->setBit(i
, new BitInit(Value
& (1LL << i
)));
90 Init
*BitsRecTy::convertValue(BitsInit
*BI
) {
91 // If the number of bits is right, return it. Otherwise we need to expand or
93 if (BI
->getNumBits() == Size
) return BI
;
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
));
105 if (Size
== 1 && dynamic_cast<BitRecTy
*>(VI
->getType())) {
106 BitsInit
*Ret
= new BitsInit(1);
114 Init
*IntRecTy::convertValue(BitInit
*BI
) {
115 return new IntInit(BI
->getValue());
118 Init
*IntRecTy::convertValue(BitsInit
*BI
) {
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
;
126 return new IntInit(Result
);
129 Init
*IntRecTy::convertValue(TypedInit
*TI
) {
130 if (TI
->getType()->typeIsConvertibleTo(this))
131 return TI
; // Accept variable if already of the right type!
135 Init
*StringRecTy::convertValue(BinOpInit
*BO
) {
136 if (BO
->getOpcode() == BinOpInit::STRCONCAT
) {
137 Init
*L
= BO
->getLHS()->convertInitializerTo(this);
138 Init
*R
= BO
->getRHS()->convertInitializerTo(this);
139 if (L
== 0 || R
== 0) return 0;
140 if (L
!= BO
->getLHS() || R
!= BO
->getRHS())
141 return new BinOpInit(BinOpInit::STRCONCAT
, L
, R
);
148 Init
*StringRecTy::convertValue(TypedInit
*TI
) {
149 if (dynamic_cast<StringRecTy
*>(TI
->getType()))
150 return TI
; // Accept variable if already of the right type!
154 std::string
ListRecTy::getAsString() const {
155 return "list<" + Ty
->getAsString() + ">";
158 Init
*ListRecTy::convertValue(ListInit
*LI
) {
159 std::vector
<Init
*> Elements
;
161 // Verify that all of the elements of the list are subclasses of the
162 // appropriate class!
163 for (unsigned i
= 0, e
= LI
->getSize(); i
!= e
; ++i
)
164 if (Init
*CI
= LI
->getElement(i
)->convertInitializerTo(Ty
))
165 Elements
.push_back(CI
);
169 return new ListInit(Elements
);
172 Init
*ListRecTy::convertValue(TypedInit
*TI
) {
173 // Ensure that TI is compatible with our class.
174 if (ListRecTy
*LRT
= dynamic_cast<ListRecTy
*>(TI
->getType()))
175 if (LRT
->getElementType()->typeIsConvertibleTo(getElementType()))
180 Init
*CodeRecTy::convertValue(TypedInit
*TI
) {
181 if (TI
->getType()->typeIsConvertibleTo(this))
186 Init
*DagRecTy::convertValue(TypedInit
*TI
) {
187 if (TI
->getType()->typeIsConvertibleTo(this))
192 Init
*DagRecTy::convertValue(BinOpInit
*BO
) {
193 if (BO
->getOpcode() == BinOpInit::CONCAT
) {
194 Init
*L
= BO
->getLHS()->convertInitializerTo(this);
195 Init
*R
= BO
->getRHS()->convertInitializerTo(this);
196 if (L
== 0 || R
== 0) return 0;
197 if (L
!= BO
->getLHS() || R
!= BO
->getRHS())
198 return new BinOpInit(BinOpInit::CONCAT
, L
, R
);
204 std::string
RecordRecTy::getAsString() const {
205 return Rec
->getName();
208 Init
*RecordRecTy::convertValue(DefInit
*DI
) {
209 // Ensure that DI is a subclass of Rec.
210 if (!DI
->getDef()->isSubClassOf(Rec
))
215 Init
*RecordRecTy::convertValue(TypedInit
*TI
) {
216 // Ensure that TI is compatible with Rec.
217 if (RecordRecTy
*RRT
= dynamic_cast<RecordRecTy
*>(TI
->getType()))
218 if (RRT
->getRecord()->isSubClassOf(getRecord()) ||
219 RRT
->getRecord() == getRecord())
224 bool RecordRecTy::baseClassOf(const RecordRecTy
*RHS
) const {
225 return Rec
== RHS
->getRecord() || RHS
->getRecord()->isSubClassOf(Rec
);
229 //===----------------------------------------------------------------------===//
230 // Initializer implementations
231 //===----------------------------------------------------------------------===//
233 void Init::dump() const { return print(*cerr
.stream()); }
235 Init
*BitsInit::convertInitializerBitRange(const std::vector
<unsigned> &Bits
) {
236 BitsInit
*BI
= new BitsInit(Bits
.size());
237 for (unsigned i
= 0, e
= Bits
.size(); i
!= e
; ++i
) {
238 if (Bits
[i
] >= getNumBits()) {
242 BI
->setBit(i
, getBit(Bits
[i
]));
247 std::string
BitsInit::getAsString() const {
248 //if (!printInHex(OS)) return;
249 //if (!printAsVariable(OS)) return;
250 //if (!printAsUnset(OS)) return;
252 std::string Result
= "{ ";
253 for (unsigned i
= 0, e
= getNumBits(); i
!= e
; ++i
) {
254 if (i
) Result
+= ", ";
255 if (Init
*Bit
= getBit(e
-i
-1))
256 Result
+= Bit
->getAsString();
260 return Result
+ " }";
263 bool BitsInit::printInHex(std::ostream
&OS
) const {
264 // First, attempt to convert the value into an integer value...
266 for (unsigned i
= 0, e
= getNumBits(); i
!= e
; ++i
)
267 if (BitInit
*Bit
= dynamic_cast<BitInit
*>(getBit(i
))) {
268 Result
|= Bit
->getValue() << i
;
273 OS
<< "0x" << std::hex
<< Result
<< std::dec
;
277 bool BitsInit::printAsVariable(std::ostream
&OS
) const {
278 // Get the variable that we may be set equal to...
279 assert(getNumBits() != 0);
280 VarBitInit
*FirstBit
= dynamic_cast<VarBitInit
*>(getBit(0));
281 if (FirstBit
== 0) return true;
282 TypedInit
*Var
= FirstBit
->getVariable();
284 // Check to make sure the types are compatible.
285 BitsRecTy
*Ty
= dynamic_cast<BitsRecTy
*>(FirstBit
->getVariable()->getType());
286 if (Ty
== 0) return true;
287 if (Ty
->getNumBits() != getNumBits()) return true; // Incompatible types!
289 // Check to make sure all bits are referring to the right bits in the variable
290 for (unsigned i
= 0, e
= getNumBits(); i
!= e
; ++i
) {
291 VarBitInit
*Bit
= dynamic_cast<VarBitInit
*>(getBit(i
));
292 if (Bit
== 0 || Bit
->getVariable() != Var
|| Bit
->getBitNum() != i
)
300 bool BitsInit::printAsUnset(std::ostream
&OS
) const {
301 for (unsigned i
= 0, e
= getNumBits(); i
!= e
; ++i
)
302 if (!dynamic_cast<UnsetInit
*>(getBit(i
)))
308 // resolveReferences - If there are any field references that refer to fields
309 // that have been filled in, we can propagate the values now.
311 Init
*BitsInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
312 bool Changed
= false;
313 BitsInit
*New
= new BitsInit(getNumBits());
315 for (unsigned i
= 0, e
= Bits
.size(); i
!= e
; ++i
) {
317 Init
*CurBit
= getBit(i
);
321 CurBit
= CurBit
->resolveReferences(R
, RV
);
322 Changed
|= B
!= CurBit
;
323 } while (B
!= CurBit
);
324 New
->setBit(i
, CurBit
);
333 std::string
IntInit::getAsString() const {
334 return itostr(Value
);
337 Init
*IntInit::convertInitializerBitRange(const std::vector
<unsigned> &Bits
) {
338 BitsInit
*BI
= new BitsInit(Bits
.size());
340 for (unsigned i
= 0, e
= Bits
.size(); i
!= e
; ++i
) {
345 BI
->setBit(i
, new BitInit(Value
& (1 << Bits
[i
])));
350 Init
*ListInit::convertInitListSlice(const std::vector
<unsigned> &Elements
) {
351 std::vector
<Init
*> Vals
;
352 for (unsigned i
= 0, e
= Elements
.size(); i
!= e
; ++i
) {
353 if (Elements
[i
] >= getSize())
355 Vals
.push_back(getElement(Elements
[i
]));
357 return new ListInit(Vals
);
360 Record
*ListInit::getElementAsRecord(unsigned i
) const {
361 assert(i
< Values
.size() && "List element index out of range!");
362 DefInit
*DI
= dynamic_cast<DefInit
*>(Values
[i
]);
363 if (DI
== 0) throw "Expected record in list!";
367 Init
*ListInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
368 std::vector
<Init
*> Resolved
;
369 Resolved
.reserve(getSize());
370 bool Changed
= false;
372 for (unsigned i
= 0, e
= getSize(); i
!= e
; ++i
) {
374 Init
*CurElt
= getElement(i
);
378 CurElt
= CurElt
->resolveReferences(R
, RV
);
379 Changed
|= E
!= CurElt
;
380 } while (E
!= CurElt
);
381 Resolved
.push_back(E
);
385 return new ListInit(Resolved
);
389 std::string
ListInit::getAsString() const {
390 std::string Result
= "[";
391 for (unsigned i
= 0, e
= Values
.size(); i
!= e
; ++i
) {
392 if (i
) Result
+= ", ";
393 Result
+= Values
[i
]->getAsString();
398 Init
*BinOpInit::Fold() {
399 switch (getOpcode()) {
400 default: assert(0 && "Unknown binop");
402 DagInit
*LHSs
= dynamic_cast<DagInit
*>(LHS
);
403 DagInit
*RHSs
= dynamic_cast<DagInit
*>(RHS
);
405 DefInit
*LOp
= dynamic_cast<DefInit
*>(LHSs
->getOperator());
406 DefInit
*ROp
= dynamic_cast<DefInit
*>(RHSs
->getOperator());
407 if (LOp
->getDef() != ROp
->getDef()) {
409 LOp
->getDef()->getName() == "outs" ||
410 LOp
->getDef()->getName() != "ins" ||
411 LOp
->getDef()->getName() != "defs";
413 ROp
->getDef()->getName() == "outs" ||
414 ROp
->getDef()->getName() != "ins" ||
415 ROp
->getDef()->getName() != "defs";
416 if (!LIsOps
|| !RIsOps
)
417 throw "Concated Dag operators do not match!";
419 std::vector
<Init
*> Args
;
420 std::vector
<std::string
> ArgNames
;
421 for (unsigned i
= 0, e
= LHSs
->getNumArgs(); i
!= e
; ++i
) {
422 Args
.push_back(LHSs
->getArg(i
));
423 ArgNames
.push_back(LHSs
->getArgName(i
));
425 for (unsigned i
= 0, e
= RHSs
->getNumArgs(); i
!= e
; ++i
) {
426 Args
.push_back(RHSs
->getArg(i
));
427 ArgNames
.push_back(RHSs
->getArgName(i
));
429 return new DagInit(LHSs
->getOperator(), Args
, ArgNames
);
434 StringInit
*LHSs
= dynamic_cast<StringInit
*>(LHS
);
435 StringInit
*RHSs
= dynamic_cast<StringInit
*>(RHS
);
437 return new StringInit(LHSs
->getValue() + RHSs
->getValue());
443 IntInit
*LHSi
= dynamic_cast<IntInit
*>(LHS
);
444 IntInit
*RHSi
= dynamic_cast<IntInit
*>(RHS
);
446 int LHSv
= LHSi
->getValue(), RHSv
= RHSi
->getValue();
448 switch (getOpcode()) {
449 default: assert(0 && "Bad opcode!");
450 case SHL
: Result
= LHSv
<< RHSv
; break;
451 case SRA
: Result
= LHSv
>> RHSv
; break;
452 case SRL
: Result
= (unsigned)LHSv
>> (unsigned)RHSv
; break;
454 return new IntInit(Result
);
462 Init
*BinOpInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
463 Init
*lhs
= LHS
->resolveReferences(R
, RV
);
464 Init
*rhs
= RHS
->resolveReferences(R
, RV
);
466 if (LHS
!= lhs
|| RHS
!= rhs
)
467 return (new BinOpInit(getOpcode(), lhs
, rhs
))->Fold();
471 std::string
BinOpInit::getAsString() const {
474 case CONCAT
: Result
= "!con"; break;
475 case SHL
: Result
= "!shl"; break;
476 case SRA
: Result
= "!sra"; break;
477 case SRL
: Result
= "!srl"; break;
478 case STRCONCAT
: Result
= "!strconcat"; break;
480 return Result
+ "(" + LHS
->getAsString() + ", " + RHS
->getAsString() + ")";
483 Init
*TypedInit::convertInitializerBitRange(const std::vector
<unsigned> &Bits
) {
484 BitsRecTy
*T
= dynamic_cast<BitsRecTy
*>(getType());
485 if (T
== 0) return 0; // Cannot subscript a non-bits variable...
486 unsigned NumBits
= T
->getNumBits();
488 BitsInit
*BI
= new BitsInit(Bits
.size());
489 for (unsigned i
= 0, e
= Bits
.size(); i
!= e
; ++i
) {
490 if (Bits
[i
] >= NumBits
) {
494 BI
->setBit(i
, new VarBitInit(this, Bits
[i
]));
499 Init
*TypedInit::convertInitListSlice(const std::vector
<unsigned> &Elements
) {
500 ListRecTy
*T
= dynamic_cast<ListRecTy
*>(getType());
501 if (T
== 0) return 0; // Cannot subscript a non-list variable...
503 if (Elements
.size() == 1)
504 return new VarListElementInit(this, Elements
[0]);
506 std::vector
<Init
*> ListInits
;
507 ListInits
.reserve(Elements
.size());
508 for (unsigned i
= 0, e
= Elements
.size(); i
!= e
; ++i
)
509 ListInits
.push_back(new VarListElementInit(this, Elements
[i
]));
510 return new ListInit(ListInits
);
514 Init
*VarInit::resolveBitReference(Record
&R
, const RecordVal
*IRV
,
516 if (R
.isTemplateArg(getName())) return 0;
517 if (IRV
&& IRV
->getName() != getName()) return 0;
519 RecordVal
*RV
= R
.getValue(getName());
520 assert(RV
&& "Reference to a non-existant variable?");
521 assert(dynamic_cast<BitsInit
*>(RV
->getValue()));
522 BitsInit
*BI
= (BitsInit
*)RV
->getValue();
524 assert(Bit
< BI
->getNumBits() && "Bit reference out of range!");
525 Init
*B
= BI
->getBit(Bit
);
527 if (!dynamic_cast<UnsetInit
*>(B
)) // If the bit is not set...
528 return B
; // Replace the VarBitInit with it.
532 Init
*VarInit::resolveListElementReference(Record
&R
, const RecordVal
*IRV
,
534 if (R
.isTemplateArg(getName())) return 0;
535 if (IRV
&& IRV
->getName() != getName()) return 0;
537 RecordVal
*RV
= R
.getValue(getName());
538 assert(RV
&& "Reference to a non-existant variable?");
539 ListInit
*LI
= dynamic_cast<ListInit
*>(RV
->getValue());
540 assert(LI
&& "Invalid list element!");
542 if (Elt
>= LI
->getSize())
543 return 0; // Out of range reference.
544 Init
*E
= LI
->getElement(Elt
);
545 if (!dynamic_cast<UnsetInit
*>(E
)) // If the element is set
546 return E
; // Replace the VarListElementInit with it.
551 RecTy
*VarInit::getFieldType(const std::string
&FieldName
) const {
552 if (RecordRecTy
*RTy
= dynamic_cast<RecordRecTy
*>(getType()))
553 if (const RecordVal
*RV
= RTy
->getRecord()->getValue(FieldName
))
554 return RV
->getType();
558 Init
*VarInit::getFieldInit(Record
&R
, const std::string
&FieldName
) const {
559 if (dynamic_cast<RecordRecTy
*>(getType()))
560 if (const RecordVal
*RV
= R
.getValue(VarName
)) {
561 Init
*TheInit
= RV
->getValue();
562 assert(TheInit
!= this && "Infinite loop detected!");
563 if (Init
*I
= TheInit
->getFieldInit(R
, FieldName
))
571 /// resolveReferences - This method is used by classes that refer to other
572 /// variables which may not be defined at the time they expression is formed.
573 /// If a value is set for the variable later, this method will be called on
574 /// users of the value to allow the value to propagate out.
576 Init
*VarInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
577 if (RecordVal
*Val
= R
.getValue(VarName
))
578 if (RV
== Val
|| (RV
== 0 && !dynamic_cast<UnsetInit
*>(Val
->getValue())))
579 return Val
->getValue();
583 std::string
VarBitInit::getAsString() const {
584 return TI
->getAsString() + "{" + utostr(Bit
) + "}";
587 Init
*VarBitInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
588 if (Init
*I
= getVariable()->resolveBitReference(R
, RV
, getBitNum()))
593 std::string
VarListElementInit::getAsString() const {
594 return TI
->getAsString() + "[" + utostr(Element
) + "]";
597 Init
*VarListElementInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
598 if (Init
*I
= getVariable()->resolveListElementReference(R
, RV
,
604 Init
*VarListElementInit::resolveBitReference(Record
&R
, const RecordVal
*RV
,
606 // FIXME: This should be implemented, to support references like:
611 Init
*VarListElementInit::
612 resolveListElementReference(Record
&R
, const RecordVal
*RV
, unsigned Elt
) {
613 // FIXME: This should be implemented, to support references like:
618 RecTy
*DefInit::getFieldType(const std::string
&FieldName
) const {
619 if (const RecordVal
*RV
= Def
->getValue(FieldName
))
620 return RV
->getType();
624 Init
*DefInit::getFieldInit(Record
&R
, const std::string
&FieldName
) const {
625 return Def
->getValue(FieldName
)->getValue();
629 std::string
DefInit::getAsString() const {
630 return Def
->getName();
633 Init
*FieldInit::resolveBitReference(Record
&R
, const RecordVal
*RV
,
635 if (Init
*BitsVal
= Rec
->getFieldInit(R
, FieldName
))
636 if (BitsInit
*BI
= dynamic_cast<BitsInit
*>(BitsVal
)) {
637 assert(Bit
< BI
->getNumBits() && "Bit reference out of range!");
638 Init
*B
= BI
->getBit(Bit
);
640 if (dynamic_cast<BitInit
*>(B
)) // If the bit is set...
641 return B
; // Replace the VarBitInit with it.
646 Init
*FieldInit::resolveListElementReference(Record
&R
, const RecordVal
*RV
,
648 if (Init
*ListVal
= Rec
->getFieldInit(R
, FieldName
))
649 if (ListInit
*LI
= dynamic_cast<ListInit
*>(ListVal
)) {
650 if (Elt
>= LI
->getSize()) return 0;
651 Init
*E
= LI
->getElement(Elt
);
653 if (!dynamic_cast<UnsetInit
*>(E
)) // If the bit is set...
654 return E
; // Replace the VarListElementInit with it.
659 Init
*FieldInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
660 Init
*NewRec
= RV
? Rec
->resolveReferences(R
, RV
) : Rec
;
662 Init
*BitsVal
= NewRec
->getFieldInit(R
, FieldName
);
664 Init
*BVR
= BitsVal
->resolveReferences(R
, RV
);
665 return BVR
->isComplete() ? BVR
: this;
670 NewRec
->dump(); cerr
<< "\n";
671 return new FieldInit(NewRec
, FieldName
);
676 Init
*DagInit::resolveReferences(Record
&R
, const RecordVal
*RV
) {
677 std::vector
<Init
*> NewArgs
;
678 for (unsigned i
= 0, e
= Args
.size(); i
!= e
; ++i
)
679 NewArgs
.push_back(Args
[i
]->resolveReferences(R
, RV
));
681 Init
*Op
= Val
->resolveReferences(R
, RV
);
683 if (Args
!= NewArgs
|| Op
!= Val
)
684 return new DagInit(Op
, NewArgs
, ArgNames
);
690 std::string
DagInit::getAsString() const {
691 std::string Result
= "(" + Val
->getAsString();
693 Result
+= " " + Args
[0]->getAsString();
694 if (!ArgNames
[0].empty()) Result
+= ":$" + ArgNames
[0];
695 for (unsigned i
= 1, e
= Args
.size(); i
!= e
; ++i
) {
696 Result
+= ", " + Args
[i
]->getAsString();
697 if (!ArgNames
[i
].empty()) Result
+= ":$" + ArgNames
[i
];
704 //===----------------------------------------------------------------------===//
705 // Other implementations
706 //===----------------------------------------------------------------------===//
708 RecordVal::RecordVal(const std::string
&N
, RecTy
*T
, unsigned P
)
709 : Name(N
), Ty(T
), Prefix(P
) {
710 Value
= Ty
->convertValue(new UnsetInit());
711 assert(Value
&& "Cannot create unset value for current type!");
714 void RecordVal::dump() const { cerr
<< *this; }
716 void RecordVal::print(std::ostream
&OS
, bool PrintSem
) const {
717 if (getPrefix()) OS
<< "field ";
718 OS
<< *getType() << " " << getName();
721 OS
<< " = " << *getValue();
723 if (PrintSem
) OS
<< ";\n";
726 void Record::setName(const std::string
&Name
) {
727 if (Records
.getDef(getName()) == this) {
728 Records
.removeDef(getName());
730 Records
.addDef(this);
732 Records
.removeClass(getName());
734 Records
.addClass(this);
738 /// resolveReferencesTo - If anything in this record refers to RV, replace the
739 /// reference to RV with the RHS of RV. If RV is null, we resolve all possible
741 void Record::resolveReferencesTo(const RecordVal
*RV
) {
742 for (unsigned i
= 0, e
= Values
.size(); i
!= e
; ++i
) {
743 if (Init
*V
= Values
[i
].getValue())
744 Values
[i
].setValue(V
->resolveReferences(*this, RV
));
749 void Record::dump() const { cerr
<< *this; }
751 std::ostream
&llvm::operator<<(std::ostream
&OS
, const Record
&R
) {
754 const std::vector
<std::string
> &TArgs
= R
.getTemplateArgs();
755 if (!TArgs
.empty()) {
757 for (unsigned i
= 0, e
= TArgs
.size(); i
!= e
; ++i
) {
759 const RecordVal
*RV
= R
.getValue(TArgs
[i
]);
760 assert(RV
&& "Template argument record not found??");
761 RV
->print(OS
, false);
767 const std::vector
<Record
*> &SC
= R
.getSuperClasses();
770 for (unsigned i
= 0, e
= SC
.size(); i
!= e
; ++i
)
771 OS
<< " " << SC
[i
]->getName();
775 const std::vector
<RecordVal
> &Vals
= R
.getValues();
776 for (unsigned i
= 0, e
= Vals
.size(); i
!= e
; ++i
)
777 if (Vals
[i
].getPrefix() && !R
.isTemplateArg(Vals
[i
].getName()))
779 for (unsigned i
= 0, e
= Vals
.size(); i
!= e
; ++i
)
780 if (!Vals
[i
].getPrefix() && !R
.isTemplateArg(Vals
[i
].getName()))
786 /// getValueInit - Return the initializer for a value with the specified name,
787 /// or throw an exception if the field does not exist.
789 Init
*Record::getValueInit(const std::string
&FieldName
) const {
790 const RecordVal
*R
= getValue(FieldName
);
791 if (R
== 0 || R
->getValue() == 0)
792 throw "Record `" + getName() + "' does not have a field named `" +
794 return R
->getValue();
798 /// getValueAsString - This method looks up the specified field and returns its
799 /// value as a string, throwing an exception if the field does not exist or if
800 /// the value is not a string.
802 std::string
Record::getValueAsString(const std::string
&FieldName
) const {
803 const RecordVal
*R
= getValue(FieldName
);
804 if (R
== 0 || R
->getValue() == 0)
805 throw "Record `" + getName() + "' does not have a field named `" +
808 if (const StringInit
*SI
= dynamic_cast<const StringInit
*>(R
->getValue()))
809 return SI
->getValue();
810 throw "Record `" + getName() + "', field `" + FieldName
+
811 "' does not have a string initializer!";
814 /// getValueAsBitsInit - This method looks up the specified field and returns
815 /// its value as a BitsInit, throwing an exception if the field does not exist
816 /// or if the value is not the right type.
818 BitsInit
*Record::getValueAsBitsInit(const std::string
&FieldName
) const {
819 const RecordVal
*R
= getValue(FieldName
);
820 if (R
== 0 || R
->getValue() == 0)
821 throw "Record `" + getName() + "' does not have a field named `" +
824 if (BitsInit
*BI
= dynamic_cast<BitsInit
*>(R
->getValue()))
826 throw "Record `" + getName() + "', field `" + FieldName
+
827 "' does not have a BitsInit initializer!";
830 /// getValueAsListInit - This method looks up the specified field and returns
831 /// its value as a ListInit, throwing an exception if the field does not exist
832 /// or if the value is not the right type.
834 ListInit
*Record::getValueAsListInit(const std::string
&FieldName
) const {
835 const RecordVal
*R
= getValue(FieldName
);
836 if (R
== 0 || R
->getValue() == 0)
837 throw "Record `" + getName() + "' does not have a field named `" +
840 if (ListInit
*LI
= dynamic_cast<ListInit
*>(R
->getValue()))
842 throw "Record `" + getName() + "', field `" + FieldName
+
843 "' does not have a list initializer!";
846 /// getValueAsListOfDefs - This method looks up the specified field and returns
847 /// its value as a vector of records, throwing an exception if the field does
848 /// not exist or if the value is not the right type.
851 Record::getValueAsListOfDefs(const std::string
&FieldName
) const {
852 ListInit
*List
= getValueAsListInit(FieldName
);
853 std::vector
<Record
*> Defs
;
854 for (unsigned i
= 0; i
< List
->getSize(); i
++) {
855 if (DefInit
*DI
= dynamic_cast<DefInit
*>(List
->getElement(i
))) {
856 Defs
.push_back(DI
->getDef());
858 throw "Record `" + getName() + "', field `" + FieldName
+
859 "' list is not entirely DefInit!";
865 /// getValueAsInt - This method looks up the specified field and returns its
866 /// value as an int, throwing an exception if the field does not exist or if
867 /// the value is not the right type.
869 int Record::getValueAsInt(const std::string
&FieldName
) const {
870 const RecordVal
*R
= getValue(FieldName
);
871 if (R
== 0 || R
->getValue() == 0)
872 throw "Record `" + getName() + "' does not have a field named `" +
875 if (IntInit
*II
= dynamic_cast<IntInit
*>(R
->getValue()))
876 return II
->getValue();
877 throw "Record `" + getName() + "', field `" + FieldName
+
878 "' does not have an int initializer!";
881 /// getValueAsListOfInts - This method looks up the specified field and returns
882 /// its value as a vector of integers, throwing an exception if the field does
883 /// not exist or if the value is not the right type.
886 Record::getValueAsListOfInts(const std::string
&FieldName
) const {
887 ListInit
*List
= getValueAsListInit(FieldName
);
888 std::vector
<int> Ints
;
889 for (unsigned i
= 0; i
< List
->getSize(); i
++) {
890 if (IntInit
*II
= dynamic_cast<IntInit
*>(List
->getElement(i
))) {
891 Ints
.push_back(II
->getValue());
893 throw "Record `" + getName() + "', field `" + FieldName
+
894 "' does not have a list of ints initializer!";
900 /// getValueAsDef - This method looks up the specified field and returns its
901 /// value as a Record, throwing an exception if the field does not exist or if
902 /// the value is not the right type.
904 Record
*Record::getValueAsDef(const std::string
&FieldName
) const {
905 const RecordVal
*R
= getValue(FieldName
);
906 if (R
== 0 || R
->getValue() == 0)
907 throw "Record `" + getName() + "' does not have a field named `" +
910 if (DefInit
*DI
= dynamic_cast<DefInit
*>(R
->getValue()))
912 throw "Record `" + getName() + "', field `" + FieldName
+
913 "' does not have a def initializer!";
916 /// getValueAsBit - This method looks up the specified field and returns its
917 /// value as a bit, throwing an exception if the field does not exist or if
918 /// the value is not the right type.
920 bool Record::getValueAsBit(const std::string
&FieldName
) const {
921 const RecordVal
*R
= getValue(FieldName
);
922 if (R
== 0 || R
->getValue() == 0)
923 throw "Record `" + getName() + "' does not have a field named `" +
926 if (BitInit
*BI
= dynamic_cast<BitInit
*>(R
->getValue()))
927 return BI
->getValue();
928 throw "Record `" + getName() + "', field `" + FieldName
+
929 "' does not have a bit initializer!";
932 /// getValueAsDag - This method looks up the specified field and returns its
933 /// value as an Dag, throwing an exception if the field does not exist or if
934 /// the value is not the right type.
936 DagInit
*Record::getValueAsDag(const std::string
&FieldName
) const {
937 const RecordVal
*R
= getValue(FieldName
);
938 if (R
== 0 || R
->getValue() == 0)
939 throw "Record `" + getName() + "' does not have a field named `" +
942 if (DagInit
*DI
= dynamic_cast<DagInit
*>(R
->getValue()))
944 throw "Record `" + getName() + "', field `" + FieldName
+
945 "' does not have a dag initializer!";
948 std::string
Record::getValueAsCode(const std::string
&FieldName
) const {
949 const RecordVal
*R
= getValue(FieldName
);
950 if (R
== 0 || R
->getValue() == 0)
951 throw "Record `" + getName() + "' does not have a field named `" +
954 if (const CodeInit
*CI
= dynamic_cast<const CodeInit
*>(R
->getValue()))
955 return CI
->getValue();
956 throw "Record `" + getName() + "', field `" + FieldName
+
957 "' does not have a code initializer!";
961 void RecordKeeper::dump() const { cerr
<< *this; }
963 std::ostream
&llvm::operator<<(std::ostream
&OS
, const RecordKeeper
&RK
) {
964 OS
<< "------------- Classes -----------------\n";
965 const std::map
<std::string
, Record
*> &Classes
= RK
.getClasses();
966 for (std::map
<std::string
, Record
*>::const_iterator I
= Classes
.begin(),
967 E
= Classes
.end(); I
!= E
; ++I
)
968 OS
<< "class " << *I
->second
;
970 OS
<< "------------- Defs -----------------\n";
971 const std::map
<std::string
, Record
*> &Defs
= RK
.getDefs();
972 for (std::map
<std::string
, Record
*>::const_iterator I
= Defs
.begin(),
973 E
= Defs
.end(); I
!= E
; ++I
)
974 OS
<< "def " << *I
->second
;
979 /// getAllDerivedDefinitions - This method returns all concrete definitions
980 /// that derive from the specified class name. If a class with the specified
981 /// name does not exist, an error is printed and true is returned.
983 RecordKeeper::getAllDerivedDefinitions(const std::string
&ClassName
) const {
984 Record
*Class
= Records
.getClass(ClassName
);
986 throw "ERROR: Couldn't find the `" + ClassName
+ "' class!\n";
988 std::vector
<Record
*> Defs
;
989 for (std::map
<std::string
, Record
*>::const_iterator I
= getDefs().begin(),
990 E
= getDefs().end(); I
!= E
; ++I
)
991 if (I
->second
->isSubClassOf(Class
))
992 Defs
.push_back(I
->second
);