X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fllvm%2FConstant.h;h=62b75a77fb395a41ead25232165169282cbcde8d;hb=a3af370dc12f6d5100da5d614ab0a62da135569a;hp=d85771a09a47018ee1bba007e0ac0d2cb8ef67dd;hpb=13d57320bd212483463d4f8992d5787b29eda5df;p=oota-llvm.git diff --git a/include/llvm/Constant.h b/include/llvm/Constant.h index d85771a09a4..62b75a77fb3 100644 --- a/include/llvm/Constant.h +++ b/include/llvm/Constant.h @@ -17,6 +17,22 @@ #include "llvm/User.h" namespace llvm { + template class SmallVectorImpl; + class LLVMContext; + + /// If object contains references to other objects, then relocations are + /// usually required for emission of such object (especially in PIC mode). One + /// usually distinguishes local and global relocations. Local relocations are + /// made wrt objects in the same module and these objects have local (internal + /// or private) linkage. Global relocations are made wrt externally visible + /// objects. In most cases local relocations can be resolved via so-called + /// 'pre-link' technique. + namespace Reloc { + const unsigned None = 0; + const unsigned Local = 1 << 0; ///< Local relocations are required + const unsigned Global = 1 << 1; ///< Global relocations are required + const unsigned LocalOrGlobal = Local | Global; + } /// This is an important base class in LLVM. It provides the common facilities /// of all constant values in an LLVM program. A constant is a value that is @@ -32,43 +48,38 @@ namespace llvm { /// Note that Constants are immutable (once created they never change) /// and are fully shared by structural equivalence. This means that two /// structurally equivalent constants will always have the same address. -/// Constant's are created on demand as needed and never deleted: thus clients +/// Constants are created on demand as needed and never deleted: thus clients /// don't have to worry about the lifetime of the objects. /// @brief LLVM Constant Representation class Constant : public User { void operator=(const Constant &); // Do not implement Constant(const Constant &); // Do not implement + protected: Constant(const Type *ty, ValueTy vty, Use *Ops, unsigned NumOps) : User(ty, vty, Ops, NumOps) {} void destroyConstantImpl(); public: - /// Static constructor to get a '0' constant of arbitrary type... - /// - static Constant *getNullValue(const Type *Ty); - - /// Static constructor to get a '-1' constant. This supports integers and - /// vectors. - /// - static Constant *getAllOnesValue(const Type *Ty); - /// isNullValue - Return true if this is the value that would be returned by /// getNullValue. virtual bool isNullValue() const = 0; - virtual void print(std::ostream &O) const; - void print(std::ostream *O) const { if (O) print(*O); } - + /// isNegativeZeroValue - Return true if the value is what would be returned + /// by getZeroValueForNegation. + virtual bool isNegativeZeroValue() const { return isNullValue(); } + /// canTrap - Return true if evaluation of this constant could trap. This is /// true for things like constant expressions that could divide by zero. bool canTrap() const; - /// ContaintsRelocations - Return true if the constant value contains - /// relocations which cannot be resolved at compile time. - bool ContainsRelocations() const; + /// ContainsRelocations - Return true if the constant value contains + /// relocations which cannot be resolved at compile time. Note that answer is + /// not exclusive: there can be possibility that relocations of other kind are + /// required as well. + bool ContainsRelocations(unsigned Kind = Reloc::LocalOrGlobal) const; - // Specialize get/setOperand for Constant's as their operands are always + // Specialize get/setOperand for Constants as their operands are always // constants as well. Constant *getOperand(unsigned i) { return static_cast(User::getOperand(i)); @@ -79,6 +90,13 @@ public: void setOperand(unsigned i, Constant *C) { User::setOperand(i, C); } + + /// getVectorElements - This method, which is only valid on constant of vector + /// type, returns the elements of the vector in the specified smallvector. + /// This handles breaking down a vector undef into undef elements, etc. For + /// constant exprs and other cases we can't handle, we return an empty vector. + void getVectorElements(LLVMContext &Context, + SmallVectorImpl &Elts) const; /// destroyConstant - Called if some element of this constant is no longer /// valid. At this point only other constants may be on the use_list for this @@ -115,13 +133,6 @@ public: "implemented for all constants that have operands!"); assert(0 && "Constants that do not have operands cannot be using 'From'!"); } - - /// getStringValue - Turn an LLVM constant pointer that eventually points to a - /// global into a string value. Return an empty string if we can't do it. - /// Parameter Chop determines if the result is chopped at the first null - /// terminator. - /// - std::string getStringValue(bool Chop = true, unsigned Offset = 0); }; } // End llvm namespace