LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Global.cpp
Go to the documentation of this file.
1//===-- Global.cpp - Global dialect C API 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
11
12#include "llzk/CAPI/Support.h"
16
17#include <mlir/CAPI/Pass.h>
18#include <mlir/CAPI/Registration.h>
19
20using namespace llzk::global;
21
22static inline void registerLLZKGlobalTransformationPasses() { registerTransformationPasses(); }
23
24// Include the generated CAPI
27
28MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Global, llzk__global, GlobalDialect)
LLZK support for global values, defined outside of structs.
Definition Dialect.h.inc:13
void registerTransformationPasses()