Remove asserting getters from base Type

[ctetreau]

Summary

Remove asserting vector getters from Type in preparation for the
VectorType refactor. The existence of these functions complicates the
refactor while adding little value.

[ctetreau]

This won't build until all of these land:

https://reviews.llvm.org/D77257
https://reviews.llvm.org/D77258
https://reviews.llvm.org/D77259
https://reviews.llvm.org/D77260
https://reviews.llvm.org/D77261
https://reviews.llvm.org/D77262
https://reviews.llvm.org/D77263
https://reviews.llvm.org/D77264
https://reviews.llvm.org/D77265
https://reviews.llvm.org/D77266
https://reviews.llvm.org/D77267
https://reviews.llvm.org/D77268
https://reviews.llvm.org/D77269
https://reviews.llvm.org/D77271
https://reviews.llvm.org/D77272
https://reviews.llvm.org/D77273
https://reviews.llvm.org/D77274
https://reviews.llvm.org/D77275
https://reviews.llvm.org/D77276

[ctetreau]

rebase

[efriedma]

llvm/lib/IR/Type.cpp

156 ↗

(On Diff #256399)

It probably makes sense to make this an inline function in DerivedTypes.h

[ctetreau]

address code review issues

[efriedma]

LGTM

[ctetreau]

catch stragglers

[ctetreau]

fix permissions

[efriedma]

LGTM

[ctetreau]

catch straggler

llvm/include/llvm/IR/DerivedTypes.h

public:
   }
 
   /// Methods for support type inquiry through isa, cast, and dyn_cast.
   static bool classof(const Type *T) {
     return T->getTypeID() == VectorTyID;
   }
 };
 
-unsigned Type::getVectorNumElements() const {
-  return cast<VectorType>(this)->getNumElements();
-}
-
-bool Type::getVectorIsScalable() const {
-  return cast<VectorType>(this)->isScalable();
-}
-
-ElementCount Type::getVectorElementCount() const {
-  return cast<VectorType>(this)->getElementCount();
-}
-
 bool Type::isVectorTy() const { return isa<VectorType>(this); }
 
 /// Class to represent pointers.
 class PointerType : public Type {
   explicit PointerType(Type *ElType, unsigned AddrSpace);
 
   Type *PointeeTy;
 
Type *Type::getExtendedType() const {
   return cast<IntegerType>(this)->getExtendedType();
 }
 
 Type *Type::getWithNewBitWidth(unsigned NewBitWidth) const {
   assert(
       isIntOrIntVectorTy() &&
       "Original type expected to be a vector of integers or a scalar integer.");
   Type *NewType = getIntNTy(getContext(), NewBitWidth);
-  if (isVectorTy())
-    NewType = VectorType::get(NewType, getVectorElementCount());
+  if (auto *VTy = dyn_cast<VectorType>(this))
+    NewType = VectorType::get(NewType, VTy->getElementCount());
   return NewType;
 }
 
 unsigned Type::getPointerAddressSpace() const {
   return cast<PointerType>(getScalarType())->getAddressSpace();
 }
 
+Type *Type::getScalarType() const {
+  if (isVectorTy())
+    return cast<VectorType>(this)->getElementType();
+  return const_cast<Type *>(this);
+}
+
 } // end namespace llvm
 
 #endif // LLVM_IR_DERIVEDTYPES_H

llvm/include/llvm/IR/Type.h

public:
 
   /// Return the width of the mantissa of this type. This is only valid on
   /// floating-point types. If the FP type does not have a stable mantissa (e.g.
   /// ppc long double), this method returns -1.
   int getFPMantissaWidth() const;
 
   /// If this is a vector type, return the element type, otherwise return
   /// 'this'.
-  Type *getScalarType() const {
-    if (isVectorTy())
-      return getVectorElementType();
-    return const_cast<Type*>(this);
-  }
+  inline Type *getScalarType() const;
 
   //===--------------------------------------------------------------------===//
   // Type Iteration support.
   //
   using subtype_iterator = Type * const *;
 
   subtype_iterator subtype_begin() const { return ContainedTys; }
   subtype_iterator subtype_end() const { return &ContainedTys[NumContainedTys];}
Type *getContainedType(unsigned i) const {
     return ContainedTys[i];
   }
 
   /// Return the number of types in the derived type.
   unsigned getNumContainedTypes() const { return NumContainedTys; }
 
   //===--------------------------------------------------------------------===//
   // Helper methods corresponding to subclass methods.  This forces a cast to
-  // the specified subclass and calls its accessor.  "getVectorNumElements" (for
-  // example) is shorthand for cast<VectorType>(Ty)->getNumElements().  This is
+  // the specified subclass and calls its accessor.  "getArrayNumElements" (for
+  // example) is shorthand for cast<ArrayType>(Ty)->getNumElements().  This is
   // only intended to cover the core methods that are frequently used, helper
   // methods should not be added here.
 
   inline unsigned getIntegerBitWidth() const;
 
   inline Type *getFunctionParamType(unsigned i) const;
   inline unsigned getFunctionNumParams() const;
   inline bool isFunctionVarArg() const;
 
   inline StringRef getStructName() const;
   inline unsigned getStructNumElements() const;
   inline Type *getStructElementType(unsigned N) const;
 
   inline uint64_t getArrayNumElements() const;
 
   Type *getArrayElementType() const {
     assert(getTypeID() == ArrayTyID);
     return ContainedTys[0];
   }
 
-  inline bool getVectorIsScalable() const;
-  inline unsigned getVectorNumElements() const;
-  inline ElementCount getVectorElementCount() const;
-  Type *getVectorElementType() const {
-    assert(getTypeID() == VectorTyID);
-    return ContainedTys[0];
-  }
-
   Type *getPointerElementType() const {
     assert(getTypeID() == PointerTyID);
     return ContainedTys[0];
   }
 
   /// Given an integer or vector type, change the lane bitwidth to NewBitwidth,
   /// whilst keeping the old number of lanes.
   inline Type *getWithNewBitWidth(unsigned NewBitWidth) const;