include/llvm/TableGen/Record.h

   1 //===- llvm/TableGen/Record.h - Classes for Table Records -------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file defines the main TableGen data structures, including the TableGen
  11 // types, values, and high-level data structures.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_TABLEGEN_RECORD_H
  16 #define LLVM_TABLEGEN_RECORD_H
  17
  18 #include "llvm/ADT/ArrayRef.h"
  19 #include "llvm/ADT/FoldingSet.h"
  20 #include "llvm/Support/Allocator.h"
  21 #include "llvm/Support/Casting.h"
  22 #include "llvm/Support/DataTypes.h"
  23 #include "llvm/Support/ErrorHandling.h"
  24 #include "llvm/Support/SourceMgr.h"
  25 #include "llvm/Support/raw_ostream.h"
  26 #include <map>
  27
  28 namespace llvm {
  29
  30 class ListRecTy;
  31 struct MultiClass;
  32 class Record;
  33 class RecordVal;
  34 class RecordKeeper;
  35
  36 //===----------------------------------------------------------------------===//
  37 //  Type Classes
  38 //===----------------------------------------------------------------------===//
  39
  40 class RecTy {
  41 public:
  42   /// \brief Subclass discriminator (for dyn_cast<> et al.)
  43   enum RecTyKind {
  44     BitRecTyKind,
  45     BitsRecTyKind,
  46     IntRecTyKind,
  47     StringRecTyKind,
  48     ListRecTyKind,
  49     DagRecTyKind,
  50     RecordRecTyKind
  51   };
  52
  53 private:
  54   RecTyKind Kind;
  55   std::unique_ptr<ListRecTy> ListTy;
  56
  57 public:
  58   RecTyKind getRecTyKind() const { return Kind; }
  59
  60   RecTy(RecTyKind K) : Kind(K) {}
  61   virtual ~RecTy() {}
  62
  63   virtual std::string getAsString() const = 0;
  64   void print(raw_ostream &OS) const { OS << getAsString(); }
  65   void dump() const;
  66
  67   /// typeIsConvertibleTo - Return true if all values of 'this' type can be
  68   /// converted to the specified type.
  69   virtual bool typeIsConvertibleTo(const RecTy *RHS) const;
  70
  71   /// getListTy - Returns the type representing list<this>.
  72   ListRecTy *getListTy();
  73 };
  74
  75 inline raw_ostream &operator<<(raw_ostream &OS, const RecTy &Ty) {
  76   Ty.print(OS);
  77   return OS;
  78 }
  79
  80 /// BitRecTy - 'bit' - Represent a single bit
  81 ///
  82 class BitRecTy : public RecTy {
  83   static BitRecTy Shared;
  84   BitRecTy() : RecTy(BitRecTyKind) {}
  85
  86 public:
  87   static bool classof(const RecTy *RT) {
  88     return RT->getRecTyKind() == BitRecTyKind;
  89   }
  90
  91   static BitRecTy *get() { return &Shared; }
  92
  93   std::string getAsString() const override { return "bit"; }
  94
  95   bool typeIsConvertibleTo(const RecTy *RHS) const override;
  96 };
  97
  98 /// BitsRecTy - 'bits<n>' - Represent a fixed number of bits
  99 ///
 100 class BitsRecTy : public RecTy {
 101   unsigned Size;
 102   explicit BitsRecTy(unsigned Sz) : RecTy(BitsRecTyKind), Size(Sz) {}
 103
 104 public:
 105   static bool classof(const RecTy *RT) {
 106     return RT->getRecTyKind() == BitsRecTyKind;
 107   }
 108
 109   static BitsRecTy *get(unsigned Sz);
 110
 111   unsigned getNumBits() const { return Size; }
 112
 113   std::string getAsString() const override;
 114
 115   bool typeIsConvertibleTo(const RecTy *RHS) const override;
 116 };
 117
 118 /// IntRecTy - 'int' - Represent an integer value of no particular size
 119 ///
 120 class IntRecTy : public RecTy {
 121   static IntRecTy Shared;
 122   IntRecTy() : RecTy(IntRecTyKind) {}
 123
 124 public:
 125   static bool classof(const RecTy *RT) {
 126     return RT->getRecTyKind() == IntRecTyKind;
 127   }
 128
 129   static IntRecTy *get() { return &Shared; }
 130
 131   std::string getAsString() const override { return "int"; }
 132
 133   bool typeIsConvertibleTo(const RecTy *RHS) const override;
 134 };
 135
 136 /// StringRecTy - 'string' - Represent an string value
 137 ///
 138 class StringRecTy : public RecTy {
 139   static StringRecTy Shared;
 140   StringRecTy() : RecTy(StringRecTyKind) {}
 141
 142 public:
 143   static bool classof(const RecTy *RT) {
 144     return RT->getRecTyKind() == StringRecTyKind;
 145   }
 146
 147   static StringRecTy *get() { return &Shared; }
 148
 149   std::string getAsString() const override;
 150 };
 151
 152 /// ListRecTy - 'list<Ty>' - Represent a list of values, all of which must be of
 153 /// the specified type.
 154 ///
 155 class ListRecTy : public RecTy {
 156   RecTy *Ty;
 157   explicit ListRecTy(RecTy *T) : RecTy(ListRecTyKind), Ty(T) {}
 158   friend ListRecTy *RecTy::getListTy();
 159
 160 public:
 161   static bool classof(const RecTy *RT) {
 162     return RT->getRecTyKind() == ListRecTyKind;
 163   }
 164
 165   static ListRecTy *get(RecTy *T) { return T->getListTy(); }
 166   RecTy *getElementType() const { return Ty; }
 167
 168   std::string getAsString() const override;
 169
 170   bool typeIsConvertibleTo(const RecTy *RHS) const override;
 171 };
 172
 173 /// DagRecTy - 'dag' - Represent a dag fragment
 174 ///
 175 class DagRecTy : public RecTy {
 176   static DagRecTy Shared;
 177   DagRecTy() : RecTy(DagRecTyKind) {}
 178
 179 public:
 180   static bool classof(const RecTy *RT) {
 181     return RT->getRecTyKind() == DagRecTyKind;
 182   }
 183
 184   static DagRecTy *get() { return &Shared; }
 185
 186   std::string getAsString() const override;
 187 };
 188
 189 /// RecordRecTy - '[classname]' - Represent an instance of a class, such as:
 190 /// (R32 X = EAX).
 191 ///
 192 class RecordRecTy : public RecTy {
 193   Record *Rec;
 194   explicit RecordRecTy(Record *R) : RecTy(RecordRecTyKind), Rec(R) {}
 195   friend class Record;
 196
 197 public:
 198   static bool classof(const RecTy *RT) {
 199     return RT->getRecTyKind() == RecordRecTyKind;
 200   }
 201
 202   static RecordRecTy *get(Record *R);
 203
 204   Record *getRecord() const { return Rec; }
 205
 206   std::string getAsString() const override;
 207
 208   bool typeIsConvertibleTo(const RecTy *RHS) const override;
 209 };
 210
 211 /// resolveTypes - Find a common type that T1 and T2 convert to.
 212 /// Return 0 if no such type exists.
 213 ///
 214 RecTy *resolveTypes(RecTy *T1, RecTy *T2);
 215
 216 //===----------------------------------------------------------------------===//
 217 //  Initializer Classes
 218 //===----------------------------------------------------------------------===//
 219
 220 class Init {
 221 protected:
 222   /// \brief Discriminator enum (for isa<>, dyn_cast<>, et al.)
 223   ///
 224   /// This enum is laid out by a preorder traversal of the inheritance
 225   /// hierarchy, and does not contain an entry for abstract classes, as per
 226   /// the recommendation in docs/HowToSetUpLLVMStyleRTTI.rst.
 227   ///
 228   /// We also explicitly include "first" and "last" values for each
 229   /// interior node of the inheritance tree, to make it easier to read the
 230   /// corresponding classof().
 231   ///
 232   /// We could pack these a bit tighter by not having the IK_FirstXXXInit
 233   /// and IK_LastXXXInit be their own values, but that would degrade
 234   /// readability for really no benefit.
 235   enum InitKind {
 236     IK_BitInit,
 237     IK_FirstTypedInit,
 238     IK_BitsInit,
 239     IK_DagInit,
 240     IK_DefInit,
 241     IK_FieldInit,
 242     IK_IntInit,
 243     IK_ListInit,
 244     IK_FirstOpInit,
 245     IK_BinOpInit,
 246     IK_TernOpInit,
 247     IK_UnOpInit,
 248     IK_LastOpInit,
 249     IK_StringInit,
 250     IK_VarInit,
 251     IK_VarListElementInit,
 252     IK_LastTypedInit,
 253     IK_UnsetInit,
 254     IK_VarBitInit
 255   };
 256
 257 private:
 258   const InitKind Kind;
 259   Init(const Init &) = delete;
 260   Init &operator=(const Init &) = delete;
 261   virtual void anchor();
 262
 263 public:
 264   InitKind getKind() const { return Kind; }
 265
 266 protected:
 267   explicit Init(InitKind K) : Kind(K) {}
 268
 269 public:
 270   virtual ~Init() {}
 271
 272   /// isComplete - This virtual method should be overridden by values that may
 273   /// not be completely specified yet.
 274   virtual bool isComplete() const { return true; }
 275
 276   /// print - Print out this value.
 277   void print(raw_ostream &OS) const { OS << getAsString(); }
 278
 279   /// getAsString - Convert this value to a string form.
 280   virtual std::string getAsString() const = 0;
 281   /// getAsUnquotedString - Convert this value to a string form,
 282   /// without adding quote markers.  This primaruly affects
 283   /// StringInits where we will not surround the string value with
 284   /// quotes.
 285   virtual std::string getAsUnquotedString() const { return getAsString(); }
 286
 287   /// dump - Debugging method that may be called through a debugger, just
 288   /// invokes print on stderr.
 289   void dump() const;
 290
 291   /// convertInitializerTo - This virtual function converts to the appropriate
 292   /// Init based on the passed in type.
 293   virtual Init *convertInitializerTo(RecTy *Ty) const = 0;
 294
 295   /// convertInitializerBitRange - This method is used to implement the bitrange
 296   /// selection operator.  Given an initializer, it selects the specified bits
 297   /// out, returning them as a new init of bits type.  If it is not legal to use
 298   /// the bit subscript operator on this initializer, return null.
 299   ///
 300   virtual Init *
 301   convertInitializerBitRange(const std::vector<unsigned> &Bits) const {
 302     return nullptr;
 303   }
 304
 305   /// convertInitListSlice - This method is used to implement the list slice
 306   /// selection operator.  Given an initializer, it selects the specified list
 307   /// elements, returning them as a new init of list type.  If it is not legal
 308   /// to take a slice of this, return null.
 309   ///
 310   virtual Init *
 311   convertInitListSlice(const std::vector<unsigned> &Elements) const {
 312     return nullptr;
 313   }
 314
 315   /// getFieldType - This method is used to implement the FieldInit class.
 316   /// Implementors of this method should return the type of the named field if
 317   /// they are of record type.
 318   ///
 319   virtual RecTy *getFieldType(const std::string &FieldName) const {
 320     return nullptr;
 321   }
 322
 323   /// getFieldInit - This method complements getFieldType to return the
 324   /// initializer for the specified field.  If getFieldType returns non-null
 325   /// this method should return non-null, otherwise it returns null.
 326   ///
 327   virtual Init *getFieldInit(Record &R, const RecordVal *RV,
 328                              const std::string &FieldName) const {
 329     return nullptr;
 330   }
 331
 332   /// resolveReferences - This method is used by classes that refer to other
 333   /// variables which may not be defined at the time the expression is formed.
 334   /// If a value is set for the variable later, this method will be called on
 335   /// users of the value to allow the value to propagate out.
 336   ///
 337   virtual Init *resolveReferences(Record &R, const RecordVal *RV) const {
 338     return const_cast<Init *>(this);
 339   }
 340
 341   /// getBit - This method is used to return the initializer for the specified
 342   /// bit.
 343   virtual Init *getBit(unsigned Bit) const = 0;
 344
 345   /// getBitVar - This method is used to retrieve the initializer for bit
 346   /// reference. For non-VarBitInit, it simply returns itself.
 347   virtual Init *getBitVar() const { return const_cast<Init*>(this); }
 348
 349   /// getBitNum - This method is used to retrieve the bit number of a bit
 350   /// reference. For non-VarBitInit, it simply returns 0.
 351   virtual unsigned getBitNum() const { return 0; }
 352 };
 353
 354 inline raw_ostream &operator<<(raw_ostream &OS, const Init &I) {
 355   I.print(OS); return OS;
 356 }
 357
 358 /// TypedInit - This is the common super-class of types that have a specific,
 359 /// explicit, type.
 360 ///
 361 class TypedInit : public Init {
 362   RecTy *Ty;
 363
 364   TypedInit(const TypedInit &Other) = delete;
 365   TypedInit &operator=(const TypedInit &Other) = delete;
 366
 367 protected:
 368   explicit TypedInit(InitKind K, RecTy *T) : Init(K), Ty(T) {}
 369   ~TypedInit() {
 370     // If this is a DefInit we need to delete the RecordRecTy.
 371     if (getKind() == IK_DefInit)
 372       delete Ty;
 373   }
 374
 375 public:
 376   static bool classof(const Init *I) {
 377     return I->getKind() >= IK_FirstTypedInit &&
 378            I->getKind() <= IK_LastTypedInit;
 379   }
 380   RecTy *getType() const { return Ty; }
 381
 382   Init *convertInitializerTo(RecTy *Ty) const override;
 383
 384   Init *
 385   convertInitializerBitRange(const std::vector<unsigned> &Bits) const override;
 386   Init *
 387   convertInitListSlice(const std::vector<unsigned> &Elements) const override;
 388
 389   /// getFieldType - This method is used to implement the FieldInit class.
 390   /// Implementors of this method should return the type of the named field if
 391   /// they are of record type.
 392   ///
 393   RecTy *getFieldType(const std::string &FieldName) const override;
 394
 395   /// resolveListElementReference - This method is used to implement
 396   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 397   /// now, we return the resolved value, otherwise we return null.
 398   virtual Init *resolveListElementReference(Record &R, const RecordVal *RV,
 399                                             unsigned Elt) const = 0;
 400 };
 401
 402 /// UnsetInit - ? - Represents an uninitialized value
 403 ///
 404 class UnsetInit : public Init {
 405   UnsetInit() : Init(IK_UnsetInit) {}
 406   UnsetInit(const UnsetInit &) = delete;
 407   UnsetInit &operator=(const UnsetInit &Other) = delete;
 408
 409 public:
 410   static bool classof(const Init *I) {
 411     return I->getKind() == IK_UnsetInit;
 412   }
 413   static UnsetInit *get();
 414
 415   Init *convertInitializerTo(RecTy *Ty) const override;
 416
 417   Init *getBit(unsigned Bit) const override {
 418     return const_cast<UnsetInit*>(this);
 419   }
 420
 421   bool isComplete() const override { return false; }
 422   std::string getAsString() const override { return "?"; }
 423 };
 424
 425 /// BitInit - true/false - Represent a concrete initializer for a bit.
 426 ///
 427 class BitInit : public Init {
 428   bool Value;
 429
 430   explicit BitInit(bool V) : Init(IK_BitInit), Value(V) {}
 431   BitInit(const BitInit &Other) = delete;
 432   BitInit &operator=(BitInit &Other) = delete;
 433
 434 public:
 435   static bool classof(const Init *I) {
 436     return I->getKind() == IK_BitInit;
 437   }
 438   static BitInit *get(bool V);
 439
 440   bool getValue() const { return Value; }
 441
 442   Init *convertInitializerTo(RecTy *Ty) const override;
 443
 444   Init *getBit(unsigned Bit) const override {
 445     assert(Bit < 1 && "Bit index out of range!");
 446     return const_cast<BitInit*>(this);
 447   }
 448
 449   std::string getAsString() const override { return Value ? "1" : "0"; }
 450 };
 451
 452 /// BitsInit - { a, b, c } - Represents an initializer for a BitsRecTy value.
 453 /// It contains a vector of bits, whose size is determined by the type.
 454 ///
 455 class BitsInit : public TypedInit, public FoldingSetNode {
 456   std::vector<Init*> Bits;
 457
 458   BitsInit(ArrayRef<Init *> Range)
 459     : TypedInit(IK_BitsInit, BitsRecTy::get(Range.size())),
 460       Bits(Range.begin(), Range.end()) {}
 461
 462   BitsInit(const BitsInit &Other) = delete;
 463   BitsInit &operator=(const BitsInit &Other) = delete;
 464
 465 public:
 466   static bool classof(const Init *I) {
 467     return I->getKind() == IK_BitsInit;
 468   }
 469   static BitsInit *get(ArrayRef<Init *> Range);
 470
 471   void Profile(FoldingSetNodeID &ID) const;
 472
 473   unsigned getNumBits() const { return Bits.size(); }
 474
 475   Init *convertInitializerTo(RecTy *Ty) const override;
 476   Init *
 477   convertInitializerBitRange(const std::vector<unsigned> &Bits) const override;
 478
 479   bool isComplete() const override {
 480     for (unsigned i = 0; i != getNumBits(); ++i)
 481       if (!getBit(i)->isComplete()) return false;
 482     return true;
 483   }
 484   bool allInComplete() const {
 485     for (unsigned i = 0; i != getNumBits(); ++i)
 486       if (getBit(i)->isComplete()) return false;
 487     return true;
 488   }
 489   std::string getAsString() const override;
 490
 491   /// resolveListElementReference - This method is used to implement
 492   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 493   /// now, we return the resolved value, otherwise we return null.
 494   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 495                                     unsigned Elt) const override {
 496     llvm_unreachable("Illegal element reference off bits<n>");
 497   }
 498
 499   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 500
 501   Init *getBit(unsigned Bit) const override {
 502     assert(Bit < Bits.size() && "Bit index out of range!");
 503     return Bits[Bit];
 504   }
 505 };
 506
 507 /// IntInit - 7 - Represent an initialization by a literal integer value.
 508 ///
 509 class IntInit : public TypedInit {
 510   int64_t Value;
 511
 512   explicit IntInit(int64_t V)
 513     : TypedInit(IK_IntInit, IntRecTy::get()), Value(V) {}
 514
 515   IntInit(const IntInit &Other) = delete;
 516   IntInit &operator=(const IntInit &Other) = delete;
 517
 518 public:
 519   static bool classof(const Init *I) {
 520     return I->getKind() == IK_IntInit;
 521   }
 522   static IntInit *get(int64_t V);
 523
 524   int64_t getValue() const { return Value; }
 525
 526   Init *convertInitializerTo(RecTy *Ty) const override;
 527   Init *
 528   convertInitializerBitRange(const std::vector<unsigned> &Bits) const override;
 529
 530   std::string getAsString() const override;
 531
 532   /// resolveListElementReference - This method is used to implement
 533   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 534   /// now, we return the resolved value, otherwise we return null.
 535   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 536                                     unsigned Elt) const override {
 537     llvm_unreachable("Illegal element reference off int");
 538   }
 539
 540   Init *getBit(unsigned Bit) const override {
 541     return BitInit::get((Value & (1ULL << Bit)) != 0);
 542   }
 543 };
 544
 545 /// StringInit - "foo" - Represent an initialization by a string value.
 546 ///
 547 class StringInit : public TypedInit {
 548   std::string Value;
 549
 550   explicit StringInit(const std::string &V)
 551     : TypedInit(IK_StringInit, StringRecTy::get()), Value(V) {}
 552
 553   StringInit(const StringInit &Other) = delete;
 554   StringInit &operator=(const StringInit &Other) = delete;
 555
 556 public:
 557   static bool classof(const Init *I) {
 558     return I->getKind() == IK_StringInit;
 559   }
 560   static StringInit *get(StringRef);
 561
 562   const std::string &getValue() const { return Value; }
 563
 564   Init *convertInitializerTo(RecTy *Ty) const override;
 565
 566   std::string getAsString() const override { return "\"" + Value + "\""; }
 567   std::string getAsUnquotedString() const override { return Value; }
 568
 569   /// resolveListElementReference - This method is used to implement
 570   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 571   /// now, we return the resolved value, otherwise we return null.
 572   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 573                                     unsigned Elt) const override {
 574     llvm_unreachable("Illegal element reference off string");
 575   }
 576
 577   Init *getBit(unsigned Bit) const override {
 578     llvm_unreachable("Illegal bit reference off string");
 579   }
 580 };
 581
 582 /// ListInit - [AL, AH, CL] - Represent a list of defs
 583 ///
 584 class ListInit : public TypedInit, public FoldingSetNode {
 585   std::vector<Init*> Values;
 586
 587 public:
 588   typedef std::vector<Init*>::const_iterator const_iterator;
 589
 590 private:
 591   explicit ListInit(ArrayRef<Init *> Range, RecTy *EltTy)
 592     : TypedInit(IK_ListInit, ListRecTy::get(EltTy)),
 593       Values(Range.begin(), Range.end()) {}
 594
 595   ListInit(const ListInit &Other) = delete;
 596   ListInit &operator=(const ListInit &Other) = delete;
 597
 598 public:
 599   static bool classof(const Init *I) {
 600     return I->getKind() == IK_ListInit;
 601   }
 602   static ListInit *get(ArrayRef<Init *> Range, RecTy *EltTy);
 603
 604   void Profile(FoldingSetNodeID &ID) const;
 605
 606   Init *getElement(unsigned i) const {
 607     assert(i < Values.size() && "List element index out of range!");
 608     return Values[i];
 609   }
 610
 611   Record *getElementAsRecord(unsigned i) const;
 612
 613   Init *
 614     convertInitListSlice(const std::vector<unsigned> &Elements) const override;
 615
 616   Init *convertInitializerTo(RecTy *Ty) const override;
 617
 618   /// resolveReferences - This method is used by classes that refer to other
 619   /// variables which may not be defined at the time they expression is formed.
 620   /// If a value is set for the variable later, this method will be called on
 621   /// users of the value to allow the value to propagate out.
 622   ///
 623   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 624
 625   std::string getAsString() const override;
 626
 627   ArrayRef<Init*> getValues() const { return Values; }
 628
 629   const_iterator begin() const { return Values.begin(); }
 630   const_iterator end  () const { return Values.end();   }
 631
 632   size_t         size () const { return Values.size();  }
 633   bool           empty() const { return Values.empty(); }
 634
 635   /// resolveListElementReference - This method is used to implement
 636   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 637   /// now, we return the resolved value, otherwise we return null.
 638   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 639                                     unsigned Elt) const override;
 640
 641   Init *getBit(unsigned Bit) const override {
 642     llvm_unreachable("Illegal bit reference off list");
 643   }
 644 };
 645
 646 /// OpInit - Base class for operators
 647 ///
 648 class OpInit : public TypedInit {
 649   OpInit(const OpInit &Other) = delete;
 650   OpInit &operator=(OpInit &Other) = delete;
 651
 652 protected:
 653   explicit OpInit(InitKind K, RecTy *Type) : TypedInit(K, Type) {}
 654
 655 public:
 656   static bool classof(const Init *I) {
 657     return I->getKind() >= IK_FirstOpInit &&
 658            I->getKind() <= IK_LastOpInit;
 659   }
 660   // Clone - Clone this operator, replacing arguments with the new list
 661   virtual OpInit *clone(std::vector<Init *> &Operands) const = 0;
 662
 663   virtual int getNumOperands() const = 0;
 664   virtual Init *getOperand(int i) const = 0;
 665
 666   // Fold - If possible, fold this to a simpler init.  Return this if not
 667   // possible to fold.
 668   virtual Init *Fold(Record *CurRec, MultiClass *CurMultiClass) const = 0;
 669
 670   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 671                                     unsigned Elt) const override;
 672
 673   Init *getBit(unsigned Bit) const override;
 674 };
 675
 676 /// UnOpInit - !op (X) - Transform an init.
 677 ///
 678 class UnOpInit : public OpInit {
 679 public:
 680   enum UnaryOp { CAST, HEAD, TAIL, EMPTY };
 681
 682 private:
 683   UnaryOp Opc;
 684   Init *LHS;
 685
 686   UnOpInit(UnaryOp opc, Init *lhs, RecTy *Type)
 687     : OpInit(IK_UnOpInit, Type), Opc(opc), LHS(lhs) {}
 688
 689   UnOpInit(const UnOpInit &Other) = delete;
 690   UnOpInit &operator=(const UnOpInit &Other) = delete;
 691
 692 public:
 693   static bool classof(const Init *I) {
 694     return I->getKind() == IK_UnOpInit;
 695   }
 696   static UnOpInit *get(UnaryOp opc, Init *lhs, RecTy *Type);
 697
 698   // Clone - Clone this operator, replacing arguments with the new list
 699   OpInit *clone(std::vector<Init *> &Operands) const override {
 700     assert(Operands.size() == 1 &&
 701            "Wrong number of operands for unary operation");
 702     return UnOpInit::get(getOpcode(), *Operands.begin(), getType());
 703   }
 704
 705   int getNumOperands() const override { return 1; }
 706   Init *getOperand(int i) const override {
 707     assert(i == 0 && "Invalid operand id for unary operator");
 708     return getOperand();
 709   }
 710
 711   UnaryOp getOpcode() const { return Opc; }
 712   Init *getOperand() const { return LHS; }
 713
 714   // Fold - If possible, fold this to a simpler init.  Return this if not
 715   // possible to fold.
 716   Init *Fold(Record *CurRec, MultiClass *CurMultiClass) const override;
 717
 718   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 719
 720   std::string getAsString() const override;
 721 };
 722
 723 /// BinOpInit - !op (X, Y) - Combine two inits.
 724 ///
 725 class BinOpInit : public OpInit {
 726 public:
 727   enum BinaryOp { ADD, AND, SHL, SRA, SRL, LISTCONCAT, STRCONCAT, CONCAT, EQ };
 728
 729 private:
 730   BinaryOp Opc;
 731   Init *LHS, *RHS;
 732
 733   BinOpInit(BinaryOp opc, Init *lhs, Init *rhs, RecTy *Type) :
 734       OpInit(IK_BinOpInit, Type), Opc(opc), LHS(lhs), RHS(rhs) {}
 735
 736   BinOpInit(const BinOpInit &Other) = delete;
 737   BinOpInit &operator=(const BinOpInit &Other) = delete;
 738
 739 public:
 740   static bool classof(const Init *I) {
 741     return I->getKind() == IK_BinOpInit;
 742   }
 743   static BinOpInit *get(BinaryOp opc, Init *lhs, Init *rhs,
 744                         RecTy *Type);
 745
 746   // Clone - Clone this operator, replacing arguments with the new list
 747   OpInit *clone(std::vector<Init *> &Operands) const override {
 748     assert(Operands.size() == 2 &&
 749            "Wrong number of operands for binary operation");
 750     return BinOpInit::get(getOpcode(), Operands[0], Operands[1], getType());
 751   }
 752
 753   int getNumOperands() const override { return 2; }
 754   Init *getOperand(int i) const override {
 755     assert((i == 0 || i == 1) && "Invalid operand id for binary operator");
 756     if (i == 0) {
 757       return getLHS();
 758     } else {
 759       return getRHS();
 760     }
 761   }
 762
 763   BinaryOp getOpcode() const { return Opc; }
 764   Init *getLHS() const { return LHS; }
 765   Init *getRHS() const { return RHS; }
 766
 767   // Fold - If possible, fold this to a simpler init.  Return this if not
 768   // possible to fold.
 769   Init *Fold(Record *CurRec, MultiClass *CurMultiClass) const override;
 770
 771   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 772
 773   std::string getAsString() const override;
 774 };
 775
 776 /// TernOpInit - !op (X, Y, Z) - Combine two inits.
 777 ///
 778 class TernOpInit : public OpInit {
 779 public:
 780   enum TernaryOp { SUBST, FOREACH, IF };
 781
 782 private:
 783   TernaryOp Opc;
 784   Init *LHS, *MHS, *RHS;
 785
 786   TernOpInit(TernaryOp opc, Init *lhs, Init *mhs, Init *rhs,
 787              RecTy *Type) :
 788       OpInit(IK_TernOpInit, Type), Opc(opc), LHS(lhs), MHS(mhs), RHS(rhs) {}
 789
 790   TernOpInit(const TernOpInit &Other) = delete;
 791   TernOpInit &operator=(const TernOpInit &Other) = delete;
 792
 793 public:
 794   static bool classof(const Init *I) {
 795     return I->getKind() == IK_TernOpInit;
 796   }
 797   static TernOpInit *get(TernaryOp opc, Init *lhs,
 798                          Init *mhs, Init *rhs,
 799                          RecTy *Type);
 800
 801   // Clone - Clone this operator, replacing arguments with the new list
 802   OpInit *clone(std::vector<Init *> &Operands) const override {
 803     assert(Operands.size() == 3 &&
 804            "Wrong number of operands for ternary operation");
 805     return TernOpInit::get(getOpcode(), Operands[0], Operands[1], Operands[2],
 806                            getType());
 807   }
 808
 809   int getNumOperands() const override { return 3; }
 810   Init *getOperand(int i) const override {
 811     assert((i == 0 || i == 1 || i == 2) &&
 812            "Invalid operand id for ternary operator");
 813     if (i == 0) {
 814       return getLHS();
 815     } else if (i == 1) {
 816       return getMHS();
 817     } else {
 818       return getRHS();
 819     }
 820   }
 821
 822   TernaryOp getOpcode() const { return Opc; }
 823   Init *getLHS() const { return LHS; }
 824   Init *getMHS() const { return MHS; }
 825   Init *getRHS() const { return RHS; }
 826
 827   // Fold - If possible, fold this to a simpler init.  Return this if not
 828   // possible to fold.
 829   Init *Fold(Record *CurRec, MultiClass *CurMultiClass) const override;
 830
 831   bool isComplete() const override { return false; }
 832
 833   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 834
 835   std::string getAsString() const override;
 836 };
 837
 838 /// VarInit - 'Opcode' - Represent a reference to an entire variable object.
 839 ///
 840 class VarInit : public TypedInit {
 841   Init *VarName;
 842
 843   explicit VarInit(const std::string &VN, RecTy *T)
 844       : TypedInit(IK_VarInit, T), VarName(StringInit::get(VN)) {}
 845   explicit VarInit(Init *VN, RecTy *T)
 846       : TypedInit(IK_VarInit, T), VarName(VN) {}
 847
 848   VarInit(const VarInit &Other) = delete;
 849   VarInit &operator=(const VarInit &Other) = delete;
 850
 851 public:
 852   static bool classof(const Init *I) {
 853     return I->getKind() == IK_VarInit;
 854   }
 855   static VarInit *get(const std::string &VN, RecTy *T);
 856   static VarInit *get(Init *VN, RecTy *T);
 857
 858   const std::string &getName() const;
 859   Init *getNameInit() const { return VarName; }
 860   std::string getNameInitAsString() const {
 861     return getNameInit()->getAsUnquotedString();
 862   }
 863
 864   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 865                                     unsigned Elt) const override;
 866
 867   RecTy *getFieldType(const std::string &FieldName) const override;
 868   Init *getFieldInit(Record &R, const RecordVal *RV,
 869                      const std::string &FieldName) const override;
 870
 871   /// resolveReferences - This method is used by classes that refer to other
 872   /// variables which may not be defined at the time they expression is formed.
 873   /// If a value is set for the variable later, this method will be called on
 874   /// users of the value to allow the value to propagate out.
 875   ///
 876   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 877
 878   Init *getBit(unsigned Bit) const override;
 879
 880   std::string getAsString() const override { return getName(); }
 881 };
 882
 883 /// VarBitInit - Opcode{0} - Represent access to one bit of a variable or field.
 884 ///
 885 class VarBitInit : public Init {
 886   TypedInit *TI;
 887   unsigned Bit;
 888
 889   VarBitInit(TypedInit *T, unsigned B) : Init(IK_VarBitInit), TI(T), Bit(B) {
 890     assert(T->getType() &&
 891            (isa<IntRecTy>(T->getType()) ||
 892             (isa<BitsRecTy>(T->getType()) &&
 893              cast<BitsRecTy>(T->getType())->getNumBits() > B)) &&
 894            "Illegal VarBitInit expression!");
 895   }
 896
 897   VarBitInit(const VarBitInit &Other) = delete;
 898   VarBitInit &operator=(const VarBitInit &Other) = delete;
 899
 900 public:
 901   static bool classof(const Init *I) {
 902     return I->getKind() == IK_VarBitInit;
 903   }
 904   static VarBitInit *get(TypedInit *T, unsigned B);
 905
 906   Init *convertInitializerTo(RecTy *Ty) const override;
 907
 908   Init *getBitVar() const override { return TI; }
 909   unsigned getBitNum() const override { return Bit; }
 910
 911   std::string getAsString() const override;
 912   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 913
 914   Init *getBit(unsigned B) const override {
 915     assert(B < 1 && "Bit index out of range!");
 916     return const_cast<VarBitInit*>(this);
 917   }
 918 };
 919
 920 /// VarListElementInit - List[4] - Represent access to one element of a var or
 921 /// field.
 922 class VarListElementInit : public TypedInit {
 923   TypedInit *TI;
 924   unsigned Element;
 925
 926   VarListElementInit(TypedInit *T, unsigned E)
 927       : TypedInit(IK_VarListElementInit,
 928                   cast<ListRecTy>(T->getType())->getElementType()),
 929         TI(T), Element(E) {
 930     assert(T->getType() && isa<ListRecTy>(T->getType()) &&
 931            "Illegal VarBitInit expression!");
 932   }
 933
 934   VarListElementInit(const VarListElementInit &Other) = delete;
 935   void operator=(const VarListElementInit &Other) = delete;
 936
 937 public:
 938   static bool classof(const Init *I) {
 939     return I->getKind() == IK_VarListElementInit;
 940   }
 941   static VarListElementInit *get(TypedInit *T, unsigned E);
 942
 943   TypedInit *getVariable() const { return TI; }
 944   unsigned getElementNum() const { return Element; }
 945
 946   /// resolveListElementReference - This method is used to implement
 947   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 948   /// now, we return the resolved value, otherwise we return null.
 949   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 950                                     unsigned Elt) const override;
 951
 952   std::string getAsString() const override;
 953   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
 954
 955   Init *getBit(unsigned Bit) const override;
 956 };
 957
 958 /// DefInit - AL - Represent a reference to a 'def' in the description
 959 ///
 960 class DefInit : public TypedInit {
 961   Record *Def;
 962
 963   DefInit(Record *D, RecordRecTy *T) : TypedInit(IK_DefInit, T), Def(D) {}
 964   friend class Record;
 965
 966   DefInit(const DefInit &Other) = delete;
 967   DefInit &operator=(const DefInit &Other) = delete;
 968
 969 public:
 970   static bool classof(const Init *I) {
 971     return I->getKind() == IK_DefInit;
 972   }
 973   static DefInit *get(Record*);
 974
 975   Init *convertInitializerTo(RecTy *Ty) const override;
 976
 977   Record *getDef() const { return Def; }
 978
 979   //virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits);
 980
 981   RecTy *getFieldType(const std::string &FieldName) const override;
 982   Init *getFieldInit(Record &R, const RecordVal *RV,
 983                      const std::string &FieldName) const override;
 984
 985   std::string getAsString() const override;
 986
 987   Init *getBit(unsigned Bit) const override {
 988     llvm_unreachable("Illegal bit reference off def");
 989   }
 990
 991   /// resolveListElementReference - This method is used to implement
 992   /// VarListElementInit::resolveReferences.  If the list element is resolvable
 993   /// now, we return the resolved value, otherwise we return null.
 994   Init *resolveListElementReference(Record &R, const RecordVal *RV,
 995                                     unsigned Elt) const override {
 996     llvm_unreachable("Illegal element reference off def");
 997   }
 998 };
 999
1000 /// FieldInit - X.Y - Represent a reference to a subfield of a variable
1001 ///
1002 class FieldInit : public TypedInit {
1003   Init *Rec;                // Record we are referring to
1004   std::string FieldName;    // Field we are accessing
1005
1006   FieldInit(Init *R, const std::string &FN)
1007       : TypedInit(IK_FieldInit, R->getFieldType(FN)), Rec(R), FieldName(FN) {
1008     assert(getType() && "FieldInit with non-record type!");
1009   }
1010
1011   FieldInit(const FieldInit &Other) = delete;
1012   FieldInit &operator=(const FieldInit &Other) = delete;
1013
1014 public:
1015   static bool classof(const Init *I) {
1016     return I->getKind() == IK_FieldInit;
1017   }
1018   static FieldInit *get(Init *R, const std::string &FN);
1019   static FieldInit *get(Init *R, const Init *FN);
1020
1021   Init *getBit(unsigned Bit) const override;
1022
1023   Init *resolveListElementReference(Record &R, const RecordVal *RV,
1024                                     unsigned Elt) const override;
1025
1026   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
1027
1028   std::string getAsString() const override {
1029     return Rec->getAsString() + "." + FieldName;
1030   }
1031 };
1032
1033 /// DagInit - (v a, b) - Represent a DAG tree value.  DAG inits are required
1034 /// to have at least one value then a (possibly empty) list of arguments.  Each
1035 /// argument can have a name associated with it.
1036 ///
1037 class DagInit : public TypedInit, public FoldingSetNode {
1038   Init *Val;
1039   std::string ValName;
1040   std::vector<Init*> Args;
1041   std::vector<std::string> ArgNames;
1042
1043   DagInit(Init *V, const std::string &VN,
1044           ArrayRef<Init *> ArgRange,
1045           ArrayRef<std::string> NameRange)
1046       : TypedInit(IK_DagInit, DagRecTy::get()), Val(V), ValName(VN),
1047           Args(ArgRange.begin(), ArgRange.end()),
1048           ArgNames(NameRange.begin(), NameRange.end()) {}
1049
1050   DagInit(const DagInit &Other) = delete;
1051   DagInit &operator=(const DagInit &Other) = delete;
1052
1053 public:
1054   static bool classof(const Init *I) {
1055     return I->getKind() == IK_DagInit;
1056   }
1057   static DagInit *get(Init *V, const std::string &VN,
1058                       ArrayRef<Init *> ArgRange,
1059                       ArrayRef<std::string> NameRange);
1060   static DagInit *get(Init *V, const std::string &VN,
1061                       const std::vector<
1062                         std::pair<Init*, std::string> > &args);
1063
1064   void Profile(FoldingSetNodeID &ID) const;
1065
1066   Init *convertInitializerTo(RecTy *Ty) const override;
1067
1068   Init *getOperator() const { return Val; }
1069
1070   const std::string &getName() const { return ValName; }
1071
1072   unsigned getNumArgs() const { return Args.size(); }
1073   Init *getArg(unsigned Num) const {
1074     assert(Num < Args.size() && "Arg number out of range!");
1075     return Args[Num];
1076   }
1077   const std::string &getArgName(unsigned Num) const {
1078     assert(Num < ArgNames.size() && "Arg number out of range!");
1079     return ArgNames[Num];
1080   }
1081
1082   Init *resolveReferences(Record &R, const RecordVal *RV) const override;
1083
1084   std::string getAsString() const override;
1085
1086   typedef std::vector<Init*>::const_iterator       const_arg_iterator;
1087   typedef std::vector<std::string>::const_iterator const_name_iterator;
1088
1089   inline const_arg_iterator  arg_begin() const { return Args.begin(); }
1090   inline const_arg_iterator  arg_end  () const { return Args.end();   }
1091
1092   inline size_t              arg_size () const { return Args.size();  }
1093   inline bool                arg_empty() const { return Args.empty(); }
1094
1095   inline const_name_iterator name_begin() const { return ArgNames.begin(); }
1096   inline const_name_iterator name_end  () const { return ArgNames.end();   }
1097
1098   inline size_t              name_size () const { return ArgNames.size();  }
1099   inline bool                name_empty() const { return ArgNames.empty(); }
1100
1101   Init *getBit(unsigned Bit) const override {
1102     llvm_unreachable("Illegal bit reference off dag");
1103   }
1104
1105   Init *resolveListElementReference(Record &R, const RecordVal *RV,
1106                                     unsigned Elt) const override {
1107     llvm_unreachable("Illegal element reference off dag");
1108   }
1109 };
1110
1111 //===----------------------------------------------------------------------===//
1112 //  High-Level Classes
1113 //===----------------------------------------------------------------------===//
1114
1115 class RecordVal {
1116   Init *Name;
1117   RecTy *Ty;
1118   unsigned Prefix;
1119   Init *Value;
1120
1121 public:
1122   RecordVal(Init *N, RecTy *T, unsigned P);
1123   RecordVal(const std::string &N, RecTy *T, unsigned P);
1124
1125   const std::string &getName() const;
1126   const Init *getNameInit() const { return Name; }
1127   std::string getNameInitAsString() const {
1128     return getNameInit()->getAsUnquotedString();
1129   }
1130
1131   unsigned getPrefix() const { return Prefix; }
1132   RecTy *getType() const { return Ty; }
1133   Init *getValue() const { return Value; }
1134
1135   bool setValue(Init *V) {
1136     if (V) {
1137       Value = V->convertInitializerTo(Ty);
1138       return Value == nullptr;
1139     }
1140     Value = nullptr;
1141     return false;
1142   }
1143
1144   void dump() const;
1145   void print(raw_ostream &OS, bool PrintSem = true) const;
1146 };
1147
1148 inline raw_ostream &operator<<(raw_ostream &OS, const RecordVal &RV) {
1149   RV.print(OS << "  ");
1150   return OS;
1151 }
1152
1153 class Record {
1154   static unsigned LastID;
1155
1156   // Unique record ID.
1157   unsigned ID;
1158   Init *Name;
1159   // Location where record was instantiated, followed by the location of
1160   // multiclass prototypes used.
1161   SmallVector<SMLoc, 4> Locs;
1162   std::vector<Init *> TemplateArgs;
1163   std::vector<RecordVal> Values;
1164   std::vector<Record *> SuperClasses;
1165   std::vector<SMRange> SuperClassRanges;
1166
1167   // Tracks Record instances. Not owned by Record.
1168   RecordKeeper &TrackedRecords;
1169
1170   DefInit *TheInit;
1171   bool IsAnonymous;
1172
1173   // Class-instance values can be used by other defs.  For example, Struct<i>
1174   // is used here as a template argument to another class:
1175   //
1176   //   multiclass MultiClass<int i> {
1177   //     def Def : Class<Struct<i>>;
1178   //
1179   // These need to get fully resolved before instantiating any other
1180   // definitions that use them (e.g. Def).  However, inside a multiclass they
1181   // can't be immediately resolved so we mark them ResolveFirst to fully
1182   // resolve them later as soon as the multiclass is instantiated.
1183   bool ResolveFirst;
1184
1185   void init();
1186   void checkName();
1187
1188 public:
1189   // Constructs a record.
1190   explicit Record(const std::string &N, ArrayRef<SMLoc> locs,
1191                   RecordKeeper &records, bool Anonymous = false) :
1192     ID(LastID++), Name(StringInit::get(N)), Locs(locs.begin(), locs.end()),
1193     TrackedRecords(records), TheInit(nullptr), IsAnonymous(Anonymous),
1194     ResolveFirst(false) {
1195     init();
1196   }
1197   explicit Record(Init *N, ArrayRef<SMLoc> locs, RecordKeeper &records,
1198                   bool Anonymous = false) :
1199     ID(LastID++), Name(N), Locs(locs.begin(), locs.end()),
1200     TrackedRecords(records), TheInit(nullptr), IsAnonymous(Anonymous),
1201     ResolveFirst(false) {
1202     init();
1203   }
1204
1205   // When copy-constructing a Record, we must still guarantee a globally unique
1206   // ID number.  All other fields can be copied normally.
1207   Record(const Record &O) :
1208     ID(LastID++), Name(O.Name), Locs(O.Locs), TemplateArgs(O.TemplateArgs),
1209     Values(O.Values), SuperClasses(O.SuperClasses),
1210     SuperClassRanges(O.SuperClassRanges), TrackedRecords(O.TrackedRecords),
1211     TheInit(O.TheInit), IsAnonymous(O.IsAnonymous),
1212     ResolveFirst(O.ResolveFirst) { }
1213
1214   static unsigned getNewUID() { return LastID++; }
1215
1216   unsigned getID() const { return ID; }
1217
1218   const std::string &getName() const;
1219   Init *getNameInit() const {
1220     return Name;
1221   }
1222   const std::string getNameInitAsString() const {
1223     return getNameInit()->getAsUnquotedString();
1224   }
1225
1226   void setName(Init *Name);               // Also updates RecordKeeper.
1227   void setName(const std::string &Name);  // Also updates RecordKeeper.
1228
1229   ArrayRef<SMLoc> getLoc() const { return Locs; }
1230
1231   /// get the corresponding DefInit.
1232   DefInit *getDefInit();
1233
1234   const std::vector<Init *> &getTemplateArgs() const {
1235     return TemplateArgs;
1236   }
1237   const std::vector<RecordVal> &getValues() const { return Values; }
1238   const std::vector<Record*>   &getSuperClasses() const { return SuperClasses; }
1239   ArrayRef<SMRange> getSuperClassRanges() const { return SuperClassRanges; }
1240
1241   bool isTemplateArg(Init *Name) const {
1242     for (unsigned i = 0, e = TemplateArgs.size(); i != e; ++i)
1243       if (TemplateArgs[i] == Name) return true;
1244     return false;
1245   }
1246   bool isTemplateArg(StringRef Name) const {
1247     return isTemplateArg(StringInit::get(Name));
1248   }
1249
1250   const RecordVal *getValue(const Init *Name) const {
1251     for (unsigned i = 0, e = Values.size(); i != e; ++i)
1252       if (Values[i].getNameInit() == Name) return &Values[i];
1253     return nullptr;
1254   }
1255   const RecordVal *getValue(StringRef Name) const {
1256     return getValue(StringInit::get(Name));
1257   }
1258   RecordVal *getValue(const Init *Name) {
1259     for (unsigned i = 0, e = Values.size(); i != e; ++i)
1260       if (Values[i].getNameInit() == Name) return &Values[i];
1261     return nullptr;
1262   }
1263   RecordVal *getValue(StringRef Name) {
1264     return getValue(StringInit::get(Name));
1265   }
1266
1267   void addTemplateArg(Init *Name) {
1268     assert(!isTemplateArg(Name) && "Template arg already defined!");
1269     TemplateArgs.push_back(Name);
1270   }
1271   void addTemplateArg(StringRef Name) {
1272     addTemplateArg(StringInit::get(Name));
1273   }
1274
1275   void addValue(const RecordVal &RV) {
1276     assert(getValue(RV.getNameInit()) == nullptr && "Value already added!");
1277     Values.push_back(RV);
1278     if (Values.size() > 1)
1279       // Keep NAME at the end of the list.  It makes record dumps a
1280       // bit prettier and allows TableGen tests to be written more
1281       // naturally.  Tests can use CHECK-NEXT to look for Record
1282       // fields they expect to see after a def.  They can't do that if
1283       // NAME is the first Record field.
1284       std::swap(Values[Values.size() - 2], Values[Values.size() - 1]);
1285   }
1286
1287   void removeValue(Init *Name) {
1288     for (unsigned i = 0, e = Values.size(); i != e; ++i)
1289       if (Values[i].getNameInit() == Name) {
1290         Values.erase(Values.begin()+i);
1291         return;
1292       }
1293     llvm_unreachable("Cannot remove an entry that does not exist!");
1294   }
1295
1296   void removeValue(StringRef Name) {
1297     removeValue(StringInit::get(Name));
1298   }
1299
1300   bool isSubClassOf(const Record *R) const {
1301     for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i)
1302       if (SuperClasses[i] == R)
1303         return true;
1304     return false;
1305   }
1306
1307   bool isSubClassOf(StringRef Name) const {
1308     for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i)
1309       if (SuperClasses[i]->getNameInitAsString() == Name)
1310         return true;
1311     return false;
1312   }
1313
1314   void addSuperClass(Record *R, SMRange Range) {
1315     assert(!isSubClassOf(R) && "Already subclassing record!");
1316     SuperClasses.push_back(R);
1317     SuperClassRanges.push_back(Range);
1318   }
1319
1320   /// resolveReferences - If there are any field references that refer to fields
1321   /// that have been filled in, we can propagate the values now.
1322   ///
1323   void resolveReferences() { resolveReferencesTo(nullptr); }
1324
1325   /// resolveReferencesTo - If anything in this record refers to RV, replace the
1326   /// reference to RV with the RHS of RV.  If RV is null, we resolve all
1327   /// possible references.
1328   void resolveReferencesTo(const RecordVal *RV);
1329
1330   RecordKeeper &getRecords() const {
1331     return TrackedRecords;
1332   }
1333
1334   bool isAnonymous() const {
1335     return IsAnonymous;
1336   }
1337
1338   bool isResolveFirst() const {
1339     return ResolveFirst;
1340   }
1341
1342   void setResolveFirst(bool b) {
1343     ResolveFirst = b;
1344   }
1345
1346   void dump() const;
1347
1348   //===--------------------------------------------------------------------===//
1349   // High-level methods useful to tablegen back-ends
1350   //
1351
1352   /// getValueInit - Return the initializer for a value with the specified name,
1353   /// or throw an exception if the field does not exist.
1354   ///
1355   Init *getValueInit(StringRef FieldName) const;
1356
1357   /// Return true if the named field is unset.
1358   bool isValueUnset(StringRef FieldName) const {
1359     return getValueInit(FieldName) == UnsetInit::get();
1360   }
1361
1362   /// getValueAsString - This method looks up the specified field and returns
1363   /// its value as a string, throwing an exception if the field does not exist
1364   /// or if the value is not a string.
1365   ///
1366   std::string getValueAsString(StringRef FieldName) const;
1367
1368   /// getValueAsBitsInit - This method looks up the specified field and returns
1369   /// its value as a BitsInit, throwing an exception if the field does not exist
1370   /// or if the value is not the right type.
1371   ///
1372   BitsInit *getValueAsBitsInit(StringRef FieldName) const;
1373
1374   /// getValueAsListInit - This method looks up the specified field and returns
1375   /// its value as a ListInit, throwing an exception if the field does not exist
1376   /// or if the value is not the right type.
1377   ///
1378   ListInit *getValueAsListInit(StringRef FieldName) const;
1379
1380   /// getValueAsListOfDefs - This method looks up the specified field and
1381   /// returns its value as a vector of records, throwing an exception if the
1382   /// field does not exist or if the value is not the right type.
1383   ///
1384   std::vector<Record*> getValueAsListOfDefs(StringRef FieldName) const;
1385
1386   /// getValueAsListOfInts - This method looks up the specified field and
1387   /// returns its value as a vector of integers, throwing an exception if the
1388   /// field does not exist or if the value is not the right type.
1389   ///
1390   std::vector<int64_t> getValueAsListOfInts(StringRef FieldName) const;
1391
1392   /// getValueAsListOfStrings - This method looks up the specified field and
1393   /// returns its value as a vector of strings, throwing an exception if the
1394   /// field does not exist or if the value is not the right type.
1395   ///
1396   std::vector<std::string> getValueAsListOfStrings(StringRef FieldName) const;
1397
1398   /// getValueAsDef - This method looks up the specified field and returns its
1399   /// value as a Record, throwing an exception if the field does not exist or if
1400   /// the value is not the right type.
1401   ///
1402   Record *getValueAsDef(StringRef FieldName) const;
1403
1404   /// getValueAsBit - This method looks up the specified field and returns its
1405   /// value as a bit, throwing an exception if the field does not exist or if
1406   /// the value is not the right type.
1407   ///
1408   bool getValueAsBit(StringRef FieldName) const;
1409
1410   /// getValueAsBitOrUnset - This method looks up the specified field and
1411   /// returns its value as a bit. If the field is unset, sets Unset to true and
1412   /// returns false.
1413   ///
1414   bool getValueAsBitOrUnset(StringRef FieldName, bool &Unset) const;
1415
1416   /// getValueAsInt - This method looks up the specified field and returns its
1417   /// value as an int64_t, throwing an exception if the field does not exist or
1418   /// if the value is not the right type.
1419   ///
1420   int64_t getValueAsInt(StringRef FieldName) const;
1421
1422   /// getValueAsDag - This method looks up the specified field and returns its
1423   /// value as an Dag, throwing an exception if the field does not exist or if
1424   /// the value is not the right type.
1425   ///
1426   DagInit *getValueAsDag(StringRef FieldName) const;
1427 };
1428
1429 raw_ostream &operator<<(raw_ostream &OS, const Record &R);
1430
1431 struct MultiClass {
1432   Record Rec;  // Placeholder for template args and Name.
1433   typedef std::vector<std::unique_ptr<Record>> RecordVector;
1434   RecordVector DefPrototypes;
1435
1436   void dump() const;
1437
1438   MultiClass(const std::string &Name, SMLoc Loc, RecordKeeper &Records) :
1439     Rec(Name, Loc, Records) {}
1440 };
1441
1442 class RecordKeeper {
1443   typedef std::map<std::string, std::unique_ptr<Record>> RecordMap;
1444   RecordMap Classes, Defs;
1445
1446 public:
1447   const RecordMap &getClasses() const { return Classes; }
1448   const RecordMap &getDefs() const { return Defs; }
1449
1450   Record *getClass(const std::string &Name) const {
1451     auto I = Classes.find(Name);
1452     return I == Classes.end() ? nullptr : I->second.get();
1453   }
1454   Record *getDef(const std::string &Name) const {
1455     auto I = Defs.find(Name);
1456     return I == Defs.end() ? nullptr : I->second.get();
1457   }
1458   void addClass(std::unique_ptr<Record> R) {
1459     bool Ins = Classes.insert(std::make_pair(R->getName(),
1460                                              std::move(R))).second;
1461     (void)Ins;
1462     assert(Ins && "Class already exists");
1463   }
1464   void addDef(std::unique_ptr<Record> R) {
1465     bool Ins = Defs.insert(std::make_pair(R->getName(),
1466                                           std::move(R))).second;
1467     (void)Ins;
1468     assert(Ins && "Record already exists");
1469   }
1470
1471   //===--------------------------------------------------------------------===//
1472   // High-level helper methods, useful for tablegen backends...
1473
1474   /// getAllDerivedDefinitions - This method returns all concrete definitions
1475   /// that derive from the specified class name.  If a class with the specified
1476   /// name does not exist, an exception is thrown.
1477   std::vector<Record*>
1478   getAllDerivedDefinitions(const std::string &ClassName) const;
1479
1480   void dump() const;
1481 };
1482
1483 /// LessRecord - Sorting predicate to sort record pointers by name.
1484 ///
1485 struct LessRecord {
1486   bool operator()(const Record *Rec1, const Record *Rec2) const {
1487     return StringRef(Rec1->getName()).compare_numeric(Rec2->getName()) < 0;
1488   }
1489 };
1490
1491 /// LessRecordByID - Sorting predicate to sort record pointers by their
1492 /// unique ID. If you just need a deterministic order, use this, since it
1493 /// just compares two `unsigned`; the other sorting predicates require
1494 /// string manipulation.
1495 struct LessRecordByID {
1496   bool operator()(const Record *LHS, const Record *RHS) const {
1497     return LHS->getID() < RHS->getID();
1498   }
1499 };
1500
1501 /// LessRecordFieldName - Sorting predicate to sort record pointers by their
1502 /// name field.
1503 ///
1504 struct LessRecordFieldName {
1505   bool operator()(const Record *Rec1, const Record *Rec2) const {
1506     return Rec1->getValueAsString("Name") < Rec2->getValueAsString("Name");
1507   }
1508 };
1509
1510 struct LessRecordRegister {
1511   static size_t min(size_t a, size_t b) { return a < b ? a : b; }
1512   static bool ascii_isdigit(char x) { return x >= '0' && x <= '9'; }
1513
1514   struct RecordParts {
1515     SmallVector<std::pair< bool, StringRef>, 4> Parts;
1516
1517     RecordParts(StringRef Rec) {
1518       if (Rec.empty())
1519         return;
1520
1521       size_t Len = 0;
1522       const char *Start = Rec.data();
1523       const char *Curr = Start;
1524       bool isDigitPart = ascii_isdigit(Curr[0]);
1525       for (size_t I = 0, E = Rec.size(); I != E; ++I, ++Len) {
1526         bool isDigit = ascii_isdigit(Curr[I]);
1527         if (isDigit != isDigitPart) {
1528           Parts.push_back(std::make_pair(isDigitPart, StringRef(Start, Len)));
1529           Len = 0;
1530           Start = &Curr[I];
1531           isDigitPart = ascii_isdigit(Curr[I]);
1532         }
1533       }
1534       // Push the last part.
1535       Parts.push_back(std::make_pair(isDigitPart, StringRef(Start, Len)));
1536     }
1537
1538     size_t size() { return Parts.size(); }
1539
1540     std::pair<bool, StringRef> getPart(size_t i) {
1541       assert (i < Parts.size() && "Invalid idx!");
1542       return Parts[i];
1543     }
1544   };
1545
1546   bool operator()(const Record *Rec1, const Record *Rec2) const {
1547     RecordParts LHSParts(StringRef(Rec1->getName()));
1548     RecordParts RHSParts(StringRef(Rec2->getName()));
1549
1550     size_t LHSNumParts = LHSParts.size();
1551     size_t RHSNumParts = RHSParts.size();
1552     assert (LHSNumParts && RHSNumParts && "Expected at least one part!");
1553
1554     if (LHSNumParts != RHSNumParts)
1555       return LHSNumParts < RHSNumParts;
1556
1557     // We expect the registers to be of the form [_a-zA-z]+([0-9]*[_a-zA-Z]*)*.
1558     for (size_t I = 0, E = LHSNumParts; I < E; I+=2) {
1559       std::pair<bool, StringRef> LHSPart = LHSParts.getPart(I);
1560       std::pair<bool, StringRef> RHSPart = RHSParts.getPart(I);
1561       // Expect even part to always be alpha.
1562       assert (LHSPart.first == false && RHSPart.first == false &&
1563               "Expected both parts to be alpha.");
1564       if (int Res = LHSPart.second.compare(RHSPart.second))
1565         return Res < 0;
1566     }
1567     for (size_t I = 1, E = LHSNumParts; I < E; I+=2) {
1568       std::pair<bool, StringRef> LHSPart = LHSParts.getPart(I);
1569       std::pair<bool, StringRef> RHSPart = RHSParts.getPart(I);
1570       // Expect odd part to always be numeric.
1571       assert (LHSPart.first == true && RHSPart.first == true &&
1572               "Expected both parts to be numeric.");
1573       if (LHSPart.second.size() != RHSPart.second.size())
1574         return LHSPart.second.size() < RHSPart.second.size();
1575
1576       unsigned LHSVal, RHSVal;
1577
1578       bool LHSFailed = LHSPart.second.getAsInteger(10, LHSVal); (void)LHSFailed;
1579       assert(!LHSFailed && "Unable to convert LHS to integer.");
1580       bool RHSFailed = RHSPart.second.getAsInteger(10, RHSVal); (void)RHSFailed;
1581       assert(!RHSFailed && "Unable to convert RHS to integer.");
1582
1583       if (LHSVal != RHSVal)
1584         return LHSVal < RHSVal;
1585     }
1586     return LHSNumParts < RHSNumParts;
1587   }
1588 };
1589
1590 raw_ostream &operator<<(raw_ostream &OS, const RecordKeeper &RK);
1591
1592 /// QualifyName - Return an Init with a qualifier prefix referring
1593 /// to CurRec's name.
1594 Init *QualifyName(Record &CurRec, MultiClass *CurMultiClass,
1595                   Init *Name, const std::string &Scoper);
1596
1597 /// QualifyName - Return an Init with a qualifier prefix referring
1598 /// to CurRec's name.
1599 Init *QualifyName(Record &CurRec, MultiClass *CurMultiClass,
1600                   const std::string &Name, const std::string &Scoper);
1601
1602 } // End llvm namespace
1603
1604 #endif