Published December 16, 2025
| Version v0.56.0
Software
Open
xdslproject/xdsl: v0.56.0
Authors/Creators
- Sasha Lopoukhine
- Fehr Mathieu1
- Emilien Bauer2
- Alex Rice
- Anton Lydike3
- Nicolai Stawinoga
- jumerckx
- Tobias Grosser1
- Michel Weber
- Chris Vasiladiotis2
- Dalia Shaaban
- George Bisbas4
- Edmund Goodman1
- kingiler
- Nick Brown2
- David K
- Joren Dumoulin5
- Hugo Pompougnac
- kayode-gif
- Emma Urquhart
- Hendrik_Klug
- Théo Degioanni6
- KGrykiel
- Prathamesh Tagore
- Christian Ulmann7
- Josse Van Delm8
- Max Manainen9
- 1. University of Cambridge
- 2. University of Edinburgh
- 3. The University of Edinburgh
- 4. Imperial College of London
- 5. MICAS (KU Leuven)
- 6. NVIDIA
- 7. NextSilicon
- 8. KU Leuven
- 9. Rivos Inc.
Description
Some breaking changes:
- If an operation being rewritten with a
GreedyRewritePatternApplierimplements folding, it will be called as part of the rewrite.
Deprecations:
- The
irdl_optionsfield on operations should now be a tuple ofIrdlOption.
Changes
xDSL framework
- core: (irdl) Make irdl_options immutable @ed741 (#5511)
- core: add effects Resource and use in RegisterAllocatedMemoryEffect @superlopuh (#5501)
- core: Fix typing of SSAValue.types property @anominos (#5493)
Dialects
- dialects: (hw) Fix type hints for nested
hw.arraytypes @JosseVanDelm (#5502) - dialect: (eqsat_pdl_interp) Move eqsat_pdl_interp operations to their own dialect @jumerckx (#5474)
- dialects: (x86) remove redundant iter_used_registers helper @superlopuh (#5506)
Transformations
- transformations: (riscv-lower-parallel-mov) Reuse input registers as temporary registers @anominos (#5503)
- transformations: (convert-pdl-to-pdl-interp) Add
_generate_rewriter_for_result(s)and_generate_rewriter_for_type(s)@jumerckx (#5499) - transformations: (convert-pdl-to-pdl-interp) Add
_generate_rewriter_for_eraseand_generate_rewriter_for_range@jumerckx (#5500) - transformations: (riscv-lower-parallel-mov) handle cycles of integers when free registers are present @anominos (#5495)
- transformations: (convert-pdl-to-pdl-interp) Add
_generate_rewriter_for_operation@jumerckx (#5496) - transformations: RISCV Parallel Move lowering, no cycles case @anominos (#5491)
Backend
- backend: split out base classes for asm printing and regalloc @superlopuh (#5510)
- x86: remove mov if it's the last use @qaco (#5490)
Testing
- testing: remove unused SSAValue in tests @superlopuh (#5509)
Rewriting
- rewriting: fold in GreedyRewritePatternApplier @jumerckx (#5483)
Files
xdslproject/xdsl-v0.56.0.zip
Files
(4.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b76f408c407cb9c6c8f99c55e31a6a23
|
4.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/xdslproject/xdsl/tree/v0.56.0 (URL)
Software
- Repository URL
- https://github.com/xdslproject/xdsl