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_EXPOSECHILDMEMBERSPASS
#define GEN_PASS_DECL_INLINESTRUCTSPASS
#undef GEN_PASS_DECL
#endif // GEN_PASS_DECL
 
//===----------------------------------------------------------------------===//
// ExposeChildMembersPass
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_DECL_EXPOSECHILDMEMBERSPASS
struct ExposeChildMembersPassOptions {
  std::string rootStruct = "";
};
std::unique_ptr<::mlir::Pass> createExposeChildMembersPass();
std::unique_ptr<::mlir::Pass> createExposeChildMembersPass(ExposeChildMembersPassOptions options);
#undef GEN_PASS_DECL_EXPOSECHILDMEMBERSPASS
#endif // GEN_PASS_DECL_EXPOSECHILDMEMBERSPASS
#ifdef GEN_PASS_DEF_EXPOSECHILDMEMBERSPASS
 
namespace impl {
  std::unique_ptr<::mlir::Pass> createExposeChildMembersPass();
} // namespace impl
 
namespace impl {
  std::unique_ptr<::mlir::Pass> createExposeChildMembersPass(ExposeChildMembersPassOptions options);
} // namespace impl
namespace impl {
 
template <typename DerivedT>
class ExposeChildMembersPassBase : public ::mlir::OperationPass<::mlir::ModuleOp> {
public:
  using Base = ExposeChildMembersPassBase;
 
  ExposeChildMembersPassBase() : ::mlir::OperationPass<::mlir::ModuleOp>(::mlir::TypeID::get<DerivedT>()) {}
  ExposeChildMembersPassBase(const ExposeChildMembersPassBase &other) : ::mlir::OperationPass<::mlir::ModuleOp>(other) {}
  ExposeChildMembersPassBase& operator=(const ExposeChildMembersPassBase &) = delete;
  ExposeChildMembersPassBase(ExposeChildMembersPassBase &&) = delete;
  ExposeChildMembersPassBase& operator=(ExposeChildMembersPassBase &&) = delete;
  ~ExposeChildMembersPassBase() = default;

  static constexpr ::llvm::StringLiteral getArgumentName() {
    return ::llvm::StringLiteral("llzk-expose-child-members");
  }
  ::llvm::StringRef getArgument() const override { return "llzk-expose-child-members"; }
 
  ::llvm::StringRef getDescription() const override { return R"PD(Expose members of concrete child storage reachable from a selected root.)PD"; }

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

  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(ExposeChildMembersPassBase<DerivedT>)
 
  ExposeChildMembersPassBase(ExposeChildMembersPassOptions options) : ExposeChildMembersPassBase() {
    rootStruct = std::move(options.rootStruct);
  }
protected:
  ::mlir::Pass::Option<std::string> rootStruct{*this, "root-struct", ::llvm::cl::desc(R"PO(Root struct symbol path (defaults to llzk.main))PO"), ::llvm::cl::init("")};
private:
 
  friend std::unique_ptr<::mlir::Pass> createExposeChildMembersPass() {
    return std::make_unique<DerivedT>();
  }
 
  friend std::unique_ptr<::mlir::Pass> createExposeChildMembersPass(ExposeChildMembersPassOptions options) {
    return std::make_unique<DerivedT>(std::move(options));
  }
};
} // namespace impl
 
std::unique_ptr<::mlir::Pass> createExposeChildMembersPass() {
  return impl::createExposeChildMembersPass();
}
 
std::unique_ptr<::mlir::Pass> createExposeChildMembersPass(ExposeChildMembersPassOptions options) {
  return impl::createExposeChildMembersPass(std::move(options));
}
#undef GEN_PASS_DEF_EXPOSECHILDMEMBERSPASS
#endif // GEN_PASS_DEF_EXPOSECHILDMEMBERSPASS
 
//===----------------------------------------------------------------------===//
// InlineStructsPass
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_DECL_INLINESTRUCTSPASS
struct InlineStructsPassOptions {
  uint64_t maxComplexity = 0;
};
std::unique_ptr<::mlir::Pass> createInlineStructsPass();
std::unique_ptr<::mlir::Pass> createInlineStructsPass(InlineStructsPassOptions options);
#undef GEN_PASS_DECL_INLINESTRUCTSPASS
#endif // GEN_PASS_DECL_INLINESTRUCTSPASS
#ifdef GEN_PASS_DEF_INLINESTRUCTSPASS
 
namespace impl {
  std::unique_ptr<::mlir::Pass> createInlineStructsPass();
} // namespace impl
 
namespace impl {
  std::unique_ptr<::mlir::Pass> createInlineStructsPass(InlineStructsPassOptions options);
} // namespace impl
namespace impl {
 
template <typename DerivedT>
class InlineStructsPassBase : public ::mlir::OperationPass<::mlir::ModuleOp> {
public:
  using Base = InlineStructsPassBase;
 
  InlineStructsPassBase() : ::mlir::OperationPass<::mlir::ModuleOp>(::mlir::TypeID::get<DerivedT>()) {}
  InlineStructsPassBase(const InlineStructsPassBase &other) : ::mlir::OperationPass<::mlir::ModuleOp>(other) {}
  InlineStructsPassBase& operator=(const InlineStructsPassBase &) = delete;
  InlineStructsPassBase(InlineStructsPassBase &&) = delete;
  InlineStructsPassBase& operator=(InlineStructsPassBase &&) = delete;
  ~InlineStructsPassBase() = default;

  static constexpr ::llvm::StringLiteral getArgumentName() {
    return ::llvm::StringLiteral("llzk-inline-structs");
  }
  ::llvm::StringRef getArgument() const override { return "llzk-inline-structs"; }
 
  ::llvm::StringRef getDescription() const override { return R"PD(Inlines nested structs (i.e., subcomponents).)PD"; }

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

  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(InlineStructsPassBase<DerivedT>)
 
  InlineStructsPassBase(InlineStructsPassOptions options) : InlineStructsPassBase() {
    maxComplexity = std::move(options.maxComplexity);
  }
protected:
  ::mlir::Pass::Option<uint64_t> maxComplexity{*this, "max-merge-complexity", ::llvm::cl::desc(R"PO(Maximum allowed constraint+multiplications in merged @constrain functions)PO"), ::llvm::cl::init(0)};
private:
 
  friend std::unique_ptr<::mlir::Pass> createInlineStructsPass() {
    return std::make_unique<DerivedT>();
  }
 
  friend std::unique_ptr<::mlir::Pass> createInlineStructsPass(InlineStructsPassOptions options) {
    return std::make_unique<DerivedT>(std::move(options));
  }
};
} // namespace impl
 
std::unique_ptr<::mlir::Pass> createInlineStructsPass() {
  return impl::createInlineStructsPass();
}
 
std::unique_ptr<::mlir::Pass> createInlineStructsPass(InlineStructsPassOptions options) {
  return impl::createInlineStructsPass(std::move(options));
}
#undef GEN_PASS_DEF_INLINESTRUCTSPASS
#endif // GEN_PASS_DEF_INLINESTRUCTSPASS
#ifdef GEN_PASS_REGISTRATION
// Generate registrations for all passes.
#define GEN_PASS_REGISTRATION_EXPOSECHILDMEMBERSPASS
#define GEN_PASS_REGISTRATION_INLINESTRUCTSPASS
#endif // GEN_PASS_REGISTRATION
 
//===----------------------------------------------------------------------===//
// ExposeChildMembersPass Registration
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_REGISTRATION_EXPOSECHILDMEMBERSPASS
 
inline void registerExposeChildMembersPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createExposeChildMembersPass();
  });
}
 
// Old registration code, kept for temporary backwards compatibility.
inline void registerExposeChildMembersPassPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createExposeChildMembersPass();
  });
}
 
#undef GEN_PASS_REGISTRATION_EXPOSECHILDMEMBERSPASS
#endif // GEN_PASS_REGISTRATION_EXPOSECHILDMEMBERSPASS
 
//===----------------------------------------------------------------------===//
// InlineStructsPass Registration
//===----------------------------------------------------------------------===//
#ifdef GEN_PASS_REGISTRATION_INLINESTRUCTSPASS
 
inline void registerInlineStructsPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createInlineStructsPass();
  });
}
 
// Old registration code, kept for temporary backwards compatibility.
inline void registerInlineStructsPassPass() {
  ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
    return createInlineStructsPass();
  });
}
 
#undef GEN_PASS_REGISTRATION_INLINESTRUCTSPASS
#endif // GEN_PASS_REGISTRATION_INLINESTRUCTSPASS
#ifdef GEN_PASS_REGISTRATION
 
//===----------------------------------------------------------------------===//
// Transformation Registration
//===----------------------------------------------------------------------===//
 
inline void registerTransformationPasses() {
  registerExposeChildMembersPass();
  registerInlineStructsPass();
}
#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