2001-06-06 20:29:01 +00:00
|
|
|
//===-- llvm/iMemory.h - Memory Operator node definitions --------*- C++ -*--=//
|
|
|
|
//
|
|
|
|
// This file contains the declarations of all of the memory related operators.
|
|
|
|
// This includes: malloc, free, alloca, load, store, getfield, putfield
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_IMEMORY_H
|
|
|
|
#define LLVM_IMEMORY_H
|
|
|
|
|
|
|
|
#include "llvm/Instruction.h"
|
|
|
|
#include "llvm/DerivedTypes.h"
|
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// AllocationInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// AllocationInst - This class is the common base class of MallocInst and
|
|
|
|
// AllocaInst.
|
|
|
|
//
|
2001-06-06 20:29:01 +00:00
|
|
|
class AllocationInst : public Instruction {
|
|
|
|
public:
|
2001-07-07 08:36:50 +00:00
|
|
|
AllocationInst(const Type *Ty, Value *ArraySize, unsigned iTy,
|
|
|
|
const string &Name = "")
|
|
|
|
: Instruction(Ty, iTy, Name) {
|
|
|
|
assert(Ty->isPointerType() && "Can't allocate a non pointer type!");
|
|
|
|
|
|
|
|
if (ArraySize) {
|
2001-07-08 21:10:27 +00:00
|
|
|
// Make sure they didn't try to specify a size for !(unsized array) type
|
2001-10-02 03:41:24 +00:00
|
|
|
assert(getType()->getValueType()->isArrayType() &&
|
|
|
|
cast<ArrayType>(getType()->getValueType())->isUnsized() &&
|
|
|
|
"Trying to allocate something other than unsized array, with size!");
|
2001-11-26 16:48:41 +00:00
|
|
|
assert(ArraySize->getType() == Type::UIntTy &&
|
|
|
|
"Malloc/Allocation array size != UIntTy!");
|
2001-07-07 08:36:50 +00:00
|
|
|
|
|
|
|
Operands.reserve(1);
|
|
|
|
Operands.push_back(Use(ArraySize, this));
|
2001-09-07 16:25:42 +00:00
|
|
|
} else {
|
|
|
|
// Make sure that the pointer is not to an unsized array!
|
|
|
|
assert(!getType()->getValueType()->isArrayType() ||
|
2001-10-02 03:41:24 +00:00
|
|
|
cast<const ArrayType>(getType()->getValueType())->isSized() &&
|
2001-09-07 16:25:42 +00:00
|
|
|
"Trying to allocate unsized array without size!");
|
2001-07-07 08:36:50 +00:00
|
|
|
}
|
2001-06-06 20:29:01 +00:00
|
|
|
}
|
|
|
|
|
2001-11-01 02:39:36 +00:00
|
|
|
// isArrayAllocation - Return true if there is an allocation size parameter
|
|
|
|
// to the allocation instruction.
|
|
|
|
//
|
|
|
|
inline bool isArrayAllocation() const { return Operands.size() == 1; }
|
|
|
|
|
|
|
|
inline const Value *getArraySize() const {
|
|
|
|
assert(isArrayAllocation()); return Operands[0];
|
|
|
|
}
|
|
|
|
inline Value *getArraySize() {
|
|
|
|
assert(isArrayAllocation()); return Operands[0];
|
|
|
|
}
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
// getType - Overload to return most specific pointer type...
|
|
|
|
inline const PointerType *getType() const {
|
|
|
|
return (const PointerType*)Instruction::getType();
|
|
|
|
}
|
|
|
|
|
2001-11-01 02:39:36 +00:00
|
|
|
// getAllocatedType - Return the type that is being allocated by the
|
|
|
|
// instruction.
|
|
|
|
inline const Type *getAllocatedType() const {
|
|
|
|
return getType()->getValueType();
|
|
|
|
}
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
virtual Instruction *clone() const = 0;
|
|
|
|
};
|
|
|
|
|
2001-07-08 21:10:27 +00:00
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// MallocInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
class MallocInst : public AllocationInst {
|
|
|
|
public:
|
2001-07-07 08:36:50 +00:00
|
|
|
MallocInst(const Type *Ty, Value *ArraySize = 0, const string &Name = "")
|
2001-07-08 21:10:27 +00:00
|
|
|
: AllocationInst(Ty, ArraySize, Malloc, Name) {}
|
2001-06-06 20:29:01 +00:00
|
|
|
|
|
|
|
virtual Instruction *clone() const {
|
2001-10-13 06:20:07 +00:00
|
|
|
return new MallocInst(getType(),
|
2001-11-03 03:26:47 +00:00
|
|
|
Operands.size() ? (Value*)Operands[0].get() : 0);
|
2001-06-06 20:29:01 +00:00
|
|
|
}
|
|
|
|
|
2001-07-07 19:24:15 +00:00
|
|
|
virtual const char *getOpcodeName() const { return "malloc"; }
|
2001-10-02 03:41:24 +00:00
|
|
|
|
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const MallocInst *) { return true; }
|
|
|
|
static inline bool classof(const Instruction *I) {
|
|
|
|
return (I->getOpcode() == Instruction::Malloc);
|
|
|
|
}
|
|
|
|
static inline bool classof(const Value *V) {
|
|
|
|
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
|
|
|
}
|
2001-06-06 20:29:01 +00:00
|
|
|
};
|
|
|
|
|
2001-07-08 21:10:27 +00:00
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// AllocaInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
class AllocaInst : public AllocationInst {
|
|
|
|
public:
|
2001-07-07 08:36:50 +00:00
|
|
|
AllocaInst(const Type *Ty, Value *ArraySize = 0, const string &Name = "")
|
2001-07-08 21:10:27 +00:00
|
|
|
: AllocationInst(Ty, ArraySize, Alloca, Name) {}
|
2001-06-06 20:29:01 +00:00
|
|
|
|
|
|
|
virtual Instruction *clone() const {
|
2001-10-13 06:20:07 +00:00
|
|
|
return new AllocaInst(getType(),
|
2001-11-03 03:26:47 +00:00
|
|
|
Operands.size() ? (Value*)Operands[0].get() : 0);
|
2001-06-06 20:29:01 +00:00
|
|
|
}
|
|
|
|
|
2001-07-07 19:24:15 +00:00
|
|
|
virtual const char *getOpcodeName() const { return "alloca"; }
|
2001-10-02 03:41:24 +00:00
|
|
|
|
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const AllocaInst *) { return true; }
|
|
|
|
static inline bool classof(const Instruction *I) {
|
|
|
|
return (I->getOpcode() == Instruction::Alloca);
|
|
|
|
}
|
|
|
|
static inline bool classof(const Value *V) {
|
|
|
|
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
|
|
|
}
|
2001-06-06 20:29:01 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// FreeInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
class FreeInst : public Instruction {
|
|
|
|
public:
|
|
|
|
FreeInst(Value *Ptr, const string &Name = "")
|
2001-07-08 21:10:27 +00:00
|
|
|
: Instruction(Type::VoidTy, Free, Name) {
|
2001-06-06 20:29:01 +00:00
|
|
|
assert(Ptr->getType()->isPointerType() && "Can't free nonpointer!");
|
2001-07-07 08:36:50 +00:00
|
|
|
Operands.reserve(1);
|
|
|
|
Operands.push_back(Use(Ptr, this));
|
2001-06-06 20:29:01 +00:00
|
|
|
}
|
|
|
|
|
2001-07-07 08:36:50 +00:00
|
|
|
virtual Instruction *clone() const { return new FreeInst(Operands[0]); }
|
2001-06-06 20:29:01 +00:00
|
|
|
|
2001-07-07 19:24:15 +00:00
|
|
|
virtual const char *getOpcodeName() const { return "free"; }
|
2001-07-09 19:38:26 +00:00
|
|
|
|
|
|
|
virtual bool hasSideEffects() const { return true; }
|
2001-10-02 03:41:24 +00:00
|
|
|
|
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const FreeInst *) { return true; }
|
|
|
|
static inline bool classof(const Instruction *I) {
|
|
|
|
return (I->getOpcode() == Instruction::Free);
|
|
|
|
}
|
|
|
|
static inline bool classof(const Value *V) {
|
|
|
|
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
|
|
|
}
|
2001-06-06 20:29:01 +00:00
|
|
|
};
|
|
|
|
|
2001-07-08 21:10:27 +00:00
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// MemAccessInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// MemAccessInst - Common base class of LoadInst, StoreInst, and
|
|
|
|
// GetElementPtrInst...
|
|
|
|
//
|
|
|
|
class MemAccessInst : public Instruction {
|
|
|
|
protected:
|
2001-07-20 21:07:06 +00:00
|
|
|
inline MemAccessInst(const Type *Ty, unsigned Opcode,
|
|
|
|
const string &Nam = "")
|
2001-11-26 16:48:41 +00:00
|
|
|
: Instruction(Ty, Opcode, Nam) {}
|
2001-07-08 23:22:50 +00:00
|
|
|
public:
|
|
|
|
// getIndexedType - Returns the type of the element that would be loaded with
|
|
|
|
// a load instruction with the specified parameters.
|
|
|
|
//
|
|
|
|
// A null type is returned if the indices are invalid for the specified
|
|
|
|
// pointer type.
|
|
|
|
//
|
|
|
|
static const Type *getIndexedType(const Type *Ptr,
|
2001-11-26 16:48:41 +00:00
|
|
|
const vector<Value*> &Indices,
|
2001-07-08 23:22:50 +00:00
|
|
|
bool AllowStructLeaf = false);
|
2001-11-26 16:48:41 +00:00
|
|
|
|
|
|
|
const vector<ConstPoolVal*> getIndicesBROKEN() const;
|
2001-07-20 21:07:06 +00:00
|
|
|
|
2001-11-26 16:48:41 +00:00
|
|
|
|
|
|
|
inline op_iterator idx_begin() {
|
|
|
|
return op_begin()+getFirstIndexOperandNumber();
|
|
|
|
}
|
|
|
|
inline op_const_iterator idx_begin() const {
|
|
|
|
return op_begin()+getFirstIndexOperandNumber();
|
|
|
|
}
|
|
|
|
inline op_iterator idx_end() { return op_end(); }
|
|
|
|
inline op_const_iterator idx_end() const { return op_end(); }
|
|
|
|
|
|
|
|
|
|
|
|
vector<Value*> copyIndices() const {
|
|
|
|
return vector<Value*>(idx_begin(), idx_end());
|
|
|
|
}
|
|
|
|
|
2001-11-14 11:27:58 +00:00
|
|
|
Value *getPointerOperand() {
|
|
|
|
return getOperand(getFirstIndexOperandNumber()-1);
|
|
|
|
}
|
2001-11-10 06:48:14 +00:00
|
|
|
const Value *getPointerOperand() const {
|
2001-11-14 11:27:58 +00:00
|
|
|
return getOperand(getFirstIndexOperandNumber()-1);
|
2001-11-10 06:48:14 +00:00
|
|
|
}
|
2001-07-20 21:07:06 +00:00
|
|
|
|
2001-11-14 11:27:58 +00:00
|
|
|
virtual unsigned getFirstIndexOperandNumber() const = 0;
|
|
|
|
|
|
|
|
inline bool hasIndices() const {
|
2001-11-15 15:00:48 +00:00
|
|
|
return getNumOperands() > getFirstIndexOperandNumber();
|
2001-11-14 11:27:58 +00:00
|
|
|
}
|
2001-07-08 23:22:50 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// LoadInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
class LoadInst : public MemAccessInst {
|
2001-11-26 16:48:41 +00:00
|
|
|
LoadInst(const LoadInst &LI) : MemAccessInst(LI.getType(), Load) {
|
2001-07-08 21:10:27 +00:00
|
|
|
Operands.reserve(LI.Operands.size());
|
|
|
|
for (unsigned i = 0, E = LI.Operands.size(); i != E; ++i)
|
|
|
|
Operands.push_back(Use(LI.Operands[i], this));
|
|
|
|
}
|
|
|
|
public:
|
2001-11-26 16:48:41 +00:00
|
|
|
LoadInst(Value *Ptr, const vector<Value*> &Idx, const string &Name = "");
|
2001-11-01 05:54:28 +00:00
|
|
|
LoadInst(Value *Ptr, const string &Name = "");
|
|
|
|
|
2001-11-04 08:08:34 +00:00
|
|
|
virtual Instruction *clone() const { return new LoadInst(*this); }
|
|
|
|
virtual const char *getOpcodeName() const { return "load"; }
|
2001-11-14 11:27:58 +00:00
|
|
|
|
|
|
|
virtual unsigned getFirstIndexOperandNumber() const { return 1; }
|
2001-10-02 03:41:24 +00:00
|
|
|
|
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const LoadInst *) { return true; }
|
|
|
|
static inline bool classof(const Instruction *I) {
|
|
|
|
return (I->getOpcode() == Instruction::Load);
|
|
|
|
}
|
|
|
|
static inline bool classof(const Value *V) {
|
|
|
|
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
|
|
|
}
|
2001-07-08 23:22:50 +00:00
|
|
|
};
|
2001-07-08 21:10:27 +00:00
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// StoreInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
class StoreInst : public MemAccessInst {
|
2001-11-26 16:48:41 +00:00
|
|
|
StoreInst(const StoreInst &SI) : MemAccessInst(SI.getType(), Store) {
|
2001-07-08 23:22:50 +00:00
|
|
|
Operands.reserve(SI.Operands.size());
|
|
|
|
for (unsigned i = 0, E = SI.Operands.size(); i != E; ++i)
|
|
|
|
Operands.push_back(Use(SI.Operands[i], this));
|
|
|
|
}
|
|
|
|
public:
|
2001-11-26 16:48:41 +00:00
|
|
|
StoreInst(Value *Val, Value *Ptr, const vector<Value*> &Idx,
|
2001-07-08 23:22:50 +00:00
|
|
|
const string &Name = "");
|
2001-11-01 05:54:28 +00:00
|
|
|
StoreInst(Value *Val, Value *Ptr, const string &Name = "");
|
2001-07-08 23:22:50 +00:00
|
|
|
virtual Instruction *clone() const { return new StoreInst(*this); }
|
2001-11-01 05:54:28 +00:00
|
|
|
|
2001-07-08 23:22:50 +00:00
|
|
|
virtual const char *getOpcodeName() const { return "store"; }
|
2001-07-20 21:07:06 +00:00
|
|
|
|
2001-07-09 19:38:26 +00:00
|
|
|
virtual bool hasSideEffects() const { return true; }
|
2001-11-14 11:27:58 +00:00
|
|
|
virtual unsigned getFirstIndexOperandNumber() const { return 2; }
|
2001-10-02 03:41:24 +00:00
|
|
|
|
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const StoreInst *) { return true; }
|
|
|
|
static inline bool classof(const Instruction *I) {
|
|
|
|
return (I->getOpcode() == Instruction::Store);
|
|
|
|
}
|
|
|
|
static inline bool classof(const Value *V) {
|
|
|
|
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
|
|
|
}
|
2001-07-08 23:22:50 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// GetElementPtrInst Class
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
class GetElementPtrInst : public MemAccessInst {
|
|
|
|
GetElementPtrInst(const GetElementPtrInst &EPI)
|
2001-11-26 16:48:41 +00:00
|
|
|
: MemAccessInst(EPI.getType(), GetElementPtr) {
|
2001-07-08 23:22:50 +00:00
|
|
|
Operands.reserve(EPI.Operands.size());
|
|
|
|
for (unsigned i = 0, E = EPI.Operands.size(); i != E; ++i)
|
|
|
|
Operands.push_back(Use(EPI.Operands[i], this));
|
|
|
|
}
|
|
|
|
public:
|
2001-11-26 16:48:41 +00:00
|
|
|
GetElementPtrInst(Value *Ptr, const vector<Value*> &Idx,
|
2001-07-08 23:22:50 +00:00
|
|
|
const string &Name = "");
|
|
|
|
virtual Instruction *clone() const { return new GetElementPtrInst(*this); }
|
|
|
|
virtual const char *getOpcodeName() const { return "getelementptr"; }
|
2001-11-14 11:27:58 +00:00
|
|
|
virtual unsigned getFirstIndexOperandNumber() const { return 1; }
|
2001-07-20 21:07:06 +00:00
|
|
|
|
2001-07-14 06:07:58 +00:00
|
|
|
inline bool isArraySelector() const { return !isStructSelector(); }
|
|
|
|
bool isStructSelector() const;
|
2001-10-02 03:41:24 +00:00
|
|
|
|
2001-11-01 05:54:28 +00:00
|
|
|
// getType - Overload to return most specific pointer type...
|
|
|
|
inline const PointerType *getType() const {
|
|
|
|
return cast<const PointerType>(Instruction::getType());
|
|
|
|
}
|
2001-10-02 03:41:24 +00:00
|
|
|
|
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const GetElementPtrInst *) { return true; }
|
|
|
|
static inline bool classof(const Instruction *I) {
|
|
|
|
return (I->getOpcode() == Instruction::GetElementPtr);
|
|
|
|
}
|
|
|
|
static inline bool classof(const Value *V) {
|
|
|
|
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
|
|
|
}
|
2001-07-08 21:10:27 +00:00
|
|
|
};
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
#endif // LLVM_IMEMORY_H
|