|
LLZK 0.1.0
Veridise's ZK Language IR
|
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 <mlir/Transforms/Passes.h>Go to the source code of this file.
Classes | |
| struct | llzk::FullPolyLoweringOptions |
Namespaces | |
| namespace | llzk |
Functions | |
| void | llzk::addRemoveUnnecessaryOpsAndDefsPipeline (OpPassManager &pm) |
| void | llzk::registerTransformationPassPipelines () |
This file implements logic for registering the -llzk-remove-unnecessary-ops and -llzk-remove-unnecessary-ops-and-defs pipelines.
Definition in file TransformationPassPipelines.cpp.