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