xdslproject/xdsl: v0.42.0

This release fixes tuple type printing and parsing, and contains a number of minor performance improvements. We have begun to slowly move away from the Printer.print function, reducing its uses, and will deprecate it in an upcoming release.

This update changes the mlir-opt version xDSL depends on to the one shipped with LLVM 20.1.7.

Changes

• bench: mergeable version of specialised benchmarks without reverted core changes @EdmundGoodman (#4522)
• dialects: (experimental) try to make printing more sane @alexarice (#4601)
• dialects: (builtin) undeprecate DenseIntOrFPElementsAttr.from_list @alexarice (#4577)
• Add python 3.13 to mlir ci @alexarice (#4588)
• bench: peel microbenchmark changes from #4522 @EdmundGoodman (#4584)
• bench: peel timing code from #4522 @EdmundGoodman (#4583)
• bench: peel workload fixes from #4522 @EdmundGoodman (#4582)
• bench: peel printer changes from #4522 @EdmundGoodman (#4581)
• dialects: (llvm) remove Printer.print @alexarice (#4571)
• bench: remove old bytecode profiling implementation and import-time dependency @EdmundGoodman (#4508)

xDSL framework

• core: (Printer) cleanup print_complex @alexarice (#4591)
• core: (Printer) add print_int @alexarice (#4590)
• core: (Printer) remove print_float_attr @alexarice (#4589)
• core: Tighten typing of IRDLGenericAttrConstraint @alexarice (#4569)
• core: (Printer) add helper for symbol name printing @alexarice (#4545)
• misc: (Printer) remove print uses, 'easy cases' @alexarice (#4562)
• core: (Printer) remove variadic prints @alexarice (#4543)
• core: (Printer) add delimited @alexarice (#4547)
• dialects: (builtin) move printing to BuiltinAttribute @alexarice (#4549)
• core: Parser.parse_type returns a TypeAttribute @superlopuh (#4536)

Dialects

• dialects: (builtin) deprecate dense element create methods @alexarice (#4600)
• dialects: (builtin) deprecate DenseIntOrFPElementsAttr.get_{int/float}_values @alexarice (#4599)
• dialects: (builtin) simplify and fix array printing @alexarice (#4593)
• dialects: (smt) Add binary bitvector operations @math-fehr (#4553)
• dialects: (builtin) deprecate DenseArrayBase.create_dense_* @superlopuh (#4575)
• dialects: (csl-stencil) avoid making FloatAttrs @alexarice (#4587)
• dialects: (x86) remove uses of Printer.print @alexarice (#4574)
• dialects: (stencil) remove uses of Printer.print @alexarice (#4572)
• dialects: (csl-stencil) remove uses of Printer.print @alexarice (#4573)
• dialects: (builtin) replace DenseI64ArrayConstr with DenseArrayBase.constr(i64) @superlopuh (#4568)
• dialects: (linalg) improve printing/verification of transpose and broadcast @alexarice (#4565)
• dialects: (builtin) add DenseArrayBase.constr @alexarice (#4570)
• dialects: (hw) remove uses of Printer.print @alexarice (#4566)
• dialects: (riscv) remove uses of Printer.print @alexarice (#4567)
• dialects: (tensor) add tensor.from_elements @erick-xanadu (#4559)
• dialects: (builtin) use delimited in builtin printers @alexarice (#4561)
• dialects: (comb) remove uses of Printer.print @alexarice (#4563)
• dialects: (math_xdsl) math dialect extension for constant values @jumerckx (#4557)
• dialects: (smt) Add smt.bv.neg and smt.bv.not operations @math-fehr (#4552)
• dialects: (builtin) move printing to BuiltinAttribute @alexarice (#4549)
• dialects: (builtin) add typed init to DenseArrayBase @superlopuh (#4521)
• dialects: (builtin) support printing and parsing tuple types @superlopuh (#4524)

Transformations

• transformations: (eqsat) Delete pdl-based eqsat in favor of pdl_interp @jumerckx (#4494)
• transformations: (eqsat) Add apply-eqsat-pdl-interp pass @jumerckx (#4493)
• transformations: (riscv) Add canonicalization pattern x*1->x @zykdtc (#4535)

Interpreter

• interpreter: (eqsat) run_replace and apply_matches @jumerckx (#4532)

Testing

• testing: use match for VerifyException tests @superlopuh (#4554)

Installation

• dependencies: update dependency to LLVM 20.1.7 @superlopuh (#4586)
• dependencies: update dependency marimo to v0.14.0 @renovate[bot] (#4579)
• dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.12.0 @renovate[bot] (#4556)
• dependencies: update dependency textual to v3.4.0 @renovate[bot] (#4537)

Miscellaneous

• misc: (Printer) remove uses of str while printing @alexarice (#4597)
• misc: (Printer) remove Printer.print string literal cases @alexarice (#4592)
• misc: remove ConstraintVar from list of allowed values in IRDLGenericAttrConstraint @superlopuh (#4578)
• misc: remove TypeVar from list of allowed values in IRDLGenericAttrConstraint @superlopuh (#4576)
• dialects: (comb) remove uses of Printer.print @alexarice (#4563)
• misc: (Printer) remove print uses, 'easy cases' @alexarice (#4562)
• misc: remake lockfile and update transitive dependencies @superlopuh (#4558)
• misc: use print_string in assembly format @superlopuh (#4548)
• misc: leverage default when using MemRefType @superlopuh (#4541)
• misc: use print_ssa_value in _print_results @superlopuh (#4540)
• misc: fix tuple_type parsing @superlopuh (#4542)