| //===- Record.h - Classes to represent Table Records ------------*- C++ -*-===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file was developed by the LLVM research group and is distributed under |
| // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file defines the main TableGen data structures, including the TableGen |
| // types, values, and high-level data structures. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef RECORD_H |
| #define RECORD_H |
| |
| #include <string> |
| #include <vector> |
| #include <map> |
| #include <iostream> |
| #include <cassert> |
| |
| namespace llvm { |
| |
| // RecTy subclasses. |
| class BitRecTy; |
| class BitsRecTy; |
| class IntRecTy; |
| class StringRecTy; |
| class ListRecTy; |
| class CodeRecTy; |
| class DagRecTy; |
| class RecordRecTy; |
| |
| // Init subclasses. |
| struct Init; |
| class UnsetInit; |
| class BitInit; |
| class BitsInit; |
| class IntInit; |
| class StringInit; |
| class CodeInit; |
| class ListInit; |
| class BinOpInit; |
| class DefInit; |
| class DagInit; |
| class TypedInit; |
| class VarInit; |
| class FieldInit; |
| class VarBitInit; |
| class VarListElementInit; |
| |
| // Other classes. |
| class Record; |
| class RecordVal; |
| |
| //===----------------------------------------------------------------------===// |
| // Type Classes |
| //===----------------------------------------------------------------------===// |
| |
| struct RecTy { |
| virtual ~RecTy() {} |
| |
| virtual void print(std::ostream &OS) const = 0; |
| void dump() const; |
| |
| /// typeIsConvertibleTo - Return true if all values of 'this' type can be |
| /// converted to the specified type. |
| virtual bool typeIsConvertibleTo(const RecTy *RHS) const = 0; |
| |
| public: // These methods should only be called from subclasses of Init |
| virtual Init *convertValue( UnsetInit *UI) { return 0; } |
| virtual Init *convertValue( BitInit *BI) { return 0; } |
| virtual Init *convertValue( BitsInit *BI) { return 0; } |
| virtual Init *convertValue( IntInit *II) { return 0; } |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( BinOpInit *UI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI) { return 0; } |
| virtual Init *convertValue( VarInit *VI) { |
| return convertValue((TypedInit*)VI); |
| } |
| virtual Init *convertValue( FieldInit *FI) { |
| return convertValue((TypedInit*)FI); |
| } |
| |
| public: // These methods should only be called by subclasses of RecTy. |
| // baseClassOf - These virtual methods should be overloaded to return true iff |
| // all values of type 'RHS' can be converted to the 'this' type. |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| }; |
| |
| inline std::ostream &operator<<(std::ostream &OS, const RecTy &Ty) { |
| Ty.print(OS); |
| return OS; |
| } |
| |
| |
| /// BitRecTy - 'bit' - Represent a single bit |
| /// |
| class BitRecTy : public RecTy { |
| public: |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI) { return (Init*)BI; } |
| virtual Init *convertValue( BitsInit *BI); |
| virtual Init *convertValue( IntInit *II); |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return (Init*)VB; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| void print(std::ostream &OS) const { OS << "bit"; } |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const; |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| |
| }; |
| |
| |
| // BitsRecTy - 'bits<n>' - Represent a fixed number of bits |
| /// BitsRecTy - 'bits<n>' - Represent a fixed number of bits |
| /// |
| class BitsRecTy : public RecTy { |
| unsigned Size; |
| public: |
| BitsRecTy(unsigned Sz) : Size(Sz) {} |
| |
| unsigned getNumBits() const { return Size; } |
| |
| virtual Init *convertValue( UnsetInit *UI); |
| virtual Init *convertValue( BitInit *UI); |
| virtual Init *convertValue( BitsInit *BI); |
| virtual Init *convertValue( IntInit *II); |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| |
| void print(std::ostream &OS) const { OS << "bits<" << Size << ">"; } |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return Size == 1; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { |
| return RHS->Size == Size; |
| } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| |
| }; |
| |
| |
| /// IntRecTy - 'int' - Represent an integer value of no particular size |
| /// |
| class IntRecTy : public RecTy { |
| public: |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI); |
| virtual Init *convertValue( BitsInit *BI); |
| virtual Init *convertValue( IntInit *II) { return (Init*)II; } |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| |
| void print(std::ostream &OS) const { OS << "int"; } |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| |
| }; |
| |
| /// StringRecTy - 'string' - Represent an string value |
| /// |
| class StringRecTy : public RecTy { |
| public: |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI) { return 0; } |
| virtual Init *convertValue( BitsInit *BI) { return 0; } |
| virtual Init *convertValue( IntInit *II) { return 0; } |
| virtual Init *convertValue(StringInit *SI) { return (Init*)SI; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( BinOpInit *BO); |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| void print(std::ostream &OS) const { OS << "string"; } |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| }; |
| |
| // ListRecTy - 'list<Ty>' - Represent a list of values, all of which must be of |
| // the specified type. |
| /// ListRecTy - 'list<Ty>' - Represent a list of values, all of which must |
| /// be of the specified type. |
| /// |
| class ListRecTy : public RecTy { |
| RecTy *Ty; |
| public: |
| ListRecTy(RecTy *T) : Ty(T) {} |
| |
| RecTy *getElementType() const { return Ty; } |
| |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI) { return 0; } |
| virtual Init *convertValue( BitsInit *BI) { return 0; } |
| virtual Init *convertValue( IntInit *II) { return 0; } |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI); |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| void print(std::ostream &OS) const; |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { |
| return RHS->getElementType()->typeIsConvertibleTo(Ty); |
| } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| }; |
| |
| /// CodeRecTy - 'code' - Represent an code fragment, function or method. |
| /// |
| class CodeRecTy : public RecTy { |
| public: |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI) { return 0; } |
| virtual Init *convertValue( BitsInit *BI) { return 0; } |
| virtual Init *convertValue( IntInit *II) { return 0; } |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return (Init*)CI; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| |
| void print(std::ostream &OS) const { OS << "code"; } |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| }; |
| |
| /// DagRecTy - 'dag' - Represent a dag fragment |
| /// |
| class DagRecTy : public RecTy { |
| public: |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI) { return 0; } |
| virtual Init *convertValue( BitsInit *BI) { return 0; } |
| virtual Init *convertValue( IntInit *II) { return 0; } |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI) { return 0; } |
| virtual Init *convertValue( DagInit *CI) { return (Init*)CI; } |
| virtual Init *convertValue( TypedInit *TI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| void print(std::ostream &OS) const { OS << "dag"; } |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return true; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const { return false; } |
| }; |
| |
| |
| /// RecordRecTy - '[classname]' - Represent an instance of a class, such as: |
| /// (R32 X = EAX). |
| /// |
| class RecordRecTy : public RecTy { |
| Record *Rec; |
| public: |
| RecordRecTy(Record *R) : Rec(R) {} |
| |
| Record *getRecord() const { return Rec; } |
| |
| virtual Init *convertValue( UnsetInit *UI) { return (Init*)UI; } |
| virtual Init *convertValue( BitInit *BI) { return 0; } |
| virtual Init *convertValue( BitsInit *BI) { return 0; } |
| virtual Init *convertValue( IntInit *II) { return 0; } |
| virtual Init *convertValue(StringInit *SI) { return 0; } |
| virtual Init *convertValue( ListInit *LI) { return 0; } |
| virtual Init *convertValue( CodeInit *CI) { return 0; } |
| virtual Init *convertValue(VarBitInit *VB) { return 0; } |
| virtual Init *convertValue( DefInit *DI); |
| virtual Init *convertValue( DagInit *DI) { return 0; } |
| virtual Init *convertValue( TypedInit *VI); |
| virtual Init *convertValue( VarInit *VI) { return RecTy::convertValue(VI);} |
| virtual Init *convertValue( FieldInit *FI) { return RecTy::convertValue(FI);} |
| |
| void print(std::ostream &OS) const; |
| |
| bool typeIsConvertibleTo(const RecTy *RHS) const { |
| return RHS->baseClassOf(this); |
| } |
| virtual bool baseClassOf(const BitRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const BitsRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const IntRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const StringRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const ListRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const CodeRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const DagRecTy *RHS) const { return false; } |
| virtual bool baseClassOf(const RecordRecTy *RHS) const; |
| }; |
| |
| |
| |
| //===----------------------------------------------------------------------===// |
| // Initializer Classes |
| //===----------------------------------------------------------------------===// |
| |
| struct Init { |
| virtual ~Init() {} |
| |
| /// isComplete - This virtual method should be overridden by values that may |
| /// not be completely specified yet. |
| virtual bool isComplete() const { return true; } |
| |
| /// print - Print out this value. |
| virtual void print(std::ostream &OS) const = 0; |
| |
| /// dump - Debugging method that may be called through a debugger, just |
| /// invokes print on cerr. |
| void dump() const; |
| |
| /// convertInitializerTo - This virtual function is a simple call-back |
| /// function that should be overridden to call the appropriate |
| /// RecTy::convertValue method. |
| /// |
| virtual Init *convertInitializerTo(RecTy *Ty) = 0; |
| |
| /// convertInitializerBitRange - This method is used to implement the bitrange |
| /// selection operator. Given an initializer, it selects the specified bits |
| /// out, returning them as a new init of bits type. If it is not legal to use |
| /// the bit subscript operator on this initializer, return null. |
| /// |
| virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits) { |
| return 0; |
| } |
| |
| /// convertInitListSlice - This method is used to implement the list slice |
| /// selection operator. Given an initializer, it selects the specified list |
| /// elements, returning them as a new init of list type. If it is not legal |
| /// to take a slice of this, return null. |
| /// |
| virtual Init *convertInitListSlice(const std::vector<unsigned> &Elements) { |
| return 0; |
| } |
| |
| /// getFieldType - This method is used to implement the FieldInit class. |
| /// Implementors of this method should return the type of the named field if |
| /// they are of record type. |
| /// |
| virtual RecTy *getFieldType(const std::string &FieldName) const { return 0; } |
| |
| /// getFieldInit - This method complements getFieldType to return the |
| /// initializer for the specified field. If getFieldType returns non-null |
| /// this method should return non-null, otherwise it returns null. |
| /// |
| virtual Init *getFieldInit(Record &R, const std::string &FieldName) const { |
| return 0; |
| } |
| |
| /// resolveReferences - This method is used by classes that refer to other |
| /// variables which may not be defined at the time they expression is formed. |
| /// If a value is set for the variable later, this method will be called on |
| /// users of the value to allow the value to propagate out. |
| /// |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV) { |
| return this; |
| } |
| }; |
| |
| inline std::ostream &operator<<(std::ostream &OS, const Init &I) { |
| I.print(OS); return OS; |
| } |
| |
| |
| /// UnsetInit - ? - Represents an uninitialized value |
| /// |
| class UnsetInit : public Init { |
| public: |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| virtual bool isComplete() const { return false; } |
| virtual void print(std::ostream &OS) const { OS << "?"; } |
| }; |
| |
| |
| /// BitInit - true/false - Represent a concrete initializer for a bit. |
| /// |
| class BitInit : public Init { |
| bool Value; |
| public: |
| BitInit(bool V) : Value(V) {} |
| |
| bool getValue() const { return Value; } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| virtual void print(std::ostream &OS) const { OS << (Value ? "1" : "0"); } |
| }; |
| |
| /// BitsInit - { a, b, c } - Represents an initializer for a BitsRecTy value. |
| /// It contains a vector of bits, whose size is determined by the type. |
| /// |
| class BitsInit : public Init { |
| std::vector<Init*> Bits; |
| public: |
| BitsInit(unsigned Size) : Bits(Size) {} |
| |
| unsigned getNumBits() const { return Bits.size(); } |
| |
| Init *getBit(unsigned Bit) const { |
| assert(Bit < Bits.size() && "Bit index out of range!"); |
| return Bits[Bit]; |
| } |
| void setBit(unsigned Bit, Init *V) { |
| assert(Bit < Bits.size() && "Bit index out of range!"); |
| assert(Bits[Bit] == 0 && "Bit already set!"); |
| Bits[Bit] = V; |
| } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits); |
| |
| virtual bool isComplete() const { |
| for (unsigned i = 0; i != getNumBits(); ++i) |
| if (!getBit(i)->isComplete()) return false; |
| return true; |
| } |
| virtual void print(std::ostream &OS) const; |
| |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| |
| // printXX - Print this bitstream with the specified format, returning true if |
| // it is not possible. |
| bool printInHex(std::ostream &OS) const; |
| bool printAsVariable(std::ostream &OS) const; |
| bool printAsUnset(std::ostream &OS) const; |
| }; |
| |
| |
| /// IntInit - 7 - Represent an initalization by a literal integer value. |
| /// |
| class IntInit : public Init { |
| int Value; |
| public: |
| IntInit(int V) : Value(V) {} |
| |
| int getValue() const { return Value; } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits); |
| |
| virtual void print(std::ostream &OS) const { OS << Value; } |
| }; |
| |
| |
| /// StringInit - "foo" - Represent an initialization by a string value. |
| /// |
| class StringInit : public Init { |
| std::string Value; |
| public: |
| StringInit(const std::string &V) : Value(V) {} |
| |
| const std::string &getValue() const { return Value; } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| virtual void print(std::ostream &OS) const { OS << "\"" << Value << "\""; } |
| }; |
| |
| /// CodeInit - "[{...}]" - Represent a code fragment. |
| /// |
| class CodeInit : public Init { |
| std::string Value; |
| public: |
| CodeInit(const std::string &V) : Value(V) {} |
| |
| const std::string getValue() const { return Value; } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| virtual void print(std::ostream &OS) const { OS << "[{" << Value << "}]"; } |
| }; |
| |
| /// ListInit - [AL, AH, CL] - Represent a list of defs |
| /// |
| class ListInit : public Init { |
| std::vector<Init*> Values; |
| public: |
| ListInit(std::vector<Init*> &Vs) { |
| Values.swap(Vs); |
| } |
| |
| unsigned getSize() const { return Values.size(); } |
| Init *getElement(unsigned i) const { |
| assert(i < Values.size() && "List element index out of range!"); |
| return Values[i]; |
| } |
| |
| Init *convertInitListSlice(const std::vector<unsigned> &Elements); |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| /// resolveReferences - This method is used by classes that refer to other |
| /// variables which may not be defined at the time they expression is formed. |
| /// If a value is set for the variable later, this method will be called on |
| /// users of the value to allow the value to propagate out. |
| /// |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| |
| virtual void print(std::ostream &OS) const; |
| }; |
| |
| /// BinOpInit - !op (X, Y) - Combine two inits. |
| /// |
| class BinOpInit : public Init { |
| public: |
| enum BinaryOp { SHL, SRA, SRL, STRCONCAT }; |
| private: |
| BinaryOp Opc; |
| Init *LHS, *RHS; |
| public: |
| BinOpInit(BinaryOp opc, Init *lhs, Init *rhs) : Opc(opc), LHS(lhs), RHS(rhs) { |
| } |
| |
| BinaryOp getOpcode() const { return Opc; } |
| Init *getLHS() const { return LHS; } |
| Init *getRHS() const { return RHS; } |
| |
| // Fold - If possible, fold this to a simpler init. Return this if not |
| // possible to fold. |
| Init *Fold(); |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| |
| virtual void print(std::ostream &OS) const; |
| }; |
| |
| |
| |
| /// TypedInit - This is the common super-class of types that have a specific, |
| /// explicit, type. |
| /// |
| class TypedInit : public Init { |
| RecTy *Ty; |
| public: |
| TypedInit(RecTy *T) : Ty(T) {} |
| |
| RecTy *getType() const { return Ty; } |
| |
| virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits); |
| virtual Init *convertInitListSlice(const std::vector<unsigned> &Elements); |
| |
| /// resolveBitReference - This method is used to implement |
| /// VarBitInit::resolveReferences. If the bit is able to be resolved, we |
| /// simply return the resolved value, otherwise we return null. |
| /// |
| virtual Init *resolveBitReference(Record &R, const RecordVal *RV, |
| unsigned Bit) = 0; |
| |
| /// resolveListElementReference - This method is used to implement |
| /// VarListElementInit::resolveReferences. If the list element is resolvable |
| /// now, we return the resolved value, otherwise we return null. |
| virtual Init *resolveListElementReference(Record &R, const RecordVal *RV, |
| unsigned Elt) = 0; |
| }; |
| |
| /// VarInit - 'Opcode' - Represent a reference to an entire variable object. |
| /// |
| class VarInit : public TypedInit { |
| std::string VarName; |
| public: |
| VarInit(const std::string &VN, RecTy *T) : TypedInit(T), VarName(VN) {} |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| const std::string &getName() const { return VarName; } |
| |
| virtual Init *resolveBitReference(Record &R, const RecordVal *RV, |
| unsigned Bit); |
| virtual Init *resolveListElementReference(Record &R, const RecordVal *RV, |
| unsigned Elt); |
| |
| virtual RecTy *getFieldType(const std::string &FieldName) const; |
| virtual Init *getFieldInit(Record &R, const std::string &FieldName) const; |
| |
| /// resolveReferences - This method is used by classes that refer to other |
| /// variables which may not be defined at the time they expression is formed. |
| /// If a value is set for the variable later, this method will be called on |
| /// users of the value to allow the value to propagate out. |
| /// |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| |
| virtual void print(std::ostream &OS) const { OS << VarName; } |
| }; |
| |
| |
| /// VarBitInit - Opcode{0} - Represent access to one bit of a variable or field. |
| /// |
| class VarBitInit : public Init { |
| TypedInit *TI; |
| unsigned Bit; |
| public: |
| VarBitInit(TypedInit *T, unsigned B) : TI(T), Bit(B) { |
| assert(T->getType() && dynamic_cast<BitsRecTy*>(T->getType()) && |
| ((BitsRecTy*)T->getType())->getNumBits() > B && |
| "Illegal VarBitInit expression!"); |
| } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| TypedInit *getVariable() const { return TI; } |
| unsigned getBitNum() const { return Bit; } |
| |
| virtual void print(std::ostream &OS) const { |
| TI->print(OS); OS << "{" << Bit << "}"; |
| } |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| }; |
| |
| /// VarListElementInit - List[4] - Represent access to one element of a var or |
| /// field. |
| class VarListElementInit : public TypedInit { |
| TypedInit *TI; |
| unsigned Element; |
| public: |
| VarListElementInit(TypedInit *T, unsigned E) |
| : TypedInit(dynamic_cast<ListRecTy*>(T->getType())->getElementType()), |
| TI(T), Element(E) { |
| assert(T->getType() && dynamic_cast<ListRecTy*>(T->getType()) && |
| "Illegal VarBitInit expression!"); |
| } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| TypedInit *getVariable() const { return TI; } |
| unsigned getElementNum() const { return Element; } |
| |
| virtual Init *resolveBitReference(Record &R, const RecordVal *RV, |
| unsigned Bit); |
| |
| /// resolveListElementReference - This method is used to implement |
| /// VarListElementInit::resolveReferences. If the list element is resolvable |
| /// now, we return the resolved value, otherwise we return null. |
| virtual Init *resolveListElementReference(Record &R, const RecordVal *RV, |
| unsigned Elt); |
| |
| virtual void print(std::ostream &OS) const { |
| TI->print(OS); OS << "[" << Element << "]"; |
| } |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| }; |
| |
| /// DefInit - AL - Represent a reference to a 'def' in the description |
| /// |
| class DefInit : public Init { |
| Record *Def; |
| public: |
| DefInit(Record *D) : Def(D) {} |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| Record *getDef() const { return Def; } |
| |
| //virtual Init *convertInitializerBitRange(const std::vector<unsigned> &Bits); |
| |
| virtual RecTy *getFieldType(const std::string &FieldName) const; |
| virtual Init *getFieldInit(Record &R, const std::string &FieldName) const; |
| |
| virtual void print(std::ostream &OS) const; |
| }; |
| |
| |
| /// FieldInit - X.Y - Represent a reference to a subfield of a variable |
| /// |
| class FieldInit : public TypedInit { |
| Init *Rec; // Record we are referring to |
| std::string FieldName; // Field we are accessing |
| public: |
| FieldInit(Init *R, const std::string &FN) |
| : TypedInit(R->getFieldType(FN)), Rec(R), FieldName(FN) { |
| assert(getType() && "FieldInit with non-record type!"); |
| } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| virtual Init *resolveBitReference(Record &R, const RecordVal *RV, |
| unsigned Bit); |
| virtual Init *resolveListElementReference(Record &R, const RecordVal *RV, |
| unsigned Elt); |
| |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| |
| virtual void print(std::ostream &OS) const { |
| Rec->print(OS); OS << "." << FieldName; |
| } |
| }; |
| |
| /// DagInit - (v a, b) - Represent a DAG tree value. DAG inits are required |
| /// to have at least one value then a (possibly empty) list of arguments. Each |
| /// argument can have a name associated with it. |
| /// |
| class DagInit : public Init { |
| Init *Val; |
| std::vector<Init*> Args; |
| std::vector<std::string> ArgNames; |
| public: |
| DagInit(Init *V, const std::vector<std::pair<Init*, std::string> > &args) |
| : Val(V) { |
| Args.reserve(args.size()); |
| ArgNames.reserve(args.size()); |
| for (unsigned i = 0, e = args.size(); i != e; ++i) { |
| Args.push_back(args[i].first); |
| ArgNames.push_back(args[i].second); |
| } |
| } |
| DagInit(Init *V, const std::vector<Init*> &args, |
| const std::vector<std::string> &argNames) |
| : Val(V), Args(args), ArgNames(argNames) { |
| } |
| |
| virtual Init *convertInitializerTo(RecTy *Ty) { |
| return Ty->convertValue(this); |
| } |
| |
| Init *getOperator() const { return Val; } |
| |
| unsigned getNumArgs() const { return Args.size(); } |
| Init *getArg(unsigned Num) const { |
| assert(Num < Args.size() && "Arg number out of range!"); |
| return Args[Num]; |
| } |
| const std::string &getArgName(unsigned Num) const { |
| assert(Num < ArgNames.size() && "Arg number out of range!"); |
| return ArgNames[Num]; |
| } |
| |
| void setArg(unsigned Num, Init *I) { |
| assert(Num < Args.size() && "Arg number out of range!"); |
| Args[Num] = I; |
| } |
| |
| virtual Init *resolveReferences(Record &R, const RecordVal *RV); |
| |
| virtual void print(std::ostream &OS) const; |
| }; |
| |
| //===----------------------------------------------------------------------===// |
| // High-Level Classes |
| //===----------------------------------------------------------------------===// |
| |
| class RecordVal { |
| std::string Name; |
| RecTy *Ty; |
| unsigned Prefix; |
| Init *Value; |
| public: |
| RecordVal(const std::string &N, RecTy *T, unsigned P); |
| |
| const std::string &getName() const { return Name; } |
| |
| unsigned getPrefix() const { return Prefix; } |
| RecTy *getType() const { return Ty; } |
| Init *getValue() const { return Value; } |
| |
| bool setValue(Init *V) { |
| if (V) { |
| Value = V->convertInitializerTo(Ty); |
| return Value == 0; |
| } |
| Value = 0; |
| return false; |
| } |
| |
| void dump() const; |
| void print(std::ostream &OS, bool PrintSem = true) const; |
| }; |
| |
| inline std::ostream &operator<<(std::ostream &OS, const RecordVal &RV) { |
| RV.print(OS << " "); |
| return OS; |
| } |
| |
| class Record { |
| std::string Name; |
| std::vector<std::string> TemplateArgs; |
| std::vector<RecordVal> Values; |
| std::vector<Record*> SuperClasses; |
| public: |
| |
| Record(const std::string &N) : Name(N) {} |
| ~Record() {} |
| |
| const std::string &getName() const { return Name; } |
| void setName(const std::string &Name); // Also updates RecordKeeper. |
| const std::vector<std::string> &getTemplateArgs() const { |
| return TemplateArgs; |
| } |
| const std::vector<RecordVal> &getValues() const { return Values; } |
| const std::vector<Record*> &getSuperClasses() const { return SuperClasses; } |
| |
| bool isTemplateArg(const std::string &Name) const { |
| for (unsigned i = 0, e = TemplateArgs.size(); i != e; ++i) |
| if (TemplateArgs[i] == Name) return true; |
| return false; |
| } |
| |
| const RecordVal *getValue(const std::string &Name) const { |
| for (unsigned i = 0, e = Values.size(); i != e; ++i) |
| if (Values[i].getName() == Name) return &Values[i]; |
| return 0; |
| } |
| RecordVal *getValue(const std::string &Name) { |
| for (unsigned i = 0, e = Values.size(); i != e; ++i) |
| if (Values[i].getName() == Name) return &Values[i]; |
| return 0; |
| } |
| |
| void addTemplateArg(const std::string &Name) { |
| assert(!isTemplateArg(Name) && "Template arg already defined!"); |
| TemplateArgs.push_back(Name); |
| } |
| |
| void addValue(const RecordVal &RV) { |
| assert(getValue(RV.getName()) == 0 && "Value already added!"); |
| Values.push_back(RV); |
| } |
| |
| void removeValue(const std::string &Name) { |
| assert(getValue(Name) && "Cannot remove an entry that does not exist!"); |
| for (unsigned i = 0, e = Values.size(); i != e; ++i) |
| if (Values[i].getName() == Name) { |
| Values.erase(Values.begin()+i); |
| return; |
| } |
| assert(0 && "Name does not exist in record!"); |
| } |
| |
| bool isSubClassOf(Record *R) const { |
| for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i) |
| if (SuperClasses[i] == R) |
| return true; |
| return false; |
| } |
| |
| bool isSubClassOf(const std::string &Name) const { |
| for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i) |
| if (SuperClasses[i]->getName() == Name) |
| return true; |
| return false; |
| } |
| |
| void addSuperClass(Record *R) { |
| assert(!isSubClassOf(R) && "Already subclassing record!"); |
| SuperClasses.push_back(R); |
| } |
| |
| /// resolveReferences - If there are any field references that refer to fields |
| /// that have been filled in, we can propagate the values now. |
| /// |
| void resolveReferences() { resolveReferencesTo(0); } |
| |
| /// resolveReferencesTo - If anything in this record refers to RV, replace the |
| /// reference to RV with the RHS of RV. If RV is null, we resolve all |
| /// possible references. |
| void resolveReferencesTo(const RecordVal *RV); |
| |
| void dump() const; |
| |
| //===--------------------------------------------------------------------===// |
| // High-level methods useful to tablegen back-ends |
| // |
| |
| /// getValueInit - Return the initializer for a value with the specified name, |
| /// or throw an exception if the field does not exist. |
| /// |
| Init *getValueInit(const std::string &FieldName) const; |
| |
| /// getValueAsString - This method looks up the specified field and returns |
| /// its value as a string, throwing an exception if the field does not exist |
| /// or if the value is not a string. |
| /// |
| std::string getValueAsString(const std::string &FieldName) const; |
| |
| /// getValueAsBitsInit - This method looks up the specified field and returns |
| /// its value as a BitsInit, throwing an exception if the field does not exist |
| /// or if the value is not the right type. |
| /// |
| BitsInit *getValueAsBitsInit(const std::string &FieldName) const; |
| |
| /// getValueAsListInit - This method looks up the specified field and returns |
| /// its value as a ListInit, throwing an exception if the field does not exist |
| /// or if the value is not the right type. |
| /// |
| ListInit *getValueAsListInit(const std::string &FieldName) const; |
| |
| /// getValueAsListOfDefs - This method looks up the specified field and |
| /// returnsits value as a vector of records, throwing an exception if the |
| /// field does not exist or if the value is not the right type. |
| /// |
| std::vector<Record*> getValueAsListOfDefs(const std::string &FieldName) const; |
| |
| /// getValueAsDef - This method looks up the specified field and returns its |
| /// value as a Record, throwing an exception if the field does not exist or if |
| /// the value is not the right type. |
| /// |
| Record *getValueAsDef(const std::string &FieldName) const; |
| |
| /// getValueAsBit - This method looks up the specified field and returns its |
| /// value as a bit, throwing an exception if the field does not exist or if |
| /// the value is not the right type. |
| /// |
| bool getValueAsBit(const std::string &FieldName) const; |
| |
| /// getValueAsInt - This method looks up the specified field and returns its |
| /// value as an int, throwing an exception if the field does not exist or if |
| /// the value is not the right type. |
| /// |
| int getValueAsInt(const std::string &FieldName) const; |
| |
| /// getValueAsDag - This method looks up the specified field and returns its |
| /// value as an Dag, throwing an exception if the field does not exist or if |
| /// the value is not the right type. |
| /// |
| DagInit *getValueAsDag(const std::string &FieldName) const; |
| |
| /// getValueAsCode - This method looks up the specified field and returns |
| /// its value as the string data in a CodeInit, throwing an exception if the |
| /// field does not exist or if the value is not a code object. |
| /// |
| std::string getValueAsCode(const std::string &FieldName) const; |
| }; |
| |
| std::ostream &operator<<(std::ostream &OS, const Record &R); |
| |
| class RecordKeeper { |
| std::map<std::string, Record*> Classes, Defs; |
| public: |
| ~RecordKeeper() { |
| for (std::map<std::string, Record*>::iterator I = Classes.begin(), |
| E = Classes.end(); I != E; ++I) |
| delete I->second; |
| for (std::map<std::string, Record*>::iterator I = Defs.begin(), |
| E = Defs.end(); I != E; ++I) |
| delete I->second; |
| } |
| |
| const std::map<std::string, Record*> &getClasses() const { return Classes; } |
| const std::map<std::string, Record*> &getDefs() const { return Defs; } |
| |
| Record *getClass(const std::string &Name) const { |
| std::map<std::string, Record*>::const_iterator I = Classes.find(Name); |
| return I == Classes.end() ? 0 : I->second; |
| } |
| Record *getDef(const std::string &Name) const { |
| std::map<std::string, Record*>::const_iterator I = Defs.find(Name); |
| return I == Defs.end() ? 0 : I->second; |
| } |
| void addClass(Record *R) { |
| assert(getClass(R->getName()) == 0 && "Class already exists!"); |
| Classes.insert(std::make_pair(R->getName(), R)); |
| } |
| void addDef(Record *R) { |
| assert(getDef(R->getName()) == 0 && "Def already exists!"); |
| Defs.insert(std::make_pair(R->getName(), R)); |
| } |
| |
| /// removeClass - Remove, but do not delete, the specified record. |
| /// |
| void removeClass(const std::string &Name) { |
| assert(Classes.count(Name) && "Class does not exist!"); |
| Classes.erase(Name); |
| } |
| /// removeDef - Remove, but do not delete, the specified record. |
| /// |
| void removeDef(const std::string &Name) { |
| assert(Defs.count(Name) && "Def does not exist!"); |
| Defs.erase(Name); |
| } |
| |
| //===--------------------------------------------------------------------===// |
| // High-level helper methods, useful for tablegen backends... |
| |
| /// getAllDerivedDefinitions - This method returns all concrete definitions |
| /// that derive from the specified class name. If a class with the specified |
| /// name does not exist, an exception is thrown. |
| std::vector<Record*> |
| getAllDerivedDefinitions(const std::string &ClassName) const; |
| |
| |
| void dump() const; |
| }; |
| |
| std::ostream &operator<<(std::ostream &OS, const RecordKeeper &RK); |
| |
| extern RecordKeeper Records; |
| |
| } // End llvm namespace |
| |
| #endif |