LLZK
0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Dialect.cpp
Go to the documentation of this file.
1
//===-- Dialect.cpp - Dialect method implementations ------------*- 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/Config/Config.h
"
11
#include "
llzk/Dialect/Felt/IR/Types.h
"
12
#include "
llzk/Dialect/Function/IR/Ops.h
"
13
#include "
llzk/Dialect/LLZK/IR/AttributeHelper.h
"
14
#include "
llzk/Dialect/LLZK/IR/Attrs.h
"
15
#include "
llzk/Dialect/LLZK/IR/Dialect.h
"
16
#include "
llzk/Dialect/LLZK/IR/Ops.h
"
17
#include "
llzk/Dialect/LLZK/IR/Versioning.h
"
18
19
#include <mlir/Bytecode/BytecodeImplementation.h>
20
#include <mlir/IR/DialectImplementation.h>
21
#include <mlir/Support/LLVM.h>
22
23
#include <llvm/ADT/TypeSwitch.h>
24
25
// TableGen'd implementation files
26
#include "
llzk/Dialect/LLZK/IR/Dialect.cpp.inc
"
27
28
// Need a complete declaration of storage classes for below
29
#define GET_ATTRDEF_CLASSES
30
#include "
llzk/Dialect/LLZK/IR/Attrs.cpp.inc
"
31
32
//===------------------------------------------------------------------===//
33
// LLZKDialect
34
//===------------------------------------------------------------------===//
35
36
auto
llzk::LLZKDialect::initialize() ->
void
{
37
// clang-format off
38
addAttributes<
39
#define GET_ATTRDEF_LIST
40
#include "
llzk/Dialect/LLZK/IR/Attrs.cpp.inc
"
41
>();
42
43
addOperations<
44
#define GET_OP_LIST
45
#include "
llzk/Dialect/LLZK/IR/Ops.cpp.inc
"
46
>();
47
// clang-format on
48
addInterfaces<LLZKDialectBytecodeInterface<LLZKDialect>>();
49
}
AttributeHelper.h
Config.h
Types.h
Ops.h
Attrs.cpp.inc
Attrs.h
Dialect.cpp.inc
Dialect.h
Ops.cpp.inc
Ops.h
Versioning.h
lib
Dialect
LLZK
IR
Dialect.cpp
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.