5#define GEN_PASS_DECL_INLINEINCLUDESPASS
12#ifdef GEN_PASS_DECL_INLINEINCLUDESPASS
13#undef GEN_PASS_DECL_INLINEINCLUDESPASS
15#ifdef GEN_PASS_DEF_INLINEINCLUDESPASS
18template <
typename DerivedT>
19class InlineIncludesPassBase :
public ::mlir::OperationPass<::mlir::ModuleOp> {
21 using Base = InlineIncludesPassBase;
23 InlineIncludesPassBase() : ::mlir::OperationPass<::mlir::ModuleOp>(::mlir::TypeID::get<DerivedT>()) {}
24 InlineIncludesPassBase(
const InlineIncludesPassBase &other) : ::mlir::OperationPass<::mlir::ModuleOp>(other) {}
27 static constexpr ::llvm::StringLiteral getArgumentName() {
28 return ::llvm::StringLiteral(
"llzk-inline-includes");
30 ::llvm::StringRef getArgument()
const override {
return "llzk-inline-includes"; }
32 ::llvm::StringRef getDescription()
const override {
return "Replace all IncludeOp with contents of the referenced file."; }
35 static constexpr ::llvm::StringLiteral getPassName() {
36 return ::llvm::StringLiteral(
"InlineIncludesPass");
38 ::llvm::StringRef getName()
const override {
return "InlineIncludesPass"; }
41 static bool classof(const ::mlir::Pass *pass) {
42 return pass->getTypeID() == ::mlir::TypeID::get<DerivedT>();
46 std::unique_ptr<::mlir::Pass> clonePass()
const override {
47 return std::make_unique<DerivedT>(*
static_cast<const DerivedT *
>(
this));
51 void getDependentDialects(::mlir::DialectRegistry ®istry)
const override {
52 registry.insert<llzk::LLZKDialect>();
53 registry.insert<llzk::boolean::BoolDialect>();
54 registry.insert<llzk::array::ArrayDialect>();
55 registry.insert<llzk::component::StructDialect>();
56 registry.insert<llzk::constrain::ConstrainDialect>();
57 registry.insert<llzk::felt::FeltDialect>();
58 registry.insert<llzk::global::GlobalDialect>();
59 registry.insert<llzk::include::IncludeDialect>();
60 registry.insert<llzk::function::FunctionDialect>();
61 registry.insert<llzk::string::StringDialect>();
62 registry.insert<llzk::polymorphic::PolymorphicDialect>();
63 registry.insert<llzk::undef::UndefDialect>();
64 registry.insert<mlir::arith::ArithDialect>();
65 registry.insert<mlir::scf::SCFDialect>();
71 MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(InlineIncludesPassBase<DerivedT>)
77#undef GEN_PASS_DEF_INLINEINCLUDESPASS
79#ifdef GEN_PASS_REGISTRATION
86 ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
93 ::mlir::registerPass([]() -> std::unique_ptr<::mlir::Pass> {
105#undef GEN_PASS_REGISTRATION
108#ifdef GEN_PASS_CLASSES
110template <
typename DerivedT>
111class InlineIncludesPassBase :
public ::mlir::OperationPass<::mlir::ModuleOp> {
113 using Base = InlineIncludesPassBase;
115 InlineIncludesPassBase() : ::mlir::OperationPass<::mlir::ModuleOp>(::mlir::TypeID::get<DerivedT>()) {}
116 InlineIncludesPassBase(
const InlineIncludesPassBase &other) : ::mlir::OperationPass<::mlir::ModuleOp>(other) {}
119 static constexpr ::llvm::StringLiteral getArgumentName() {
120 return ::llvm::StringLiteral(
"llzk-inline-includes");
122 ::llvm::StringRef getArgument()
const override {
return "llzk-inline-includes"; }
124 ::llvm::StringRef getDescription()
const override {
return "Replace all IncludeOp with contents of the referenced file."; }
127 static constexpr ::llvm::StringLiteral getPassName() {
128 return ::llvm::StringLiteral(
"InlineIncludesPass");
130 ::llvm::StringRef getName()
const override {
return "InlineIncludesPass"; }
133 static bool classof(const ::mlir::Pass *pass) {
134 return pass->getTypeID() == ::mlir::TypeID::get<DerivedT>();
138 std::unique_ptr<::mlir::Pass> clonePass()
const override {
139 return std::make_unique<DerivedT>(*
static_cast<const DerivedT *
>(
this));
143 void getDependentDialects(::mlir::DialectRegistry ®istry)
const override {
144 registry.insert<llzk::LLZKDialect>();
145 registry.insert<llzk::boolean::BoolDialect>();
146 registry.insert<llzk::array::ArrayDialect>();
147 registry.insert<llzk::component::StructDialect>();
148 registry.insert<llzk::constrain::ConstrainDialect>();
149 registry.insert<llzk::felt::FeltDialect>();
150 registry.insert<llzk::global::GlobalDialect>();
151 registry.insert<llzk::include::IncludeDialect>();
152 registry.insert<llzk::function::FunctionDialect>();
153 registry.insert<llzk::string::StringDialect>();
154 registry.insert<llzk::polymorphic::PolymorphicDialect>();
155 registry.insert<llzk::undef::UndefDialect>();
156 registry.insert<mlir::arith::ArithDialect>();
157 registry.insert<mlir::scf::SCFDialect>();
163 MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(InlineIncludesPassBase<DerivedT>)
167#undef GEN_PASS_CLASSES
void registerTransformationPasses()
std::unique_ptr< mlir::Pass > createInlineIncludesPass()
void registerInlineIncludesPassPass()
void registerInlineIncludesPass()