Roadmap to v1

[raviqqe]

Todo

• Better namespaces

IR

• Affine expression
• Affine map
• Attribute
• Block
• Identifier
• Module
• Operation
• Operation state
• Region
• Type
  • Function
  • Integer
  • Memref
  • Tuple
  • Vector
• Type ID
• Value
  • Block argument
  • Operation result

Support

• Location
• Logical result
• String ref

Pass

• Pass
  • Built-in passes
• Pass manager
• Operation pass manager

JIT

• Execution engine

Dialect

• Dialect
• Dialect handle
• Dialect registry

Dialects

• async
• cf
• gpu
• linalg
• llvm
• pdl
• quant
• scf
• shape
• sparse_tensor
• tensor

Future work

• Diagnostics
• Raw object conversion
• External pass

Issues to be resolved

• Consistent and clean Context implementation #348
• Mutable operations vs dynamic checks with RefCell #347
• Remove hacky StringRef cache #54
• Dynamic context equality check #271
• Access to dialects not loaded leads to segmentation faults #23
• Call to enable_result_type_inference is not safe #275

[edg-l]

Is this issue updated? regardless the title should change to llvm 17 i think

[TyrsDev]

Is affine expression the only task remaining for v1?
I'm hoping to use a custom dialect with melior. Is that planned for v1 or any time soon after that? I've searched around but can't find much information on when support for that might be added.

[Fernthedev]

Hi, I am wondering if DebugInfo attributes etc. are to be part of v1? If so, would contributions be necessary?