#ifndef LLVM_CODEGEN_PSEUDOSOURCEVALUE_H
#define LLVM_CODEGEN_PSEUDOSOURCEVALUE_H
-#include "llvm/Value.h"
+#include "llvm/IR/Value.h"
namespace llvm {
+ class MachineFrameInfo;
+ class MachineMemOperand;
+ class raw_ostream;
+
+ raw_ostream &operator<<(raw_ostream &OS, const MachineMemOperand &MMO);
+
/// PseudoSourceValue - Special value supplied for machine level alias
- /// analysis. It indicates that the a memory access references the functions
+ /// analysis. It indicates that a memory access references the functions
/// stack frame (e.g., a spill slot), below the stack frame (e.g., argument
/// space), or constant pool.
- class PseudoSourceValue : public Value {
+ class PseudoSourceValue {
+ private:
+ friend raw_ostream &llvm::operator<<(raw_ostream &OS,
+ const MachineMemOperand &MMO);
+
+ /// printCustom - Implement printing for PseudoSourceValue. This is called
+ /// from Value::print or Value's operator<<.
+ ///
+ virtual void printCustom(raw_ostream &O) const;
+
public:
- PseudoSourceValue();
+ /// isFixed - Whether this is a FixedStackPseudoSourceValue.
+ bool isFixed;
- virtual void print(std::ostream &OS) const;
+ explicit PseudoSourceValue(bool isFixed = false);
- /// classof - Methods for support type inquiry through isa, cast, and
- /// dyn_cast:
+ virtual ~PseudoSourceValue();
+
+ /// isConstant - Test whether the memory pointed to by this
+ /// PseudoSourceValue has a constant value.
///
- static inline bool classof(const PseudoSourceValue *) { return true; }
- static inline bool classof(const Value *V) {
- return V->getValueID() == PseudoSourceValueVal;
- }
+ virtual bool isConstant(const MachineFrameInfo *) const;
- /// A pseudo source value referencing to the stack frame of a function,
+ /// isAliased - Test whether the memory pointed to by this
+ /// PseudoSourceValue may also be pointed to by an LLVM IR Value.
+ virtual bool isAliased(const MachineFrameInfo *) const;
+
+ /// mayAlias - Return true if the memory pointed to by this
+ /// PseudoSourceValue can ever alias an LLVM IR Value.
+ virtual bool mayAlias(const MachineFrameInfo *) const;
+
+ /// A pseudo source value referencing a fixed stack frame entry,
/// e.g., a spill slot.
- static const PseudoSourceValue *getFixedStack();
+ static const PseudoSourceValue *getFixedStack(int FI);
- /// A source value referencing the area below the stack frame of a function,
- /// e.g., the argument space.
+ /// A pseudo source value referencing the area below the stack frame of
+ /// a function, e.g., the argument space.
static const PseudoSourceValue *getStack();
- /// A source value referencing the global offset table (or something the
- /// like).
+ /// A pseudo source value referencing the global offset table
+ /// (or something the like).
static const PseudoSourceValue *getGOT();
- /// A SV referencing the constant pool
+ /// A pseudo source value referencing the constant pool. Since constant
+ /// pools are constant, this doesn't need to identify a specific constant
+ /// pool entry.
static const PseudoSourceValue *getConstantPool();
- /// A SV referencing the jump table
+ /// A pseudo source value referencing a jump table. Since jump tables are
+ /// constant, this doesn't need to identify a specific jump table.
static const PseudoSourceValue *getJumpTable();
};
+
+ /// FixedStackPseudoSourceValue - A specialized PseudoSourceValue
+ /// for holding FixedStack values, which must include a frame
+ /// index.
+ class FixedStackPseudoSourceValue : public PseudoSourceValue {
+ const int FI;
+ public:
+ explicit FixedStackPseudoSourceValue(int fi) :
+ PseudoSourceValue(true), FI(fi) {}
+
+ /// classof - Methods for support type inquiry through isa, cast, and
+ /// dyn_cast:
+ ///
+ static inline bool classof(const PseudoSourceValue *V) {
+ return V->isFixed == true;
+ }
+
+ bool isConstant(const MachineFrameInfo *MFI) const override;
+
+ bool isAliased(const MachineFrameInfo *MFI) const override;
+
+ bool mayAlias(const MachineFrameInfo *) const override;
+
+ void printCustom(raw_ostream &OS) const override;
+
+ int getFrameIndex() const { return FI; }
+ };
} // End llvm namespace
#endif