HWTypes.cpp

Go to the documentation of this file.

//===- HWTypes.cpp - HW types code defs -----------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// Implementation logic for HW data types.
//
//===----------------------------------------------------------------------===//
 
#include "circt/Dialect/HW/HWTypes.h"
#include "circt/Dialect/HW/HWAttributes.h"
#include "circt/Dialect/HW/HWDialect.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/HW/HWSymCache.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/AttrTypeSubElements.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Diagnostics.h"
#include "mlir/IR/DialectImplementation.h"
#include "mlir/IR/StorageUniquerSupport.h"
#include "mlir/IR/Types.h"
#include "mlir/Interfaces/MemorySlotInterfaces.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringSet.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/ErrorHandling.h"
 
using namespace circt;
using namespace circt::hw;
using namespace circt::hw::detail;
 
static ParseResult parseHWArray(AsmParser &parser, Attribute &dim,
                                Type &elementType);
static void printHWArray(AsmPrinter &printer, Attribute dim, Type elementType);
 
static ParseResult parseHWElementType(AsmParser &parser, Type &elementType);
static void printHWElementType(AsmPrinter &printer, Type dim);
 
#define GET_TYPEDEF_CLASSES
#include "circt/Dialect/HW/HWTypes.cpp.inc"
 
//===----------------------------------------------------------------------===//
// Type Helpers
//===----------------------------------------------------------------------===/
 
mlir::Type circt::hw::getCanonicalType(mlir::Type type) {
  mlir::AttrTypeReplacer replacer;
  replacer.addReplacement(
      [](TypeAliasType alias) { return alias.getCanonicalType(); });
  return replacer.replace(type);
}
 
/// Return true if the specified type is a value HW Integer type.  This checks
/// that it is a signless standard dialect type or a hw::IntType.
bool circt::hw::isHWIntegerType(mlir::Type type) {
  Type canonicalType = getCanonicalType(type);
 
  if (isa<hw::IntType>(canonicalType))
    return true;
 
  auto intType = dyn_cast<IntegerType>(canonicalType);
  if (!intType || !intType.isSignless())
    return false;
 
  return true;
}
 
bool circt::hw::isHWEnumType(mlir::Type type) {
  return isa<hw::EnumType>(getCanonicalType(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.
bool circt::hw::isHWValueType(Type type) {
  // Signless and signed integer types are both valid.
  if (isa<IntegerType, IntType, EnumType>(type))
    return true;
 
  if (auto array = dyn_cast<ArrayType>(type))
    return isHWValueType(array.getElementType());
 
  if (auto array = dyn_cast<UnpackedArrayType>(type))
    return isHWValueType(array.getElementType());
 
  if (auto t = dyn_cast<StructType>(type))
    return llvm::all_of(t.getElements(),
                        [](auto f) { return isHWValueType(f.type); });
 
  if (auto t = dyn_cast<UnionType>(type))
    return llvm::all_of(t.getElements(),
                        [](auto f) { return isHWValueType(f.type); });
 
  if (auto t = dyn_cast<TypeAliasType>(type))
    return isHWValueType(t.getCanonicalType());
 
  return false;
}
 
bool circt::hw::isValidProbeElementType(Type type) {
  if (!type)
    return false;
 
  if (isa<IntegerType>(type))
    return true;
 
  auto *interface =
      type.getDialect().getRegisteredInterface<ProbeTypeDialectInterface>();
  return interface && interface->isValidProbeElementType(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 circt::hw::getBitWidth(mlir::Type type) {
  // Handle built-in types that don't implement the interface. Do this first
  // since it is faster than downcasting to an interface.
  return llvm::TypeSwitch<::mlir::Type, int64_t>(type)
      .Case<IntegerType>(
          [](IntegerType t) { return t.getIntOrFloatBitWidth(); })
      .Default([](Type type) -> int64_t {
        // If type implements the BitWidthTypeInterface, use it.
        if (auto iface = dyn_cast<BitWidthTypeInterface>(type)) {
          std::optional<int64_t> width = iface.getBitWidth();
          return width.has_value() ? *width : -1;
        }
        return -1;
      });
}
 
/// 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 circt::hw::hasHWInOutType(Type type) {
  if (auto array = dyn_cast<ArrayType>(type))
    return hasHWInOutType(array.getElementType());
 
  if (auto array = dyn_cast<UnpackedArrayType>(type))
    return hasHWInOutType(array.getElementType());
 
  if (auto t = dyn_cast<StructType>(type)) {
    return std::any_of(t.getElements().begin(), t.getElements().end(),
                       [](const auto &f) { return hasHWInOutType(f.type); });
  }
 
  if (auto t = dyn_cast<TypeAliasType>(type))
    return hasHWInOutType(t.getCanonicalType());
 
  return isa<InOutType>(type);
}
 
namespace {
struct AggregateAttrFrame {
  SmallVector<Attribute> attrs;
  SmallVector<Type> types;
  unsigned remaining;
 
  AggregateAttrFrame(SmallVector<Type> &&types)
      : attrs(types.size()), types(std::move(types)), remaining(attrs.size()) {}
 
  void addChild(Attribute attr) { attrs[--remaining] = attr; }
  Type getNextChildType() { return types[remaining - 1]; }
  bool isFinished() const { return remaining == 0; }
};
} // namespace
 
/// 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 circt::hw::apIntToAggregateAttr(Type aggregateType,
                                              const APInt &intVal,
                                              ArrayAttr &result) {
  auto *ctx = aggregateType.getContext();
  SmallVector<AggregateAttrFrame> stack;
  unsigned nextExtraction = 0;
 
  auto pushToStack = [&](Type type) -> bool {
    return TypeSwitch<Type, bool>(type)
        .Case<StructType>([&](auto structType) {
          auto len = structType.getElements().size();
          SmallVector<Type> types;
          types.reserve(len);
          for (auto &element : structType.getElements())
            types.push_back(getCanonicalType(element.type));
          stack.push_back(std::move(types));
          return true;
        })
        .Case<ArrayType, UnpackedArrayType>([&](auto arrayType) {
          SmallVector<Type> types(arrayType.getNumElements(),
                                  getCanonicalType(arrayType.getElementType()));
          stack.push_back(std::move(types));
          return true;
        })
        .Default([](Type) {
          // Unsupported type
          return false;
        });
  };
 
  if (!pushToStack(getCanonicalType(aggregateType)))
    return failure();
 
  while (!stack.empty()) {
    if (stack.back().isFinished()) {
      auto frame = stack.pop_back_val();
      result = ArrayAttr::get(ctx, frame.attrs);
      if (!stack.empty())
        stack.back().addChild(result);
      continue;
    }
 
    auto curType = stack.back().getNextChildType();
    if (auto intType = dyn_cast<IntegerType>(curType)) {
      auto width = intType.getWidth();
      auto elemValue = width ? intVal.extractBits(width, nextExtraction)
                             : APInt(0, 0, false);
      nextExtraction += width;
      stack.back().addChild(IntegerAttr::get(intType, elemValue));
    } else {
      if (!pushToStack(curType))
        return failure();
    }
  }
 
  assert(nextExtraction == intVal.getBitWidth() &&
         "constant wasn't fully processed");
  return success();
}
 
/// 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 circt::hw::aggregateAttrToAPInt(Type type, ArrayAttr attr,
                                              APInt &result) {
  SmallVector<Attribute> worklist;
  worklist.push_back(attr);
  auto bitWidth = hw::getBitWidth(type);
  assert(bitWidth >= 0 && "bit width must be known for constant");
  result = APInt(bitWidth, 0);
  unsigned nextInsertion = 0;
 
  while (!worklist.empty()) {
    auto current = worklist.pop_back_val();
    if (auto innerArray = dyn_cast<ArrayAttr>(current)) {
      worklist.append(innerArray.begin(), innerArray.end());
      continue;
    }
 
    if (auto intAttr = dyn_cast<IntegerAttr>(current)) {
      auto chunk = intAttr.getValue();
      result.insertBits(chunk, nextInsertion);
      nextInsertion += chunk.getBitWidth();
      continue;
    }
 
    return failure();
  }
 
  assert(nextInsertion == bitWidth && "constant wasn't fully processed");
  return success();
}
 
/// Parse and print nested HW types nicely.  These helper methods allow eliding
/// the "hw." prefix on array, inout, and other types when in a context that
/// expects HW subelement types.
static ParseResult parseHWElementType(AsmParser &p, Type &result) {
  // If this is an HW dialect type, then we don't need/want the !hw. prefix
  // redundantly specified.
  auto fullString = static_cast<DialectAsmParser &>(p).getFullSymbolSpec();
  auto *curPtr = p.getCurrentLocation().getPointer();
  auto typeString =
      StringRef(curPtr, fullString.size() - (curPtr - fullString.data()));
 
  if (typeString.starts_with("array<") || typeString.starts_with("inout<") ||
      typeString.starts_with("uarray<") || typeString.starts_with("struct<") ||
      typeString.starts_with("typealias<") || typeString.starts_with("int<") ||
      typeString.starts_with("enum<") || typeString.starts_with("union<")) {
    llvm::StringRef mnemonic;
    if (auto parseResult = generatedTypeParser(p, &mnemonic, result);
        parseResult.has_value())
      return *parseResult;
    return p.emitError(p.getNameLoc(), "invalid type `") << typeString << "`";
  }
 
  return p.parseType(result);
}
 
static void printHWElementType(AsmPrinter &p, Type element) {
  if (succeeded(generatedTypePrinter(element, p)))
    return;
  p.printType(element);
}
 
//===----------------------------------------------------------------------===//
// Int Type
//===----------------------------------------------------------------------===//
 
Type IntType::get(mlir::TypedAttr width) {
  // The width expression must always be a 32-bit wide integer type itself.
  auto widthWidth = llvm::dyn_cast<IntegerType>(width.getType());
  assert(widthWidth && widthWidth.getWidth() == 32 &&
         "!hw.int width must be 32-bits");
  (void)widthWidth;
 
  if (auto cstWidth = llvm::dyn_cast<IntegerAttr>(width))
    return IntegerType::get(width.getContext(),
                            cstWidth.getValue().getZExtValue());
 
  return Base::get(width.getContext(), width);
}
 
Type IntType::parse(AsmParser &p) {
  // The bitwidth of the parameter size is always 32 bits.
  auto int32Type = p.getBuilder().getIntegerType(32);
 
  mlir::TypedAttr width;
  if (p.parseLess() || p.parseAttribute(width, int32Type) || p.parseGreater())
    return Type();
  return get(width);
}
 
void IntType::print(AsmPrinter &p) const {
  p << "<";
  p.printAttributeWithoutType(getWidth());
  p << '>';
}
 
//===----------------------------------------------------------------------===//
// Struct Type
//===----------------------------------------------------------------------===//
 
Type StructType::parse(AsmParser &p) {
  llvm::SmallVector<FieldInfo, 4> parameters;
  SmallVector<std::pair<llvm::SMLoc, StringAttr>> duplicates;
  auto parseResult = parseFieldList(p, parameters, duplicates);
  for (auto [loc, name] : duplicates)
    p.emitError(loc) << "duplicate field name '" << name.getValue() << "'";
  if (failed(parseResult) || !duplicates.empty())
    return Type();
  return get(p.getContext(), parameters);
}
 
LogicalResult StructType::verify(function_ref<InFlightDiagnostic()> emitError,
                                 ArrayRef<StructType::FieldInfo> elements) {
  llvm::SmallDenseSet<StringAttr> fieldNameSet;
  LogicalResult result = success();
  fieldNameSet.reserve(elements.size());
  for (const auto &elt : elements)
    if (!fieldNameSet.insert(elt.name).second) {
      result = failure();
      emitError() << "duplicate field name '" << elt.name.getValue()
                  << "' in hw.struct type";
    }
  return result;
}
 
void StructType::print(AsmPrinter &p) const {
  printFieldList(p, getElements());
}
 
Type StructType::getFieldType(mlir::StringRef fieldName) {
  for (const auto &field : getElements())
    if (field.name == fieldName)
      return field.type;
  return Type();
}
 
std::optional<uint32_t> StructType::getFieldIndex(mlir::StringRef fieldName) {
  ArrayRef<hw::StructType::FieldInfo> elems = getElements();
  for (size_t idx = 0, numElems = elems.size(); idx < numElems; ++idx)
    if (elems[idx].name == fieldName)
      return idx;
  return {};
}
 
std::optional<uint32_t> StructType::getFieldIndex(mlir::StringAttr fieldName) {
  ArrayRef<hw::StructType::FieldInfo> elems = getElements();
  for (size_t idx = 0, numElems = elems.size(); idx < numElems; ++idx)
    if (elems[idx].name == fieldName)
      return idx;
  return {};
}
 
static std::pair<uint64_t, SmallVector<uint64_t>>
getFieldIDsStruct(const StructType &st) {
  uint64_t fieldID = 0;
  auto elements = st.getElements();
  SmallVector<uint64_t> fieldIDs;
  fieldIDs.reserve(elements.size());
  for (auto &element : elements) {
    auto type = element.type;
    fieldID += 1;
    fieldIDs.push_back(fieldID);
    // Increment the field ID for the next field by the number of subfields.
    fieldID += hw::FieldIdImpl::getMaxFieldID(type);
  }
  return {fieldID, fieldIDs};
}
 
void StructType::getInnerTypes(SmallVectorImpl<Type> &types) {
  for (const auto &field : getElements())
    types.push_back(field.type);
}
 
uint64_t StructType::getMaxFieldID() const {
  uint64_t fieldID = 0;
  for (const auto &field : getElements())
    fieldID += 1 + hw::FieldIdImpl::getMaxFieldID(field.type);
  return fieldID;
}
 
std::pair<Type, uint64_t>
StructType::getSubTypeByFieldID(uint64_t fieldID) const {
  if (fieldID == 0)
    return {*this, 0};
  auto [maxId, fieldIDs] = getFieldIDsStruct(*this);
  auto *it = std::prev(llvm::upper_bound(fieldIDs, fieldID));
  auto subfieldIndex = std::distance(fieldIDs.begin(), it);
  auto subfieldType = getElements()[subfieldIndex].type;
  auto subfieldID = fieldID - fieldIDs[subfieldIndex];
  return {subfieldType, subfieldID};
}
 
std::pair<uint64_t, bool>
StructType::projectToChildFieldID(uint64_t fieldID, uint64_t index) const {
  auto [maxId, fieldIDs] = getFieldIDsStruct(*this);
  auto childRoot = fieldIDs[index];
  auto rangeEnd =
      index + 1 >= getElements().size() ? maxId : (fieldIDs[index + 1] - 1);
  return std::make_pair(fieldID - childRoot,
                        fieldID >= childRoot && fieldID <= rangeEnd);
}
 
uint64_t StructType::getFieldID(uint64_t index) const {
  auto [maxId, fieldIDs] = getFieldIDsStruct(*this);
  return fieldIDs[index];
}
 
uint64_t StructType::getIndexForFieldID(uint64_t fieldID) const {
  assert(!getElements().empty() && "Bundle must have >0 fields");
  auto [maxId, fieldIDs] = getFieldIDsStruct(*this);
  auto *it = std::prev(llvm::upper_bound(fieldIDs, fieldID));
  return std::distance(fieldIDs.begin(), it);
}
 
std::pair<uint64_t, uint64_t>
StructType::getIndexAndSubfieldID(uint64_t fieldID) const {
  auto index = getIndexForFieldID(fieldID);
  auto elementFieldID = getFieldID(index);
  return {index, fieldID - elementFieldID};
}
 
std::optional<DenseMap<Attribute, Type>>
hw::StructType::getSubelementIndexMap() const {
  DenseMap<Attribute, Type> destructured;
  for (auto [i, field] : llvm::enumerate(getElements()))
    destructured.insert(
        {IntegerAttr::get(IndexType::get(getContext()), i), field.type});
  return destructured;
}
 
Type hw::StructType::getTypeAtIndex(Attribute index) const {
  auto indexAttr = llvm::dyn_cast<IntegerAttr>(index);
  if (!indexAttr)
    return {};
 
  return getSubTypeByFieldID(indexAttr.getInt()).first;
}
 
std::optional<int64_t> StructType::getBitWidth() const {
  int64_t total = 0;
  for (auto field : getElements()) {
    int64_t fieldSize = hw::getBitWidth(field.type);
    if (fieldSize < 0)
      return std::nullopt;
    total += fieldSize;
  }
  return total;
}
 
//===----------------------------------------------------------------------===//
// Union Type
//===----------------------------------------------------------------------===//
 
namespace circt {
namespace hw {
namespace detail {
bool operator==(const OffsetFieldInfo &a, const OffsetFieldInfo &b) {
  return a.name == b.name && a.type == b.type && a.offset == b.offset;
}
// NOLINTNEXTLINE
llvm::hash_code hash_value(const OffsetFieldInfo &fi) {
  return llvm::hash_combine(fi.name, fi.type, fi.offset);
}
} // namespace detail
} // namespace hw
} // namespace circt
 
Type UnionType::parse(AsmParser &p) {
  llvm::SmallVector<FieldInfo, 4> parameters;
  llvm::StringSet<> nameSet;
  bool hasDuplicateName = false;
  if (p.parseCommaSeparatedList(
          mlir::AsmParser::Delimiter::LessGreater, [&]() -> ParseResult {
            StringRef name;
            Type type;
 
            auto fieldLoc = p.getCurrentLocation();
            if (p.parseKeyword(&name) || p.parseColon() || p.parseType(type))
              return failure();
 
            if (!nameSet.insert(name).second) {
              p.emitError(fieldLoc, "duplicate field name \'" + name +
                                        "\' in hw.union type");
              // Continue parsing to print all duplicates, but make sure to
              // error eventually
              hasDuplicateName = true;
            }
 
            size_t offset = 0;
            if (succeeded(p.parseOptionalKeyword("offset")))
              if (p.parseInteger(offset))
                return failure();
            parameters.push_back(UnionType::FieldInfo{
                StringAttr::get(p.getContext(), name), type, offset});
            return success();
          }))
    return Type();
 
  if (hasDuplicateName)
    return Type();
 
  return get(p.getContext(), parameters);
}
 
void UnionType::print(AsmPrinter &odsPrinter) const {
  odsPrinter << '<';
  llvm::interleaveComma(
      getElements(), odsPrinter, [&](const UnionType::FieldInfo &field) {
        odsPrinter << field.name.getValue() << ": " << field.type;
        if (field.offset)
          odsPrinter << " offset " << field.offset;
      });
  odsPrinter << ">";
}
 
LogicalResult UnionType::verify(function_ref<InFlightDiagnostic()> emitError,
                                ArrayRef<UnionType::FieldInfo> elements) {
  llvm::SmallDenseSet<StringAttr> fieldNameSet;
  LogicalResult result = success();
  fieldNameSet.reserve(elements.size());
  for (const auto &elt : elements)
    if (!fieldNameSet.insert(elt.name).second) {
      result = failure();
      emitError() << "duplicate field name '" << elt.name.getValue()
                  << "' in hw.union type";
    }
  return result;
}
 
std::optional<uint32_t> UnionType::getFieldIndex(mlir::StringAttr fieldName) {
  ArrayRef<hw::UnionType::FieldInfo> elems = getElements();
  for (size_t idx = 0, numElems = elems.size(); idx < numElems; ++idx)
    if (elems[idx].name == fieldName)
      return idx;
  return {};
}
 
std::optional<uint32_t> UnionType::getFieldIndex(mlir::StringRef fieldName) {
  return getFieldIndex(StringAttr::get(getContext(), fieldName));
}
 
UnionType::FieldInfo UnionType::getFieldInfo(::mlir::StringRef fieldName) {
  if (auto fieldIndex = getFieldIndex(fieldName))
    return getElements()[*fieldIndex];
  return FieldInfo();
}
 
Type UnionType::getFieldType(mlir::StringRef fieldName) {
  return getFieldInfo(fieldName).type;
}
 
std::optional<int64_t> UnionType::getBitWidth() const {
  int64_t maxSize = 0;
  for (auto field : getElements()) {
    int64_t fieldSize = hw::getBitWidth(field.type);
    if (fieldSize < 0)
      return std::nullopt;
    fieldSize += field.offset;
    if (fieldSize > maxSize)
      maxSize = fieldSize;
  }
  return maxSize;
}
 
//===----------------------------------------------------------------------===//
// Enum Type
//===----------------------------------------------------------------------===//
 
Type EnumType::parse(AsmParser &p) {
  llvm::SmallVector<Attribute> fields;
 
  if (p.parseCommaSeparatedList(AsmParser::Delimiter::LessGreater, [&]() {
        StringRef name;
        if (p.parseKeyword(&name))
          return failure();
        fields.push_back(StringAttr::get(p.getContext(), name));
        return success();
      }))
    return Type();
 
  return get(p.getContext(), ArrayAttr::get(p.getContext(), fields));
}
 
void EnumType::print(AsmPrinter &p) const {
  p << '<';
  llvm::interleaveComma(getFields(), p, [&](Attribute enumerator) {
    p << llvm::cast<StringAttr>(enumerator).getValue();
  });
  p << ">";
}
 
bool EnumType::contains(mlir::StringRef field) {
  return indexOf(field).has_value();
}
 
std::optional<size_t> EnumType::indexOf(mlir::StringRef field) {
  for (auto it : llvm::enumerate(getFields()))
    if (llvm::cast<StringAttr>(it.value()).getValue() == field)
      return it.index();
  return {};
}
 
std::optional<int64_t> EnumType::getBitWidth() const {
  auto w = getFields().size();
  if (w > 1)
    return llvm::Log2_64_Ceil(w);
  return 1;
}
 
//===----------------------------------------------------------------------===//
// ArrayType
//===----------------------------------------------------------------------===//
 
static ParseResult parseHWArray(AsmParser &p, Attribute &dim, Type &inner) {
  uint64_t dimLiteral;
  auto int64Type = p.getBuilder().getIntegerType(64);
 
  if (auto res = p.parseOptionalInteger(dimLiteral); res.has_value()) {
    if (failed(*res))
      return failure();
    dim = p.getBuilder().getI64IntegerAttr(dimLiteral);
  } else if (auto res64 = p.parseOptionalAttribute(dim, int64Type);
             res64.has_value()) {
    if (failed(*res64))
      return failure();
  } else
    return p.emitError(p.getNameLoc(), "expected integer");
 
  if (!isa<IntegerAttr, ParamExprAttr, ParamDeclRefAttr>(dim)) {
    p.emitError(p.getNameLoc(), "unsupported dimension kind in hw.array");
    return failure();
  }
 
  if (p.parseXInDimensionList() || parseHWElementType(p, inner))
    return failure();
 
  return success();
}
 
static void printHWArray(AsmPrinter &p, Attribute dim, Type elementType) {
  p.printAttributeWithoutType(dim);
  p << "x";
  printHWElementType(p, elementType);
}
 
size_t ArrayType::getNumElements() const {
  if (auto intAttr = llvm::dyn_cast<IntegerAttr>(getSizeAttr()))
    return intAttr.getInt();
  return -1;
}
 
LogicalResult ArrayType::verify(function_ref<InFlightDiagnostic()> emitError,
                                Type innerType, Attribute size) {
  if (hasHWInOutType(innerType))
    return emitError() << "hw.array cannot contain InOut types";
  return success();
}
 
uint64_t ArrayType::getMaxFieldID() const {
  return getNumElements() *
         (hw::FieldIdImpl::getMaxFieldID(getElementType()) + 1);
}
 
std::pair<Type, uint64_t>
ArrayType::getSubTypeByFieldID(uint64_t fieldID) const {
  if (fieldID == 0)
    return {*this, 0};
  return {getElementType(), getIndexAndSubfieldID(fieldID).second};
}
 
std::pair<uint64_t, bool>
ArrayType::projectToChildFieldID(uint64_t fieldID, uint64_t index) const {
  auto childRoot = getFieldID(index);
  auto rangeEnd =
      index >= getNumElements() ? getMaxFieldID() : (getFieldID(index + 1) - 1);
  return std::make_pair(fieldID - childRoot,
                        fieldID >= childRoot && fieldID <= rangeEnd);
}
 
uint64_t ArrayType::getIndexForFieldID(uint64_t fieldID) const {
  assert(fieldID && "fieldID must be at least 1");
  // Divide the field ID by the number of fieldID's per element.
  return (fieldID - 1) / (hw::FieldIdImpl::getMaxFieldID(getElementType()) + 1);
}
 
std::pair<uint64_t, uint64_t>
ArrayType::getIndexAndSubfieldID(uint64_t fieldID) const {
  auto index = getIndexForFieldID(fieldID);
  auto elementFieldID = getFieldID(index);
  return {index, fieldID - elementFieldID};
}
 
uint64_t ArrayType::getFieldID(uint64_t index) const {
  return 1 + index * (hw::FieldIdImpl::getMaxFieldID(getElementType()) + 1);
}
 
std::optional<DenseMap<Attribute, Type>>
hw::ArrayType::getSubelementIndexMap() const {
  DenseMap<Attribute, Type> destructured;
  for (unsigned i = 0; i < getNumElements(); ++i)
    destructured.insert(
        {IntegerAttr::get(IndexType::get(getContext()), i), getElementType()});
  return destructured;
}
 
Type hw::ArrayType::getTypeAtIndex(Attribute index) const {
  return getElementType();
}
 
std::optional<int64_t> hw::ArrayType::getBitWidth() const {
  auto elementBitWidth = hw::getBitWidth(getElementType());
  if (elementBitWidth < 0)
    return std::nullopt;
  int64_t numElements = getNumElements();
  if (numElements < 0)
    return std::nullopt;
  return numElements * elementBitWidth;
}
 
//===----------------------------------------------------------------------===//
// UnpackedArrayType
//===----------------------------------------------------------------------===//
 
LogicalResult
UnpackedArrayType::verify(function_ref<InFlightDiagnostic()> emitError,
                          Type innerType, Attribute size) {
  if (!isHWValueType(innerType))
    return emitError() << "invalid element for uarray type";
  return success();
}
 
size_t UnpackedArrayType::getNumElements() const {
  if (auto intAttr = llvm::dyn_cast<IntegerAttr>(getSizeAttr()))
    return intAttr.getInt();
  return -1;
}
 
uint64_t UnpackedArrayType::getMaxFieldID() const {
  return getNumElements() *
         (hw::FieldIdImpl::getMaxFieldID(getElementType()) + 1);
}
 
std::pair<Type, uint64_t>
UnpackedArrayType::getSubTypeByFieldID(uint64_t fieldID) const {
  if (fieldID == 0)
    return {*this, 0};
  return {getElementType(), getIndexAndSubfieldID(fieldID).second};
}
 
std::pair<uint64_t, bool>
UnpackedArrayType::projectToChildFieldID(uint64_t fieldID,
                                         uint64_t index) const {
  auto childRoot = getFieldID(index);
  auto rangeEnd =
      index >= getNumElements() ? getMaxFieldID() : (getFieldID(index + 1) - 1);
  return std::make_pair(fieldID - childRoot,
                        fieldID >= childRoot && fieldID <= rangeEnd);
}
 
uint64_t UnpackedArrayType::getIndexForFieldID(uint64_t fieldID) const {
  assert(fieldID && "fieldID must be at least 1");
  // Divide the field ID by the number of fieldID's per element.
  return (fieldID - 1) / (hw::FieldIdImpl::getMaxFieldID(getElementType()) + 1);
}
 
std::pair<uint64_t, uint64_t>
UnpackedArrayType::getIndexAndSubfieldID(uint64_t fieldID) const {
  auto index = getIndexForFieldID(fieldID);
  auto elementFieldID = getFieldID(index);
  return {index, fieldID - elementFieldID};
}
 
uint64_t UnpackedArrayType::getFieldID(uint64_t index) const {
  return 1 + index * (hw::FieldIdImpl::getMaxFieldID(getElementType()) + 1);
}
 
std::optional<int64_t> UnpackedArrayType::getBitWidth() const {
  auto elementBitWidth = hw::getBitWidth(getElementType());
  if (elementBitWidth < 0)
    return std::nullopt;
  int64_t dimBitWidth = getNumElements();
  if (dimBitWidth < 0)
    return std::nullopt;
  return (int64_t)getNumElements() * elementBitWidth;
}
 
//===----------------------------------------------------------------------===//
// InOutType
//===----------------------------------------------------------------------===//
 
LogicalResult InOutType::verify(function_ref<InFlightDiagnostic()> emitError,
                                Type innerType) {
  if (!isHWValueType(innerType))
    return emitError() << "invalid element for hw.inout type " << innerType;
  return success();
}
 
//===----------------------------------------------------------------------===//
// TypeAliasType
//===----------------------------------------------------------------------===//
 
TypeAliasType TypeAliasType::get(SymbolRefAttr ref, Type innerType) {
  return get(ref.getContext(), ref, innerType, hw::getCanonicalType(innerType));
}
 
TypeAliasType
TypeAliasType::getChecked(function_ref<InFlightDiagnostic()> emitError,
                          SymbolRefAttr ref, Type innerType) {
  return getChecked(emitError, ref.getContext(), ref, innerType,
                    hw::getCanonicalType(innerType));
}
 
LogicalResult
TypeAliasType::verify(function_ref<InFlightDiagnostic()> emitError,
                      SymbolRefAttr ref, Type innerType, Type canonicalType) {
  if (ref.getNestedReferences().size() != 1)
    return emitError()
           << "expected exactly one nested reference in hw.typealias";
  return success();
}
 
Type TypeAliasType::parse(AsmParser &p) {
  SymbolRefAttr ref;
  Type type;
  if (p.parseLess() || p.parseAttribute(ref) || p.parseComma() ||
      p.parseType(type) || p.parseGreater())
    return Type();
 
  return p.getChecked<TypeAliasType>(ref, type);
}
 
void TypeAliasType::print(AsmPrinter &p) const {
  p << "<" << getRef() << ", " << getInnerType() << ">";
}
 
/// Return the Typedecl referenced by this TypeAlias, given the module to look
/// in.  This returns null when the IR is malformed.
TypedeclOp TypeAliasType::getTypeDecl(const HWSymbolCache &cache) {
  SymbolRefAttr ref = getRef();
  auto typeScope = ::dyn_cast_or_null<TypeScopeLike>(
      cache.getDefinition(ref.getRootReference()));
  if (!typeScope)
    return {};
 
  return dyn_cast_or_null<TypedeclOp>(
      SymbolTable::lookupSymbolIn(typeScope, ref.getLeafReference()));
}
 
std::optional<int64_t> TypeAliasType::getBitWidth() const {
  auto width = hw::getBitWidth(getCanonicalType());
  if (width < 0)
    return std::nullopt;
  return width;
}
 
//===----------------------------------------------------------------------===//
// ModuleType
//===----------------------------------------------------------------------===//
 
size_t ModuleType::getPortIdForInputId(size_t idx) {
  assert(idx < getImpl()->inputToAbs.size() && "input port out of range");
  return getImpl()->inputToAbs[idx];
}
 
size_t ModuleType::getPortIdForOutputId(size_t idx) {
  assert(idx < getImpl()->outputToAbs.size() && " output port out of range");
  return getImpl()->outputToAbs[idx];
}
 
size_t ModuleType::getInputIdForPortId(size_t idx) {
  auto nIdx = getImpl()->absToInput[idx];
  assert(nIdx != ~0ULL);
  return nIdx;
}
 
size_t ModuleType::getOutputIdForPortId(size_t idx) {
  auto nIdx = getImpl()->absToOutput[idx];
  assert(nIdx != ~0ULL);
  return nIdx;
}
 
size_t ModuleType::getNumInputs() { return getImpl()->inputToAbs.size(); }
 
size_t ModuleType::getNumOutputs() { return getImpl()->outputToAbs.size(); }
 
size_t ModuleType::getNumPorts() { return getPorts().size(); }
 
SmallVector<Type> ModuleType::getInputTypes() {
  SmallVector<Type> retval;
  for (auto &p : getPorts()) {
    if (p.dir == ModulePort::Direction::Input)
      retval.push_back(p.type);
  }
  return retval;
}
 
SmallVector<Type> ModuleType::getOutputTypes() {
  SmallVector<Type> retval;
  for (auto &p : getPorts())
    if (p.dir == ModulePort::Direction::Output)
      retval.push_back(p.type);
  return retval;
}
 
SmallVector<Type> ModuleType::getPortTypes() {
  SmallVector<Type> retval;
  for (auto &p : getPorts())
    retval.push_back(p.type);
  return retval;
}
 
Type ModuleType::getInputType(size_t idx) {
  return getPorts()[getPortIdForInputId(idx)].type;
}
 
Type ModuleType::getOutputType(size_t idx) {
  return getPorts()[getPortIdForOutputId(idx)].type;
}
 
SmallVector<Attribute> ModuleType::getInputNames() {
  SmallVector<Attribute> retval;
  for (auto &p : getPorts())
    if (p.dir != ModulePort::Direction::Output)
      retval.push_back(p.name);
  return retval;
}
 
SmallVector<Attribute> ModuleType::getOutputNames() {
  SmallVector<Attribute> retval;
  for (auto &p : getPorts())
    if (p.dir == ModulePort::Direction::Output)
      retval.push_back(p.name);
  return retval;
}
 
StringAttr ModuleType::getPortNameAttr(size_t idx) {
  return getPorts()[idx].name;
}
 
StringRef ModuleType::getPortName(size_t idx) {
  auto sa = getPortNameAttr(idx);
  if (sa)
    return sa.getValue();
  return {};
}
 
StringAttr ModuleType::getInputNameAttr(size_t idx) {
  return getPorts()[getPortIdForInputId(idx)].name;
}
 
StringRef ModuleType::getInputName(size_t idx) {
  auto sa = getInputNameAttr(idx);
  if (sa)
    return sa.getValue();
  return {};
}
 
StringAttr ModuleType::getOutputNameAttr(size_t idx) {
  return getPorts()[getPortIdForOutputId(idx)].name;
}
 
StringRef ModuleType::getOutputName(size_t idx) {
  auto sa = getOutputNameAttr(idx);
  if (sa)
    return sa.getValue();
  return {};
}
 
bool ModuleType::isOutput(size_t idx) {
  auto &p = getPorts()[idx];
  return p.dir == ModulePort::Direction::Output;
}
 
FunctionType ModuleType::getFuncType() {
  SmallVector<Type> inputs, outputs;
  for (auto p : getPorts())
    if (p.dir == ModulePort::Input)
      inputs.push_back(p.type);
    else
      outputs.push_back(p.type);
  return FunctionType::get(getContext(), inputs, outputs);
}
 
ArrayRef<ModulePort> ModuleType::getPorts() const {
  return getImpl()->getPorts();
}
 
FailureOr<ModuleType> ModuleType::resolveParametricTypes(ArrayAttr parameters,
                                                         LocationAttr loc,
                                                         bool emitErrors) {
  SmallVector<ModulePort, 8> resolvedPorts;
  for (ModulePort port : getPorts()) {
    FailureOr<Type> resolvedType =
        evaluateParametricType(loc, parameters, port.type, emitErrors);
    if (failed(resolvedType))
      return failure();
    port.type = *resolvedType;
    resolvedPorts.push_back(port);
  }
  return ModuleType::get(getContext(), resolvedPorts);
}
 
static StringRef dirToStr(ModulePort::Direction dir) {
  switch (dir) {
  case ModulePort::Direction::Input:
    return "input";
  case ModulePort::Direction::Output:
    return "output";
  }
  llvm_unreachable("invalid direction");
}
 
static ModulePort::Direction strToDir(StringRef str) {
  if (str == "input")
    return ModulePort::Direction::Input;
  if (str == "output")
    return ModulePort::Direction::Output;
  llvm::report_fatal_error("invalid direction");
}
 
/// Parse a list of field names and types within <>. E.g.:
/// <input foo: i7, output bar: i8>
static ParseResult parsePorts(AsmParser &p,
                              SmallVectorImpl<ModulePort> &ports) {
  return p.parseCommaSeparatedList(
      mlir::AsmParser::Delimiter::LessGreater, [&]() -> ParseResult {
        StringRef dir;
        std::string name;
        Type type;
        if (p.parseKeyword(&dir) || p.parseKeywordOrString(&name) ||
            p.parseColon() || p.parseType(type))
          return failure();
        ports.push_back(
            {StringAttr::get(p.getContext(), name), type, strToDir(dir)});
        return success();
      });
}
 
/// Print out a list of named fields surrounded by <>.
static void printPorts(AsmPrinter &p, ArrayRef<ModulePort> ports) {
  p << '<';
  llvm::interleaveComma(ports, p, [&](const ModulePort &port) {
    p << dirToStr(port.dir) << " ";
    p.printKeywordOrString(port.name.getValue());
    p << " : " << port.type;
  });
  p << ">";
}
 
Type ModuleType::parse(AsmParser &odsParser) {
  llvm::SmallVector<ModulePort, 4> ports;
  if (parsePorts(odsParser, ports))
    return Type();
  return get(odsParser.getContext(), ports);
}
 
void ModuleType::print(AsmPrinter &odsPrinter) const {
  printPorts(odsPrinter, getPorts());
}
 
ModuleType circt::hw::detail::fnToMod(Operation *op,
                                      ArrayRef<Attribute> inputNames,
                                      ArrayRef<Attribute> outputNames) {
  return fnToMod(
      cast<FunctionType>(cast<mlir::FunctionOpInterface>(op).getFunctionType()),
      inputNames, outputNames);
}
 
ModuleType circt::hw::detail::fnToMod(FunctionType fnty,
                                      ArrayRef<Attribute> inputNames,
                                      ArrayRef<Attribute> outputNames) {
  SmallVector<ModulePort> ports;
  if (!inputNames.empty()) {
    for (auto [t, n] : llvm::zip_equal(fnty.getInputs(), inputNames))
      ports.push_back({cast<StringAttr>(n), t, ModulePort::Direction::Input});
  } else {
    for (auto t : fnty.getInputs())
      ports.push_back({{}, t, ModulePort::Direction::Input});
  }
  if (!outputNames.empty()) {
    for (auto [t, n] : llvm::zip_equal(fnty.getResults(), outputNames))
      ports.push_back({cast<StringAttr>(n), t, ModulePort::Direction::Output});
  } else {
    for (auto t : fnty.getResults())
      ports.push_back({{}, t, ModulePort::Direction::Output});
  }
  return ModuleType::get(fnty.getContext(), ports);
}
 
detail::ModuleTypeStorage::ModuleTypeStorage(ArrayRef<ModulePort> inPorts)
    : ports(inPorts) {
  size_t nextInput = 0;
  size_t nextOutput = 0;
  for (auto [idx, p] : llvm::enumerate(ports)) {
    if (p.dir == ModulePort::Direction::Output) {
      outputToAbs.push_back(idx);
      absToOutput.push_back(nextOutput);
      absToInput.push_back(~0ULL);
      ++nextOutput;
    } else {
      inputToAbs.push_back(idx);
      absToInput.push_back(nextInput);
      absToOutput.push_back(~0ULL);
      ++nextInput;
    }
  }
}
 
//===----------------------------------------------------------------------===//
// BoilerPlate
//===----------------------------------------------------------------------===//
 
void HWDialect::registerTypes() {
  addTypes<
#define GET_TYPEDEF_LIST
#include "circt/Dialect/HW/HWTypes.cpp.inc"
      >();
}