Detemplatize the PATypeHandle class, which was only really instantiated on 'Type'.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6774 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/AsmParser/llvmAsmParser.y b/lib/AsmParser/llvmAsmParser.y
index 8fd88ac..ca5b48d 100644
--- a/lib/AsmParser/llvmAsmParser.y
+++ b/lib/AsmParser/llvmAsmParser.y
@@ -816,7 +816,7 @@
   | UpRTypesV '(' ArgTypeListI ')' {           // Function derived type?
     std::vector<const Type*> Params;
     mapto($3->begin(), $3->end(), std::back_inserter(Params), 
-	  std::mem_fun_ref(&PATypeHandle<Type>::get));
+	  std::mem_fun_ref(&PATypeHandle::get));
     bool isVarArg = Params.size() && Params.back() == Type::VoidTy;
     if (isVarArg) Params.pop_back();
 
@@ -831,7 +831,7 @@
   | '{' TypeListI '}' {                        // Structure type?
     std::vector<const Type*> Elements;
     mapto($2->begin(), $2->end(), std::back_inserter(Elements), 
-	std::mem_fun_ref(&PATypeHandle<Type>::get));
+	std::mem_fun_ref(&PATypeHandle::get));
 
     $$ = new PATypeHolder(HandleUpRefs(StructType::get(Elements)));
     delete $2;
diff --git a/lib/Bytecode/Reader/ConstantReader.cpp b/lib/Bytecode/Reader/ConstantReader.cpp
index 80c6fc3..32874e2 100644
--- a/lib/Bytecode/Reader/ConstantReader.cpp
+++ b/lib/Bytecode/Reader/ConstantReader.cpp
@@ -139,7 +139,7 @@
 
   // Insert a bunch of opaque types to be resolved later...
   for (unsigned i = 0; i < NumEntries; ++i)
-    Tab.push_back(PATypeHandle<Type>(OpaqueType::get(), this));
+    Tab.push_back(PATypeHandle(OpaqueType::get(), this));
 
   // Loop through reading all of the types.  Forward types will make use of the
   // opaque types just inserted.
diff --git a/lib/Bytecode/Reader/ReaderInternals.h b/lib/Bytecode/Reader/ReaderInternals.h
index a8ee6fc..e09e5e5 100644
--- a/lib/Bytecode/Reader/ReaderInternals.h
+++ b/lib/Bytecode/Reader/ReaderInternals.h
@@ -104,7 +104,7 @@
   // TypesLoaded - This vector mirrors the Values[TypeTyID] plane.  It is used
   // to deal with forward references to types.
   //
-  typedef std::vector<PATypeHandle<Type> > TypeValuesListTy;
+  typedef std::vector<PATypeHandle> TypeValuesListTy;
   TypeValuesListTy ModuleTypeValues;
   TypeValuesListTy FunctionTypeValues;
 
diff --git a/lib/VMCore/Type.cpp b/lib/VMCore/Type.cpp
index 6865273..28ed4f3 100644
--- a/lib/VMCore/Type.cpp
+++ b/lib/VMCore/Type.cpp
@@ -216,11 +216,11 @@
 FunctionType::FunctionType(const Type *Result,
                            const std::vector<const Type*> &Params, 
                            bool IsVarArgs) : DerivedType(FunctionTyID), 
-    ResultType(PATypeHandle<Type>(Result, this)),
+    ResultType(PATypeHandle(Result, this)),
     isVarArgs(IsVarArgs) {
   ParamTys.reserve(Params.size());
   for (unsigned i = 0; i < Params.size(); ++i)
-    ParamTys.push_back(PATypeHandle<Type>(Params[i], this));
+    ParamTys.push_back(PATypeHandle(Params[i], this));
 
   setDerivedTypeProperties();
 }
@@ -230,7 +230,7 @@
   ETypes.reserve(Types.size());
   for (unsigned i = 0; i < Types.size(); ++i) {
     assert(Types[i] != Type::VoidTy && "Void type in method prototype!!");
-    ETypes.push_back(PATypeHandle<Type>(Types[i], this));
+    ETypes.push_back(PATypeHandle(Types[i], this));
   }
   setDerivedTypeProperties();
 }
@@ -427,20 +427,20 @@
 //
 template<class ValType, class TypeClass>
 class TypeMap : public AbstractTypeUser {
-  typedef std::map<ValType, PATypeHandle<TypeClass> > MapTy;
+  typedef std::map<ValType, PATypeHandle> MapTy;
   MapTy Map;
 public:
   ~TypeMap() { print("ON EXIT"); }
 
   inline TypeClass *get(const ValType &V) {
-    typename std::map<ValType, PATypeHandle<TypeClass> >::iterator I
+    typename std::map<ValType, PATypeHandle>::iterator I
       = Map.find(V);
     // TODO: FIXME: When Types are not CONST.
     return (I != Map.end()) ? (TypeClass*)I->second.get() : 0;
   }
 
   inline void add(const ValType &V, TypeClass *T) {
-    Map.insert(std::make_pair(V, PATypeHandle<TypeClass>(T, this)));
+    Map.insert(std::make_pair(V, PATypeHandle(T, this)));
     print("add");
   }
 
@@ -521,7 +521,7 @@
 
     TypeMap<ValType, TypeClass> &Table = MyTable;     // Copy MyTable reference
     ValType Tmp(*(ValType*)this);                     // Copy this.
-    PATypeHandle<TypeClass> OldType(Table.get(*(ValType*)this), this);
+    PATypeHandle OldType(Table.get(*(ValType*)this), this);
     Table.remove(*(ValType*)this);                    // Destroy's this!
 
     // Refine temporary to new state...
@@ -546,8 +546,8 @@
 // FunctionValType - Define a class to hold the key that goes into the TypeMap
 //
 class FunctionValType : public ValTypeBase<FunctionValType, FunctionType> {
-  PATypeHandle<Type> RetTy;
-  std::vector<PATypeHandle<Type> > ArgTypes;
+  PATypeHandle RetTy;
+  std::vector<PATypeHandle> ArgTypes;
   bool isVarArg;
 public:
   FunctionValType(const Type *ret, const std::vector<const Type*> &args,
@@ -555,7 +555,7 @@
     : ValTypeBase<FunctionValType, FunctionType>(Tab), RetTy(ret, this),
       isVarArg(IVA) {
     for (unsigned i = 0; i < args.size(); ++i)
-      ArgTypes.push_back(PATypeHandle<Type>(args[i], this));
+      ArgTypes.push_back(PATypeHandle(args[i], this));
   }
 
   // We *MUST* have an explicit copy ctor so that the TypeHandles think that
@@ -566,7 +566,7 @@
       isVarArg(MVT.isVarArg) {
     ArgTypes.reserve(MVT.ArgTypes.size());
     for (unsigned i = 0; i < MVT.ArgTypes.size(); ++i)
-      ArgTypes.push_back(PATypeHandle<Type>(MVT.ArgTypes[i], this));
+      ArgTypes.push_back(PATypeHandle(MVT.ArgTypes[i], this));
   }
 
   // Subclass should override this... to update self as usual
@@ -615,7 +615,7 @@
 // Array Type Factory...
 //
 class ArrayValType : public ValTypeBase<ArrayValType, ArrayType> {
-  PATypeHandle<Type> ValTy;
+  PATypeHandle ValTy;
   unsigned Size;
 public:
   ArrayValType(const Type *val, int sz, TypeMap<ArrayValType, ArrayType> &Tab)
@@ -671,14 +671,14 @@
 // StructValType - Define a class to hold the key that goes into the TypeMap
 //
 class StructValType : public ValTypeBase<StructValType, StructType> {
-  std::vector<PATypeHandle<Type> > ElTypes;
+  std::vector<PATypeHandle> ElTypes;
 public:
   StructValType(const std::vector<const Type*> &args,
 		TypeMap<StructValType, StructType> &Tab)
     : ValTypeBase<StructValType, StructType>(Tab) {
     ElTypes.reserve(args.size());
     for (unsigned i = 0, e = args.size(); i != e; ++i)
-      ElTypes.push_back(PATypeHandle<Type>(args[i], this));
+      ElTypes.push_back(PATypeHandle(args[i], this));
   }
 
   // We *MUST* have an explicit copy ctor so that the TypeHandles think that
@@ -688,7 +688,7 @@
     : ValTypeBase<StructValType, StructType>(SVT){
     ElTypes.reserve(SVT.ElTypes.size());
     for (unsigned i = 0, e = SVT.ElTypes.size(); i != e; ++i)
-      ElTypes.push_back(PATypeHandle<Type>(SVT.ElTypes[i], this));
+      ElTypes.push_back(PATypeHandle(SVT.ElTypes[i], this));
   }
 
   // Subclass should override this... to update self as usual
@@ -731,7 +731,7 @@
 // PointerValType - Define a class to hold the key that goes into the TypeMap
 //
 class PointerValType : public ValTypeBase<PointerValType, PointerType> {
-  PATypeHandle<Type> ValTy;
+  PATypeHandle ValTy;
 public:
   PointerValType(const Type *val, TypeMap<PointerValType, PointerType> &Tab)
     : ValTypeBase<PointerValType, PointerType>(Tab), ValTy(val, this) {}