Array.cpp

Go to the documentation of this file.

//===-- Array.cpp - Array dialect C API implementation ----------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2025 Veridise Inc.
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
 
#include "llzk-c/Dialect/Array.h"
 
#include "llzk-c/Support.h"
 
#include "llzk/CAPI/Builder.h"
#include "llzk/CAPI/Support.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/Array/Transforms/TransformationPasses.h"
 
#include <mlir-c/BuiltinAttributes.h>
#include <mlir-c/IR.h>
#include <mlir-c/Pass.h>
 
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Pass.h>
#include <mlir/CAPI/Registration.h>
#include <mlir/CAPI/Wrap.h>
 
using namespace mlir;
using namespace llzk;
using namespace llzk::array;
 
static inline void registerLLZKArrayTransformationPasses() { registerTransformationPasses(); }
 
// Include the generated CAPI
#include "llzk/Dialect/Array/IR/Ops.capi.cpp.inc"
#include "llzk/Dialect/Array/IR/Types.capi.cpp.inc"
#include "llzk/Dialect/Array/Transforms/TransformationPasses.capi.cpp.inc"
 
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Array, llzk__array, ArrayDialect)
 
//===----------------------------------------------------------------------===//
// ArrayType
//===----------------------------------------------------------------------===//
 
MlirType
llzkArray_ArrayTypeGetWithDims(MlirType elementType, intptr_t nDims, MlirAttribute const *dims) {
  SmallVector<Attribute> dimsSto;
  return wrap(ArrayType::get(unwrap(elementType), unwrapList(nDims, dims, dimsSto)));
}
 
MlirType
llzkArray_ArrayTypeGetWithShape(MlirType elementType, intptr_t nDims, int64_t const *dims) {
  return wrap(ArrayType::get(unwrap(elementType), ArrayRef(dims, nDims)));
}
 
//===----------------------------------------------------------------------===//
// CreateArrayOp
//===----------------------------------------------------------------------===//
 
LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD(
    Array, CreateArrayOp, WithValues, MlirType arrayType, intptr_t nValues, MlirValue const *values
) {
  SmallVector<Value> valueSto;
  return mlirOpBuilderInsert(
      builder, wrap(
                   create<CreateArrayOp>(
                       builder, location, unwrap_cast<ArrayType>(arrayType),
                       ValueRange(unwrapList(nValues, values, valueSto))
                   )
               )
  );
}
 
LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD(
    Array, CreateArrayOp, WithMapOperands, MlirType arrayType,
    LlzkAffineMapOperandsBuilder mapOperands
) {
  MapOperandsHelper<> mapOps(mapOperands.nMapOperands, mapOperands.mapOperands);
  auto numDimsPerMap =
      llzkAffineMapOperandsBuilderGetDimsPerMapAttr(mapOperands, mlirLocationGetContext(location));
  return mlirOpBuilderInsert(
      builder, wrap(
                   create<CreateArrayOp>(
                       builder, location, unwrap_cast<ArrayType>(arrayType), *mapOps,
                       unwrap_cast<DenseI32ArrayAttr>(numDimsPerMap)
                   )
               )
  );
}