xdslproject/xdsl: v0.20.0

xDSL framework core: unify (Pattern)Rewriter insertion and inlining APIs around InsertPoint @superlopuh (#2660) core: (irdl) Allow ClassVar with all uppercase name @AntonLydike (#2687) core: implement RangeConstraint and use it without functional change @PapyChacal (#2675) core: add inline_block_at_location to PatternRewriter @superlopuh (#2664) core: make AttrConstraint frozen @superlopuh (#2659) core: preserve name hints when replacing ops with multiple results @superlopuh (#2655) rewriting: Add convert-ml-program-to-memref @superlopuh (#2580) core: Implement a simplified MemoryEffect interface. @PapyChacal (#2640) core: Make printer scoped. @PapyChacal (#2614) core: Implement and test eq and hash on OpOperands. @PapyChacal (#2639) core: Expect Data's carried type to be Hashable. @PapyChacal (#2630) core: Refactor irdl_op_definition @math-fehr (#2575) core: fix line numbers in split input mode. @PapyChacal (#2563) core: Block inlining API improvements @PapyChacal (#2572) core: Strip multi-digit suffixes in name_hint, not only single-digit. @PapyChacal (#2551) core: Fix xDSL printing multiple values with the same name. @PapyChacal (#2545) core: add argument and result types getters to CallableOpInterface @superlopuh (#2535) core: Allowing overload of ClassVar from superclass @n-io (#2690) Dialects dialects: (memref_stream) add a verifier for order of iterator types in memref_stream.generic @superlopuh (#2680) dialects: (riscv_func) mark riscv_func.func as isolated from above @superlopuh (#2669) dialects: (memref_stream) use memref_stream iterator type, not linalg @superlopuh (#2665) dialects: (riscv) mark assembly region as isolated from above @superlopuh (#2668) dialects: [arith] Add extended multiplication operations @math-fehr (#2670) dialects: (onnx) Add onnx.Sigmoid @alecerio (#2479) dialects: stencil: more canonicalization @PapyChacal (#2645) dialects: (x86) - AVX registers + some instructions (bonus PR!) @KGrykiel (#2586) dialects: Update arith, math, scf and stencil side-effect traits. @PapyChacal (#2641) dialects: stencil: Add canonicalization patterns and related traits. @PapyChacal (#2623) dialects: (csl) Added operations to manage symbols @dk949 (#2616) dialects: arith.constant is Pure (no side effects) @PapyChacal (#2632) dialects: (csl) Adding Constructors for comptime_struct and color, as well as some layout functions. @dk949 (#2612) dialects: (csl) Added call op and tasks @dk949 (#2603) dialects: (hw) Add hw.module.extern @Moxinilian (#2597) core: Add irdl.base @math-fehr (#2581) dialects: (csl) Added basic types @dk949 (#2594) dialects: (csl) Add csl dialect ops @AntonLydike (#2591) dialects: (x86) PR20 - remaining x86Lite instructions + cleanup (season finale) @KGrykiel (#2573) dialects: (x86) PR19 - move assembly helpers to separate class @KGrykiel (#2570) dialects: (x86) PR18 - m_pop + added rsp dataflow to push @KGrykiel (#2560) dialects: (memref_stream) add StridePattern @superlopuh (#2548) dialects: (x86) PR17 - m_idiv and single operand imul @KGrykiel (#2558) dialects: (x86) PR16 - Conditional Jumps @KGrykiel (#2552) dialects: (onnx) add onnx.Squeeze @alecerio (#2489) dialects: (x86) PR15 - S Operations @KGrykiel (#2539) dialects: Implement helpers on stencil attributes and simplify shape inference. @PapyChacal (#2517) dialects: (x86) PR14 - Labels and Directives @KGrykiel (#2538) dialects: (x86) - mem access helper @KGrykiel (#2537) dialects: (linalg) add linalg.sub @superlopuh (#2533) dialects: (x86) PR13 - M Operations @KGrykiel (#2531) dialects: (x86) PR12 - IDivOP (register version) @KGrykiel (#2530) dialects: (x86) PR11 - RMI Operations @KGrykiel (#2529) dialects: (x86) PR10 - RRI Operations @KGrykiel (#2524) dialects: Implement llvm.mlir.zero @PapyChacal (#2527) Dialects: (csl) Simplify DSD types in IR @n-io (#2683) Dialects: (csl) adding dsd ops @n-io (#2674) dialects: (csl) Data structure descriptors @n-io (#2648) api: Fixed builtin.DenseArrayBase not supporting IndexType @watermelonwolverine (#2633) dialects: (csl) add modules @dk949 (#2602) dialects: (hw) Add HWModuleLike trait @Moxinilian (#2577) Transformations transformations: Handle imperfect loop nest when lowering memref_stream.generic to loops @superlopuh (#2678) transformations: add memref-stream-unnest-out-parameters @superlopuh (#2677) transformations: linalg.generic to loops factor out some helpers @superlopuh (#2662) transformations: linalg.generic to loops uses InsertPoint @superlopuh (#2661) transformations: scf-for-loop-folding handle iter args @superlopuh (#2657) transforms: Add function-constant-pinning pass to specialize functions @AntonLydike (#2389) transformations: fold scf loops instead of riscv_scf @superlopuh (#2656) transformations: Stencil shape inference fixes @PapyChacal (#2595) transformations: CSE: Refactor for reuse-friendliness @PapyChacal (#2642) transformations: Implement generic CSE. @PapyChacal (#2631) dialects: arith.constant is Pure (no side effects) @PapyChacal (#2632) transformations: fix memref_streamify non idempotency and wrong maps for outs @superlopuh (#2589) transformations: (riscv) handle f64 lowering in int to float conversion @superlopuh (#2561) transformations: (convert-snrt-to-riscv) Add lowerings for even more info ops @AntonLydike (#2428) transformations: implement stencil-tensorize-z-dimension @n-io (#2516) transforms: (convert-snrt-to-riscv) Add smaller number of ops @AntonLydike (#2559) transformations: Fix mlir opt printing to stderr @AntonLydike (#2553) transformations: stencil conversion fixes and improvements @PapyChacal (#2526) transformation: stencil shape inference fixes @PapyChacal (#2522) transformations: handle scalar arguments to generic ops when lowering @superlopuh (#2543) transformations: Implement and test memref-to-gpu. @PapyChacal (#2542) transformations: (riscv_scf) add a pass to fuse perfectly nested loops @superlopuh (#2540) transformations: add malloc to riscv function call lowering @superlopuh (#2532) dialects: Implement helpers on stencil attributes and simplify shape inference. @PapyChacal (#2517) transformations: add onnx.Sub to linalg lowering @superlopuh (#2534) transformations: Switch MPI lowering to use llvm.mlir.zero @PapyChacal (#2528) Backend backend: (csl) Added printing for param, comptime_struct and some builtins @dk949 (#2684) backend: (csl) Maths and memory operation printing @dk949 (#2676) backend: (csl) printing for functions, tasks and layout related things @dk949 (#2647) backend: (riscv) reduce register pressure for stream configuration @superlopuh (#2621) backend: (riscv) Don't make unreserved registers available @superlopuh (#2620) backend: (riscv) Allocate ub and step before loop, and lb after @superlopuh (#2619) backend: (csl) Add printing some scf and memref features @dk949 (#2610) backend: (csl) Add printing for CSL dialect ops @AntonLydike (#2593) backend: (riscv) flatten loops that don't use induction variables @superlopuh (#2585) backend: (riscv) use fcvt.d.w for integer-valued float constants @superlopuh (#2583) backend: (snitch) insert fmv ops when necessary when lowering streams @superlopuh (#2574) backend: (riscv) move results of lowered riscv_scf.for loops @superlopuh (#2568) Interpreter misc: Implement and test dynamic IRDL dialect registering. @PapyChacal (#2654) interpreter: use function type when parsing xdsl-run arguments @superlopuh (#2536) interpreter: (riscv) add fmv.d implementation @superlopuh (#2571) 🗎 Documentation docs: Change link to pr title formatting @AntonLydike (#2637) documentation: superscript i @superlopuh (#2622) 🐛 Bug Fixes backend: (riscv) Don't make unreserved registers available @superlopuh (#2620) backend: (riscv) Allocate ub and step before loop, and lb after @superlopuh (#2619) core: Strip multi-digit suffixes in name_hint, not only single-digit. @PapyChacal (#2551) Testing testing: unflatten the loops with iteration arguments in bottom-up tests @superlopuh (#2658) testing: fix affine maps in matmul test @superlopuh (#2666) tests: Fix broken filecheck @AntonLydike (#2667) testing: represent kernels with no reduction in linalg.generic on memrefs @superlopuh (#2590) testing: make loop bounds match parallel iterators in bottom-up test @superlopuh (#2588) testing: (snitch) bottom-up tests have no riscv @superlopuh (#2579) testing: raise riscv_scf to scf in bottom-up tests @superlopuh (#2578) testing: no more inout parameters in bottom-up test @superlopuh (#2565) testing: remove dense test kernel from bottom-up tests @superlopuh (#2564) testing: use arith in bottom-up tests @superlopuh (#2562) testing: update matmul bottom-up test @superlopuh (#2547) Installation pip prod(deps): bump ruff from 0.4.7 to 0.4.8 @dependabot (#2691) pip prod(deps): bump ruff from 0.4.6 to 0.4.7 @dependabot (#2681) pip prod(deps): update typing-extensions requirement from =4.7 to >=4.7,

Sasha Lopoukhine, Fehr Mathieu, Emilien Bauer, Anton Lydike, Michel Weber, George Bisbas, Dalia Shaaban, kingiler, Tobias Grosser, kayode-gif, Chris Vasiladiotis, Nick Brown, Théo Degioanni, KGrykiel, Prathamesh Tagore, Christian Ulmann, Josse Van Delm, Alban Dutilleul, Alessandro Cerioli, … Luisa Cicolini. (2024). xdslproject/xdsl: v0.20.0 (v0.20.0). Zenodo. https://doi.org/10.5281/zenodo.11504465