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"
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
27
28// Need a complete declaration of storage classes for below
29#define GET_ATTRDEF_CLASSES
31
32//===------------------------------------------------------------------===//
33// LLZKDialect
34//===------------------------------------------------------------------===//
35
36auto llzk::LLZKDialect::initialize() -> void {
37 // clang-format off
38 addAttributes<
39 #define GET_ATTRDEF_LIST
41 >();
42
43 addOperations<
44 #define GET_OP_LIST
46 >();
47 // clang-format on
48 addInterfaces<LLZKDialectBytecodeInterface<LLZKDialect>>();
49}