LLZK
2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
DiscardableAllocationOpInterfaces.h
Go to the documentation of this file.
1
//===-- DiscardableAllocationOpInterfaces.h ---------------------*- C++ -*-===//
2
//
3
// Part of the LLZK Project, under the Apache License v2.0.
4
// See LICENSE.txt for license information.
5
// Copyright 2026 Project LLZK
6
// SPDX-License-Identifier: Apache-2.0
7
//
8
//===----------------------------------------------------------------------===//
9
10
#pragma once
11
12
#include <mlir/Interfaces/DataLayoutInterfaces.h>
13
#include <mlir/Interfaces/SideEffectInterfaces.h>
14
15
namespace
llzk
{
16
18
struct
DiscardableAllocationResource
19
:
public
mlir::SideEffects::Resource::Base<DiscardableAllocationResource> {
20
mlir::StringRef
getName
()
final
;
21
};
22
23
}
// namespace llzk
24
25
// Include TableGen'd declarations
26
#include "
llzk/Dialect/Shared/DiscardableAllocationOpInterfaces.h.inc
"
DiscardableAllocationOpInterfaces.h.inc
llzk
Definition
AnalysisPassEnums.cpp:19
llzk::DiscardableAllocationResource
Memory resource for allocations that may be erased when no stored value is ever read.
Definition
DiscardableAllocationOpInterfaces.h:19
llzk::DiscardableAllocationResource::getName
mlir::StringRef getName() final
Definition
DiscardableAllocationOpInterfaces.cpp:19
include
llzk
Dialect
Shared
DiscardableAllocationOpInterfaces.h
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.