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
15namespace llzk {
16
19 : public mlir::SideEffects::Resource::Base<DiscardableAllocationResource> {
20 mlir::StringRef getName() final;
21};
22
23} // namespace llzk
24
25// Include TableGen'd declarations
Memory resource for allocations that may be erased when no stored value is ever read.