|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Dialect/Include.h"#include "llzk/CAPI/Support.h"#include "llzk/Dialect/Include/IR/Dialect.h"#include "llzk/Dialect/Include/IR/Ops.h"#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.h"#include <mlir-c/Pass.h>#include <mlir/CAPI/Pass.h>#include <mlir/CAPI/Registration.h>#include <mlir/CAPI/Wrap.h>#include "llzk/Dialect/Include/IR/Ops.capi.cpp.inc"#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.capi.cpp.inc"Go to the source code of this file.
Functions | |
| MlirOperation | llzkInclude_IncludeOpCreateInferredContext (MlirLocation location, MlirStringRef name, MlirStringRef path) |
| Creates an IncludeOp pointing to another MLIR file. | |
| MlirOperation llzkInclude_IncludeOpCreateInferredContext | ( | MlirLocation | location, |
| MlirStringRef | name, | ||
| MlirStringRef | path ) |
Creates an IncludeOp pointing to another MLIR file.
Definition at line 33 of file Include.cpp.