LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::FullPolyLoweringOptions Struct Reference

CLI Option configuration for the full polynomial lowering pipeline. More...

#include <LLZKTransformationPassPipelines.h>

Inheritance diagram for llzk::FullPolyLoweringOptions:
[legend]
Collaboration diagram for llzk::FullPolyLoweringOptions:
[legend]

Public Types

using StructInliningOptions = NestedPipelineOptions<FullStructInliningOptions>
using PolyLoweringOptions

Public Attributes

Option< StructInliningOptionsstructInlining
Option< PolyLoweringOptionspolyLowering

Detailed Description

CLI Option configuration for the full polynomial lowering pipeline.

Definition at line 96 of file LLZKTransformationPassPipelines.h.

Member Typedef Documentation

◆ PolyLoweringOptions

Initial value:
static_cast<std::unique_ptr<mlir::Pass> (*)()>(&llzk::createPolyLoweringPass)>
std::unique_ptr<::mlir::Pass > createPolyLoweringPass()
Stores textual options for a constituent pass after validating them against that pass' native MLIR op...
Definition Parsers.h:65

Definition at line 100 of file LLZKTransformationPassPipelines.h.

◆ StructInliningOptions

Member Data Documentation

◆ polyLowering

Option<PolyLoweringOptions> llzk::FullPolyLoweringOptions::polyLowering
Initial value:
{
*this, "lowering",
llvm::cl::desc("options for the polynomial lowering pass used in this pipeline"),
llvm::cl::init(PolyLoweringOptions {})
}
NestedPassOptions< static_cast< std::unique_ptr< mlir::Pass >(*)()>(&llzk::createPolyLoweringPass)> PolyLoweringOptions

Definition at line 111 of file LLZKTransformationPassPipelines.h.

◆ structInlining

Option<StructInliningOptions> llzk::FullPolyLoweringOptions::structInlining
Initial value:
{
*this, "flatten-inline",
llvm::cl::desc(
"options for the struct flattening and inlining pipeline used before polynomial "
"lowering; this pipeline defaults flattening cleanup to `main-as-root`"
),
llvm::cl::init(StructInliningOptions {})
}
NestedPipelineOptions< FullStructInliningOptions > StructInliningOptions

Definition at line 103 of file LLZKTransformationPassPipelines.h.


The documentation for this struct was generated from the following file: