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 2026 Project LLZK
6
// SPDX-License-Identifier: Apache-2.0
7
//
8
//===----------------------------------------------------------------------===//
9
10
#pragma once
11
12
#include "
llzk/Dialect/POD/IR/Dialect.h
"
13
#include "
llzk/Dialect/POD/IR/Types.h
"
14
#include "
llzk/Dialect/Shared/DiscardableAllocationOpInterfaces.h
"
15
#include "
llzk/Dialect/Shared/OpHelpers.h
"
16
17
#include <mlir/IR/BuiltinAttributes.h>
18
#include <mlir/IR/OpImplementation.h>
19
#include <mlir/IR/Value.h>
20
#include <mlir/Interfaces/MemorySlotInterfaces.h>
21
#include <mlir/Interfaces/SideEffectInterfaces.h>
22
23
// Include TableGen'd declarations
24
#include "
llzk/Dialect/POD/IR/OpInterfaces.h.inc
"
25
26
// Include TableGen'd declarations
27
#define GET_OP_CLASSES
28
#include "
llzk/Dialect/POD/IR/Ops.h.inc
"
29
30
namespace
llzk::pod
{
31
32
mlir::SmallVector<RecordValue>
33
getInitializedRecordValues
(mlir::ValueRange initialValues, mlir::ArrayAttr initializedRecords);
34
35
mlir::ParseResult
parseRecordName
(mlir::AsmParser &parser, mlir::StringAttr &name);
36
void
printRecordName
(mlir::AsmPrinter &printer, mlir::Operation *, mlir::StringAttr name);
37
38
}
// namespace llzk::pod
DiscardableAllocationOpInterfaces.h
OpHelpers.h
Dialect.h
OpInterfaces.h.inc
Ops.h.inc
Types.h
llzk::pod
Definition
Attrs.cpp:19
llzk::pod::getInitializedRecordValues
SmallVector< RecordValue > getInitializedRecordValues(ValueRange initialValues, ArrayAttr initializedRecords)
Definition
Ops.cpp:452
llzk::pod::printRecordName
void printRecordName(AsmPrinter &printer, Operation *, StringAttr name)
Definition
Ops.cpp:608
llzk::pod::parseRecordName
ParseResult parseRecordName(AsmParser &parser, StringAttr &name)
Definition
Ops.cpp:599
include
llzk
Dialect
POD
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.