IbisConvertCFToHandshake.cpp

Go to the documentation of this file.

//===- IbisConvertCFToHandshakePass.cpp -----------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
 
#include "PassDetails.h"
 
#include "circt/Dialect/Ibis/IbisDialect.h"
#include "circt/Dialect/Ibis/IbisOps.h"
#include "circt/Dialect/Ibis/IbisPasses.h"
#include "circt/Dialect/Ibis/IbisTypes.h"
 
#include "circt/Transforms/Passes.h"
#include "mlir/Transforms/DialectConversion.h"
 
#include "circt/Conversion/CFToHandshake.h"
 
using namespace mlir;
using namespace circt;
using namespace ibis;
 
namespace {
 
struct ConvertCFToHandshakePass
    : public IbisConvertCFToHandshakeBase<ConvertCFToHandshakePass> {
  void runOnOperation() override;
 
  LogicalResult convertMethod(MethodOp method);
};
} // anonymous namespace
 
LogicalResult ConvertCFToHandshakePass::convertMethod(MethodOp method) {
  // Add a control input/output to the method.
  OpBuilder b(method);
  llvm::SmallVector<Type> newArgTypes, newResTypes;
  auto methodLikeOp = cast<MethodLikeOpInterface>(method.getOperation());
  llvm::copy(methodLikeOp.getArgumentTypes(), std::back_inserter(newArgTypes));
  llvm::copy(methodLikeOp.getResultTypes(), std::back_inserter(newResTypes));
  newArgTypes.push_back(b.getNoneType());
  newResTypes.push_back(b.getNoneType());
  auto newFuncType = b.getFunctionType(newArgTypes, newResTypes);
  auto dataflowMethodOp = b.create<DataflowMethodOp>(
      method.getLoc(), method.getInnerSymAttr(), TypeAttr::get(newFuncType),
      method.getArgNamesAttr(), method.getArgAttrsAttr(),
      method.getResAttrsAttr());
  dataflowMethodOp.getFunctionBody().takeBody(method.getBody());
  dataflowMethodOp.getBodyBlock()->addArgument(b.getNoneType(),
                                               method.getLoc());
  Value entryCtrl = dataflowMethodOp.getBodyBlock()->getArguments().back();
  method.erase();
 
  handshake::HandshakeLowering fol(dataflowMethodOp.getBody());
  if (failed(handshake::lowerRegion<ibis::ReturnOp, ibis::ReturnOp>(
          fol,
          /*sourceConstants*/ false, /*disableTaskPipelining*/ false,
          entryCtrl)))
    return failure();
 
  return success();
}
 
void ConvertCFToHandshakePass::runOnOperation() {
  ClassOp classOp = getOperation();
  for (auto method : llvm::make_early_inc_range(classOp.getOps<MethodOp>())) {
    if (failed(convertMethod(method)))
      return signalPassFailure();
  }
}
 
std::unique_ptr<Pass> circt::ibis::createConvertCFToHandshakePass() {
  return std::make_unique<ConvertCFToHandshakePass>();
}