LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Array.cpp File Reference
#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 "llzk-c/Dialect/Array.h"
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Pass.h>
#include <mlir/CAPI/Registration.h>
#include <mlir/CAPI/Wrap.h>
#include <mlir-c/Pass.h>
#include "llzk/Dialect/Array/Transforms/TransformationPasses.capi.cpp.inc"
Include dependency graph for Array.cpp:

Go to the source code of this file.

Functions

MlirType llzkArrayTypeGet (MlirType elementType, intptr_t nDims, MlirAttribute const *dims)
 Creates an llzk::array::ArrayType using a list of attributes as dimensions.
 
MlirType llzkArrayTypeGetWithNumericDims (MlirType elementType, intptr_t nDims, int64_t const *dims)
 Creates an llzk::array::ArrayType using a list of numbers as dimensions.
 
bool llzkTypeIsAArrayType (MlirType type)
 
MlirType llzkArrayTypeGetElementType (MlirType type)
 Returns the element type of an llzk::array::ArrayType.
 
intptr_t llzkArrayTypeGetNumDims (MlirType type)
 Returns the number of dimensions of an llzk::array::ArrayType.
 
MlirAttribute llzkArrayTypeGetDim (MlirType type, intptr_t idx)
 Returns the n-th dimention of an llzk::array::ArrayType.
 
 LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (CreateArrayOp, WithValues, MlirType arrayType, intptr_t nValues, MlirValue const *values)
 
 LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (CreateArrayOp, WithMapOperands, MlirType arrayType, intptr_t nMapOperands, MlirValueRange const *mapOperands, MlirAttribute numDimsPerMap)
 
 LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (CreateArrayOp, WithMapOperandsAndDims, MlirType arrayType, intptr_t nMapOperands, MlirValueRange const *mapOperands, intptr_t nNumsDimsPerMap, int32_t const *numDimsPerMap)
 Creates a CreateArrayOp with its size information declared with AffineMaps and operands.
 

Function Documentation

◆ LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [1/3]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD ( CreateArrayOp ,
WithMapOperands ,
MlirType arrayType,
intptr_t nMapOperands,
MlirValueRange const * mapOperands,
MlirAttribute numDimsPerMap )

Definition at line 78 of file Array.cpp.

◆ LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [2/3]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD ( CreateArrayOp ,
WithMapOperandsAndDims ,
MlirType arrayType,
intptr_t nMapOperands,
MlirValueRange const * mapOperands,
intptr_t nNumsDimsPerMap,
int32_t const * numDimsPerMap )

Creates a CreateArrayOp with its size information declared with AffineMaps and operands.

Definition at line 90 of file Array.cpp.

◆ LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [3/3]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD ( CreateArrayOp ,
WithValues ,
MlirType arrayType,
intptr_t nValues,
MlirValue const * values )

Definition at line 68 of file Array.cpp.

◆ llzkArrayTypeGet()

MlirType llzkArrayTypeGet ( MlirType elementType,
intptr_t nDims,
MlirAttribute const * dims )

Creates an llzk::array::ArrayType using a list of attributes as dimensions.

Definition at line 40 of file Array.cpp.

◆ llzkArrayTypeGetDim()

MlirAttribute llzkArrayTypeGetDim ( MlirType type,
intptr_t idx )

Returns the n-th dimention of an llzk::array::ArrayType.

Definition at line 60 of file Array.cpp.

◆ llzkArrayTypeGetElementType()

MlirType llzkArrayTypeGetElementType ( MlirType type)

Returns the element type of an llzk::array::ArrayType.

Definition at line 52 of file Array.cpp.

◆ llzkArrayTypeGetNumDims()

intptr_t llzkArrayTypeGetNumDims ( MlirType type)

Returns the number of dimensions of an llzk::array::ArrayType.

Definition at line 56 of file Array.cpp.

◆ llzkArrayTypeGetWithNumericDims()

MlirType llzkArrayTypeGetWithNumericDims ( MlirType elementType,
intptr_t nDims,
int64_t const * dims )

Creates an llzk::array::ArrayType using a list of numbers as dimensions.

Definition at line 46 of file Array.cpp.

◆ llzkTypeIsAArrayType()

bool llzkTypeIsAArrayType ( MlirType type)

Definition at line 50 of file Array.cpp.