SSPOps.cpp

Go to the documentation of this file.

//===- SSPOps.cpp - SSP operation implementation --------------------------===//
//
// 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 implements the SSP (static scheduling problem) dialect operations.
//
//===----------------------------------------------------------------------===//
 
#include "circt/Dialect/SSP/SSPOps.h"
#include "circt/Support/LLVM.h"
 
#include "mlir/IR/Builders.h"
 
using namespace circt;
using namespace circt::ssp;
 
//===----------------------------------------------------------------------===//
// InstanceOp
//===----------------------------------------------------------------------===//
 
LogicalResult InstanceOp::verify() {
  auto *body = getBodyBlock();
  auto libraryOps = body->getOps<OperatorLibraryOp>();
  auto graphOps = body->getOps<DependenceGraphOp>();
 
  if (std::distance(libraryOps.begin(), libraryOps.end()) != 1 ||
      std::distance(graphOps.begin(), graphOps.end()) != 1)
    return emitOpError()
           << "must contain exactly one 'library' op and one 'graph' op";
 
  if ((*graphOps.begin())->isBeforeInBlock(*libraryOps.begin()))
    return emitOpError()
           << "must contain the 'library' op followed by the 'graph' op";
 
  return success();
}
 
// The verifier checks that exactly one of each of the container ops is present.
OperatorLibraryOp InstanceOp::getOperatorLibrary() {
  return *getOps<OperatorLibraryOp>().begin();
}
 
DependenceGraphOp InstanceOp::getDependenceGraph() {
  return *getOps<DependenceGraphOp>().begin();
}
 
//===----------------------------------------------------------------------===//
// OperationOp
//===----------------------------------------------------------------------===//
 
ParseResult OperationOp::parse(OpAsmParser &parser, OperationState &result) {
  auto &builder = parser.getBuilder();
 
  // Special handling for the linked operator type property
  SmallVector<Attribute> alreadyParsed;
 
  if (parser.parseLess())
    return failure();
 
  SymbolRefAttr oprRef;
  auto parseSymbolResult = parser.parseOptionalAttribute(oprRef);
  if (parseSymbolResult.has_value()) {
    assert(succeeded(*parseSymbolResult));
    alreadyParsed.push_back(builder.getAttr<LinkedOperatorTypeAttr>(oprRef));
  }
 
  if (parser.parseGreater())
    return failure();
 
  // (Scheduling) operation's name
  StringAttr opName;
  (void)parser.parseOptionalSymbolName(opName, SymbolTable::getSymbolAttrName(),
                                       result.attributes);
 
  // Dependences
  SmallVector<OpAsmParser::UnresolvedOperand> unresolvedOperands;
  SmallVector<Attribute> dependences;
  unsigned operandIdx = 0;
  auto parseDependenceSourceWithAttrDict = [&]() -> ParseResult {
    llvm::SMLoc loc = parser.getCurrentLocation();
    FlatSymbolRefAttr sourceRef;
    ArrayAttr properties;
 
    // Try to parse either symbol reference...
    auto parseSymbolResult = parser.parseOptionalAttribute(sourceRef);
    if (parseSymbolResult.has_value())
      assert(succeeded(*parseSymbolResult));
    else {
      // ...or an SSA operand.
      OpAsmParser::UnresolvedOperand operand;
      if (parser.parseOperand(operand))
        return parser.emitError(loc, "expected SSA value or symbol reference");
 
      unresolvedOperands.push_back(operand);
    }
 
    // Parse the properties, if present.
    parseOptionalPropertyArray(properties, parser);
 
    // No need to explicitly store SSA deps without properties.
    if (sourceRef || properties)
      dependences.push_back(
          builder.getAttr<DependenceAttr>(operandIdx, sourceRef, properties));
 
    ++operandIdx;
    return success();
  };
 
  if (parser.parseCommaSeparatedList(AsmParser::Delimiter::Paren,
                                     parseDependenceSourceWithAttrDict))
    return failure();
 
  if (!dependences.empty())
    result.addAttribute(builder.getStringAttr("dependences"),
                        builder.getArrayAttr(dependences));
 
  // Properties
  ArrayAttr properties;
  auto parsePropertiesResult =
      parseOptionalPropertyArray(properties, parser, alreadyParsed);
  if (parsePropertiesResult.has_value()) {
    if (failed(*parsePropertiesResult))
      return failure();
    result.addAttribute(builder.getStringAttr("sspProperties"), properties);
  }
 
  // Parse default attr-dict
  if (parser.parseOptionalAttrDict(result.attributes))
    return failure();
 
  // Resolve operands
  SmallVector<Value> operands;
  if (parser.resolveOperands(unresolvedOperands, builder.getNoneType(),
                             operands))
    return failure();
  result.addOperands(operands);
 
  // Mockup results
  SmallVector<Type> types(parser.getNumResults(), builder.getNoneType());
  result.addTypes(types);
 
  return success();
}
 
void OperationOp::print(OpAsmPrinter &p) {
  // Special handling for the linked operator type
  SmallVector<Attribute> alreadyPrinted;
 
  p << '<';
  if (auto linkedOpr = getLinkedOperatorTypeAttr()) {
    p.printAttribute(linkedOpr.getValue());
    alreadyPrinted.push_back(linkedOpr);
  }
  p << '>';
 
  // (Scheduling) operation's name
  if (StringAttr symName = getSymNameAttr()) {
    p << ' ';
    p.printSymbolName(symName);
  }
 
  // Dependences = SSA operands + other OperationOps via symbol references.
  // Emitted format looks like this:
  // (%0, %1 [#ssp.some_property<42>, ...], %2, ...,
  //  @op0, @op1 [#ssp.some_property<17>, ...], ...)
  SmallVector<DependenceAttr> defUseDeps(getNumOperands()), auxDeps;
  if (ArrayAttr dependences = getDependencesAttr()) {
    for (auto dep : dependences.getAsRange<DependenceAttr>()) {
      if (dep.getSourceRef())
        auxDeps.push_back(dep);
      else
        defUseDeps[dep.getOperandIdx()] = dep;
    }
  }
 
  p << '(';
  llvm::interleaveComma((*this)->getOpOperands(), p, [&](OpOperand &operand) {
    p.printOperand(operand.get());
    if (DependenceAttr dep = defUseDeps[operand.getOperandNumber()]) {
      p << ' ';
      p.printAttribute(dep.getProperties());
    }
  });
  if (!auxDeps.empty()) {
    if (!defUseDeps.empty())
      p << ", ";
    llvm::interleaveComma(auxDeps, p, [&](DependenceAttr dep) {
      p.printAttribute(dep.getSourceRef());
      if (ArrayAttr depProps = dep.getProperties()) {
        p << ' ';
        printPropertyArray(depProps, p);
      }
    });
  }
  p << ')';
 
  // Properties
  if (ArrayAttr properties = getSspPropertiesAttr()) {
    p << ' ';
    printPropertyArray(properties, p, alreadyPrinted);
  }
 
  // Default attr-dict
  SmallVector<StringRef> elidedAttrs = {
      SymbolTable::getSymbolAttrName(),
      OperationOp::getDependencesAttrName().getValue(),
      OperationOp::getSspPropertiesAttrName().getValue()};
  p.printOptionalAttrDict((*this)->getAttrs(), elidedAttrs);
}
 
LogicalResult OperationOp::verify() {
  ArrayAttr dependences = getDependencesAttr();
  if (!dependences)
    return success();
 
  int nOperands = getNumOperands();
  int lastIdx = -1;
  for (auto dep : dependences.getAsRange<DependenceAttr>()) {
    int idx = dep.getOperandIdx();
    FlatSymbolRefAttr sourceRef = dep.getSourceRef();
 
    if (!sourceRef) {
      // Def-use deps use the index to refer to one of the SSA operands.
      if (idx >= nOperands)
        return emitError(
            "Operand index is out of bounds for def-use dependence attribute");
 
      // Indices may be sparse, but shall be sorted and unique.
      if (idx <= lastIdx)
        return emitError("Def-use operand indices in dependence attribute are "
                         "not monotonically increasing");
    } else {
      // Auxiliary deps are expected to follow the def-use deps (if present),
      // and hence use indices >= #operands.
      if (idx < nOperands)
        return emitError() << "Auxiliary dependence from " << sourceRef
                           << " is interleaved with SSA operands";
 
      // Indices shall be consecutive (special case: the first aux dep)
      if (!((idx == lastIdx + 1) || (idx > lastIdx && idx == nOperands)))
        return emitError("Auxiliary operand indices in dependence attribute "
                         "are not consecutive");
    }
 
    lastIdx = idx;
  }
  return success();
}
 
LogicalResult
OperationOp::verifySymbolUses(SymbolTableCollection &symbolTable) {
  auto instanceOp = (*this)->getParentOfType<InstanceOp>();
  auto libraryOp = instanceOp.getOperatorLibrary();
  auto graphOp = instanceOp.getDependenceGraph();
 
  // Verify that all auxiliary dependences reference valid named operations
  // inside the dependence graph.
  if (ArrayAttr dependences = getDependencesAttr())
    for (auto dep : dependences.getAsRange<DependenceAttr>()) {
      FlatSymbolRefAttr sourceRef = dep.getSourceRef();
      if (!sourceRef)
        continue;
 
      Operation *sourceOp = symbolTable.lookupSymbolIn(graphOp, sourceRef);
      if (!sourceOp || !isa<OperationOp>(sourceOp)) {
        return emitError(
                   "Auxiliary dependence references invalid source operation: ")
               << sourceRef;
      }
    }
 
  // If a linkedOperatorType property is present, verify that it references a
  // valid operator type.
  if (auto linkedOpr = getLinkedOperatorTypeAttr()) {
    SymbolRefAttr oprRef = linkedOpr.getValue();
    Operation *oprOp;
    // 1) Look in the instance's library.
    oprOp = symbolTable.lookupSymbolIn(libraryOp, oprRef);
    // 2) Try to resolve a nested reference to the instance's library.
    if (!oprOp)
      oprOp = symbolTable.lookupSymbolIn(instanceOp, oprRef);
    // 3) Look outside of the instance.
    if (!oprOp)
      oprOp = symbolTable.lookupNearestSymbolFrom(instanceOp->getParentOp(),
                                                  oprRef);
 
    if (!oprOp || !isa<OperatorTypeOp>(oprOp))
      return emitError("Linked operator type property references invalid "
                       "operator type: ")
             << oprRef;
  }
 
  return success();
}
 
LinkedOperatorTypeAttr OperationOp::getLinkedOperatorTypeAttr() {
  if (ArrayAttr properties = getSspPropertiesAttr()) {
    const auto *it = llvm::find_if(properties, [](Attribute a) {
      return a.isa<LinkedOperatorTypeAttr>();
    });
    if (it != properties.end())
      return (*it).cast<LinkedOperatorTypeAttr>();
  }
  return {};
}
 
//===----------------------------------------------------------------------===//
// Wrappers for the `custom<Properties>` ODS directive.
//===----------------------------------------------------------------------===//
 
static ParseResult parseSSPProperties(OpAsmParser &parser, ArrayAttr &attr) {
  auto result = parseOptionalPropertyArray(attr, parser);
  if (!result.has_value() || succeeded(*result))
    return success();
  return failure();
}
 
static void printSSPProperties(OpAsmPrinter &p, Operation *op, ArrayAttr attr) {
  if (!attr)
    return;
  printPropertyArray(attr, p);
}
 
//===----------------------------------------------------------------------===//
// TableGen'ed code
//===----------------------------------------------------------------------===//
 
#define GET_OP_CLASSES
#include "circt/Dialect/SSP/SSP.cpp.inc"