FIRRTLIntrinsics.h

Go to the documentation of this file.

//===- FIRRTLIntrinsics.h - FIRRTL intrinsics ------------------*- 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
//
//===----------------------------------------------------------------------===//
//
// This file defines helpers for the lowering of intrinsics.
//
//===----------------------------------------------------------------------===//
 
#ifndef CIRCT_DIALECT_FIRRTL_FIRRTLINTRINSICS_H
#define CIRCT_DIALECT_FIRRTL_FIRRTLINTRINSICS_H
 
#include "circt/Dialect/FIRRTL/FIRRTLOps.h"
#include "circt/Dialect/FIRRTL/FIRRTLTypes.h"
#include "mlir/IR/Diagnostics.h"
#include "mlir/Transforms/DialectConversion.h"
 
namespace circt {
namespace firrtl {
 
/// Helper class for checking and extracting information from the generic
/// instrinsic op.
struct GenericIntrinsic {
  GenericIntrinsicOp op;
 
  GenericIntrinsic(GenericIntrinsicOp op) : op(op) {}
 
  InFlightDiagnostic emitError() { return op.emitError(op.getIntrinsic()); }
 
  //===--------------------------------------------------------------------===//
  // Input checking
  //===--------------------------------------------------------------------===//
 
  ParseResult hasNInputs(unsigned n);
 
  template <typename C>
  ParseResult checkInputType(unsigned n, const Twine &msg, C &&call) {
    if (n >= op.getNumOperands())
      return emitError() << " missing input " << n;
    if (!std::invoke(std::forward<C>(call), op.getOperand(n).getType()))
      return emitError() << " input " << n << " " << msg;
    return success();
  }
 
  template <typename C>
  ParseResult checkInputType(unsigned n, C &&call) {
    return checkInputType(n, "not of correct type", std::forward<C>(call));
  }
 
  template <typename T>
  ParseResult typedInput(unsigned n) {
    return checkInputType(n, [](auto ty) { return isa<T>(ty); });
  }
 
  ParseResult hasResetInput(unsigned n) {
    return checkInputType(n, "must be reset type", [](auto ty) {
      auto baseType = dyn_cast<FIRRTLBaseType>(ty);
      return baseType && baseType.isResetType();
    });
  }
 
  template <typename T>
  ParseResult sizedInput(unsigned n, int32_t size) {
    return checkInputType(n, "not size " + Twine(size), [size](auto ty) {
      auto t = dyn_cast<T>(ty);
      return t && t.getWidth() == size;
    });
  }
 
  //===--------------------------------------------------------------------===//
  // Parameter checking
  //===--------------------------------------------------------------------===//
 
  ParseResult hasNParam(unsigned n, unsigned c = 0);
 
  ParseResult namedParam(StringRef paramName, bool optional = false);
 
  ParseResult namedIntParam(StringRef paramName, bool optional = false);
 
  ParamDeclAttr getParamByName(StringRef name) {
    for (auto param : op.getParameters().getAsRange<ParamDeclAttr>())
      if (param.getName().getValue().equals(name))
        return param;
    return {};
  }
 
  /// Get parameter value by name, if present, as requested type.
  template <typename T>
  T getParamValue(StringRef name) {
    auto p = getParamByName(name);
    if (!p)
      return {};
    return cast<T>(p.getValue());
  }
 
  //===--------------------------------------------------------------------===//
  // Output checking
  //===--------------------------------------------------------------------===//
 
  ParseResult hasOutput() {
    if (op.getNumResults() == 0)
      return emitError() << " missing output";
    return success();
  }
  ParseResult hasNoOutput() {
    if (op.getNumResults() != 0)
      return emitError() << " should not have outputs";
    return success();
  }
 
  template <typename T>
  ParseResult typedOutput() {
    if (failed(hasOutput()))
      return failure();
    if (!isa<T>(op.getResult().getType()))
      return emitError() << " output not of correct type";
    return success();
  }
 
  template <typename T>
  ParseResult sizedOutput(int32_t size) {
    if (failed(typedOutput<T>()))
      return failure();
    if (cast<T>(op.getResult().getType()).getWidth() != size)
      return emitError() << " output not size " << size;
    return success();
  }
 
  //===--------------------------------------------------------------------===//
  // Output bundle element checking
  //===--------------------------------------------------------------------===//
 
  mlir::TypedValue<BundleType> getOutputBundle() {
    return dyn_cast_or_null<mlir::TypedValue<BundleType>>(op.getResult());
  }
 
  ParseResult hasNOutputElements(unsigned n);
 
  template <typename C>
  ParseResult checkOutputElement(unsigned n, StringRef name, const Twine &msg,
                                 C &&call) {
    auto b = getOutputBundle();
    if (!b)
      return emitError() << " missing output bundle";
    auto ty = b.getType();
    if (n >= ty.getNumElements())
      return emitError() << " missing output element " << n;
    auto elementName = ty.getElementName(n);
    if (elementName != name)
      return emitError() << " output element " << n << " is named "
                         << elementName << " not " << name;
    if (!std::invoke(std::forward<C>(call),
                     ty.getElementTypePreservingConst(n)))
      return emitError() << " output element " << n << " " << msg;
    return success();
  }
 
  template <typename C>
  ParseResult checkOutputElement(unsigned n, StringRef name, C &&call) {
    return checkOutputElement(n, name, "not of correct type",
                              std::forward<C>(call));
  }
 
  ParseResult hasOutputElement(unsigned n, StringRef name) {
    return checkOutputElement(n, name, [](auto ty) { return true; });
  }
 
  template <typename T>
  ParseResult typedOutputElement(unsigned n, StringRef name) {
    return checkOutputElement(n, name, [](auto ty) { return isa<T>(ty); });
  }
 
  template <typename T>
  ParseResult sizedOutputElement(unsigned n, StringRef name, int32_t size) {
    return checkOutputElement(n, name, "not size " + Twine(size),
                              [size](auto ty) {
                                auto t = dyn_cast<T>(ty);
                                return t && t.getWidth() == size;
                              });
  }
};
 
/// Base class for Intrinsic Converters.
///
/// Intrinsic converters contain validation logic, along with a converter
/// method to transform generic intrinsic ops to their implementation.
class IntrinsicConverter {
public:
  virtual ~IntrinsicConverter() = default;
 
  /// Checks whether the intrinsic is well-formed.
  ///
  /// This or's multiple ParseResults together, returning true on failure.
  virtual bool check(GenericIntrinsic gi) = 0;
 
  /// Transform the intrinsic to its implementation.
  virtual void convert(GenericIntrinsic gi, GenericIntrinsicOpAdaptor adaptor,
                       PatternRewriter &rewriter) = 0;
};
 
template <typename OpTy>
class IntrinsicOpConverter : public IntrinsicConverter {
public:
  /// Transform the intrinsic to its implementation.
  /// Handles the simple case of just forwarding to new op kind.
  void convert(GenericIntrinsic gi, GenericIntrinsicOpAdaptor adaptor,
               PatternRewriter &rewriter) final {
    // Pass along result type and operands.  No attributes.
    rewriter.replaceOpWithNewOp<OpTy>(gi.op, gi.op.getResultTypes(),
                                      adaptor.getOperands());
  }
};
 
/// Lowering helper which collects all intrinsic converters.
class IntrinsicLowerings {
public:
  using ConversionMapTy =
      llvm::DenseMap<StringAttr, std::unique_ptr<IntrinsicConverter>>;
 
private:
  /// Reference to the MLIR context.
  MLIRContext *context;
 
  /// Mapping from intrinsic names to converters.
  ConversionMapTy conversions;
 
public:
  IntrinsicLowerings(MLIRContext *context) : context(context) {}
 
  /// Registers a converter to one or more intrinsic names.
  template <typename T, typename... Args>
  void add(Args... args) {
    (addConverter<T>(args), ...);
  }
 
  /// Lowers all intrinsics in a module.
  LogicalResult lower(FModuleOp mod, bool allowUnknownIntrinsics = false);
 
private:
  template <typename T>
  typename std::enable_if_t<std::is_base_of_v<IntrinsicConverter, T>>
  addConverter(StringRef name) {
    auto nameAttr = StringAttr::get(context, name);
    assert(!conversions.contains(nameAttr) &&
           "duplicate conversion for intrinsic");
    conversions.try_emplace(nameAttr, std::make_unique<T>());
  }
};
 
/// A dialect interface to provide lowering conversions.
struct IntrinsicLoweringDialectInterface
    : public mlir::DialectInterface::Base<IntrinsicLoweringDialectInterface> {
  IntrinsicLoweringDialectInterface(Dialect *dialect) : Base(dialect) {}
 
  virtual void
  populateIntrinsicLowerings(IntrinsicLowerings &lowerings) const = 0;
};
 
struct IntrinsicLoweringInterfaceCollection
    : public mlir::DialectInterfaceCollection<
          IntrinsicLoweringDialectInterface> {
  using Base::Base;
 
  // Collect the intrinsic lowerings defined by each dialect.
  void populateIntrinsicLowerings(IntrinsicLowerings &lowerings) const;
};
 
struct FIRRTLIntrinsicLoweringDialectInterface
    : public IntrinsicLoweringDialectInterface {
  using IntrinsicLoweringDialectInterface::IntrinsicLoweringDialectInterface;
  void populateIntrinsicLowerings(IntrinsicLowerings &lowerings) const override;
};
 
} // namespace firrtl
} // namespace circt
 
#endif // CIRCT_DIALECT_FIRRTL_FIRRTLINTRINSICS_H