AXI4Types.cpp

Go to the documentation of this file.

//===----------------------------------------------------------------------===//
//
// 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 "circt/Dialect/AXI4/AXI4Types.h"
#include "circt/Dialect/AXI4/AXI4Dialect.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/DialectImplementation.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/MathExtras.h"
 
using namespace circt;
using namespace axi4;
using namespace mlir;
 
#define GET_TYPEDEF_CLASSES
#include "circt/Dialect/AXI4/AXI4Types.cpp.inc"
 
LogicalResult PortType::verify(function_ref<InFlightDiagnostic()> emitError,
                               uint32_t addr_width, uint32_t data_width,
                               uint32_t write_id_width, uint32_t read_id_width,
                               uint32_t user_width, WindowSetAttr windows,
                               uint32_t outstanding_writes,
                               uint32_t outstanding_reads) {
  if (addr_width > 64)
    return emitError() << "port 'addr_width' must be at most 64, got "
                       << addr_width;
  if (data_width < 8 || data_width > 1024 || !llvm::isPowerOf2_32(data_width))
    return emitError() << "port 'data_width' must be a power of two between 8 "
                          "and 1024, got "
                       << data_width;
  if (write_id_width > 32)
    return emitError() << "port 'write_id_width' must be at most 32, got "
                       << write_id_width;
  if (read_id_width > 32)
    return emitError() << "port 'read_id_width' must be at most 32, got "
                       << read_id_width;
  // Bounds computed in 64 bits to avoid 32-bit overflow if ID widths are 32.
  if (outstanding_writes > (uint64_t{1} << write_id_width))
    return emitError() << "port 'outstanding_writes' must be at most "
                       << (uint64_t{1} << write_id_width)
                       << " for a 'write_id_width' of " << write_id_width
                       << ", got " << outstanding_writes;
  if (outstanding_reads > (uint64_t{1} << read_id_width))
    return emitError() << "port 'outstanding_reads' must be at most "
                       << (uint64_t{1} << read_id_width)
                       << " for a 'read_id_width' of " << read_id_width
                       << ", got " << outstanding_reads;
  return success();
}
 
void AXI4Dialect::registerTypes() {
  addTypes<
#define GET_TYPEDEF_LIST
#include "circt/Dialect/AXI4/AXI4Types.cpp.inc"
      >();
}