LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
12
#include "
llzk/Dialect/Function/IR/OpTraits.h
"
13
#include "
llzk/Dialect/Global/IR/Dialect.h
"
14
#include "
llzk/Util/SymbolLookup.h
"
15
16
#include <mlir/Interfaces/SideEffectInterfaces.h>
17
18
namespace
llzk::global
{
19
21
struct
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
28
#include "
llzk/Dialect/Global/IR/Ops.h.inc
"
29
30
// Include TableGen'd declarations
31
#include "
llzk/Dialect/Global/IR/OpInterfaces.h.inc
"
32
33
// Include TableGen'd declarations
34
#define GET_OP_CLASSES
35
#include "
llzk/Dialect/Global/IR/Ops.h.inc
"
Dialect.h
OpInterfaces.h.inc
Ops.h.inc
OpTraits.h
SymbolLookup.h
This file defines methods symbol lookup across LLZK operations and included files.
llzk::global
Definition
InitializerUtils.h:16
llzk::global::GlobalMemoryResource
Memory resource indicating a global.def memory resource.
Definition
Ops.h:21
llzk::global::GlobalMemoryResource::getName
mlir::StringRef getName() const final
Definition
Ops.cpp:38
include
llzk
Dialect
Global
IR
Ops.h
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.