LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.h
Go to the documentation of this file.
1
//===-- Attrs.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/LLZK/IR/AttributeHelper.h
"
13
#include "
llzk/Dialect/Struct/IR/Types.h
"
14
15
#include <mlir/IR/Attributes.h>
16
#include <mlir/IR/BuiltinOps.h>
17
18
// Include TableGen'd declarations
19
#define GET_ATTRDEF_CLASSES
20
#include "
llzk/Dialect/LLZK/IR/Attrs.h.inc
"
21
22
namespace
llzk
{
23
24
mlir::FailureOr<component::StructType>
25
getTypeFromLlzkMainAttr
(mlir::ModuleOp op, mlir::Attribute attr);
26
27
}
AttributeHelper.h
Attrs.h.inc
Types.h
llzk
Definition
AnalysisPassEnums.cpp:19
llzk::getTypeFromLlzkMainAttr
FailureOr< StructType > getTypeFromLlzkMainAttr(ModuleOp op, Attribute attr)
Definition
Attrs.cpp:24
include
llzk
Dialect
LLZK
IR
Attrs.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.