ConstraintFlatteningPass.cpp File Reference

#include "ConstraintBindings.h"
#include "ConstraintDiagnostics.h"
#include "ConstraintScalarFacts.h"
#include "ConstraintStorage.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Bool/IR/Ops.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Felt/IR/Attrs.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Global/IR/Ops.h"
#include "llzk/Dialect/LLZK/IR/Ops.h"
#include "llzk/Dialect/POD/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Polymorphic/Util/StaticLoop.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/IR/IRMapping.h>
#include <mlir/IR/Verifier.h>
#include <mlir/Interfaces/SideEffectInterfaces.h>
#include <llvm/ADT/DenseSet.h>
#include <llvm/ADT/TypeSwitch.h>
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h.inc"

Include dependency graph for ConstraintFlatteningPass.cpp:

Go to the source code of this file.

Classes
class	llzk::polymorphic::impl::ConstraintFlatteningPassBase< DerivedT >

Namespaces
namespace	llzk
namespace	llzk::polymorphic
namespace	llzk::polymorphic::impl

Macros
#define	GEN_PASS_DEF_CONSTRAINTFLATTENINGPASS

Functions
std::unique_ptr<::mlir::Pass >	llzk::polymorphic::impl::createConstraintFlatteningPass ()
std::unique_ptr<::mlir::Pass >	llzk::polymorphic::createConstraintFlatteningPass ()

Macro Definition Documentation

GEN_PASS_DEF_CONSTRAINTFLATTENINGPASS

#define GEN_PASS_DEF_CONSTRAINTFLATTENINGPASS

Definition at line 38 of file ConstraintFlatteningPass.cpp.