HWTypes.h

Go to the documentation of this file.

//===- HWTypes.h - Types for the HW dialect ---------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// Types for the HW dialect are mostly in tablegen. This file should contain
// C++ types used in MLIR type parameters.
//
//===----------------------------------------------------------------------===//
 
#ifndef CIRCT_DIALECT_HW_TYPES_H
#define CIRCT_DIALECT_HW_TYPES_H
 
#include "circt/Dialect/HW/HWDialect.h"
#include "circt/Dialect/HW/HWTypeInterfaces.h"
#include "mlir/IR/DialectInterface.h"
#include "mlir/Interfaces/MemorySlotInterfaces.h"
 
#include "circt/Support/FieldInfo.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/AttrTypeSubElements.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Types.h"
 
namespace circt {
namespace hw {
 
struct ModulePort {
  enum Direction { Input, Output, InOut };
  mlir::StringAttr name;
  mlir::Type type;
  Direction dir;
};
 
struct HWModulePortTypeInterface
    : public mlir::DialectInterface::Base<HWModulePortTypeInterface> {
  HWModulePortTypeInterface(mlir::Dialect *dialect) : Base(dialect) {}
 
  /// Return failure if `type` is not valid for a module port with the given
  /// direction. Dialects can implement this to restrict non-HW-value handle
  /// types in HW module signatures.
  virtual mlir::LogicalResult verifyHWModulePortType(
      llvm::function_ref<mlir::InFlightDiagnostic()> emitError,
      ModulePort::Direction direction, mlir::Type type) const {
    return mlir::success();
  }
};
 
/// Interface for dialects to classify their types as valid probe payloads.
struct ProbeTypeDialectInterface
    : public mlir::DialectInterface::Base<ProbeTypeDialectInterface> {
  ProbeTypeDialectInterface(mlir::Dialect *dialect) : Base(dialect) {}
 
  virtual bool isValidProbeElementType(mlir::Type type) const = 0;
};
 
/// Return true if `type` is a valid probe payload. Builtin integer types are
/// always valid; other types are classified by their owning dialect.
bool isValidProbeElementType(mlir::Type type);
 
static bool operator==(const ModulePort &a, const ModulePort &b) {
  return a.dir == b.dir && a.name == b.name && a.type == b.type;
}
static llvm::hash_code hash_value(const ModulePort &port) {
  return llvm::hash_combine(port.dir, port.name, port.type);
}
 
namespace detail {
struct ModuleTypeStorage : public TypeStorage {
  ModuleTypeStorage(ArrayRef<ModulePort> inPorts);
 
  using KeyTy = ArrayRef<ModulePort>;
 
  /// Define the comparison function for the key type.
  bool operator==(const KeyTy &key) const {
    return std::equal(key.begin(), key.end(), ports.begin(), ports.end());
  }
 
  /// Define a hash function for the key type.
  static llvm::hash_code hashKey(const KeyTy &key) {
    return llvm::hash_combine_range(key.begin(), key.end());
  }
 
  /// Define a construction method for creating a new instance of this storage.
  static ModuleTypeStorage *construct(mlir::TypeStorageAllocator &allocator,
                                      const KeyTy &key) {
    return new (allocator.allocate<ModuleTypeStorage>()) ModuleTypeStorage(key);
  }
 
  /// Construct an instance of the key from this storage class.
  KeyTy getAsKey() const { return ports; }
 
  ArrayRef<ModulePort> getPorts() const { return ports; }
 
  /// The parametric data held by the storage class.
  SmallVector<ModulePort> ports;
  // Cache of common lookups
  SmallVector<size_t> inputToAbs;
  SmallVector<size_t> outputToAbs;
  SmallVector<size_t> absToInput;
  SmallVector<size_t> absToOutput;
};
} // namespace detail
 
class HWSymbolCache;
class ParamDeclAttr;
class TypedeclOp;
class ModuleType;
 
namespace detail {
 
ModuleType fnToMod(Operation *op, ArrayRef<Attribute> inputNames,
                   ArrayRef<Attribute> outputNames);
ModuleType fnToMod(FunctionType fn, ArrayRef<Attribute> inputNames,
                   ArrayRef<Attribute> outputNames);
 
/// Struct defining a field. Used in structs.
using FieldInfo = ::circt::FieldInfo;
 
/// Struct defining a field with an offset. Used in unions.
struct OffsetFieldInfo {
  StringAttr name;
  Type type;
  size_t offset;
};
} // namespace detail
} // namespace hw
} // namespace circt
 
namespace mlir {
/// Expose the field names and types of union types to the generic attribute and
/// type walking and replacement infrastructure. This allows walkers to recurse
/// into the fields of `!hw.union` types, and replacers such as
/// `mlir::AttrTypeReplacer` to replace types nested within the fields.
template <>
struct AttrTypeSubElementHandler<circt::hw::detail::OffsetFieldInfo> {
  static void walk(const circt::hw::detail::OffsetFieldInfo &param,
                   AttrTypeImmediateSubElementWalker &walker) {
    walker.walk(param.name);
    walker.walk(param.type);
  }
  static circt::hw::detail::OffsetFieldInfo
  replace(const circt::hw::detail::OffsetFieldInfo &param,
          AttrSubElementReplacements &attrRepls,
          TypeSubElementReplacements &typeRepls) {
    return {cast<StringAttr>(attrRepls.take_front(1)[0]),
            typeRepls.take_front(1)[0], param.offset};
  }
};
} // namespace mlir
 
#define GET_TYPEDEF_CLASSES
#include "circt/Dialect/HW/HWTypes.h.inc"
 
namespace circt {
namespace hw {
 
/// Recursively remove HW type aliases from a type and its subelements.
mlir::Type getCanonicalType(mlir::Type type);
 
/// Return true if the specified type is a value HW Integer type.  This checks
/// that it is a signless standard dialect type.
bool isHWIntegerType(mlir::Type type);
 
/// Return true if the specified type is a HW Enum type.
bool isHWEnumType(mlir::Type type);
 
/// Return true if the specified type can be used as an HW value type, that is
/// the set of types that can be composed together to represent synthesized,
/// hardware but not marker types like InOutType or unknown types from other
/// dialects.
bool isHWValueType(mlir::Type type);
 
/// Return the hardware bit width of a type. Does not reflect any encoding,
/// padding, or storage scheme, just the bit (and wire width) of a
/// statically-size type. Reflects the number of wires needed to transmit a
/// value of this type. Returns -1 if the type is not known or cannot be
/// statically computed.
int64_t getBitWidth(mlir::Type type);
 
/// Return true if the specified type contains known marker types like
/// InOutType.  Unlike isHWValueType, this is not conservative, it only returns
/// false on known InOut types, rather than any unknown types.
bool hasHWInOutType(mlir::Type type);
 
/// Convert an APInt value into a nested aggregate attribute matching the given
/// HWAggregateType. Returns failure() if the type is not an HWAggregateType or
/// recursively contains a type other than HWAggregateType or IntegerType.
LogicalResult apIntToAggregateAttr(mlir::Type aggregateType,
                                   const APInt &intVal, ArrayAttr &result);
 
/// Convert an ArrayAttr into an APInt value matching the given type.
/// The type is used to determine the bit width of the resulting APInt.
/// Returns failure() if the attribute recursively contains anything other than
/// ArrayAttr or IntegerAttr.
LogicalResult aggregateAttrToAPInt(mlir::Type type, ArrayAttr attr,
                                   APInt &result);
 
template <typename... BaseTy>
bool type_isa(Type type) {
  // First check if the type is the requested type.
  if (isa<BaseTy...>(type))
    return true;
 
  // Then check if it is a type alias wrapping the requested type.
  if (auto alias = dyn_cast<TypeAliasType>(type))
    return type_isa<BaseTy...>(alias.getInnerType());
 
  return false;
}
 
// type_isa for a nullable argument.
template <typename... BaseTy>
bool type_isa_and_nonnull(Type type) { // NOLINT(readability-identifier-naming)
  if (!type)
    return false;
  return type_isa<BaseTy...>(type);
}
 
template <typename BaseTy>
BaseTy type_cast(Type type) {
  assert(type_isa<BaseTy>(type) && "type must convert to requested type");
 
  // If the type is the requested type, return it.
  if (isa<BaseTy>(type))
    return cast<BaseTy>(type);
 
  // Otherwise, it must be a type alias wrapping the requested type.
  return type_cast<BaseTy>(cast<TypeAliasType>(type).getInnerType());
}
 
template <typename BaseTy>
BaseTy type_dyn_cast(Type type) {
  if (!type_isa<BaseTy>(type))
    return BaseTy();
 
  return type_cast<BaseTy>(type);
}
 
/// Utility type that wraps a type that may be one of several possible Types.
/// This is similar to std::variant but is implemented for mlir::Type, and it
/// understands how to handle type aliases.
template <typename... Types>
class TypeVariant
    : public ::mlir::Type::TypeBase<TypeVariant<Types...>, mlir::Type,
                                    mlir::TypeStorage> {
  using mlir::Type::TypeBase<TypeVariant<Types...>, mlir::Type,
                             mlir::TypeStorage>::Base::Base;
 
public:
  // Support LLVM isa/cast/dyn_cast to one of the possible types.
  static bool classof(Type other) { return type_isa<Types...>(other); }
};
 
template <typename BaseTy>
class TypeAliasOr
    : public ::mlir::Type::TypeBase<TypeAliasOr<BaseTy>, mlir::Type,
                                    mlir::TypeStorage> {
  using mlir::Type::TypeBase<TypeAliasOr<BaseTy>, mlir::Type,
                             mlir::TypeStorage>::Base::Base;
 
public:
  // Support LLVM isa/cast/dyn_cast to BaseTy.
  static bool classof(Type other) { return type_isa<BaseTy>(other); }
 
  // Support C++ implicit conversions to BaseTy.
  operator BaseTy() const { return type_cast<BaseTy>(*this); }
};
 
} // namespace hw
} // namespace circt
 
#endif // CIRCT_DIALECT_HW_TYPES_H