LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Include.h File Reference
#include "llzk-c/Support.h"
#include <mlir-c/IR.h>
#include <mlir-c/Support.h>
#include "llzk/Dialect/Include/IR/Ops.capi.h.inc"
#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.capi.h.inc"
Include dependency graph for Include.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

 MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Include, llzk__include)
 Get reference to the LLZK include dialect.
 LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Include, IncludeOp, InferredContext, MlirStringRef name, MlirStringRef path)
 Builds an IncludeOp pointing to another MLIR file.

Function Documentation

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD()

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD ( Include ,
IncludeOp ,
InferredContext ,
MlirStringRef name,
MlirStringRef path )

Builds an IncludeOp pointing to another MLIR file.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION ( Include ,
llzk__include  )

Get reference to the LLZK include dialect.