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 - Polymorphic dialect 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/Dialect/LLZK/IR/Versioning.h
"
11
#include "
llzk/Dialect/Polymorphic/IR/Dialect.h
"
12
#include "
llzk/Dialect/Polymorphic/IR/Ops.h
"
13
#include "
llzk/Dialect/Polymorphic/IR/Types.h
"
14
15
#include <mlir/IR/Builders.h>
16
#include <mlir/IR/DialectImplementation.h>
17
18
#include <llvm/ADT/TypeSwitch.h>
19
20
// TableGen'd implementation files
21
#include "
llzk/Dialect/Polymorphic/IR/Dialect.cpp.inc
"
22
23
#define GET_TYPEDEF_CLASSES
24
#include "
llzk/Dialect/Polymorphic/IR/Types.cpp.inc
"
25
26
//===------------------------------------------------------------------===//
27
// PolymorphicDialect
28
//===------------------------------------------------------------------===//
29
30
auto
llzk::polymorphic::PolymorphicDialect::initialize() ->
void
{
31
// clang-format off
32
addOperations<
33
#define GET_OP_LIST
34
#include "
llzk/Dialect/Polymorphic/IR/Ops.cpp.inc
"
35
>();
36
37
addTypes<
38
#define GET_TYPEDEF_LIST
39
#include "
llzk/Dialect/Polymorphic/IR/Types.cpp.inc
"
40
>();
41
// clang-format on
42
addInterfaces<LLZKDialectBytecodeInterface<PolymorphicDialect>>();
43
}
Dialect.cpp.inc
Dialect.h
Ops.cpp.inc
Ops.h
Types.cpp.inc
Types.h
Versioning.h
lib
Dialect
Polymorphic
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.