LLZK 0.1.0
Veridise's ZK Language IR
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
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
22
23#define GET_TYPEDEF_CLASSES
25
26//===------------------------------------------------------------------===//
27// PolymorphicDialect
28//===------------------------------------------------------------------===//
29
30auto llzk::polymorphic::PolymorphicDialect::initialize() -> void {
31 // clang-format off
32 addOperations<
33 #define GET_OP_LIST
35 >();
36
37 addTypes<
38 #define GET_TYPEDEF_LIST
40 >();
41 // clang-format on
42 addInterfaces<LLZKDialectBytecodeInterface<PolymorphicDialect>>();
43}