X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fllvm%2FCodeGen%2FMachineConstantPool.h;h=628400322f606bd0750845b6f07a091d7b486a67;hb=75771885f89fd206bd38c1899469df09eef49a22;hp=280d54dbf804bb34e64af83bbf8958a7599a13cd;hpb=05ae98346a190d74c2c8799c3af2f8ca23e47c27;p=oota-llvm.git diff --git a/include/llvm/CodeGen/MachineConstantPool.h b/include/llvm/CodeGen/MachineConstantPool.h index 280d54dbf80..628400322f6 100644 --- a/include/llvm/CodeGen/MachineConstantPool.h +++ b/include/llvm/CodeGen/MachineConstantPool.h @@ -7,7 +7,8 @@ // //===----------------------------------------------------------------------===// // -/// @file This file declares the MachineConstantPool class which is an abstract +/// @file +/// This file declares the MachineConstantPool class which is an abstract /// constant pool to keep track of constants referenced by a function. // //===----------------------------------------------------------------------===// @@ -15,15 +16,17 @@ #ifndef LLVM_CODEGEN_MACHINECONSTANTPOOL_H #define LLVM_CODEGEN_MACHINECONSTANTPOOL_H -#include "llvm/ADT/FoldingSet.h" +#include "llvm/ADT/DenseSet.h" +#include "llvm/MC/SectionKind.h" #include +#include #include namespace llvm { -class AsmPrinter; class Constant; -class TargetData; +class FoldingSetNodeID; +class DataLayout; class TargetMachine; class Type; class MachineConstantPool; @@ -32,20 +35,28 @@ class raw_ostream; /// Abstract base class for all machine specific constantpool value subclasses. /// class MachineConstantPoolValue { - const Type *Ty; + virtual void anchor(); + Type *Ty; public: - explicit MachineConstantPoolValue(const Type *ty) : Ty(ty) {} + explicit MachineConstantPoolValue(Type *ty) : Ty(ty) {} virtual ~MachineConstantPoolValue() {} /// getType - get type of this MachineConstantPoolValue. /// - inline const Type *getType() const { return Ty; } + Type *getType() const { return Ty; } + + /// getRelocationInfo - This method classifies the entry according to + /// whether or not it may generate a relocation entry. This must be + /// conservative, so if it might codegen to a relocatable entry, it should say + /// so. The return values are the same as Constant::getRelocationInfo(). + virtual unsigned getRelocationInfo() const = 0; + virtual int getExistingMachineCPValue(MachineConstantPool *CP, unsigned Alignment) = 0; - virtual void AddSelectionDAGCSEId(FoldingSetNodeID &ID) = 0; + virtual void addSelectionDAGCSEId(FoldingSetNodeID &ID) = 0; /// print - Implement operator<< virtual void print(raw_ostream &O) const = 0; @@ -66,35 +77,51 @@ class MachineConstantPoolEntry { public: /// The constant itself. union { - Constant *ConstVal; + const Constant *ConstVal; MachineConstantPoolValue *MachineCPVal; } Val; - /// The offset of the constant from the start of the pool. The top bit is set - /// when Val is a MachineConstantPoolValue. - unsigned Offset; + /// The required alignment for this entry. The top bit is set when Val is + /// a target specific MachineConstantPoolValue. + unsigned Alignment; - MachineConstantPoolEntry(Constant *V, unsigned O) - : Offset(O) { - assert((int)Offset >= 0 && "Offset is too large"); + MachineConstantPoolEntry(const Constant *V, unsigned A) + : Alignment(A) { Val.ConstVal = V; } - MachineConstantPoolEntry(MachineConstantPoolValue *V, unsigned O) - : Offset(O){ - assert((int)Offset >= 0 && "Offset is too large"); + MachineConstantPoolEntry(MachineConstantPoolValue *V, unsigned A) + : Alignment(A) { Val.MachineCPVal = V; - Offset |= 1 << (sizeof(unsigned)*8-1); + Alignment |= 1U << (sizeof(unsigned)*CHAR_BIT-1); } + /// isMachineConstantPoolEntry - Return true if the MachineConstantPoolEntry + /// is indeed a target specific constantpool entry, not a wrapper over a + /// Constant. bool isMachineConstantPoolEntry() const { - return (int)Offset < 0; + return (int)Alignment < 0; } - int getOffset() const { - return Offset & ~(1 << (sizeof(unsigned)*8-1)); + int getAlignment() const { + return Alignment & ~(1 << (sizeof(unsigned)*CHAR_BIT-1)); } - const Type *getType() const; + Type *getType() const; + + /// getRelocationInfo - This method classifies the entry according to + /// whether or not it may generate a relocation entry. This must be + /// conservative, so if it might codegen to a relocatable entry, it should say + /// so. The return values are: + /// + /// 0: This constant pool entry is guaranteed to never have a relocation + /// applied to it (because it holds a simple constant like '4'). + /// 1: This entry has relocations, but the entries are guaranteed to be + /// resolvable by the static linker, so the dynamic linker will never see + /// them. + /// 2: This entry may have arbitrary relocations. + unsigned getRelocationInfo() const; + + SectionKind getSectionKind(const DataLayout *DL) const; }; /// The MachineConstantPool class keeps track of constants referenced by a @@ -108,23 +135,28 @@ public: /// address of the function constant pool values. /// @brief The machine constant pool. class MachineConstantPool { - const TargetData *TD; ///< The machine's TargetData. - unsigned PoolAlignment; ///< The alignment for the pool. + unsigned PoolAlignment; ///< The alignment for the pool. std::vector Constants; ///< The pool of constants. + /// MachineConstantPoolValues that use an existing MachineConstantPoolEntry. + DenseSet MachineCPVsSharingEntries; + const DataLayout &DL; + + const DataLayout &getDataLayout() const { return DL; } + public: /// @brief The only constructor. - explicit MachineConstantPool(const TargetData *td) - : TD(td), PoolAlignment(1) {} + explicit MachineConstantPool(const DataLayout &DL) + : PoolAlignment(1), DL(DL) {} ~MachineConstantPool(); - /// getConstantPoolAlignment - Return the log2 of the alignment required by + /// getConstantPoolAlignment - Return the alignment required by /// the whole constant pool, of which the first element must be aligned. unsigned getConstantPoolAlignment() const { return PoolAlignment; } /// getConstantPoolIndex - Create a new entry in the constant pool or return - /// an existing one. User must specify the log2 of the minimum required - /// alignment for the object. - unsigned getConstantPoolIndex(Constant *C, unsigned Alignment); + /// an existing one. User must specify the minimum required alignment for + /// the object. + unsigned getConstantPoolIndex(const Constant *C, unsigned Alignment); unsigned getConstantPoolIndex(MachineConstantPoolValue *V,unsigned Alignment); /// isEmpty - Return true if this constant pool contains no constants.