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 2026 Project LLZK
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#pragma once
11
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
25
26// Include TableGen'd declarations
27#define GET_OP_CLASSES
29
30namespace llzk::pod {
31
32mlir::SmallVector<RecordValue>
33getInitializedRecordValues(mlir::ValueRange initialValues, mlir::ArrayAttr initializedRecords);
34
35mlir::ParseResult parseRecordName(mlir::AsmParser &parser, mlir::StringAttr &name);
36void printRecordName(mlir::AsmPrinter &printer, mlir::Operation *, mlir::StringAttr name);
37
38} // namespace llzk::pod
SmallVector< RecordValue > getInitializedRecordValues(ValueRange initialValues, ArrayAttr initializedRecords)
Definition Ops.cpp:450
void printRecordName(AsmPrinter &printer, Operation *, StringAttr name)
Definition Ops.cpp:604
ParseResult parseRecordName(AsmParser &parser, StringAttr &name)
Definition Ops.cpp:595