LLZKLayout.h File Reference

#include <mlir/IR/BuiltinAttributes.h>
#include <mlir/IR/BuiltinOps.h>
#include <mlir/Support/LogicalResult.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/SmallVector.h>
#include <cstdint>
#include <optional>

Include dependency graph for LLZKLayout.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	llzk::LLZKLayout
	Logical felt-signal paths in a monomorphized LLZK circuit. More...

Namespaces
namespace	llvm
namespace	llzk

Functions
mlir::FailureOr< LLZKLayout >	llzk::buildLLZKLayout (mlir::ModuleOp module)
	Enumerate the signal leaves of llzk.main and its constrain arguments.
void	llzk::printLLZKLayout (const LLZKLayout &layout, llvm::raw_ostream &output)
	Print the logical signal section of the .llzk-layout format.

Variables
constexpr char	llzk::LAYOUT_MAIN_ROOT [] = "main"
	Structural path root for storage in the main instance.
constexpr char	llzk::LAYOUT_ARGUMENT_ROOT [] = "arg"
	Structural path root for a constrain argument, followed by its position.