Skip to content

[GSOC-26] Add proposal for static memory planner in MLIR. - #165

Merged
javedabsar1 merged 2 commits into
mainfrom
ProposeStaticAllocator
Mar 3, 2026
Merged

javedabsar1 merged 2 commits into
mainfrom
ProposeStaticAllocator

Conversation

@javedabsar1

@javedabsar1 javedabsar1 commented Mar 2, 2026 •

Copy link
Copy Markdown
Contributor

@Prince2532005

Copy link
Copy Markdown

Hi, Prince this side.

Comment thread OpenProjects.html
An analysis and IR rewriting pass that analyzes allocations and deallocations of input
IR and generates a new IR where all allocations are turned to memref.subviews of a
statically-allocated memref. The subviews take care of the liveness of buffers and
at the same time exploits reuse of memory as much as possible.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

exploit

Comment thread OpenProjects.html Outdated
<p><b>Expected Results</b></p>
<p>
An analysis and IR rewriting pass that analyzes allocations and deallocations of input
IR and generates a new IR where all allocations are turned to memref.subviews of a

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

generates new IR

Comment thread OpenProjects.html Outdated
</p>

<p><b>Mentors:</b>
Javed Absar, Matthias Springer

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

link to our Github profiles

@javedabsar1
javedabsar1 requested review from asl and rengolin March 2, 2026 16:18

@asl asl left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@javedabsar1
javedabsar1 merged commit 6657770 into main Mar 3, 2026
1 check passed
@KrxGu

KrxGu commented Mar 28, 2026 •

Copy link
Copy Markdown

Hi @javedabsar1 and @matthias-springer ,

Sharing this draft PR as a small first upstream step for the Static Memory Planner direction discussed on Discourse.
KrxGu/llvm-project#1

I scoped it deliberately narrowly:

  • analysis-only, no IR mutation,
  • same-block memref.alloc / memref.dealloc pairs,
  • alias-aware block-local lifetime intervals using BufferViewFlowAnalysis,
  • eligibility / skip-reason reporting,
  • focused lit coverage for supported and skipped cases.

The idea was to align with the “single function block first” guidance and demonstrate the intended placement and use of existing MLIR infra before attempting broader planner or rewrite work.

Would appreciate your thoughts and feedback on this.
cc: @rengolin

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants