Integrate with MLIR about metadsl HOT 1 CLOSED

Hi - nice to chat again!

There have been some developments since we last spoke. Namely, since then, we've made progress on upstream Python bindings that are starting to edge towards some of the points you mention. We've been trying to make them a good starting point for constructing nice DSLs from (versus trying to be a good DSL for everything):

• Exposes the core IR constructs (context, modules, ops, types, attributes).
• Supports with blocks and context managers for implicit management of contexts, locations and insertion points.
• Integrated with the ODS infra so that we can generate Python wrappers for each dialect.
• Run passes.

Code: https://github.com/llvm/llvm-project/tree/master/mlir/lib/Bindings/Python
Docs: https://mlir.llvm.org/docs/Bindings/Python/ (slightly out of date)
Tests: https://github.com/llvm/llvm-project/tree/master/mlir/test/Bindings/Python (more up to date than docs. Example of exercising the std dialect via (very new) autogenerated Python wrapper)

There are still things that are in progress:

• Custom attributes and types have been discussed but integration with Python still requires native code
• Need to wire in the execution engine/JIT interface (npcomp has a special purpose thing for this - need to implement the proper thing upstream)
• Deployability/packaging and integration with other projects needs more work. Meeting notes where some of the necessary work was planned.

I am also aware of at least three other developments happening towards some of your other points but in various state of work/disclosure. I think @joker-eph (Mehdi) is a good join point with visibility of all of those. Boosting this to a thread on the LLVM/MLIR Discourse may be a good way to have the discussion in view of some of those things.

from metadsl.