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

This file implements the -llzk-flatten pass. More...

#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Cast/IR/Dialect.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"
#include "llzk/Dialect/LLZK/IR/Attrs.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk/Dialect/String/IR/Dialect.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include "llzk/Util/Concepts.h"
#include "llzk/Util/Debug.h"
#include "llzk/Util/SymbolHelper.h"
#include "llzk/Util/TypeHelper.h"
#include <mlir/Dialect/Affine/IR/AffineOps.h>
#include <mlir/Dialect/Affine/LoopUtils.h>
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/Dialect/SCF/Utils/Utils.h>
#include <mlir/Dialect/Utils/StaticValueUtils.h>
#include <mlir/IR/Attributes.h>
#include <mlir/IR/BuiltinAttributes.h>
#include <mlir/IR/BuiltinOps.h>
#include <mlir/IR/BuiltinTypes.h>
#include <mlir/Interfaces/InferTypeOpInterface.h>
#include <mlir/Pass/PassManager.h>
#include <mlir/Support/LLVM.h>
#include <mlir/Support/LogicalResult.h>
#include <mlir/Transforms/DialectConversion.h>
#include <mlir/Transforms/GreedyPatternRewriteDriver.h>
#include <llvm/ADT/APInt.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/DepthFirstIterator.h>
#include <llvm/ADT/STLExtras.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/ADT/TypeSwitch.h>
#include <llvm/Support/Debug.h>
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h.inc"
#include "SharedImpl.h"
Include dependency graph for FlatteningPass.cpp:

Go to the source code of this file.

Classes

class  llzk::polymorphic::impl::FlatteningPassBase< DerivedT >
 

Namespaces

namespace  llzk
 
namespace  llzk::polymorphic
 
namespace  llzk::polymorphic::impl
 
namespace  Step1_InstantiateStructs
 
namespace  Step2_Unroll
 
namespace  Step3_InstantiateAffineMaps
 
namespace  Step4_PropagateTypes
 
namespace  Step5_Cleanup
 

Macros

#define GEN_PASS_DEF_FLATTENINGPASS
 
#define DEBUG_TYPE   "llzk-flatten"
 

Detailed Description

This file implements the -llzk-flatten pass.

Definition in file FlatteningPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-flatten"

Definition at line 64 of file FlatteningPass.cpp.

◆ GEN_PASS_DEF_FLATTENINGPASS

#define GEN_PASS_DEF_FLATTENINGPASS

Definition at line 58 of file FlatteningPass.cpp.