SV.cpp

Go to the documentation of this file.

//===- SV.cpp - C interface for the SV dialect ----------------------------===//
//
// 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-c/Dialect/SV.h"
#include "circt/Dialect/SV/SVAttributes.h"
#include "circt/Dialect/SV/SVDialect.h"
#include "circt/Dialect/SV/SVPasses.h"
#include "circt/Dialect/SV/SVTypes.h"
#include "mlir/CAPI/IR.h"
#include "mlir/CAPI/Registration.h"
#include "mlir/CAPI/Support.h"
 
using namespace circt::sv;
 
void registerSVPasses() { registerPasses(); }
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(SystemVerilog, sv, SVDialect)
 
bool svAttrIsASVAttributeAttr(MlirAttribute cAttr) {
  return llvm::isa<SVAttributeAttr>(unwrap(cAttr));
}
 
MlirAttribute svSVAttributeAttrGet(MlirContext cCtxt, MlirStringRef cName,
                                   MlirStringRef cExpression,
                                   bool emitAsComment) {
  mlir::MLIRContext *ctxt = unwrap(cCtxt);
  mlir::StringAttr expr;
  if (cExpression.data != nullptr)
    expr = mlir::StringAttr::get(ctxt, unwrap(cExpression));
  return wrap(
      SVAttributeAttr::get(ctxt, mlir::StringAttr::get(ctxt, unwrap(cName)),
                           expr, mlir::BoolAttr::get(ctxt, emitAsComment)));
}
 
MlirStringRef svSVAttributeAttrGetName(MlirAttribute cAttr) {
  return wrap(llvm::cast<SVAttributeAttr>(unwrap(cAttr)).getName().getValue());
}
 
MlirStringRef svSVAttributeAttrGetExpression(MlirAttribute cAttr) {
  auto expr = llvm::cast<SVAttributeAttr>(unwrap(cAttr)).getExpression();
  if (expr)
    return wrap(expr.getValue());
  return {nullptr, 0};
}
 
bool svSVAttributeAttrGetEmitAsComment(MlirAttribute attribute) {
  return llvm::cast<SVAttributeAttr>(unwrap(attribute))
      .getEmitAsComment()
      .getValue();
}
 
bool svTypeIsANet(MlirType type) { return llvm::isa<NetType>(unwrap(type)); }
 
MlirType svNetTypeGet(MlirType element) {
  return wrap(NetType::get(unwrap(element)));
}
 
MlirType svNetTypeGetElementType(MlirType type) {
  return wrap(llvm::cast<NetType>(unwrap(type)).getElementType());
}
 
bool svTypeIsAVar(MlirType type) { return llvm::isa<VarType>(unwrap(type)); }
 
MlirType svVarTypeGet(MlirType element) {
  return wrap(VarType::get(unwrap(element)));
}
 
MlirType svVarTypeGetElementType(MlirType type) {
  return wrap(llvm::cast<VarType>(unwrap(type)).getElementType());
}