LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKFuseProductLoopsPass.h
Go to the documentation of this file.
1//===-- LLZKFuseProductLoopsPass.h-------------------------------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2026 Project LLZK
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#pragma once
11
12#include <mlir/IR/Region.h>
13#include <mlir/Support/LogicalResult.h>
14
15namespace llzk {
18mlir::LogicalResult fuseMatchingLoopPairs(mlir::Region &body, mlir::MLIRContext *context);
19} // namespace llzk
llzk::fuseMatchingLoopPairs
mlir::LogicalResult fuseMatchingLoopPairs(mlir::Region &body, mlir::MLIRContext *context)
Identify pairs of scf.for loops that can be fused, fuse them, and then recurse to fuse nested loops.
Definition LLZKFuseProductLoopsPass.cpp:134