|
LLZK 0.1.0
Veridise's ZK Language IR
|
This file implements the -llzk-flatten pass. More...
#include "llzk/Analysis/SymbolDefTree.h"#include "llzk/Analysis/SymbolUseGraph.h"#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/SymbolLookup.h"#include "llzk/Util/SymbolTableLLZK.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 | |
| struct | llzk::polymorphic::FlatteningPassOptions |
| 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_DECL_FLATTENINGPASS |
| #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 69 of file FlatteningPass.cpp.
| #define GEN_PASS_DECL_FLATTENINGPASS |
Definition at line 62 of file FlatteningPass.cpp.
| #define GEN_PASS_DEF_FLATTENINGPASS |
Definition at line 63 of file FlatteningPass.cpp.