blob: e81a361eaebbe433ef20ce8169205fa9e155bf8f [file] [log] [blame]
Chris Lattnerf5bd1b72003-10-05 19:27:59 +00001//===- Record.cpp - Record implementation ---------------------------------===//
Misha Brukman650ba8e2005-04-22 00:00:37 +00002//
John Criswelld3032032003-10-20 20:20:30 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman650ba8e2005-04-22 00:00:37 +00007//
John Criswelld3032032003-10-20 20:20:30 +00008//===----------------------------------------------------------------------===//
Chris Lattnerf5bd1b72003-10-05 19:27:59 +00009//
Chris Lattner51ffbf12006-03-31 21:53:49 +000010// Implement the tablegen record classes.
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "Record.h"
Misha Brukman46cee7d2004-09-30 18:27:39 +000015#include "llvm/Support/DataTypes.h"
Bill Wendling9bfb1e12006-12-07 22:21:48 +000016#include "llvm/Support/Streams.h"
Duraid Madina14492af2005-12-26 05:08:55 +000017#include <ios>
18
Chris Lattner68478662004-08-01 03:55:39 +000019using namespace llvm;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000020
21//===----------------------------------------------------------------------===//
22// Type implementations
23//===----------------------------------------------------------------------===//
24
Bill Wendling9bfb1e12006-12-07 22:21:48 +000025void RecTy::dump() const { print(*cerr.stream()); }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000026
27Init *BitRecTy::convertValue(BitsInit *BI) {
28 if (BI->getNumBits() != 1) return 0; // Only accept if just one bit!
29 return BI->getBit(0);
30}
31
32bool BitRecTy::baseClassOf(const BitsRecTy *RHS) const {
33 return RHS->getNumBits() == 1;
34}
35
36Init *BitRecTy::convertValue(IntInit *II) {
37 int Val = II->getValue();
38 if (Val != 0 && Val != 1) return 0; // Only accept 0 or 1 for a bit!
Misha Brukman650ba8e2005-04-22 00:00:37 +000039
40 return new BitInit(Val != 0);
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000041}
42
43Init *BitRecTy::convertValue(TypedInit *VI) {
44 if (dynamic_cast<BitRecTy*>(VI->getType()))
45 return VI; // Accept variable if it is already of bit type!
46 return 0;
47}
48
49Init *BitsRecTy::convertValue(UnsetInit *UI) {
50 BitsInit *Ret = new BitsInit(Size);
51
52 for (unsigned i = 0; i != Size; ++i)
53 Ret->setBit(i, new UnsetInit());
54 return Ret;
55}
56
57Init *BitsRecTy::convertValue(BitInit *UI) {
58 if (Size != 1) return 0; // Can only convert single bit...
59 BitsInit *Ret = new BitsInit(1);
60 Ret->setBit(0, UI);
61 return Ret;
62}
63
64// convertValue from Int initializer to bits type: Split the integer up into the
65// appropriate bits...
66//
67Init *BitsRecTy::convertValue(IntInit *II) {
Misha Brukman6752fb52004-06-21 18:01:47 +000068 int64_t Value = II->getValue();
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000069 // Make sure this bitfield is large enough to hold the integer value...
70 if (Value >= 0) {
Misha Brukman6752fb52004-06-21 18:01:47 +000071 if (Value & ~((1LL << Size)-1))
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000072 return 0;
73 } else {
Jeff Cohen0add83e2006-02-18 03:20:33 +000074 if ((Value >> Size) != -1 || ((Value & (1LL << (Size-1))) == 0))
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000075 return 0;
76 }
77
78 BitsInit *Ret = new BitsInit(Size);
79 for (unsigned i = 0; i != Size; ++i)
Jeff Cohen0add83e2006-02-18 03:20:33 +000080 Ret->setBit(i, new BitInit(Value & (1LL << i)));
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000081
82 return Ret;
83}
84
85Init *BitsRecTy::convertValue(BitsInit *BI) {
86 // If the number of bits is right, return it. Otherwise we need to expand or
87 // truncate...
88 if (BI->getNumBits() == Size) return BI;
89 return 0;
90}
91
92Init *BitsRecTy::convertValue(TypedInit *VI) {
93 if (BitsRecTy *BRT = dynamic_cast<BitsRecTy*>(VI->getType()))
94 if (BRT->Size == Size) {
95 BitsInit *Ret = new BitsInit(Size);
96 for (unsigned i = 0; i != Size; ++i)
Jeff Cohen88e7b722005-04-22 04:13:13 +000097 Ret->setBit(i, new VarBitInit(VI, i));
Chris Lattnerf5bd1b72003-10-05 19:27:59 +000098 return Ret;
99 }
100 if (Size == 1 && dynamic_cast<BitRecTy*>(VI->getType())) {
101 BitsInit *Ret = new BitsInit(1);
102 Ret->setBit(0, VI);
103 return Ret;
104 }
Misha Brukman650ba8e2005-04-22 00:00:37 +0000105
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000106 return 0;
107}
108
109Init *IntRecTy::convertValue(BitInit *BI) {
110 return new IntInit(BI->getValue());
111}
112
113Init *IntRecTy::convertValue(BitsInit *BI) {
114 int Result = 0;
Misha Brukman650ba8e2005-04-22 00:00:37 +0000115 for (unsigned i = 0, e = BI->getNumBits(); i != e; ++i)
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000116 if (BitInit *Bit = dynamic_cast<BitInit*>(BI->getBit(i))) {
117 Result |= Bit->getValue() << i;
118 } else {
119 return 0;
120 }
121 return new IntInit(Result);
122}
123
124Init *IntRecTy::convertValue(TypedInit *TI) {
125 if (TI->getType()->typeIsConvertibleTo(this))
126 return TI; // Accept variable if already of the right type!
127 return 0;
128}
129
Chris Lattner51ffbf12006-03-31 21:53:49 +0000130Init *StringRecTy::convertValue(BinOpInit *BO) {
131 if (BO->getOpcode() == BinOpInit::STRCONCAT) {
132 Init *L = BO->getLHS()->convertInitializerTo(this);
133 Init *R = BO->getRHS()->convertInitializerTo(this);
134 if (L == 0 || R == 0) return 0;
135 if (L != BO->getLHS() || R != BO->getRHS())
136 return new BinOpInit(BinOpInit::STRCONCAT, L, R);
137 return BO;
138 }
139 return 0;
140}
141
142
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000143Init *StringRecTy::convertValue(TypedInit *TI) {
144 if (dynamic_cast<StringRecTy*>(TI->getType()))
145 return TI; // Accept variable if already of the right type!
146 return 0;
147}
148
149void ListRecTy::print(std::ostream &OS) const {
150 OS << "list<" << *Ty << ">";
151}
152
153Init *ListRecTy::convertValue(ListInit *LI) {
154 std::vector<Init*> Elements;
155
156 // Verify that all of the elements of the list are subclasses of the
157 // appropriate class!
158 for (unsigned i = 0, e = LI->getSize(); i != e; ++i)
159 if (Init *CI = LI->getElement(i)->convertInitializerTo(Ty))
160 Elements.push_back(CI);
161 else
162 return 0;
163
164 return new ListInit(Elements);
165}
166
167Init *ListRecTy::convertValue(TypedInit *TI) {
168 // Ensure that TI is compatible with our class.
169 if (ListRecTy *LRT = dynamic_cast<ListRecTy*>(TI->getType()))
170 if (LRT->getElementType()->typeIsConvertibleTo(getElementType()))
171 return TI;
172 return 0;
173}
174
175Init *CodeRecTy::convertValue(TypedInit *TI) {
176 if (TI->getType()->typeIsConvertibleTo(this))
177 return TI;
178 return 0;
179}
180
181Init *DagRecTy::convertValue(TypedInit *TI) {
182 if (TI->getType()->typeIsConvertibleTo(this))
183 return TI;
184 return 0;
185}
186
Evan Chenga32dee22007-05-15 01:23:24 +0000187Init *DagRecTy::convertValue(BinOpInit *BO) {
188 if (BO->getOpcode() == BinOpInit::CONCAT) {
189 Init *L = BO->getLHS()->convertInitializerTo(this);
190 Init *R = BO->getRHS()->convertInitializerTo(this);
191 if (L == 0 || R == 0) return 0;
192 if (L != BO->getLHS() || R != BO->getRHS())
193 return new BinOpInit(BinOpInit::CONCAT, L, R);
194 return BO;
195 }
196 return 0;
197}
198
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000199
200void RecordRecTy::print(std::ostream &OS) const {
201 OS << Rec->getName();
202}
203
204Init *RecordRecTy::convertValue(DefInit *DI) {
205 // Ensure that DI is a subclass of Rec.
206 if (!DI->getDef()->isSubClassOf(Rec))
207 return 0;
208 return DI;
209}
210
211Init *RecordRecTy::convertValue(TypedInit *TI) {
212 // Ensure that TI is compatible with Rec.
213 if (RecordRecTy *RRT = dynamic_cast<RecordRecTy*>(TI->getType()))
214 if (RRT->getRecord()->isSubClassOf(getRecord()) ||
215 RRT->getRecord() == getRecord())
216 return TI;
217 return 0;
218}
219
220bool RecordRecTy::baseClassOf(const RecordRecTy *RHS) const {
221 return Rec == RHS->getRecord() || RHS->getRecord()->isSubClassOf(Rec);
222}
223
224
225//===----------------------------------------------------------------------===//
226// Initializer implementations
227//===----------------------------------------------------------------------===//
228
Bill Wendling9bfb1e12006-12-07 22:21:48 +0000229void Init::dump() const { return print(*cerr.stream()); }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000230
231Init *BitsInit::convertInitializerBitRange(const std::vector<unsigned> &Bits) {
232 BitsInit *BI = new BitsInit(Bits.size());
233 for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
234 if (Bits[i] >= getNumBits()) {
235 delete BI;
236 return 0;
237 }
238 BI->setBit(i, getBit(Bits[i]));
239 }
240 return BI;
241}
242
243void BitsInit::print(std::ostream &OS) const {
244 //if (!printInHex(OS)) return;
245 //if (!printAsVariable(OS)) return;
246 //if (!printAsUnset(OS)) return;
247
248 OS << "{ ";
249 for (unsigned i = 0, e = getNumBits(); i != e; ++i) {
250 if (i) OS << ", ";
251 if (Init *Bit = getBit(e-i-1))
252 Bit->print(OS);
253 else
254 OS << "*";
255 }
256 OS << " }";
257}
258
259bool BitsInit::printInHex(std::ostream &OS) const {
260 // First, attempt to convert the value into an integer value...
261 int Result = 0;
Misha Brukman650ba8e2005-04-22 00:00:37 +0000262 for (unsigned i = 0, e = getNumBits(); i != e; ++i)
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000263 if (BitInit *Bit = dynamic_cast<BitInit*>(getBit(i))) {
264 Result |= Bit->getValue() << i;
265 } else {
266 return true;
267 }
268
269 OS << "0x" << std::hex << Result << std::dec;
270 return false;
271}
272
273bool BitsInit::printAsVariable(std::ostream &OS) const {
274 // Get the variable that we may be set equal to...
275 assert(getNumBits() != 0);
276 VarBitInit *FirstBit = dynamic_cast<VarBitInit*>(getBit(0));
277 if (FirstBit == 0) return true;
278 TypedInit *Var = FirstBit->getVariable();
279
280 // Check to make sure the types are compatible.
281 BitsRecTy *Ty = dynamic_cast<BitsRecTy*>(FirstBit->getVariable()->getType());
282 if (Ty == 0) return true;
283 if (Ty->getNumBits() != getNumBits()) return true; // Incompatible types!
284
285 // Check to make sure all bits are referring to the right bits in the variable
286 for (unsigned i = 0, e = getNumBits(); i != e; ++i) {
287 VarBitInit *Bit = dynamic_cast<VarBitInit*>(getBit(i));
288 if (Bit == 0 || Bit->getVariable() != Var || Bit->getBitNum() != i)
289 return true;
290 }
291
292 Var->print(OS);
293 return false;
294}
295
296bool BitsInit::printAsUnset(std::ostream &OS) const {
Misha Brukman650ba8e2005-04-22 00:00:37 +0000297 for (unsigned i = 0, e = getNumBits(); i != e; ++i)
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000298 if (!dynamic_cast<UnsetInit*>(getBit(i)))
299 return true;
300 OS << "?";
301 return false;
302}
303
304// resolveReferences - If there are any field references that refer to fields
305// that have been filled in, we can propagate the values now.
306//
Chris Lattneref943742005-04-19 03:36:21 +0000307Init *BitsInit::resolveReferences(Record &R, const RecordVal *RV) {
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000308 bool Changed = false;
309 BitsInit *New = new BitsInit(getNumBits());
310
311 for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
312 Init *B;
313 Init *CurBit = getBit(i);
314
315 do {
316 B = CurBit;
Chris Lattneref943742005-04-19 03:36:21 +0000317 CurBit = CurBit->resolveReferences(R, RV);
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000318 Changed |= B != CurBit;
319 } while (B != CurBit);
320 New->setBit(i, CurBit);
321 }
322
323 if (Changed)
324 return New;
325 delete New;
326 return this;
327}
328
329Init *IntInit::convertInitializerBitRange(const std::vector<unsigned> &Bits) {
330 BitsInit *BI = new BitsInit(Bits.size());
331
332 for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
333 if (Bits[i] >= 32) {
334 delete BI;
335 return 0;
336 }
337 BI->setBit(i, new BitInit(Value & (1 << Bits[i])));
338 }
339 return BI;
340}
341
Chris Lattner8bf9e062004-07-26 23:21:34 +0000342Init *ListInit::convertInitListSlice(const std::vector<unsigned> &Elements) {
343 std::vector<Init*> Vals;
344 for (unsigned i = 0, e = Elements.size(); i != e; ++i) {
345 if (Elements[i] >= getSize())
346 return 0;
347 Vals.push_back(getElement(Elements[i]));
348 }
349 return new ListInit(Vals);
350}
351
Chris Lattnercbebe462007-02-27 22:08:27 +0000352Record *ListInit::getElementAsRecord(unsigned i) const {
353 assert(i < Values.size() && "List element index out of range!");
354 DefInit *DI = dynamic_cast<DefInit*>(Values[i]);
355 if (DI == 0) throw "Expected record in list!";
356 return DI->getDef();
357}
358
Chris Lattneref943742005-04-19 03:36:21 +0000359Init *ListInit::resolveReferences(Record &R, const RecordVal *RV) {
Chris Lattner577fc3f2004-07-27 01:01:21 +0000360 std::vector<Init*> Resolved;
361 Resolved.reserve(getSize());
362 bool Changed = false;
363
364 for (unsigned i = 0, e = getSize(); i != e; ++i) {
365 Init *E;
366 Init *CurElt = getElement(i);
367
368 do {
369 E = CurElt;
Chris Lattneref943742005-04-19 03:36:21 +0000370 CurElt = CurElt->resolveReferences(R, RV);
Chris Lattner577fc3f2004-07-27 01:01:21 +0000371 Changed |= E != CurElt;
372 } while (E != CurElt);
373 Resolved.push_back(E);
374 }
375
376 if (Changed)
377 return new ListInit(Resolved);
378 return this;
379}
380
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000381void ListInit::print(std::ostream &OS) const {
382 OS << "[";
383 for (unsigned i = 0, e = Values.size(); i != e; ++i) {
384 if (i) OS << ", ";
385 OS << *Values[i];
386 }
387 OS << "]";
388}
389
Chris Lattner51ffbf12006-03-31 21:53:49 +0000390Init *BinOpInit::Fold() {
391 switch (getOpcode()) {
392 default: assert(0 && "Unknown binop");
Evan Chenga32dee22007-05-15 01:23:24 +0000393 case CONCAT: {
394 DagInit *LHSs = dynamic_cast<DagInit*>(LHS);
395 DagInit *RHSs = dynamic_cast<DagInit*>(RHS);
396 if (LHSs && RHSs) {
397 DefInit *LOp = dynamic_cast<DefInit*>(LHSs->getOperator());
398 DefInit *ROp = dynamic_cast<DefInit*>(RHSs->getOperator());
399 if (LOp->getDef() != ROp->getDef())
400 throw "Concated Dag operators do not match!";
401 std::vector<Init*> Args;
402 std::vector<std::string> ArgNames;
403 for (unsigned i = 0, e = LHSs->getNumArgs(); i != e; ++i) {
404 Args.push_back(LHSs->getArg(i));
405 ArgNames.push_back(LHSs->getArgName(i));
406 }
407 for (unsigned i = 0, e = RHSs->getNumArgs(); i != e; ++i) {
408 Args.push_back(RHSs->getArg(i));
409 ArgNames.push_back(RHSs->getArgName(i));
410 }
411 return new DagInit(LHSs->getOperator(), Args, ArgNames);
412 }
413 break;
414 }
Chris Lattner51ffbf12006-03-31 21:53:49 +0000415 case STRCONCAT: {
416 StringInit *LHSs = dynamic_cast<StringInit*>(LHS);
417 StringInit *RHSs = dynamic_cast<StringInit*>(RHS);
418 if (LHSs && RHSs)
419 return new StringInit(LHSs->getValue() + RHSs->getValue());
420 break;
421 }
422 case SHL:
423 case SRA:
424 case SRL: {
425 IntInit *LHSi = dynamic_cast<IntInit*>(LHS);
426 IntInit *RHSi = dynamic_cast<IntInit*>(RHS);
427 if (LHSi && RHSi) {
428 int LHSv = LHSi->getValue(), RHSv = RHSi->getValue();
429 int Result;
430 switch (getOpcode()) {
431 default: assert(0 && "Bad opcode!");
432 case SHL: Result = LHSv << RHSv; break;
433 case SRA: Result = LHSv >> RHSv; break;
434 case SRL: Result = (unsigned)LHSv >> (unsigned)RHSv; break;
435 }
436 return new IntInit(Result);
437 }
438 break;
439 }
440 }
441 return this;
442}
443
444Init *BinOpInit::resolveReferences(Record &R, const RecordVal *RV) {
445 Init *lhs = LHS->resolveReferences(R, RV);
446 Init *rhs = RHS->resolveReferences(R, RV);
447
448 if (LHS != lhs || RHS != rhs)
449 return (new BinOpInit(getOpcode(), lhs, rhs))->Fold();
450 return Fold();
451}
452
453void BinOpInit::print(std::ostream &OS) const {
454 switch (Opc) {
Evan Chenga32dee22007-05-15 01:23:24 +0000455 case CONCAT: OS << "!con"; break;
Chris Lattner51ffbf12006-03-31 21:53:49 +0000456 case SHL: OS << "!shl"; break;
457 case SRA: OS << "!sra"; break;
458 case SRL: OS << "!srl"; break;
459 case STRCONCAT: OS << "!strconcat"; break;
460 }
461 OS << "(";
462 LHS->print(OS);
463 OS << ", ";
464 RHS->print(OS);
465 OS << ")";
466}
467
Chris Lattner577fc3f2004-07-27 01:01:21 +0000468Init *TypedInit::convertInitializerBitRange(const std::vector<unsigned> &Bits) {
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000469 BitsRecTy *T = dynamic_cast<BitsRecTy*>(getType());
470 if (T == 0) return 0; // Cannot subscript a non-bits variable...
471 unsigned NumBits = T->getNumBits();
472
473 BitsInit *BI = new BitsInit(Bits.size());
474 for (unsigned i = 0, e = Bits.size(); i != e; ++i) {
475 if (Bits[i] >= NumBits) {
476 delete BI;
477 return 0;
478 }
479 BI->setBit(i, new VarBitInit(this, Bits[i]));
480 }
481 return BI;
482}
483
Chris Lattner577fc3f2004-07-27 01:01:21 +0000484Init *TypedInit::convertInitListSlice(const std::vector<unsigned> &Elements) {
485 ListRecTy *T = dynamic_cast<ListRecTy*>(getType());
486 if (T == 0) return 0; // Cannot subscript a non-list variable...
487
488 if (Elements.size() == 1)
489 return new VarListElementInit(this, Elements[0]);
490
491 std::vector<Init*> ListInits;
492 ListInits.reserve(Elements.size());
493 for (unsigned i = 0, e = Elements.size(); i != e; ++i)
494 ListInits.push_back(new VarListElementInit(this, Elements[i]));
495 return new ListInit(ListInits);
496}
497
498
Chris Lattneref943742005-04-19 03:36:21 +0000499Init *VarInit::resolveBitReference(Record &R, const RecordVal *IRV,
500 unsigned Bit) {
501 if (R.isTemplateArg(getName())) return 0;
502 if (IRV && IRV->getName() != getName()) return 0;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000503
504 RecordVal *RV = R.getValue(getName());
505 assert(RV && "Reference to a non-existant variable?");
506 assert(dynamic_cast<BitsInit*>(RV->getValue()));
507 BitsInit *BI = (BitsInit*)RV->getValue();
Misha Brukman650ba8e2005-04-22 00:00:37 +0000508
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000509 assert(Bit < BI->getNumBits() && "Bit reference out of range!");
510 Init *B = BI->getBit(Bit);
511
512 if (!dynamic_cast<UnsetInit*>(B)) // If the bit is not set...
513 return B; // Replace the VarBitInit with it.
Chris Lattner577fc3f2004-07-27 01:01:21 +0000514 return 0;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000515}
516
Chris Lattneref943742005-04-19 03:36:21 +0000517Init *VarInit::resolveListElementReference(Record &R, const RecordVal *IRV,
518 unsigned Elt) {
519 if (R.isTemplateArg(getName())) return 0;
520 if (IRV && IRV->getName() != getName()) return 0;
Chris Lattner577fc3f2004-07-27 01:01:21 +0000521
522 RecordVal *RV = R.getValue(getName());
523 assert(RV && "Reference to a non-existant variable?");
524 ListInit *LI = dynamic_cast<ListInit*>(RV->getValue());
525 assert(LI && "Invalid list element!");
526
527 if (Elt >= LI->getSize())
528 return 0; // Out of range reference.
529 Init *E = LI->getElement(Elt);
530 if (!dynamic_cast<UnsetInit*>(E)) // If the element is set
531 return E; // Replace the VarListElementInit with it.
532 return 0;
533}
534
535
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000536RecTy *VarInit::getFieldType(const std::string &FieldName) const {
537 if (RecordRecTy *RTy = dynamic_cast<RecordRecTy*>(getType()))
538 if (const RecordVal *RV = RTy->getRecord()->getValue(FieldName))
539 return RV->getType();
540 return 0;
541}
542
543Init *VarInit::getFieldInit(Record &R, const std::string &FieldName) const {
Reid Spencer2a826862006-11-02 20:46:16 +0000544 if (dynamic_cast<RecordRecTy*>(getType()))
Chris Lattnerd959ab92004-02-28 16:31:53 +0000545 if (const RecordVal *RV = R.getValue(VarName)) {
546 Init *TheInit = RV->getValue();
547 assert(TheInit != this && "Infinite loop detected!");
548 if (Init *I = TheInit->getFieldInit(R, FieldName))
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000549 return I;
550 else
551 return 0;
Chris Lattnerd959ab92004-02-28 16:31:53 +0000552 }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000553 return 0;
554}
555
556/// resolveReferences - This method is used by classes that refer to other
557/// variables which may not be defined at the time they expression is formed.
558/// If a value is set for the variable later, this method will be called on
559/// users of the value to allow the value to propagate out.
560///
Chris Lattneref943742005-04-19 03:36:21 +0000561Init *VarInit::resolveReferences(Record &R, const RecordVal *RV) {
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000562 if (RecordVal *Val = R.getValue(VarName))
Chris Lattneref943742005-04-19 03:36:21 +0000563 if (RV == Val || (RV == 0 && !dynamic_cast<UnsetInit*>(Val->getValue())))
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000564 return Val->getValue();
565 return this;
566}
Misha Brukman650ba8e2005-04-22 00:00:37 +0000567
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000568
Chris Lattneref943742005-04-19 03:36:21 +0000569Init *VarBitInit::resolveReferences(Record &R, const RecordVal *RV) {
570 if (Init *I = getVariable()->resolveBitReference(R, RV, getBitNum()))
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000571 return I;
572 return this;
573}
574
Chris Lattneref943742005-04-19 03:36:21 +0000575Init *VarListElementInit::resolveReferences(Record &R, const RecordVal *RV) {
576 if (Init *I = getVariable()->resolveListElementReference(R, RV,
577 getElementNum()))
Chris Lattner577fc3f2004-07-27 01:01:21 +0000578 return I;
579 return this;
580}
581
Chris Lattneref943742005-04-19 03:36:21 +0000582Init *VarListElementInit::resolveBitReference(Record &R, const RecordVal *RV,
583 unsigned Bit) {
Chris Lattner577fc3f2004-07-27 01:01:21 +0000584 // FIXME: This should be implemented, to support references like:
585 // bit B = AA[0]{1};
586 return 0;
587}
588
Chris Lattneref943742005-04-19 03:36:21 +0000589Init *VarListElementInit::
590resolveListElementReference(Record &R, const RecordVal *RV, unsigned Elt) {
Chris Lattner577fc3f2004-07-27 01:01:21 +0000591 // FIXME: This should be implemented, to support references like:
592 // int B = AA[0][1];
593 return 0;
594}
595
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000596RecTy *DefInit::getFieldType(const std::string &FieldName) const {
597 if (const RecordVal *RV = Def->getValue(FieldName))
598 return RV->getType();
599 return 0;
600}
601
602Init *DefInit::getFieldInit(Record &R, const std::string &FieldName) const {
603 return Def->getValue(FieldName)->getValue();
604}
605
606
607void DefInit::print(std::ostream &OS) const {
608 OS << Def->getName();
609}
610
Chris Lattneref943742005-04-19 03:36:21 +0000611Init *FieldInit::resolveBitReference(Record &R, const RecordVal *RV,
612 unsigned Bit) {
Chris Lattner577fc3f2004-07-27 01:01:21 +0000613 if (Init *BitsVal = Rec->getFieldInit(R, FieldName))
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000614 if (BitsInit *BI = dynamic_cast<BitsInit*>(BitsVal)) {
615 assert(Bit < BI->getNumBits() && "Bit reference out of range!");
616 Init *B = BI->getBit(Bit);
Misha Brukman650ba8e2005-04-22 00:00:37 +0000617
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000618 if (dynamic_cast<BitInit*>(B)) // If the bit is set...
619 return B; // Replace the VarBitInit with it.
620 }
Chris Lattner577fc3f2004-07-27 01:01:21 +0000621 return 0;
622}
623
Chris Lattneref943742005-04-19 03:36:21 +0000624Init *FieldInit::resolveListElementReference(Record &R, const RecordVal *RV,
625 unsigned Elt) {
Chris Lattner577fc3f2004-07-27 01:01:21 +0000626 if (Init *ListVal = Rec->getFieldInit(R, FieldName))
627 if (ListInit *LI = dynamic_cast<ListInit*>(ListVal)) {
628 if (Elt >= LI->getSize()) return 0;
629 Init *E = LI->getElement(Elt);
630
631 if (!dynamic_cast<UnsetInit*>(E)) // If the bit is set...
632 return E; // Replace the VarListElementInit with it.
633 }
634 return 0;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000635}
636
Chris Lattneref943742005-04-19 03:36:21 +0000637Init *FieldInit::resolveReferences(Record &R, const RecordVal *RV) {
638 Init *NewRec = RV ? Rec->resolveReferences(R, RV) : Rec;
639
640 Init *BitsVal = NewRec->getFieldInit(R, FieldName);
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000641 if (BitsVal) {
Chris Lattneref943742005-04-19 03:36:21 +0000642 Init *BVR = BitsVal->resolveReferences(R, RV);
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000643 return BVR->isComplete() ? BVR : this;
644 }
Chris Lattneref943742005-04-19 03:36:21 +0000645
646 if (NewRec != Rec) {
647 dump();
Bill Wendling9bfb1e12006-12-07 22:21:48 +0000648 NewRec->dump(); cerr << "\n";
Chris Lattneref943742005-04-19 03:36:21 +0000649 return new FieldInit(NewRec, FieldName);
650 }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000651 return this;
652}
653
Chris Lattner0d3ef402006-01-31 06:02:35 +0000654Init *DagInit::resolveReferences(Record &R, const RecordVal *RV) {
655 std::vector<Init*> NewArgs;
656 for (unsigned i = 0, e = Args.size(); i != e; ++i)
657 NewArgs.push_back(Args[i]->resolveReferences(R, RV));
658
Chris Lattnerb59cf3c2006-03-30 22:50:40 +0000659 Init *Op = Val->resolveReferences(R, RV);
660
661 if (Args != NewArgs || Op != Val)
662 return new DagInit(Op, NewArgs, ArgNames);
Chris Lattner0d3ef402006-01-31 06:02:35 +0000663
664 return this;
665}
666
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000667
668void DagInit::print(std::ostream &OS) const {
Chris Lattnerb59cf3c2006-03-30 22:50:40 +0000669 OS << "(" << *Val;
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000670 if (Args.size()) {
671 OS << " " << *Args[0];
672 if (!ArgNames[0].empty()) OS << ":$" << ArgNames[0];
673 for (unsigned i = 1, e = Args.size(); i != e; ++i) {
674 OS << ", " << *Args[i];
675 if (!ArgNames[i].empty()) OS << ":$" << ArgNames[i];
676 }
677 }
678 OS << ")";
679}
680
681
682//===----------------------------------------------------------------------===//
683// Other implementations
684//===----------------------------------------------------------------------===//
685
686RecordVal::RecordVal(const std::string &N, RecTy *T, unsigned P)
687 : Name(N), Ty(T), Prefix(P) {
688 Value = Ty->convertValue(new UnsetInit());
689 assert(Value && "Cannot create unset value for current type!");
690}
691
Bill Wendling9bfb1e12006-12-07 22:21:48 +0000692void RecordVal::dump() const { cerr << *this; }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000693
694void RecordVal::print(std::ostream &OS, bool PrintSem) const {
695 if (getPrefix()) OS << "field ";
696 OS << *getType() << " " << getName();
Chris Lattneref943742005-04-19 03:36:21 +0000697
698 if (getValue())
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000699 OS << " = " << *getValue();
Chris Lattneref943742005-04-19 03:36:21 +0000700
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000701 if (PrintSem) OS << ";\n";
702}
703
Chris Lattnerac284252005-08-19 17:58:11 +0000704void Record::setName(const std::string &Name) {
705 if (Records.getDef(getName()) == this) {
706 Records.removeDef(getName());
707 this->Name = Name;
708 Records.addDef(this);
709 } else {
710 Records.removeClass(getName());
711 this->Name = Name;
712 Records.addClass(this);
713 }
714}
715
Chris Lattneref943742005-04-19 03:36:21 +0000716/// resolveReferencesTo - If anything in this record refers to RV, replace the
717/// reference to RV with the RHS of RV. If RV is null, we resolve all possible
718/// references.
719void Record::resolveReferencesTo(const RecordVal *RV) {
720 for (unsigned i = 0, e = Values.size(); i != e; ++i) {
721 if (Init *V = Values[i].getValue())
722 Values[i].setValue(V->resolveReferences(*this, RV));
723 }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000724}
725
Chris Lattneref943742005-04-19 03:36:21 +0000726
Bill Wendling9bfb1e12006-12-07 22:21:48 +0000727void Record::dump() const { cerr << *this; }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000728
Chris Lattner68478662004-08-01 03:55:39 +0000729std::ostream &llvm::operator<<(std::ostream &OS, const Record &R) {
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000730 OS << R.getName();
731
732 const std::vector<std::string> &TArgs = R.getTemplateArgs();
733 if (!TArgs.empty()) {
734 OS << "<";
735 for (unsigned i = 0, e = TArgs.size(); i != e; ++i) {
736 if (i) OS << ", ";
737 const RecordVal *RV = R.getValue(TArgs[i]);
738 assert(RV && "Template argument record not found??");
739 RV->print(OS, false);
740 }
741 OS << ">";
742 }
743
744 OS << " {";
745 const std::vector<Record*> &SC = R.getSuperClasses();
746 if (!SC.empty()) {
747 OS << "\t//";
748 for (unsigned i = 0, e = SC.size(); i != e; ++i)
749 OS << " " << SC[i]->getName();
750 }
751 OS << "\n";
752
753 const std::vector<RecordVal> &Vals = R.getValues();
754 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
755 if (Vals[i].getPrefix() && !R.isTemplateArg(Vals[i].getName()))
756 OS << Vals[i];
757 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
758 if (!Vals[i].getPrefix() && !R.isTemplateArg(Vals[i].getName()))
759 OS << Vals[i];
760
761 return OS << "}\n";
762}
763
764/// getValueInit - Return the initializer for a value with the specified name,
765/// or throw an exception if the field does not exist.
766///
767Init *Record::getValueInit(const std::string &FieldName) const {
768 const RecordVal *R = getValue(FieldName);
769 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000770 throw "Record `" + getName() + "' does not have a field named `" +
771 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000772 return R->getValue();
773}
774
775
776/// getValueAsString - This method looks up the specified field and returns its
777/// value as a string, throwing an exception if the field does not exist or if
778/// the value is not a string.
779///
780std::string Record::getValueAsString(const std::string &FieldName) const {
781 const RecordVal *R = getValue(FieldName);
782 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000783 throw "Record `" + getName() + "' does not have a field named `" +
784 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000785
786 if (const StringInit *SI = dynamic_cast<const StringInit*>(R->getValue()))
787 return SI->getValue();
Misha Brukman41f9f292004-10-08 14:59:05 +0000788 throw "Record `" + getName() + "', field `" + FieldName +
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000789 "' does not have a string initializer!";
790}
791
792/// getValueAsBitsInit - This method looks up the specified field and returns
793/// its value as a BitsInit, throwing an exception if the field does not exist
794/// or if the value is not the right type.
795///
796BitsInit *Record::getValueAsBitsInit(const std::string &FieldName) const {
797 const RecordVal *R = getValue(FieldName);
798 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000799 throw "Record `" + getName() + "' does not have a field named `" +
800 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000801
802 if (BitsInit *BI = dynamic_cast<BitsInit*>(R->getValue()))
803 return BI;
Misha Brukman41f9f292004-10-08 14:59:05 +0000804 throw "Record `" + getName() + "', field `" + FieldName +
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000805 "' does not have a BitsInit initializer!";
806}
807
808/// getValueAsListInit - This method looks up the specified field and returns
809/// its value as a ListInit, throwing an exception if the field does not exist
810/// or if the value is not the right type.
811///
812ListInit *Record::getValueAsListInit(const std::string &FieldName) const {
813 const RecordVal *R = getValue(FieldName);
814 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000815 throw "Record `" + getName() + "' does not have a field named `" +
816 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000817
818 if (ListInit *LI = dynamic_cast<ListInit*>(R->getValue()))
819 return LI;
Misha Brukman41f9f292004-10-08 14:59:05 +0000820 throw "Record `" + getName() + "', field `" + FieldName +
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000821 "' does not have a list initializer!";
822}
823
Chris Lattner7ad0bed2005-10-28 22:49:02 +0000824/// getValueAsListOfDefs - This method looks up the specified field and returns
Jim Laskeyb04feb62005-10-28 21:46:31 +0000825/// its value as a vector of records, throwing an exception if the field does
826/// not exist or if the value is not the right type.
827///
Chris Lattner7ad0bed2005-10-28 22:49:02 +0000828std::vector<Record*>
829Record::getValueAsListOfDefs(const std::string &FieldName) const {
Jim Laskeyb04feb62005-10-28 21:46:31 +0000830 ListInit *List = getValueAsListInit(FieldName);
831 std::vector<Record*> Defs;
832 for (unsigned i = 0; i < List->getSize(); i++) {
833 if (DefInit *DI = dynamic_cast<DefInit*>(List->getElement(i))) {
834 Defs.push_back(DI->getDef());
835 } else {
836 throw "Record `" + getName() + "', field `" + FieldName +
837 "' list is not entirely DefInit!";
838 }
839 }
840 return Defs;
841}
842
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000843/// getValueAsInt - This method looks up the specified field and returns its
844/// value as an int, throwing an exception if the field does not exist or if
845/// the value is not the right type.
846///
847int Record::getValueAsInt(const std::string &FieldName) const {
848 const RecordVal *R = getValue(FieldName);
849 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000850 throw "Record `" + getName() + "' does not have a field named `" +
851 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000852
853 if (IntInit *II = dynamic_cast<IntInit*>(R->getValue()))
854 return II->getValue();
Misha Brukman41f9f292004-10-08 14:59:05 +0000855 throw "Record `" + getName() + "', field `" + FieldName +
Nate Begemanf621b332005-11-30 18:37:14 +0000856 "' does not have an int initializer!";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000857}
858
859/// getValueAsDef - This method looks up the specified field and returns its
860/// value as a Record, throwing an exception if the field does not exist or if
861/// the value is not the right type.
862///
863Record *Record::getValueAsDef(const std::string &FieldName) const {
864 const RecordVal *R = getValue(FieldName);
865 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000866 throw "Record `" + getName() + "' does not have a field named `" +
867 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000868
869 if (DefInit *DI = dynamic_cast<DefInit*>(R->getValue()))
870 return DI->getDef();
Misha Brukman41f9f292004-10-08 14:59:05 +0000871 throw "Record `" + getName() + "', field `" + FieldName +
Nate Begemanf621b332005-11-30 18:37:14 +0000872 "' does not have a def initializer!";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000873}
874
875/// getValueAsBit - This method looks up the specified field and returns its
876/// value as a bit, throwing an exception if the field does not exist or if
877/// the value is not the right type.
878///
879bool Record::getValueAsBit(const std::string &FieldName) const {
880 const RecordVal *R = getValue(FieldName);
881 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000882 throw "Record `" + getName() + "' does not have a field named `" +
883 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000884
885 if (BitInit *BI = dynamic_cast<BitInit*>(R->getValue()))
886 return BI->getValue();
Misha Brukman41f9f292004-10-08 14:59:05 +0000887 throw "Record `" + getName() + "', field `" + FieldName +
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000888 "' does not have a bit initializer!";
889}
890
891/// getValueAsDag - This method looks up the specified field and returns its
892/// value as an Dag, throwing an exception if the field does not exist or if
893/// the value is not the right type.
894///
895DagInit *Record::getValueAsDag(const std::string &FieldName) const {
896 const RecordVal *R = getValue(FieldName);
897 if (R == 0 || R->getValue() == 0)
Misha Brukman41f9f292004-10-08 14:59:05 +0000898 throw "Record `" + getName() + "' does not have a field named `" +
899 FieldName + "'!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000900
901 if (DagInit *DI = dynamic_cast<DagInit*>(R->getValue()))
902 return DI;
Misha Brukman41f9f292004-10-08 14:59:05 +0000903 throw "Record `" + getName() + "', field `" + FieldName +
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000904 "' does not have a dag initializer!";
905}
906
Chris Lattnerae939eb2005-09-13 21:44:28 +0000907std::string Record::getValueAsCode(const std::string &FieldName) const {
908 const RecordVal *R = getValue(FieldName);
909 if (R == 0 || R->getValue() == 0)
910 throw "Record `" + getName() + "' does not have a field named `" +
911 FieldName + "'!\n";
912
913 if (const CodeInit *CI = dynamic_cast<const CodeInit*>(R->getValue()))
914 return CI->getValue();
915 throw "Record `" + getName() + "', field `" + FieldName +
916 "' does not have a code initializer!";
917}
918
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000919
Bill Wendling9bfb1e12006-12-07 22:21:48 +0000920void RecordKeeper::dump() const { cerr << *this; }
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000921
Chris Lattner68478662004-08-01 03:55:39 +0000922std::ostream &llvm::operator<<(std::ostream &OS, const RecordKeeper &RK) {
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000923 OS << "------------- Classes -----------------\n";
924 const std::map<std::string, Record*> &Classes = RK.getClasses();
925 for (std::map<std::string, Record*>::const_iterator I = Classes.begin(),
Jeff Cohen88e7b722005-04-22 04:13:13 +0000926 E = Classes.end(); I != E; ++I)
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000927 OS << "class " << *I->second;
Misha Brukman650ba8e2005-04-22 00:00:37 +0000928
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000929 OS << "------------- Defs -----------------\n";
930 const std::map<std::string, Record*> &Defs = RK.getDefs();
931 for (std::map<std::string, Record*>::const_iterator I = Defs.begin(),
Jeff Cohen88e7b722005-04-22 04:13:13 +0000932 E = Defs.end(); I != E; ++I)
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000933 OS << "def " << *I->second;
934 return OS;
935}
936
937
938/// getAllDerivedDefinitions - This method returns all concrete definitions
939/// that derive from the specified class name. If a class with the specified
940/// name does not exist, an error is printed and true is returned.
941std::vector<Record*>
942RecordKeeper::getAllDerivedDefinitions(const std::string &ClassName) const {
943 Record *Class = Records.getClass(ClassName);
944 if (!Class)
Misha Brukman41f9f292004-10-08 14:59:05 +0000945 throw "ERROR: Couldn't find the `" + ClassName + "' class!\n";
Chris Lattnerf5bd1b72003-10-05 19:27:59 +0000946
947 std::vector<Record*> Defs;
948 for (std::map<std::string, Record*>::const_iterator I = getDefs().begin(),
949 E = getDefs().end(); I != E; ++I)
950 if (I->second->isSubClassOf(Class))
951 Defs.push_back(I->second);
952
953 return Defs;
954}
Brian Gaeke960707c2003-11-11 22:41:34 +0000955