LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
TransformationPassPipelines.cpp File Reference

This file implements logic for registering the -llzk-remove-unnecessary-ops and -llzk-remove-unnecessary-ops-and-defs pipelines. More...

#include "llzk/Transforms/LLZKTransformationPasses.h"
#include <mlir/Pass/PassManager.h>
#include <mlir/Pass/PassRegistry.h>
Include dependency graph for TransformationPassPipelines.cpp:

Go to the source code of this file.

Classes

struct  llzk::FullPolyLoweringOptions
 

Namespaces

namespace  llzk
 

Functions

void llzk::addRemoveUnnecessaryOpsAndDefsPipeline (OpPassManager &pm)
 
void llzk::registerTransformationPassPipelines ()
 

Detailed Description

This file implements logic for registering the -llzk-remove-unnecessary-ops and -llzk-remove-unnecessary-ops-and-defs pipelines.

Definition in file TransformationPassPipelines.cpp.