LLZK 0.1.0
Veridise's ZK Language IR
|
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"
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" |
This file implements the -llzk-flatten
pass.
Definition in file FlatteningPass.cpp.
#define DEBUG_TYPE "llzk-flatten" |
Definition at line 64 of file FlatteningPass.cpp.
#define GEN_PASS_DEF_FLATTENINGPASS |
Definition at line 58 of file FlatteningPass.cpp.