LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Include.h File Reference
#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.
MLIR_CAPI_EXPORTED MlirOperation llzkInclude_IncludeOpCreateInferredContext (MlirLocation loc, MlirStringRef name, MlirStringRef path)
 Creates an IncludeOp pointing to another MLIR file.

Function Documentation

◆ llzkInclude_IncludeOpCreateInferredContext()

MLIR_CAPI_EXPORTED MlirOperation llzkInclude_IncludeOpCreateInferredContext ( MlirLocation loc,
MlirStringRef name,
MlirStringRef path )

Creates an IncludeOp pointing to another MLIR file.

Definition at line 33 of file Include.cpp.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION ( Include ,
llzk__include  )

Get reference to the LLZK include dialect.