1 //===- Record.h - Classes to represent Table Records ------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
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.
8 //===----------------------------------------------------------------------===//
10 // This file defines the main TableGen data structures, including the TableGen
11 // types, values, and high-level data structures.
13 //===----------------------------------------------------------------------===//
52 class VarListElementInit;
58 //===----------------------------------------------------------------------===//
60 //===----------------------------------------------------------------------===//
65 virtual void print(std::ostream &OS) const = 0;
68 /// typeIsConvertibleTo - Return true if all values of 'this' type can be
69 /// converted to the specified type.
70 virtual bool typeIsConvertibleTo(const RecTy *RHS) const = 0;
72 public: // These methods should only be called from subclasses of Init
73 virtual Init *convertValue( UnsetInit *UI) { return 0; }
74 virtual Init *convertValue( BitInit *BI) { return 0; }
75 virtual Init *convertValue( BitsInit *BI) { return 0; }
76 virtual Init *convertValue( IntInit *II) { return 0; }
77 virtual Init *convertValue(StringInit *SI) { return 0; }
78 virtual Init *convertValue( ListInit *LI) { return 0; }
79 virtual Init *convertValue( BinOpInit *UI) { return 0; }
80 virtual Init *convertValue( CodeInit *CI) { return 0; }
81 virtual Init *convertValue(VarBitInit *VB) { return 0; }
82 virtual Init *convertValue( DefInit *DI) { return 0; }
83 virtual Init *convertValue( DagInit *DI) { return 0; }
84 virtual Init *convertValue( TypedInit *TI) { return 0; }
85 virtual Init *convertValue( VarInit *VI) {
86 return convertValue((TypedInit*)VI);
88 virtual Init *convertValue( FieldInit *FI) {
89 return convertValue((TypedInit*)FI);
92 public: // These methods should only be called by subclasses of RecTy.
93 // baseClassOf - These virtual methods should be overloaded to return true iff
94 // all values of type 'RHS' can be converted to the 'this' type.
95 virtual bool baseClassOf(const BitRecTy *RHS) const { return false; }
96 virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; }
97 virtual bool baseClassOf(const IntRecTy *RHS) const { return false; }
98 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
99 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
100 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
101 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
102 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
105 inline std::ostream &operator<<(std::ostream &OS, const RecTy &Ty) {
111 /// BitRecTy - 'bit' - Represent a single bit
113 class BitRecTy : public RecTy {
115 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
116 virtual Init *convertValue( BitInit *BI) { return (Init*)BI; }
117 virtual Init *convertValue( BitsInit *BI);
118 virtual Init *convertValue( IntInit *II);
119 virtual Init *convertValue(StringInit *SI) { return 0; }
120 virtual Init *convertValue( ListInit *LI) { return 0; }
121 virtual Init *convertValue( CodeInit *CI) { return 0; }
122 virtual Init *convertValue(VarBitInit *VB) { return (Init*)VB; }
123 virtual Init *convertValue( DefInit *DI) { return 0; }
124 virtual Init *convertValue( DagInit *DI) { return 0; }
125 virtual Init *convertValue( TypedInit *TI);
126 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
127 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
129 void print(std::ostream &OS) const { OS << "bit"; }
131 bool typeIsConvertibleTo(const RecTy *RHS) const {
132 return RHS->baseClassOf(this);
134 virtual bool baseClassOf(const BitRecTy *RHS) const { return true; }
135 virtual bool baseClassOf(const BitsRecTy *RHS) const;
136 virtual bool baseClassOf(const IntRecTy *RHS) const { return true; }
137 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
138 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
139 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
140 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
141 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
146 // BitsRecTy - 'bits<n>' - Represent a fixed number of bits
147 /// BitsRecTy - 'bits<n>' - Represent a fixed number of bits
149 class BitsRecTy : public RecTy {
152 BitsRecTy(unsigned Sz) : Size(Sz) {}
154 unsigned getNumBits() const { return Size; }
156 virtual Init *convertValue( UnsetInit *UI);
157 virtual Init *convertValue( BitInit *UI);
158 virtual Init *convertValue( BitsInit *BI);
159 virtual Init *convertValue( IntInit *II);
160 virtual Init *convertValue(StringInit *SI) { return 0; }
161 virtual Init *convertValue( ListInit *LI) { return 0; }
162 virtual Init *convertValue( CodeInit *CI) { return 0; }
163 virtual Init *convertValue(VarBitInit *VB) { return 0; }
164 virtual Init *convertValue( DefInit *DI) { return 0; }
165 virtual Init *convertValue( DagInit *DI) { return 0; }
166 virtual Init *convertValue( TypedInit *TI);
167 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
168 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
171 void print(std::ostream &OS) const { OS << "bits<" << Size << ">"; }
173 bool typeIsConvertibleTo(const RecTy *RHS) const {
174 return RHS->baseClassOf(this);
176 virtual bool baseClassOf(const BitRecTy *RHS) const { return Size == 1; }
177 virtual bool baseClassOf(const BitsRecTy *RHS) const {
178 return RHS->Size == Size;
180 virtual bool baseClassOf(const IntRecTy *RHS) const { return true; }
181 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
182 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
183 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
184 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
185 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
190 /// IntRecTy - 'int' - Represent an integer value of no particular size
192 class IntRecTy : public RecTy {
194 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
195 virtual Init *convertValue( BitInit *BI);
196 virtual Init *convertValue( BitsInit *BI);
197 virtual Init *convertValue( IntInit *II) { return (Init*)II; }
198 virtual Init *convertValue(StringInit *SI) { return 0; }
199 virtual Init *convertValue( ListInit *LI) { return 0; }
200 virtual Init *convertValue( CodeInit *CI) { return 0; }
201 virtual Init *convertValue(VarBitInit *VB) { return 0; }
202 virtual Init *convertValue( DefInit *DI) { return 0; }
203 virtual Init *convertValue( DagInit *DI) { return 0; }
204 virtual Init *convertValue( TypedInit *TI);
205 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
206 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
209 void print(std::ostream &OS) const { OS << "int"; }
211 bool typeIsConvertibleTo(const RecTy *RHS) const {
212 return RHS->baseClassOf(this);
215 virtual bool baseClassOf(const BitRecTy *RHS) const { return true; }
216 virtual bool baseClassOf(const BitsRecTy *RHS) const { return true; }
217 virtual bool baseClassOf(const IntRecTy *RHS) const { return true; }
218 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
219 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
220 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
221 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
222 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
226 /// StringRecTy - 'string' - Represent an string value
228 class StringRecTy : public RecTy {
230 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
231 virtual Init *convertValue( BitInit *BI) { return 0; }
232 virtual Init *convertValue( BitsInit *BI) { return 0; }
233 virtual Init *convertValue( IntInit *II) { return 0; }
234 virtual Init *convertValue(StringInit *SI) { return (Init*)SI; }
235 virtual Init *convertValue( ListInit *LI) { return 0; }
236 virtual Init *convertValue( BinOpInit *BO);
237 virtual Init *convertValue( CodeInit *CI) { return 0; }
238 virtual Init *convertValue(VarBitInit *VB) { return 0; }
239 virtual Init *convertValue( DefInit *DI) { return 0; }
240 virtual Init *convertValue( DagInit *DI) { return 0; }
241 virtual Init *convertValue( TypedInit *TI);
242 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
243 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
245 void print(std::ostream &OS) const { OS << "string"; }
247 bool typeIsConvertibleTo(const RecTy *RHS) const {
248 return RHS->baseClassOf(this);
251 virtual bool baseClassOf(const BitRecTy *RHS) const { return false; }
252 virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; }
253 virtual bool baseClassOf(const IntRecTy *RHS) const { return false; }
254 virtual bool baseClassOf(const StringRecTy *RHS) const { return true; }
255 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
256 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
257 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
258 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
261 // ListRecTy - 'list<Ty>' - Represent a list of values, all of which must be of
262 // the specified type.
263 /// ListRecTy - 'list<Ty>' - Represent a list of values, all of which must
264 /// be of the specified type.
266 class ListRecTy : public RecTy {
269 ListRecTy(RecTy *T) : Ty(T) {}
271 RecTy *getElementType() const { return Ty; }
273 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
274 virtual Init *convertValue( BitInit *BI) { return 0; }
275 virtual Init *convertValue( BitsInit *BI) { return 0; }
276 virtual Init *convertValue( IntInit *II) { return 0; }
277 virtual Init *convertValue(StringInit *SI) { return 0; }
278 virtual Init *convertValue( ListInit *LI);
279 virtual Init *convertValue( CodeInit *CI) { return 0; }
280 virtual Init *convertValue(VarBitInit *VB) { return 0; }
281 virtual Init *convertValue( DefInit *DI) { return 0; }
282 virtual Init *convertValue( DagInit *DI) { return 0; }
283 virtual Init *convertValue( TypedInit *TI);
284 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
285 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
287 void print(std::ostream &OS) const;
289 bool typeIsConvertibleTo(const RecTy *RHS) const {
290 return RHS->baseClassOf(this);
293 virtual bool baseClassOf(const BitRecTy *RHS) const { return false; }
294 virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; }
295 virtual bool baseClassOf(const IntRecTy *RHS) const { return false; }
296 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
297 virtual bool baseClassOf(const ListRecTy *RHS) const {
298 return RHS->getElementType()->typeIsConvertibleTo(Ty);
300 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
301 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
302 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
305 /// CodeRecTy - 'code' - Represent an code fragment, function or method.
307 class CodeRecTy : public RecTy {
309 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
310 virtual Init *convertValue( BitInit *BI) { return 0; }
311 virtual Init *convertValue( BitsInit *BI) { return 0; }
312 virtual Init *convertValue( IntInit *II) { return 0; }
313 virtual Init *convertValue(StringInit *SI) { return 0; }
314 virtual Init *convertValue( ListInit *LI) { return 0; }
315 virtual Init *convertValue( CodeInit *CI) { return (Init*)CI; }
316 virtual Init *convertValue(VarBitInit *VB) { return 0; }
317 virtual Init *convertValue( DefInit *DI) { return 0; }
318 virtual Init *convertValue( DagInit *DI) { return 0; }
319 virtual Init *convertValue( TypedInit *TI);
320 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
321 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
324 void print(std::ostream &OS) const { OS << "code"; }
326 bool typeIsConvertibleTo(const RecTy *RHS) const {
327 return RHS->baseClassOf(this);
329 virtual bool baseClassOf(const BitRecTy *RHS) const { return false; }
330 virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; }
331 virtual bool baseClassOf(const IntRecTy *RHS) const { return false; }
332 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
333 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
334 virtual bool baseClassOf(const CodeRecTy *RHS) const { return true; }
335 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
336 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
339 /// DagRecTy - 'dag' - Represent a dag fragment
341 class DagRecTy : public RecTy {
343 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
344 virtual Init *convertValue( BitInit *BI) { return 0; }
345 virtual Init *convertValue( BitsInit *BI) { return 0; }
346 virtual Init *convertValue( IntInit *II) { return 0; }
347 virtual Init *convertValue(StringInit *SI) { return 0; }
348 virtual Init *convertValue( ListInit *LI) { return 0; }
349 virtual Init *convertValue( CodeInit *CI) { return 0; }
350 virtual Init *convertValue(VarBitInit *VB) { return 0; }
351 virtual Init *convertValue( DefInit *DI) { return 0; }
352 virtual Init *convertValue( DagInit *CI) { return (Init*)CI; }
353 virtual Init *convertValue( TypedInit *TI);
354 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
355 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
357 void print(std::ostream &OS) const { OS << "dag"; }
359 bool typeIsConvertibleTo(const RecTy *RHS) const {
360 return RHS->baseClassOf(this);
363 virtual bool baseClassOf(const BitRecTy *RHS) const { return false; }
364 virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; }
365 virtual bool baseClassOf(const IntRecTy *RHS) const { return false; }
366 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
367 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
368 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
369 virtual bool baseClassOf(const DagRecTy *RHS) const { return true; }
370 virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; }
374 /// RecordRecTy - '[classname]' - Represent an instance of a class, such as:
377 class RecordRecTy : public RecTy {
380 RecordRecTy(Record *R) : Rec(R) {}
382 Record *getRecord() const { return Rec; }
384 virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; }
385 virtual Init *convertValue( BitInit *BI) { return 0; }
386 virtual Init *convertValue( BitsInit *BI) { return 0; }
387 virtual Init *convertValue( IntInit *II) { return 0; }
388 virtual Init *convertValue(StringInit *SI) { return 0; }
389 virtual Init *convertValue( ListInit *LI) { return 0; }
390 virtual Init *convertValue( CodeInit *CI) { return 0; }
391 virtual Init *convertValue(VarBitInit *VB) { return 0; }
392 virtual Init *convertValue( DefInit *DI);
393 virtual Init *convertValue( DagInit *DI) { return 0; }
394 virtual Init *convertValue( TypedInit *VI);
395 virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);}
396 virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);}
398 void print(std::ostream &OS) const;
400 bool typeIsConvertibleTo(const RecTy *RHS) const {
401 return RHS->baseClassOf(this);
403 virtual bool baseClassOf(const BitRecTy *RHS) const { return false; }
404 virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; }
405 virtual bool baseClassOf(const IntRecTy *RHS) const { return false; }
406 virtual bool baseClassOf(const StringRecTy *RHS) const { return false; }
407 virtual bool baseClassOf(const ListRecTy *RHS) const { return false; }
408 virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; }
409 virtual bool baseClassOf(const DagRecTy *RHS) const { return false; }
410 virtual bool baseClassOf(const RecordRecTy *RHS) const;
415 //===----------------------------------------------------------------------===//
416 // Initializer Classes
417 //===----------------------------------------------------------------------===//
422 /// isComplete - This virtual method should be overridden by values that may
423 /// not be completely specified yet.
424 virtual bool isComplete() const { return true; }
426 /// print - Print out this value.
427 virtual void print(std::ostream &OS) const = 0;
429 /// dump - Debugging method that may be called through a debugger, just
430 /// invokes print on cerr.
433 /// convertInitializerTo - This virtual function is a simple call-back
434 /// function that should be overridden to call the appropriate
435 /// RecTy::convertValue method.
437 virtual Init *convertInitializerTo(RecTy *Ty) = 0;
439 /// convertInitializerBitRange - This method is used to implement the bitrange
440 /// selection operator. Given an initializer, it selects the specified bits
441 /// out, returning them as a new init of bits type. If it is not legal to use
442 /// the bit subscript operator on this initializer, return null.
444 virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits) {
448 /// convertInitListSlice - This method is used to implement the list slice
449 /// selection operator. Given an initializer, it selects the specified list
450 /// elements, returning them as a new init of list type. If it is not legal
451 /// to take a slice of this, return null.
453 virtual Init *convertInitListSlice(const std::vector<unsigned> &Elements) {
457 /// getFieldType - This method is used to implement the FieldInit class.
458 /// Implementors of this method should return the type of the named field if
459 /// they are of record type.
461 virtual RecTy *getFieldType(const std::string &FieldName) const { return 0; }
463 /// getFieldInit - This method complements getFieldType to return the
464 /// initializer for the specified field. If getFieldType returns non-null
465 /// this method should return non-null, otherwise it returns null.
467 virtual Init *getFieldInit(Record &R, const std::string &FieldName) const {
471 /// resolveReferences - This method is used by classes that refer to other
472 /// variables which may not be defined at the time they expression is formed.
473 /// If a value is set for the variable later, this method will be called on
474 /// users of the value to allow the value to propagate out.
476 virtual Init *resolveReferences(Record &R, const RecordVal *RV) {
481 inline std::ostream &operator<<(std::ostream &OS, const Init &I) {
482 I.print(OS); return OS;
486 /// UnsetInit - ? - Represents an uninitialized value
488 class UnsetInit : public Init {
490 virtual Init *convertInitializerTo(RecTy *Ty) {
491 return Ty->convertValue(this);
494 virtual bool isComplete() const { return false; }
495 virtual void print(std::ostream &OS) const { OS << "?"; }
499 /// BitInit - true/false - Represent a concrete initializer for a bit.
501 class BitInit : public Init {
504 BitInit(bool V) : Value(V) {}
506 bool getValue() const { return Value; }
508 virtual Init *convertInitializerTo(RecTy *Ty) {
509 return Ty->convertValue(this);
512 virtual void print(std::ostream &OS) const { OS << (Value ? "1" : "0"); }
515 /// BitsInit - { a, b, c } - Represents an initializer for a BitsRecTy value.
516 /// It contains a vector of bits, whose size is determined by the type.
518 class BitsInit : public Init {
519 std::vector<Init*> Bits;
521 BitsInit(unsigned Size) : Bits(Size) {}
523 unsigned getNumBits() const { return Bits.size(); }
525 Init *getBit(unsigned Bit) const {
526 assert(Bit < Bits.size() && "Bit index out of range!");
529 void setBit(unsigned Bit, Init *V) {
530 assert(Bit < Bits.size() && "Bit index out of range!");
531 assert(Bits[Bit] == 0 && "Bit already set!");
535 virtual Init *convertInitializerTo(RecTy *Ty) {
536 return Ty->convertValue(this);
538 virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits);
540 virtual bool isComplete() const {
541 for (unsigned i = 0; i != getNumBits(); ++i)
542 if (!getBit(i)->isComplete()) return false;
545 virtual void print(std::ostream &OS) const;
547 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
549 // printXX - Print this bitstream with the specified format, returning true if
550 // it is not possible.
551 bool printInHex(std::ostream &OS) const;
552 bool printAsVariable(std::ostream &OS) const;
553 bool printAsUnset(std::ostream &OS) const;
557 /// IntInit - 7 - Represent an initalization by a literal integer value.
559 class IntInit : public Init {
562 IntInit(int V) : Value(V) {}
564 int getValue() const { return Value; }
566 virtual Init *convertInitializerTo(RecTy *Ty) {
567 return Ty->convertValue(this);
569 virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits);
571 virtual void print(std::ostream &OS) const { OS << Value; }
575 /// StringInit - "foo" - Represent an initialization by a string value.
577 class StringInit : public Init {
580 StringInit(const std::string &V) : Value(V) {}
582 const std::string &getValue() const { return Value; }
584 virtual Init *convertInitializerTo(RecTy *Ty) {
585 return Ty->convertValue(this);
588 virtual void print(std::ostream &OS) const { OS << "\"" << Value << "\""; }
591 /// CodeInit - "[{...}]" - Represent a code fragment.
593 class CodeInit : public Init {
596 CodeInit(const std::string &V) : Value(V) {}
598 const std::string getValue() const { return Value; }
600 virtual Init *convertInitializerTo(RecTy *Ty) {
601 return Ty->convertValue(this);
604 virtual void print(std::ostream &OS) const { OS << "[{" << Value << "}]"; }
607 /// ListInit - [AL, AH, CL] - Represent a list of defs
609 class ListInit : public Init {
610 std::vector<Init*> Values;
612 ListInit(std::vector<Init*> &Vs) {
616 unsigned getSize() const { return Values.size(); }
617 Init *getElement(unsigned i) const {
618 assert(i < Values.size() && "List element index out of range!");
622 Init *convertInitListSlice(const std::vector<unsigned> &Elements);
624 virtual Init *convertInitializerTo(RecTy *Ty) {
625 return Ty->convertValue(this);
628 /// resolveReferences - This method is used by classes that refer to other
629 /// variables which may not be defined at the time they expression is formed.
630 /// If a value is set for the variable later, this method will be called on
631 /// users of the value to allow the value to propagate out.
633 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
635 virtual void print(std::ostream &OS) const;
638 /// BinOpInit - !op (X, Y) - Combine two inits.
640 class BinOpInit : public Init {
642 enum BinaryOp { SHL, SRA, SRL, STRCONCAT };
647 BinOpInit(BinaryOp opc, Init *lhs, Init *rhs) : Opc(opc), LHS(lhs), RHS(rhs) {
650 BinaryOp getOpcode() const { return Opc; }
651 Init *getLHS() const { return LHS; }
652 Init *getRHS() const { return RHS; }
654 // Fold - If possible, fold this to a simpler init. Return this if not
658 virtual Init *convertInitializerTo(RecTy *Ty) {
659 return Ty->convertValue(this);
662 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
664 virtual void print(std::ostream &OS) const;
669 /// TypedInit - This is the common super-class of types that have a specific,
672 class TypedInit : public Init {
675 TypedInit(RecTy *T) : Ty(T) {}
677 RecTy *getType() const { return Ty; }
679 virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits);
680 virtual Init *convertInitListSlice(const std::vector<unsigned> &Elements);
682 /// resolveBitReference - This method is used to implement
683 /// VarBitInit::resolveReferences. If the bit is able to be resolved, we
684 /// simply return the resolved value, otherwise we return null.
686 virtual Init *resolveBitReference(Record &R, const RecordVal *RV,
689 /// resolveListElementReference - This method is used to implement
690 /// VarListElementInit::resolveReferences. If the list element is resolvable
691 /// now, we return the resolved value, otherwise we return null.
692 virtual Init *resolveListElementReference(Record &R, const RecordVal *RV,
696 /// VarInit - 'Opcode' - Represent a reference to an entire variable object.
698 class VarInit : public TypedInit {
701 VarInit(const std::string &VN, RecTy *T) : TypedInit(T), VarName(VN) {}
703 virtual Init *convertInitializerTo(RecTy *Ty) {
704 return Ty->convertValue(this);
707 const std::string &getName() const { return VarName; }
709 virtual Init *resolveBitReference(Record &R, const RecordVal *RV,
711 virtual Init *resolveListElementReference(Record &R, const RecordVal *RV,
714 virtual RecTy *getFieldType(const std::string &FieldName) const;
715 virtual Init *getFieldInit(Record &R, const std::string &FieldName) const;
717 /// resolveReferences - This method is used by classes that refer to other
718 /// variables which may not be defined at the time they expression is formed.
719 /// If a value is set for the variable later, this method will be called on
720 /// users of the value to allow the value to propagate out.
722 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
724 virtual void print(std::ostream &OS) const { OS << VarName; }
728 /// VarBitInit - Opcode{0} - Represent access to one bit of a variable or field.
730 class VarBitInit : public Init {
734 VarBitInit(TypedInit *T, unsigned B) : TI(T), Bit(B) {
735 assert(T->getType() && dynamic_cast<BitsRecTy*>(T->getType()) &&
736 ((BitsRecTy*)T->getType())->getNumBits() > B &&
737 "Illegal VarBitInit expression!");
740 virtual Init *convertInitializerTo(RecTy *Ty) {
741 return Ty->convertValue(this);
744 TypedInit *getVariable() const { return TI; }
745 unsigned getBitNum() const { return Bit; }
747 virtual void print(std::ostream &OS) const {
748 TI->print(OS); OS << "{" << Bit << "}";
750 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
753 /// VarListElementInit - List[4] - Represent access to one element of a var or
755 class VarListElementInit : public TypedInit {
759 VarListElementInit(TypedInit *T, unsigned E)
760 : TypedInit(dynamic_cast<ListRecTy*>(T->getType())->getElementType()),
762 assert(T->getType() && dynamic_cast<ListRecTy*>(T->getType()) &&
763 "Illegal VarBitInit expression!");
766 virtual Init *convertInitializerTo(RecTy *Ty) {
767 return Ty->convertValue(this);
770 TypedInit *getVariable() const { return TI; }
771 unsigned getElementNum() const { return Element; }
773 virtual Init *resolveBitReference(Record &R, const RecordVal *RV,
776 /// resolveListElementReference - This method is used to implement
777 /// VarListElementInit::resolveReferences. If the list element is resolvable
778 /// now, we return the resolved value, otherwise we return null.
779 virtual Init *resolveListElementReference(Record &R, const RecordVal *RV,
782 virtual void print(std::ostream &OS) const {
783 TI->print(OS); OS << "[" << Element << "]";
785 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
788 /// DefInit - AL - Represent a reference to a 'def' in the description
790 class DefInit : public Init {
793 DefInit(Record *D) : Def(D) {}
795 virtual Init *convertInitializerTo(RecTy *Ty) {
796 return Ty->convertValue(this);
799 Record *getDef() const { return Def; }
801 //virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits);
803 virtual RecTy *getFieldType(const std::string &FieldName) const;
804 virtual Init *getFieldInit(Record &R, const std::string &FieldName) const;
806 virtual void print(std::ostream &OS) const;
810 /// FieldInit - X.Y - Represent a reference to a subfield of a variable
812 class FieldInit : public TypedInit {
813 Init *Rec; // Record we are referring to
814 std::string FieldName; // Field we are accessing
816 FieldInit(Init *R, const std::string &FN)
817 : TypedInit(R->getFieldType(FN)), Rec(R), FieldName(FN) {
818 assert(getType() && "FieldInit with non-record type!");
821 virtual Init *convertInitializerTo(RecTy *Ty) {
822 return Ty->convertValue(this);
825 virtual Init *resolveBitReference(Record &R, const RecordVal *RV,
827 virtual Init *resolveListElementReference(Record &R, const RecordVal *RV,
830 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
832 virtual void print(std::ostream &OS) const {
833 Rec->print(OS); OS << "." << FieldName;
837 /// DagInit - (v a, b) - Represent a DAG tree value. DAG inits are required
838 /// to have at least one value then a (possibly empty) list of arguments. Each
839 /// argument can have a name associated with it.
841 class DagInit : public Init {
843 std::vector<Init*> Args;
844 std::vector<std::string> ArgNames;
846 DagInit(Init *V, const std::vector<std::pair<Init*, std::string> > &args)
848 Args.reserve(args.size());
849 ArgNames.reserve(args.size());
850 for (unsigned i = 0, e = args.size(); i != e; ++i) {
851 Args.push_back(args[i].first);
852 ArgNames.push_back(args[i].second);
855 DagInit(Init *V, const std::vector<Init*> &args,
856 const std::vector<std::string> &argNames)
857 : Val(V), Args(args), ArgNames(argNames) {
860 virtual Init *convertInitializerTo(RecTy *Ty) {
861 return Ty->convertValue(this);
864 Init *getOperator() const { return Val; }
866 unsigned getNumArgs() const { return Args.size(); }
867 Init *getArg(unsigned Num) const {
868 assert(Num < Args.size() && "Arg number out of range!");
871 const std::string &getArgName(unsigned Num) const {
872 assert(Num < ArgNames.size() && "Arg number out of range!");
873 return ArgNames[Num];
876 void setArg(unsigned Num, Init *I) {
877 assert(Num < Args.size() && "Arg number out of range!");
881 virtual Init *resolveReferences(Record &R, const RecordVal *RV);
883 virtual void print(std::ostream &OS) const;
886 //===----------------------------------------------------------------------===//
887 // High-Level Classes
888 //===----------------------------------------------------------------------===//
896 RecordVal(const std::string &N, RecTy *T, unsigned P);
898 const std::string &getName() const { return Name; }
900 unsigned getPrefix() const { return Prefix; }
901 RecTy *getType() const { return Ty; }
902 Init *getValue() const { return Value; }
904 bool setValue(Init *V) {
906 Value = V->convertInitializerTo(Ty);
914 void print(std::ostream &OS, bool PrintSem = true) const;
917 inline std::ostream &operator<<(std::ostream &OS, const RecordVal &RV) {
924 std::vector<std::string> TemplateArgs;
925 std::vector<RecordVal> Values;
926 std::vector<Record*> SuperClasses;
929 Record(const std::string &N) : Name(N) {}
932 const std::string &getName() const { return Name; }
933 void setName(const std::string &Name); // Also updates RecordKeeper.
934 const std::vector<std::string> &getTemplateArgs() const {
937 const std::vector<RecordVal> &getValues() const { return Values; }
938 const std::vector<Record*> &getSuperClasses() const { return SuperClasses; }
940 bool isTemplateArg(const std::string &Name) const {
941 for (unsigned i = 0, e = TemplateArgs.size(); i != e; ++i)
942 if (TemplateArgs[i] == Name) return true;
946 const RecordVal *getValue(const std::string &Name) const {
947 for (unsigned i = 0, e = Values.size(); i != e; ++i)
948 if (Values[i].getName() == Name) return &Values[i];
951 RecordVal *getValue(const std::string &Name) {
952 for (unsigned i = 0, e = Values.size(); i != e; ++i)
953 if (Values[i].getName() == Name) return &Values[i];
957 void addTemplateArg(const std::string &Name) {
958 assert(!isTemplateArg(Name) && "Template arg already defined!");
959 TemplateArgs.push_back(Name);
962 void addValue(const RecordVal &RV) {
963 assert(getValue(RV.getName()) == 0 && "Value already added!");
964 Values.push_back(RV);
967 void removeValue(const std::string &Name) {
968 assert(getValue(Name) && "Cannot remove an entry that does not exist!");
969 for (unsigned i = 0, e = Values.size(); i != e; ++i)
970 if (Values[i].getName() == Name) {
971 Values.erase(Values.begin()+i);
974 assert(0 && "Name does not exist in record!");
977 bool isSubClassOf(Record *R) const {
978 for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i)
979 if (SuperClasses[i] == R)
984 bool isSubClassOf(const std::string &Name) const {
985 for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i)
986 if (SuperClasses[i]->getName() == Name)
991 void addSuperClass(Record *R) {
992 assert(!isSubClassOf(R) && "Already subclassing record!");
993 SuperClasses.push_back(R);
996 /// resolveReferences - If there are any field references that refer to fields
997 /// that have been filled in, we can propagate the values now.
999 void resolveReferences() { resolveReferencesTo(0); }
1001 /// resolveReferencesTo - If anything in this record refers to RV, replace the
1002 /// reference to RV with the RHS of RV. If RV is null, we resolve all
1003 /// possible references.
1004 void resolveReferencesTo(const RecordVal *RV);
1008 //===--------------------------------------------------------------------===//
1009 // High-level methods useful to tablegen back-ends
1012 /// getValueInit - Return the initializer for a value with the specified name,
1013 /// or throw an exception if the field does not exist.
1015 Init *getValueInit(const std::string &FieldName) const;
1017 /// getValueAsString - This method looks up the specified field and returns
1018 /// its value as a string, throwing an exception if the field does not exist
1019 /// or if the value is not a string.
1021 std::string getValueAsString(const std::string &FieldName) const;
1023 /// getValueAsBitsInit - This method looks up the specified field and returns
1024 /// its value as a BitsInit, throwing an exception if the field does not exist
1025 /// or if the value is not the right type.
1027 BitsInit *getValueAsBitsInit(const std::string &FieldName) const;
1029 /// getValueAsListInit - This method looks up the specified field and returns
1030 /// its value as a ListInit, throwing an exception if the field does not exist
1031 /// or if the value is not the right type.
1033 ListInit *getValueAsListInit(const std::string &FieldName) const;
1035 /// getValueAsListOfDefs - This method looks up the specified field and
1036 /// returnsits value as a vector of records, throwing an exception if the
1037 /// field does not exist or if the value is not the right type.
1039 std::vector<Record*> getValueAsListOfDefs(const std::string &FieldName) const;
1041 /// getValueAsDef - This method looks up the specified field and returns its
1042 /// value as a Record, throwing an exception if the field does not exist or if
1043 /// the value is not the right type.
1045 Record *getValueAsDef(const std::string &FieldName) const;
1047 /// getValueAsBit - This method looks up the specified field and returns its
1048 /// value as a bit, throwing an exception if the field does not exist or if
1049 /// the value is not the right type.
1051 bool getValueAsBit(const std::string &FieldName) const;
1053 /// getValueAsInt - This method looks up the specified field and returns its
1054 /// value as an int, throwing an exception if the field does not exist or if
1055 /// the value is not the right type.
1057 int getValueAsInt(const std::string &FieldName) const;
1059 /// getValueAsDag - This method looks up the specified field and returns its
1060 /// value as an Dag, throwing an exception if the field does not exist or if
1061 /// the value is not the right type.
1063 DagInit *getValueAsDag(const std::string &FieldName) const;
1065 /// getValueAsCode - This method looks up the specified field and returns
1066 /// its value as the string data in a CodeInit, throwing an exception if the
1067 /// field does not exist or if the value is not a code object.
1069 std::string getValueAsCode(const std::string &FieldName) const;
1072 std::ostream &operator<<(std::ostream &OS, const Record &R);
1074 class RecordKeeper {
1075 std::map<std::string, Record*> Classes, Defs;
1078 for (std::map<std::string, Record*>::iterator I = Classes.begin(),
1079 E = Classes.end(); I != E; ++I)
1081 for (std::map<std::string, Record*>::iterator I = Defs.begin(),
1082 E = Defs.end(); I != E; ++I)
1086 const std::map<std::string, Record*> &getClasses() const { return Classes; }
1087 const std::map<std::string, Record*> &getDefs() const { return Defs; }
1089 Record *getClass(const std::string &Name) const {
1090 std::map<std::string, Record*>::const_iterator I = Classes.find(Name);
1091 return I == Classes.end() ? 0 : I->second;
1093 Record *getDef(const std::string &Name) const {
1094 std::map<std::string, Record*>::const_iterator I = Defs.find(Name);
1095 return I == Defs.end() ? 0 : I->second;
1097 void addClass(Record *R) {
1098 assert(getClass(R->getName()) == 0 && "Class already exists!");
1099 Classes.insert(std::make_pair(R->getName(), R));
1101 void addDef(Record *R) {
1102 assert(getDef(R->getName()) == 0 && "Def already exists!");
1103 Defs.insert(std::make_pair(R->getName(), R));
1106 /// removeClass - Remove, but do not delete, the specified record.
1108 void removeClass(const std::string &Name) {
1109 assert(Classes.count(Name) && "Class does not exist!");
1110 Classes.erase(Name);
1112 /// removeDef - Remove, but do not delete, the specified record.
1114 void removeDef(const std::string &Name) {
1115 assert(Defs.count(Name) && "Def does not exist!");
1119 //===--------------------------------------------------------------------===//
1120 // High-level helper methods, useful for tablegen backends...
1122 /// getAllDerivedDefinitions - This method returns all concrete definitions
1123 /// that derive from the specified class name. If a class with the specified
1124 /// name does not exist, an exception is thrown.
1125 std::vector<Record*>
1126 getAllDerivedDefinitions(const std::string &ClassName) const;
1132 std::ostream &operator<<(std::ostream &OS, const RecordKeeper &RK);
1134 extern RecordKeeper Records;
1136 } // End llvm namespace