2009-08-23 12:24:24 +08:00
|
|
|
//===-- ConstantsContext.h - Constants-related Context Interals -----------===//
|
2009-08-05 06:55:26 +08:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines various helper methods and classes used by
|
|
|
|
// LLVMContextImpl for creating and managing constants.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_CONSTANTSCONTEXT_H
|
|
|
|
#define LLVM_CONSTANTSCONTEXT_H
|
|
|
|
|
2012-02-06 04:54:10 +08:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
2012-03-06 18:43:52 +08:00
|
|
|
#include "llvm/ADT/Hashing.h"
|
2013-01-02 19:36:10 +08:00
|
|
|
#include "llvm/IR/InlineAsm.h"
|
|
|
|
#include "llvm/IR/Instructions.h"
|
|
|
|
#include "llvm/IR/Operator.h"
|
2010-01-05 09:34:26 +08:00
|
|
|
#include "llvm/Support/Debug.h"
|
2009-08-05 06:55:26 +08:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2009-08-23 12:44:11 +08:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2009-08-05 06:55:26 +08:00
|
|
|
#include <map>
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
template<class ValType>
|
|
|
|
struct ConstantTraits;
|
|
|
|
|
|
|
|
/// UnaryConstantExpr - This class is private to Constants.cpp, and is used
|
|
|
|
/// behind the scenes to implement unary constant exprs.
|
|
|
|
class UnaryConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly one operand
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 1);
|
|
|
|
}
|
2011-07-18 12:54:35 +08:00
|
|
|
UnaryConstantExpr(unsigned Opcode, Constant *C, Type *Ty)
|
2009-08-05 06:55:26 +08:00
|
|
|
: ConstantExpr(Ty, Opcode, &Op<0>(), 1) {
|
|
|
|
Op<0>() = C;
|
|
|
|
}
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// BinaryConstantExpr - This class is private to Constants.cpp, and is used
|
|
|
|
/// behind the scenes to implement binary constant exprs.
|
|
|
|
class BinaryConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly two operands
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 2);
|
|
|
|
}
|
2009-09-08 07:54:19 +08:00
|
|
|
BinaryConstantExpr(unsigned Opcode, Constant *C1, Constant *C2,
|
|
|
|
unsigned Flags)
|
2009-08-05 06:55:26 +08:00
|
|
|
: ConstantExpr(C1->getType(), Opcode, &Op<0>(), 2) {
|
|
|
|
Op<0>() = C1;
|
|
|
|
Op<1>() = C2;
|
2009-09-08 07:54:19 +08:00
|
|
|
SubclassOptionalData = Flags;
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// SelectConstantExpr - This class is private to Constants.cpp, and is used
|
|
|
|
/// behind the scenes to implement select constant exprs.
|
|
|
|
class SelectConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly three operands
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 3);
|
|
|
|
}
|
|
|
|
SelectConstantExpr(Constant *C1, Constant *C2, Constant *C3)
|
|
|
|
: ConstantExpr(C2->getType(), Instruction::Select, &Op<0>(), 3) {
|
|
|
|
Op<0>() = C1;
|
|
|
|
Op<1>() = C2;
|
|
|
|
Op<2>() = C3;
|
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// ExtractElementConstantExpr - This class is private to
|
|
|
|
/// Constants.cpp, and is used behind the scenes to implement
|
|
|
|
/// extractelement constant exprs.
|
|
|
|
class ExtractElementConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly two operands
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 2);
|
|
|
|
}
|
|
|
|
ExtractElementConstantExpr(Constant *C1, Constant *C2)
|
|
|
|
: ConstantExpr(cast<VectorType>(C1->getType())->getElementType(),
|
|
|
|
Instruction::ExtractElement, &Op<0>(), 2) {
|
|
|
|
Op<0>() = C1;
|
|
|
|
Op<1>() = C2;
|
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// InsertElementConstantExpr - This class is private to
|
|
|
|
/// Constants.cpp, and is used behind the scenes to implement
|
|
|
|
/// insertelement constant exprs.
|
|
|
|
class InsertElementConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly three operands
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 3);
|
|
|
|
}
|
|
|
|
InsertElementConstantExpr(Constant *C1, Constant *C2, Constant *C3)
|
|
|
|
: ConstantExpr(C1->getType(), Instruction::InsertElement,
|
|
|
|
&Op<0>(), 3) {
|
|
|
|
Op<0>() = C1;
|
|
|
|
Op<1>() = C2;
|
|
|
|
Op<2>() = C3;
|
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// ShuffleVectorConstantExpr - This class is private to
|
|
|
|
/// Constants.cpp, and is used behind the scenes to implement
|
|
|
|
/// shufflevector constant exprs.
|
|
|
|
class ShuffleVectorConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly three operands
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 3);
|
|
|
|
}
|
|
|
|
ShuffleVectorConstantExpr(Constant *C1, Constant *C2, Constant *C3)
|
|
|
|
: ConstantExpr(VectorType::get(
|
|
|
|
cast<VectorType>(C1->getType())->getElementType(),
|
|
|
|
cast<VectorType>(C3->getType())->getNumElements()),
|
|
|
|
Instruction::ShuffleVector,
|
|
|
|
&Op<0>(), 3) {
|
|
|
|
Op<0>() = C1;
|
|
|
|
Op<1>() = C2;
|
|
|
|
Op<2>() = C3;
|
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// ExtractValueConstantExpr - This class is private to
|
|
|
|
/// Constants.cpp, and is used behind the scenes to implement
|
|
|
|
/// extractvalue constant exprs.
|
|
|
|
class ExtractValueConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly one operand
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 1);
|
|
|
|
}
|
|
|
|
ExtractValueConstantExpr(Constant *Agg,
|
|
|
|
const SmallVector<unsigned, 4> &IdxList,
|
2011-07-18 12:54:35 +08:00
|
|
|
Type *DestTy)
|
2009-08-05 06:55:26 +08:00
|
|
|
: ConstantExpr(DestTy, Instruction::ExtractValue, &Op<0>(), 1),
|
|
|
|
Indices(IdxList) {
|
|
|
|
Op<0>() = Agg;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Indices - These identify which value to extract.
|
|
|
|
const SmallVector<unsigned, 4> Indices;
|
|
|
|
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
/// InsertValueConstantExpr - This class is private to
|
|
|
|
/// Constants.cpp, and is used behind the scenes to implement
|
|
|
|
/// insertvalue constant exprs.
|
|
|
|
class InsertValueConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
// allocate space for exactly one operand
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 2);
|
|
|
|
}
|
|
|
|
InsertValueConstantExpr(Constant *Agg, Constant *Val,
|
|
|
|
const SmallVector<unsigned, 4> &IdxList,
|
2011-07-18 12:54:35 +08:00
|
|
|
Type *DestTy)
|
2009-08-05 06:55:26 +08:00
|
|
|
: ConstantExpr(DestTy, Instruction::InsertValue, &Op<0>(), 2),
|
|
|
|
Indices(IdxList) {
|
|
|
|
Op<0>() = Agg;
|
|
|
|
Op<1>() = Val;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Indices - These identify the position for the insertion.
|
|
|
|
const SmallVector<unsigned, 4> Indices;
|
|
|
|
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
/// GetElementPtrConstantExpr - This class is private to Constants.cpp, and is
|
|
|
|
/// used behind the scenes to implement getelementpr constant exprs.
|
|
|
|
class GetElementPtrConstantExpr : public ConstantExpr {
|
2011-12-20 10:50:00 +08:00
|
|
|
virtual void anchor();
|
2012-01-27 04:40:56 +08:00
|
|
|
GetElementPtrConstantExpr(Constant *C, ArrayRef<Constant*> IdxList,
|
2011-07-18 12:54:35 +08:00
|
|
|
Type *DestTy);
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
|
|
|
static GetElementPtrConstantExpr *Create(Constant *C,
|
2012-01-27 04:40:56 +08:00
|
|
|
ArrayRef<Constant*> IdxList,
|
2011-07-18 12:54:35 +08:00
|
|
|
Type *DestTy,
|
2009-09-08 07:54:19 +08:00
|
|
|
unsigned Flags) {
|
|
|
|
GetElementPtrConstantExpr *Result =
|
2009-08-05 06:55:26 +08:00
|
|
|
new(IdxList.size() + 1) GetElementPtrConstantExpr(C, IdxList, DestTy);
|
2009-09-08 07:54:19 +08:00
|
|
|
Result->SubclassOptionalData = Flags;
|
|
|
|
return Result;
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
// CompareConstantExpr - This class is private to Constants.cpp, and is used
|
|
|
|
// behind the scenes to implement ICmp and FCmp constant expressions. This is
|
|
|
|
// needed in order to store the predicate value for these instructions.
|
2011-12-20 10:50:00 +08:00
|
|
|
class CompareConstantExpr : public ConstantExpr {
|
|
|
|
virtual void anchor();
|
2012-09-16 01:09:36 +08:00
|
|
|
void *operator new(size_t, unsigned) LLVM_DELETED_FUNCTION;
|
2011-12-20 10:50:00 +08:00
|
|
|
public:
|
2009-08-05 06:55:26 +08:00
|
|
|
// allocate space for exactly two operands
|
|
|
|
void *operator new(size_t s) {
|
|
|
|
return User::operator new(s, 2);
|
|
|
|
}
|
|
|
|
unsigned short predicate;
|
2011-07-18 12:54:35 +08:00
|
|
|
CompareConstantExpr(Type *ty, Instruction::OtherOps opc,
|
2009-08-05 06:55:26 +08:00
|
|
|
unsigned short pred, Constant* LHS, Constant* RHS)
|
|
|
|
: ConstantExpr(ty, opc, &Op<0>(), 2), predicate(pred) {
|
|
|
|
Op<0>() = LHS;
|
|
|
|
Op<1>() = RHS;
|
|
|
|
}
|
|
|
|
/// Transparently provide more efficient getOperand methods.
|
|
|
|
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value);
|
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<UnaryConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<UnaryConstantExpr, 1> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(UnaryConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<BinaryConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<BinaryConstantExpr, 2> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(BinaryConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<SelectConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<SelectConstantExpr, 3> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(SelectConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<ExtractElementConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<ExtractElementConstantExpr, 2> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(ExtractElementConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<InsertElementConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<InsertElementConstantExpr, 3> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(InsertElementConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<ShuffleVectorConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<ShuffleVectorConstantExpr, 3> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(ShuffleVectorConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<ExtractValueConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<ExtractValueConstantExpr, 1> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(ExtractValueConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<InsertValueConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<InsertValueConstantExpr, 2> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(InsertValueConstantExpr, Value)
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<GetElementPtrConstantExpr> :
|
|
|
|
public VariadicOperandTraits<GetElementPtrConstantExpr, 1> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(GetElementPtrConstantExpr, Value)
|
|
|
|
|
|
|
|
|
|
|
|
template <>
|
2011-01-11 23:07:38 +08:00
|
|
|
struct OperandTraits<CompareConstantExpr> :
|
|
|
|
public FixedNumOperandTraits<CompareConstantExpr, 2> {
|
2009-08-05 06:55:26 +08:00
|
|
|
};
|
|
|
|
DEFINE_TRANSPARENT_OPERAND_ACCESSORS(CompareConstantExpr, Value)
|
|
|
|
|
|
|
|
struct ExprMapKeyType {
|
|
|
|
ExprMapKeyType(unsigned opc,
|
2011-04-13 23:22:40 +08:00
|
|
|
ArrayRef<Constant*> ops,
|
2009-09-08 07:54:19 +08:00
|
|
|
unsigned short flags = 0,
|
|
|
|
unsigned short optionalflags = 0,
|
2011-04-13 23:22:40 +08:00
|
|
|
ArrayRef<unsigned> inds = ArrayRef<unsigned>())
|
2009-09-08 07:54:19 +08:00
|
|
|
: opcode(opc), subclassoptionaldata(optionalflags), subclassdata(flags),
|
2011-04-13 23:22:40 +08:00
|
|
|
operands(ops.begin(), ops.end()), indices(inds.begin(), inds.end()) {}
|
2009-09-08 07:54:19 +08:00
|
|
|
uint8_t opcode;
|
|
|
|
uint8_t subclassoptionaldata;
|
|
|
|
uint16_t subclassdata;
|
2009-08-05 06:55:26 +08:00
|
|
|
std::vector<Constant*> operands;
|
2011-04-13 23:22:40 +08:00
|
|
|
SmallVector<unsigned, 4> indices;
|
2009-08-05 06:55:26 +08:00
|
|
|
bool operator==(const ExprMapKeyType& that) const {
|
|
|
|
return this->opcode == that.opcode &&
|
2009-09-08 07:54:19 +08:00
|
|
|
this->subclassdata == that.subclassdata &&
|
|
|
|
this->subclassoptionaldata == that.subclassoptionaldata &&
|
2009-08-05 06:55:26 +08:00
|
|
|
this->operands == that.operands &&
|
|
|
|
this->indices == that.indices;
|
|
|
|
}
|
|
|
|
bool operator<(const ExprMapKeyType & that) const {
|
2009-09-08 07:54:19 +08:00
|
|
|
if (this->opcode != that.opcode) return this->opcode < that.opcode;
|
|
|
|
if (this->operands != that.operands) return this->operands < that.operands;
|
|
|
|
if (this->subclassdata != that.subclassdata)
|
|
|
|
return this->subclassdata < that.subclassdata;
|
|
|
|
if (this->subclassoptionaldata != that.subclassoptionaldata)
|
|
|
|
return this->subclassoptionaldata < that.subclassoptionaldata;
|
|
|
|
if (this->indices != that.indices) return this->indices < that.indices;
|
|
|
|
return false;
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
bool operator!=(const ExprMapKeyType& that) const {
|
|
|
|
return !(*this == that);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2010-03-22 04:37:19 +08:00
|
|
|
struct InlineAsmKeyType {
|
|
|
|
InlineAsmKeyType(StringRef AsmString,
|
|
|
|
StringRef Constraints, bool hasSideEffects,
|
2012-09-06 03:00:49 +08:00
|
|
|
bool isAlignStack, InlineAsm::AsmDialect asmDialect)
|
2010-03-22 04:37:19 +08:00
|
|
|
: asm_string(AsmString), constraints(Constraints),
|
2012-09-05 06:46:24 +08:00
|
|
|
has_side_effects(hasSideEffects), is_align_stack(isAlignStack),
|
|
|
|
asm_dialect(asmDialect) {}
|
2010-03-22 04:37:19 +08:00
|
|
|
std::string asm_string;
|
|
|
|
std::string constraints;
|
|
|
|
bool has_side_effects;
|
|
|
|
bool is_align_stack;
|
2012-09-06 03:00:49 +08:00
|
|
|
InlineAsm::AsmDialect asm_dialect;
|
2010-03-22 04:37:19 +08:00
|
|
|
bool operator==(const InlineAsmKeyType& that) const {
|
|
|
|
return this->asm_string == that.asm_string &&
|
|
|
|
this->constraints == that.constraints &&
|
|
|
|
this->has_side_effects == that.has_side_effects &&
|
2012-09-05 06:46:24 +08:00
|
|
|
this->is_align_stack == that.is_align_stack &&
|
|
|
|
this->asm_dialect == that.asm_dialect;
|
2010-03-22 04:37:19 +08:00
|
|
|
}
|
|
|
|
bool operator<(const InlineAsmKeyType& that) const {
|
|
|
|
if (this->asm_string != that.asm_string)
|
|
|
|
return this->asm_string < that.asm_string;
|
|
|
|
if (this->constraints != that.constraints)
|
|
|
|
return this->constraints < that.constraints;
|
|
|
|
if (this->has_side_effects != that.has_side_effects)
|
|
|
|
return this->has_side_effects < that.has_side_effects;
|
|
|
|
if (this->is_align_stack != that.is_align_stack)
|
|
|
|
return this->is_align_stack < that.is_align_stack;
|
2012-09-05 06:46:24 +08:00
|
|
|
if (this->asm_dialect != that.asm_dialect)
|
|
|
|
return this->asm_dialect < that.asm_dialect;
|
2010-03-22 04:37:19 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool operator!=(const InlineAsmKeyType& that) const {
|
|
|
|
return !(*this == that);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-08-05 06:55:26 +08:00
|
|
|
// The number of operands for each ConstantCreator::create method is
|
|
|
|
// determined by the ConstantTraits template.
|
|
|
|
// ConstantCreator - A class that is used to create constants by
|
2009-10-28 07:45:55 +08:00
|
|
|
// ConstantUniqueMap*. This class should be partially specialized if there is
|
2009-08-05 06:55:26 +08:00
|
|
|
// something strange that needs to be done to interface to the ctor for the
|
|
|
|
// constant.
|
|
|
|
//
|
|
|
|
template<typename T, typename Alloc>
|
|
|
|
struct ConstantTraits< std::vector<T, Alloc> > {
|
|
|
|
static unsigned uses(const std::vector<T, Alloc>& v) {
|
|
|
|
return v.size();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2010-02-13 04:49:41 +08:00
|
|
|
template<>
|
|
|
|
struct ConstantTraits<Constant *> {
|
|
|
|
static unsigned uses(Constant * const & v) {
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-08-05 06:55:26 +08:00
|
|
|
template<class ConstantClass, class TypeClass, class ValType>
|
|
|
|
struct ConstantCreator {
|
2011-07-18 12:54:35 +08:00
|
|
|
static ConstantClass *create(TypeClass *Ty, const ValType &V) {
|
2009-08-05 06:55:26 +08:00
|
|
|
return new(ConstantTraits<ValType>::uses(V)) ConstantClass(Ty, V);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2012-02-06 04:54:10 +08:00
|
|
|
template<class ConstantClass, class TypeClass>
|
|
|
|
struct ConstantArrayCreator {
|
|
|
|
static ConstantClass *create(TypeClass *Ty, ArrayRef<Constant*> V) {
|
|
|
|
return new(V.size()) ConstantClass(Ty, V);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-09-15 23:58:07 +08:00
|
|
|
template<class ConstantClass>
|
|
|
|
struct ConstantKeyData {
|
|
|
|
typedef void ValType;
|
|
|
|
static ValType getValType(ConstantClass *C) {
|
|
|
|
llvm_unreachable("Unknown Constant type!");
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct ConstantCreator<ConstantExpr, Type, ExprMapKeyType> {
|
2011-07-18 12:54:35 +08:00
|
|
|
static ConstantExpr *create(Type *Ty, const ExprMapKeyType &V,
|
2009-08-05 06:55:26 +08:00
|
|
|
unsigned short pred = 0) {
|
|
|
|
if (Instruction::isCast(V.opcode))
|
|
|
|
return new UnaryConstantExpr(V.opcode, V.operands[0], Ty);
|
|
|
|
if ((V.opcode >= Instruction::BinaryOpsBegin &&
|
|
|
|
V.opcode < Instruction::BinaryOpsEnd))
|
2009-09-08 07:54:19 +08:00
|
|
|
return new BinaryConstantExpr(V.opcode, V.operands[0], V.operands[1],
|
|
|
|
V.subclassoptionaldata);
|
2009-08-05 06:55:26 +08:00
|
|
|
if (V.opcode == Instruction::Select)
|
|
|
|
return new SelectConstantExpr(V.operands[0], V.operands[1],
|
|
|
|
V.operands[2]);
|
|
|
|
if (V.opcode == Instruction::ExtractElement)
|
|
|
|
return new ExtractElementConstantExpr(V.operands[0], V.operands[1]);
|
|
|
|
if (V.opcode == Instruction::InsertElement)
|
|
|
|
return new InsertElementConstantExpr(V.operands[0], V.operands[1],
|
|
|
|
V.operands[2]);
|
|
|
|
if (V.opcode == Instruction::ShuffleVector)
|
|
|
|
return new ShuffleVectorConstantExpr(V.operands[0], V.operands[1],
|
|
|
|
V.operands[2]);
|
|
|
|
if (V.opcode == Instruction::InsertValue)
|
|
|
|
return new InsertValueConstantExpr(V.operands[0], V.operands[1],
|
|
|
|
V.indices, Ty);
|
|
|
|
if (V.opcode == Instruction::ExtractValue)
|
|
|
|
return new ExtractValueConstantExpr(V.operands[0], V.indices, Ty);
|
|
|
|
if (V.opcode == Instruction::GetElementPtr) {
|
|
|
|
std::vector<Constant*> IdxList(V.operands.begin()+1, V.operands.end());
|
2009-09-08 07:54:19 +08:00
|
|
|
return GetElementPtrConstantExpr::Create(V.operands[0], IdxList, Ty,
|
|
|
|
V.subclassoptionaldata);
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// The compare instructions are weird. We have to encode the predicate
|
|
|
|
// value and it is combined with the instruction opcode by multiplying
|
|
|
|
// the opcode by one hundred. We must decode this to get the predicate.
|
|
|
|
if (V.opcode == Instruction::ICmp)
|
2009-09-08 07:54:19 +08:00
|
|
|
return new CompareConstantExpr(Ty, Instruction::ICmp, V.subclassdata,
|
2009-08-05 06:55:26 +08:00
|
|
|
V.operands[0], V.operands[1]);
|
|
|
|
if (V.opcode == Instruction::FCmp)
|
2009-09-08 07:54:19 +08:00
|
|
|
return new CompareConstantExpr(Ty, Instruction::FCmp, V.subclassdata,
|
2009-08-05 06:55:26 +08:00
|
|
|
V.operands[0], V.operands[1]);
|
|
|
|
llvm_unreachable("Invalid ConstantExpr!");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
2009-09-15 23:58:07 +08:00
|
|
|
struct ConstantKeyData<ConstantExpr> {
|
|
|
|
typedef ExprMapKeyType ValType;
|
|
|
|
static ValType getValType(ConstantExpr *CE) {
|
|
|
|
std::vector<Constant*> Operands;
|
|
|
|
Operands.reserve(CE->getNumOperands());
|
|
|
|
for (unsigned i = 0, e = CE->getNumOperands(); i != e; ++i)
|
|
|
|
Operands.push_back(cast<Constant>(CE->getOperand(i)));
|
|
|
|
return ExprMapKeyType(CE->getOpcode(), Operands,
|
|
|
|
CE->isCompare() ? CE->getPredicate() : 0,
|
|
|
|
CE->getRawSubclassOptionalData(),
|
|
|
|
CE->hasIndices() ?
|
2011-04-13 23:22:40 +08:00
|
|
|
CE->getIndices() : ArrayRef<unsigned>());
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2010-03-22 04:37:19 +08:00
|
|
|
template<>
|
|
|
|
struct ConstantCreator<InlineAsm, PointerType, InlineAsmKeyType> {
|
2011-07-18 12:54:35 +08:00
|
|
|
static InlineAsm *create(PointerType *Ty, const InlineAsmKeyType &Key) {
|
2010-03-22 04:37:19 +08:00
|
|
|
return new InlineAsm(Ty, Key.asm_string, Key.constraints,
|
2012-09-05 06:46:24 +08:00
|
|
|
Key.has_side_effects, Key.is_align_stack,
|
|
|
|
Key.asm_dialect);
|
2010-03-22 04:37:19 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct ConstantKeyData<InlineAsm> {
|
|
|
|
typedef InlineAsmKeyType ValType;
|
|
|
|
static ValType getValType(InlineAsm *Asm) {
|
|
|
|
return InlineAsmKeyType(Asm->getAsmString(), Asm->getConstraintString(),
|
2012-09-05 06:46:24 +08:00
|
|
|
Asm->hasSideEffects(), Asm->isAlignStack(),
|
|
|
|
Asm->getDialect());
|
2010-03-22 04:37:19 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2011-06-22 16:50:06 +08:00
|
|
|
template<class ValType, class ValRefType, class TypeClass, class ConstantClass,
|
2009-08-05 06:55:26 +08:00
|
|
|
bool HasLargeKey = false /*true for arrays and structs*/ >
|
Land the long talked about "type system rewrite" patch. This
patch brings numerous advantages to LLVM. One way to look at it
is through diffstat:
109 files changed, 3005 insertions(+), 5906 deletions(-)
Removing almost 3K lines of code is a good thing. Other advantages
include:
1. Value::getType() is a simple load that can be CSE'd, not a mutating
union-find operation.
2. Types a uniqued and never move once created, defining away PATypeHolder.
3. Structs can be "named" now, and their name is part of the identity that
uniques them. This means that the compiler doesn't merge them structurally
which makes the IR much less confusing.
4. Now that there is no way to get a cycle in a type graph without a named
struct type, "upreferences" go away.
5. Type refinement is completely gone, which should make LTO much MUCH faster
in some common cases with C++ code.
6. Types are now generally immutable, so we can use "Type *" instead
"const Type *" everywhere.
Downsides of this patch are that it removes some functions from the C API,
so people using those will have to upgrade to (not yet added) new API.
"LLVM 3.0" is the right time to do this.
There are still some cleanups pending after this, this patch is large enough
as-is.
llvm-svn: 134829
2011-07-10 01:41:24 +08:00
|
|
|
class ConstantUniqueMap {
|
2009-08-05 06:55:26 +08:00
|
|
|
public:
|
2011-07-18 12:54:35 +08:00
|
|
|
typedef std::pair<TypeClass*, ValType> MapKey;
|
2009-09-15 23:58:07 +08:00
|
|
|
typedef std::map<MapKey, ConstantClass *> MapTy;
|
|
|
|
typedef std::map<ConstantClass *, typename MapTy::iterator> InverseMapTy;
|
2009-08-05 06:55:26 +08:00
|
|
|
private:
|
|
|
|
/// Map - This is the main map from the element descriptor to the Constants.
|
|
|
|
/// This is the primary way we avoid creating two of the same shape
|
|
|
|
/// constant.
|
|
|
|
MapTy Map;
|
|
|
|
|
|
|
|
/// InverseMap - If "HasLargeKey" is true, this contains an inverse mapping
|
|
|
|
/// from the constants to their element in Map. This is important for
|
|
|
|
/// removal of constants from the array, which would otherwise have to scan
|
|
|
|
/// through the map with very large keys.
|
|
|
|
InverseMapTy InverseMap;
|
|
|
|
|
|
|
|
public:
|
2009-08-11 14:31:57 +08:00
|
|
|
typename MapTy::iterator map_begin() { return Map.begin(); }
|
2009-08-05 06:55:26 +08:00
|
|
|
typename MapTy::iterator map_end() { return Map.end(); }
|
2009-09-01 00:14:59 +08:00
|
|
|
|
|
|
|
void freeConstants() {
|
|
|
|
for (typename MapTy::iterator I=Map.begin(), E=Map.end();
|
|
|
|
I != E; ++I) {
|
2010-03-22 13:23:37 +08:00
|
|
|
// Asserts that use_empty().
|
|
|
|
delete I->second;
|
2009-09-01 00:14:59 +08:00
|
|
|
}
|
|
|
|
}
|
2009-08-05 06:55:26 +08:00
|
|
|
|
|
|
|
/// InsertOrGetItem - Return an iterator for the specified element.
|
|
|
|
/// If the element exists in the map, the returned iterator points to the
|
|
|
|
/// entry and Exists=true. If not, the iterator points to the newly
|
|
|
|
/// inserted entry and returns Exists=false. Newly inserted entries have
|
|
|
|
/// I->second == 0, and should be filled in.
|
2009-09-15 23:58:07 +08:00
|
|
|
typename MapTy::iterator InsertOrGetItem(std::pair<MapKey, ConstantClass *>
|
2009-08-05 06:55:26 +08:00
|
|
|
&InsertVal,
|
|
|
|
bool &Exists) {
|
|
|
|
std::pair<typename MapTy::iterator, bool> IP = Map.insert(InsertVal);
|
|
|
|
Exists = !IP.second;
|
|
|
|
return IP.first;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
typename MapTy::iterator FindExistingElement(ConstantClass *CP) {
|
|
|
|
if (HasLargeKey) {
|
|
|
|
typename InverseMapTy::iterator IMI = InverseMap.find(CP);
|
|
|
|
assert(IMI != InverseMap.end() && IMI->second != Map.end() &&
|
|
|
|
IMI->second->second == CP &&
|
|
|
|
"InverseMap corrupt!");
|
|
|
|
return IMI->second;
|
|
|
|
}
|
|
|
|
|
|
|
|
typename MapTy::iterator I =
|
2011-07-18 12:54:35 +08:00
|
|
|
Map.find(MapKey(static_cast<TypeClass*>(CP->getType()),
|
2009-09-15 23:58:07 +08:00
|
|
|
ConstantKeyData<ConstantClass>::getValType(CP)));
|
2009-08-05 06:55:26 +08:00
|
|
|
if (I == Map.end() || I->second != CP) {
|
|
|
|
// FIXME: This should not use a linear scan. If this gets to be a
|
|
|
|
// performance problem, someone should look at this.
|
|
|
|
for (I = Map.begin(); I != Map.end() && I->second != CP; ++I)
|
|
|
|
/* empty */;
|
|
|
|
}
|
|
|
|
return I;
|
|
|
|
}
|
2009-09-15 23:58:07 +08:00
|
|
|
|
2011-07-18 12:54:35 +08:00
|
|
|
ConstantClass *Create(TypeClass *Ty, ValRefType V,
|
2009-08-05 06:55:26 +08:00
|
|
|
typename MapTy::iterator I) {
|
|
|
|
ConstantClass* Result =
|
|
|
|
ConstantCreator<ConstantClass,TypeClass,ValType>::create(Ty, V);
|
|
|
|
|
|
|
|
assert(Result->getType() == Ty && "Type specified is not correct!");
|
|
|
|
I = Map.insert(I, std::make_pair(MapKey(Ty, V), Result));
|
|
|
|
|
|
|
|
if (HasLargeKey) // Remember the reverse mapping if needed.
|
|
|
|
InverseMap.insert(std::make_pair(Result, I));
|
|
|
|
|
|
|
|
return Result;
|
|
|
|
}
|
|
|
|
public:
|
|
|
|
|
|
|
|
/// getOrCreate - Return the specified constant from the map, creating it if
|
|
|
|
/// necessary.
|
2011-07-18 12:54:35 +08:00
|
|
|
ConstantClass *getOrCreate(TypeClass *Ty, ValRefType V) {
|
2009-08-05 06:55:26 +08:00
|
|
|
MapKey Lookup(Ty, V);
|
|
|
|
ConstantClass* Result = 0;
|
|
|
|
|
|
|
|
typename MapTy::iterator I = Map.find(Lookup);
|
|
|
|
// Is it in the map?
|
|
|
|
if (I != Map.end())
|
2009-09-15 23:58:07 +08:00
|
|
|
Result = I->second;
|
2009-08-05 06:55:26 +08:00
|
|
|
|
|
|
|
if (!Result) {
|
|
|
|
// If no preexisting value, create one now...
|
|
|
|
Result = Create(Ty, V, I);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Result;
|
|
|
|
}
|
|
|
|
|
|
|
|
void remove(ConstantClass *CP) {
|
|
|
|
typename MapTy::iterator I = FindExistingElement(CP);
|
|
|
|
assert(I != Map.end() && "Constant not found in constant table!");
|
|
|
|
assert(I->second == CP && "Didn't find correct element?");
|
|
|
|
|
|
|
|
if (HasLargeKey) // Remember the reverse mapping if needed.
|
|
|
|
InverseMap.erase(CP);
|
|
|
|
|
|
|
|
Map.erase(I);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// MoveConstantToNewSlot - If we are about to change C to be the element
|
|
|
|
/// specified by I, update our internal data structures to reflect this
|
|
|
|
/// fact.
|
|
|
|
void MoveConstantToNewSlot(ConstantClass *C, typename MapTy::iterator I) {
|
|
|
|
// First, remove the old location of the specified constant in the map.
|
|
|
|
typename MapTy::iterator OldI = FindExistingElement(C);
|
|
|
|
assert(OldI != Map.end() && "Constant not found in constant table!");
|
|
|
|
assert(OldI->second == C && "Didn't find correct element?");
|
|
|
|
|
Land the long talked about "type system rewrite" patch. This
patch brings numerous advantages to LLVM. One way to look at it
is through diffstat:
109 files changed, 3005 insertions(+), 5906 deletions(-)
Removing almost 3K lines of code is a good thing. Other advantages
include:
1. Value::getType() is a simple load that can be CSE'd, not a mutating
union-find operation.
2. Types a uniqued and never move once created, defining away PATypeHolder.
3. Structs can be "named" now, and their name is part of the identity that
uniques them. This means that the compiler doesn't merge them structurally
which makes the IR much less confusing.
4. Now that there is no way to get a cycle in a type graph without a named
struct type, "upreferences" go away.
5. Type refinement is completely gone, which should make LTO much MUCH faster
in some common cases with C++ code.
6. Types are now generally immutable, so we can use "Type *" instead
"const Type *" everywhere.
Downsides of this patch are that it removes some functions from the C API,
so people using those will have to upgrade to (not yet added) new API.
"LLVM 3.0" is the right time to do this.
There are still some cleanups pending after this, this patch is large enough
as-is.
llvm-svn: 134829
2011-07-10 01:41:24 +08:00
|
|
|
// Remove the old entry from the map.
|
2009-08-05 06:55:26 +08:00
|
|
|
Map.erase(OldI);
|
|
|
|
|
|
|
|
// Update the inverse map so that we know that this constant is now
|
|
|
|
// located at descriptor I.
|
|
|
|
if (HasLargeKey) {
|
|
|
|
assert(I->second == C && "Bad inversemap entry!");
|
|
|
|
InverseMap[C] = I;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void dump() const {
|
2010-01-05 09:34:26 +08:00
|
|
|
DEBUG(dbgs() << "Constant.cpp: ConstantUniqueMap\n");
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2012-02-06 04:54:10 +08:00
|
|
|
// Unique map for aggregate constants
|
|
|
|
template<class TypeClass, class ConstantClass>
|
|
|
|
class ConstantAggrUniqueMap {
|
|
|
|
public:
|
|
|
|
typedef ArrayRef<Constant*> Operands;
|
|
|
|
typedef std::pair<TypeClass*, Operands> LookupKey;
|
|
|
|
private:
|
|
|
|
struct MapInfo {
|
|
|
|
typedef DenseMapInfo<ConstantClass*> ConstantClassInfo;
|
|
|
|
typedef DenseMapInfo<Constant*> ConstantInfo;
|
|
|
|
typedef DenseMapInfo<TypeClass*> TypeClassInfo;
|
|
|
|
static inline ConstantClass* getEmptyKey() {
|
|
|
|
return ConstantClassInfo::getEmptyKey();
|
|
|
|
}
|
|
|
|
static inline ConstantClass* getTombstoneKey() {
|
|
|
|
return ConstantClassInfo::getTombstoneKey();
|
|
|
|
}
|
|
|
|
static unsigned getHashValue(const ConstantClass *CP) {
|
2012-03-07 11:22:32 +08:00
|
|
|
SmallVector<Constant*, 8> CPOperands;
|
|
|
|
CPOperands.reserve(CP->getNumOperands());
|
2012-03-06 18:43:52 +08:00
|
|
|
for (unsigned I = 0, E = CP->getNumOperands(); I < E; ++I)
|
2012-03-07 11:22:32 +08:00
|
|
|
CPOperands.push_back(CP->getOperand(I));
|
|
|
|
return getHashValue(LookupKey(CP->getType(), CPOperands));
|
2012-02-06 04:54:10 +08:00
|
|
|
}
|
|
|
|
static bool isEqual(const ConstantClass *LHS, const ConstantClass *RHS) {
|
|
|
|
return LHS == RHS;
|
|
|
|
}
|
|
|
|
static unsigned getHashValue(const LookupKey &Val) {
|
2012-03-07 11:22:32 +08:00
|
|
|
return hash_combine(Val.first, hash_combine_range(Val.second.begin(),
|
|
|
|
Val.second.end()));
|
2012-02-06 04:54:10 +08:00
|
|
|
}
|
|
|
|
static bool isEqual(const LookupKey &LHS, const ConstantClass *RHS) {
|
|
|
|
if (RHS == getEmptyKey() || RHS == getTombstoneKey())
|
|
|
|
return false;
|
|
|
|
if (LHS.first != RHS->getType()
|
|
|
|
|| LHS.second.size() != RHS->getNumOperands())
|
|
|
|
return false;
|
|
|
|
for (unsigned I = 0, E = RHS->getNumOperands(); I < E; ++I) {
|
|
|
|
if (LHS.second[I] != RHS->getOperand(I))
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
public:
|
|
|
|
typedef DenseMap<ConstantClass *, char, MapInfo> MapTy;
|
|
|
|
|
|
|
|
private:
|
|
|
|
/// Map - This is the main map from the element descriptor to the Constants.
|
|
|
|
/// This is the primary way we avoid creating two of the same shape
|
|
|
|
/// constant.
|
|
|
|
MapTy Map;
|
|
|
|
|
|
|
|
public:
|
|
|
|
typename MapTy::iterator map_begin() { return Map.begin(); }
|
|
|
|
typename MapTy::iterator map_end() { return Map.end(); }
|
|
|
|
|
|
|
|
void freeConstants() {
|
|
|
|
for (typename MapTy::iterator I=Map.begin(), E=Map.end();
|
|
|
|
I != E; ++I) {
|
|
|
|
// Asserts that use_empty().
|
|
|
|
delete I->first;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
typename MapTy::iterator findExistingElement(ConstantClass *CP) {
|
|
|
|
return Map.find(CP);
|
|
|
|
}
|
|
|
|
|
|
|
|
ConstantClass *Create(TypeClass *Ty, Operands V, typename MapTy::iterator I) {
|
|
|
|
ConstantClass* Result =
|
|
|
|
ConstantArrayCreator<ConstantClass,TypeClass>::create(Ty, V);
|
|
|
|
|
|
|
|
assert(Result->getType() == Ty && "Type specified is not correct!");
|
|
|
|
Map[Result] = '\0';
|
|
|
|
|
|
|
|
return Result;
|
|
|
|
}
|
|
|
|
public:
|
|
|
|
|
|
|
|
/// getOrCreate - Return the specified constant from the map, creating it if
|
|
|
|
/// necessary.
|
|
|
|
ConstantClass *getOrCreate(TypeClass *Ty, Operands V) {
|
|
|
|
LookupKey Lookup(Ty, V);
|
|
|
|
ConstantClass* Result = 0;
|
|
|
|
|
|
|
|
typename MapTy::iterator I = Map.find_as(Lookup);
|
|
|
|
// Is it in the map?
|
|
|
|
if (I != Map.end())
|
|
|
|
Result = I->first;
|
|
|
|
|
|
|
|
if (!Result) {
|
|
|
|
// If no preexisting value, create one now...
|
|
|
|
Result = Create(Ty, V, I);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Result;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Find the constant by lookup key.
|
|
|
|
typename MapTy::iterator find(LookupKey Lookup) {
|
|
|
|
return Map.find_as(Lookup);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Insert the constant into its proper slot.
|
|
|
|
void insert(ConstantClass *CP) {
|
|
|
|
Map[CP] = '\0';
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Remove this constant from the map
|
|
|
|
void remove(ConstantClass *CP) {
|
|
|
|
typename MapTy::iterator I = findExistingElement(CP);
|
|
|
|
assert(I != Map.end() && "Constant not found in constant table!");
|
|
|
|
assert(I->first == CP && "Didn't find correct element?");
|
|
|
|
Map.erase(I);
|
|
|
|
}
|
|
|
|
|
|
|
|
void dump() const {
|
|
|
|
DEBUG(dbgs() << "Constant.cpp: ConstantUniqueMap\n");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-08-05 06:55:26 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|