TransformationPasses.h.inc

Go to the documentation of this file.

/* Autogenerated by mlir-tblgen; don't manually edit */
 
#ifdef GEN_PASS_DECL
// Generate declarations for all passes.
#define GEN_PASS_DECL_ARRAYTOSCALARPASS
#define GEN_PASS_DECL_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#undef GEN_PASS_DECL
#endif // GEN_PASS_DECL
 
//===----------------------------------------------------------------------===//
// ArrayToScalarPass
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_DECL_ARRAYTOSCALARPASS
std::unique_ptr<::mlir::Pass> createArrayToScalarPass();
#undef GEN_PASS_DECL_ARRAYTOSCALARPASS
#endif // GEN_PASS_DECL_ARRAYTOSCALARPASS
#ifdef GEN_PASS_DEF_ARRAYTOSCALARPASS
 
namespace impl {
  std::unique_ptr<::mlir::Pass> createArrayToScalarPass();
} // namespace impl
namespace impl {
 
template <typename DerivedT>
class ArrayToScalarPassBase : public ::mlir::OperationPass<::mlir::ModuleOp> {
public:
  using Base = ArrayToScalarPassBase;
 
  ArrayToScalarPassBase() : ::mlir::OperationPass<::mlir::ModuleOp>(::mlir::TypeID::get<DerivedT>()) {}
  ArrayToScalarPassBase(const ArrayToScalarPassBase &other) : ::mlir::OperationPass<::mlir::ModuleOp>(other) {}
  ArrayToScalarPassBase& operator=(const ArrayToScalarPassBase &) = delete;
  ArrayToScalarPassBase(ArrayToScalarPassBase &&) = delete;
  ArrayToScalarPassBase& operator=(ArrayToScalarPassBase &&) = delete;
  ~ArrayToScalarPassBase() = default;

  static constexpr ::llvm::StringLiteral getArgumentName() {
    return ::llvm::StringLiteral("llzk-array-to-scalar");
  }
  ::llvm::StringRef getArgument() const override { return "llzk-array-to-scalar"; }
 
  ::llvm::StringRef getDescription() const override { return R"PD(Replace arrays with scalar values)PD"; }

  static constexpr ::llvm::StringLiteral getPassName() {
    return ::llvm::StringLiteral("ArrayToScalarPass");
  }
  ::llvm::StringRef getName() const override { return "ArrayToScalarPass"; }

  static bool classof(const ::mlir::Pass *pass) {
    return pass->getTypeID() == ::mlir::TypeID::get<DerivedT>();
  }

  std::unique_ptr<::mlir::Pass> clonePass() const override {
    return std::make_unique<DerivedT>(*static_cast<const DerivedT *>(this));
  }

  void getDependentDialects(::mlir::DialectRegistry &registry) const override {
    registry.insert<llzk::LLZKDialect>();
    registry.insert<llzk::boolean::BoolDialect>();
    registry.insert<llzk::array::ArrayDialect>();
    registry.insert<llzk::component::StructDialect>();
    registry.insert<llzk::constrain::ConstrainDialect>();
    registry.insert<llzk::felt::FeltDialect>();
    registry.insert<llzk::global::GlobalDialect>();
    registry.insert<llzk::include::IncludeDialect>();
    registry.insert<llzk::function::FunctionDialect>();
    registry.insert<llzk::string::StringDialect>();
    registry.insert<llzk::polymorphic::PolymorphicDialect>();
    registry.insert<mlir::arith::ArithDialect>();
    registry.insert<mlir::scf::SCFDialect>();
  }

  MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(ArrayToScalarPassBase<DerivedT>)
 
protected:
private:
 
  friend std::unique_ptr<::mlir::Pass> createArrayToScalarPass() {
    return std::make_unique<DerivedT>();
  }
};
} // namespace impl
 
std::unique_ptr<::mlir::Pass> createArrayToScalarPass() {
  return impl::createArrayToScalarPass();
}
#undef GEN_PASS_DEF_ARRAYTOSCALARPASS
#endif // GEN_PASS_DEF_ARRAYTOSCALARPASS
 
//===----------------------------------------------------------------------===//
// StraightLineStaticArrayPromotionPass
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_DECL_STRAIGHTLINESTATICARRAYPROMOTIONPASS
std::unique_ptr<::mlir::Pass> createStraightLineStaticArrayPromotionPass();
#undef GEN_PASS_DECL_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#endif // GEN_PASS_DECL_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#ifdef GEN_PASS_DEF_STRAIGHTLINESTATICARRAYPROMOTIONPASS
 
namespace impl {
  std::unique_ptr<::mlir::Pass> createStraightLineStaticArrayPromotionPass();
} // namespace impl
namespace impl {
 
template <typename DerivedT>
class StraightLineStaticArrayPromotionPassBase : public ::mlir::OperationPass<::mlir::ModuleOp> {
public:
  using Base = StraightLineStaticArrayPromotionPassBase;
 
  StraightLineStaticArrayPromotionPassBase() : ::mlir::OperationPass<::mlir::ModuleOp>(::mlir::TypeID::get<DerivedT>()) {}
  StraightLineStaticArrayPromotionPassBase(const StraightLineStaticArrayPromotionPassBase &other) : ::mlir::OperationPass<::mlir::ModuleOp>(other) {}
  StraightLineStaticArrayPromotionPassBase& operator=(const StraightLineStaticArrayPromotionPassBase &) = delete;
  StraightLineStaticArrayPromotionPassBase(StraightLineStaticArrayPromotionPassBase &&) = delete;
  StraightLineStaticArrayPromotionPassBase& operator=(StraightLineStaticArrayPromotionPassBase &&) = delete;
  ~StraightLineStaticArrayPromotionPassBase() = default;

  static constexpr ::llvm::StringLiteral getArgumentName() {
    return ::llvm::StringLiteral("llzk-straight-line-static-array-promotion");
  }
  ::llvm::StringRef getArgument() const override { return "llzk-straight-line-static-array-promotion"; }
 
  ::llvm::StringRef getDescription() const override { return R"PD(Promote straight-line static array accesses to SSA values)PD"; }

  static constexpr ::llvm::StringLiteral getPassName() {
    return ::llvm::StringLiteral("StraightLineStaticArrayPromotionPass");
  }
  ::llvm::StringRef getName() const override { return "StraightLineStaticArrayPromotionPass"; }

  static bool classof(const ::mlir::Pass *pass) {
    return pass->getTypeID() == ::mlir::TypeID::get<DerivedT>();
  }

  std::unique_ptr<::mlir::Pass> clonePass() const override {
    return std::make_unique<DerivedT>(*static_cast<const DerivedT *>(this));
  }

  void getDependentDialects(::mlir::DialectRegistry &registry) const override {
    registry.insert<llzk::LLZKDialect>();
    registry.insert<llzk::boolean::BoolDialect>();
    registry.insert<llzk::array::ArrayDialect>();
    registry.insert<llzk::component::StructDialect>();
    registry.insert<llzk::constrain::ConstrainDialect>();
    registry.insert<llzk::felt::FeltDialect>();
    registry.insert<llzk::global::GlobalDialect>();
    registry.insert<llzk::include::IncludeDialect>();
    registry.insert<llzk::function::FunctionDialect>();
    registry.insert<llzk::string::StringDialect>();
    registry.insert<llzk::polymorphic::PolymorphicDialect>();
    registry.insert<mlir::arith::ArithDialect>();
    registry.insert<mlir::scf::SCFDialect>();
  }

  MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(StraightLineStaticArrayPromotionPassBase<DerivedT>)
 
protected:
private:
 
  friend std::unique_ptr<::mlir::Pass> createStraightLineStaticArrayPromotionPass() {
    return std::make_unique<DerivedT>();
  }
};
} // namespace impl
 
std::unique_ptr<::mlir::Pass> createStraightLineStaticArrayPromotionPass() {
  return impl::createStraightLineStaticArrayPromotionPass();
}
#undef GEN_PASS_DEF_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#endif // GEN_PASS_DEF_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#ifdef GEN_PASS_REGISTRATION
// Generate registrations for all passes.
#define GEN_PASS_REGISTRATION_ARRAYTOSCALARPASS
#define GEN_PASS_REGISTRATION_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#endif // GEN_PASS_REGISTRATION
 
//===----------------------------------------------------------------------===//
// ArrayToScalarPass Registration
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_REGISTRATION_ARRAYTOSCALARPASS
 
inline void registerArrayToScalarPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createArrayToScalarPass();
  });
}
 
// Old registration code, kept for temporary backwards compatibility.
inline void registerArrayToScalarPassPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createArrayToScalarPass();
  });
}
 
#undef GEN_PASS_REGISTRATION_ARRAYTOSCALARPASS
#endif // GEN_PASS_REGISTRATION_ARRAYTOSCALARPASS
 
//===----------------------------------------------------------------------===//
// StraightLineStaticArrayPromotionPass Registration
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_REGISTRATION_STRAIGHTLINESTATICARRAYPROMOTIONPASS
 
inline void registerStraightLineStaticArrayPromotionPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createStraightLineStaticArrayPromotionPass();
  });
}
 
// Old registration code, kept for temporary backwards compatibility.
inline void registerStraightLineStaticArrayPromotionPassPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createStraightLineStaticArrayPromotionPass();
  });
}
 
#undef GEN_PASS_REGISTRATION_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#endif // GEN_PASS_REGISTRATION_STRAIGHTLINESTATICARRAYPROMOTIONPASS
#ifdef GEN_PASS_REGISTRATION
 
//===----------------------------------------------------------------------===//
// Transformation Registration
//===----------------------------------------------------------------------===//
 
inline void registerTransformationPasses() {
  registerArrayToScalarPass();
  registerStraightLineStaticArrayPromotionPass();
}
#undef GEN_PASS_REGISTRATION
#endif // GEN_PASS_REGISTRATION
#ifdef GEN_PASS_CLASSES
#error "GEN_PASS_CLASSES is deprecated; use per-pass macros"
#undef GEN_PASS_CLASSES
#endif // GEN_PASS_CLASSES