LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Include.cpp
Go to the documentation of this file.
1
//===-- Include.cpp - Include dialect C API implementation ------*- C++ -*-===//
2
//
3
// Part of the LLZK Project, under the Apache License v2.0.
4
// See LICENSE.txt for license information.
5
// Copyright 2025 Veridise Inc.
6
// SPDX-License-Identifier: Apache-2.0
7
//
8
//===----------------------------------------------------------------------===//
9
10
#include "
llzk-c/Dialect/Include.h
"
11
12
#include "
llzk/CAPI/Builder.h
"
13
#include "
llzk/CAPI/Support.h
"
14
#include "
llzk/Dialect/Include/IR/Dialect.h
"
15
#include "
llzk/Dialect/Include/IR/Ops.h
"
16
#include "
llzk/Dialect/Include/Transforms/InlineIncludesPass.h
"
17
18
#include <mlir-c/Pass.h>
19
20
#include <mlir/CAPI/Pass.h>
21
#include <mlir/CAPI/Registration.h>
22
#include <mlir/CAPI/Wrap.h>
23
24
using namespace
llzk::include
;
25
26
static
inline
void
registerLLZKIncludeTransformationPasses() {
registerTransformationPasses
(); }
27
28
// Include the generated CAPI
29
#include "
llzk/Dialect/Include/IR/Ops.capi.cpp.inc
"
30
#include "
llzk/Dialect/Include/Transforms/InlineIncludesPass.capi.cpp.inc
"
31
32
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Include, llzk__include,
IncludeDialect
)
33
34
LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD
(
35
Include,
IncludeOp
, InferredContext, MlirStringRef name, MlirStringRef path
36
) {
37
return
mlirOpBuilderInsert
(
38
builder, wrap(
llzk::create<IncludeOp>
(builder, location, unwrap(name), unwrap(path)))
39
);
40
}
mlirOpBuilderInsert
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition
Builder.cpp:167
Dialect.h
Ops.capi.cpp.inc
Ops.h
Include.h
InlineIncludesPass.capi.cpp.inc
InlineIncludesPass.h
llzk::include::IncludeDialect
Definition
Dialect.h.inc:13
llzk::include::IncludeOp
Definition
Ops.h.inc:137
Builder.h
Support.h
LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD
#define LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD(dialect, op, suffix,...)
Definition
Support.h:27
llzk::include
Definition
Ops.cpp:21
llzk::include::registerTransformationPasses
void registerTransformationPasses()
Definition
InlineIncludesPass.h:119
llzk::create
mlir::Operation * create(MlirOpBuilder cBuilder, MlirLocation cLocation, Args &&...args)
Creates a new operation using an ODS build method.
Definition
Builder.h:41
lib
CAPI
Dialect
Include.cpp
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.