WitgenLowering.h

Go to the documentation of this file.

//===-- WitgenLowering.h ---------------------------------------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2026 Project LLZK
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
 
#pragma once
 
#include <mlir/Pass/Pass.h>
 
#include <memory>
 
namespace llzk::witgen {
 
struct WitgenOptions;

std::unique_ptr<mlir::Pass> createLowerComputeToCorePass(const WitgenOptions &options);

std::unique_ptr<mlir::Pass> createCreateWitgenEntryPass(bool emitFullWitness);

void addWitgenPreparePipeline(mlir::OpPassManager &pm, const WitgenOptions &options);
 
} // namespace llzk::witgen