WitgenLowering.h File Reference

#include <mlir/Pass/Pass.h>
#include <memory>

Include dependency graph for WitgenLowering.h:

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

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::witgen

Functions
std::unique_ptr< Pass >	llzk::witgen::createLowerComputeToCorePass (const WitgenOptions &options)
	Create the pass that lowers supported LLZK compute IR into core MLIR dialects suitable for LLVM lowering.
std::unique_ptr< Pass >	llzk::witgen::createCreateWitgenEntryPass (bool emitFullWitness)
	Create the pass that synthesizes the stable llzk-witgen JIT entry wrapper.
void	llzk::witgen::addWitgenPreparePipeline (mlir::OpPassManager &pm, const WitgenOptions &options)
	Add the preprocessing pipeline required before witgen backend execution.