LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.h
Go to the documentation of this file.
1//===-- Ops.h ---------------------------------------------------*- 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#pragma once
11
15
16#include <mlir/Interfaces/SideEffectInterfaces.h>
17
18namespace llzk::global {
19
21struct GlobalMemoryResource : public mlir::SideEffects::Resource::Base<GlobalMemoryResource> {
22 mlir::StringRef getName() const final;
23};
24
25} // namespace llzk::global
26
27// Forward-declare ops since GlobalDefOp is used within OpInterfaces
29
30// Include TableGen'd declarations
32
33// Include TableGen'd declarations
34#define GET_OP_CLASSES
This file defines methods symbol lookup across LLZK operations and included files.
Memory resource indicating a global.def memory resource.
Definition Ops.h:21
mlir::StringRef getName() const final
Definition Ops.cpp:38