v0.43.0

Another busy week.

Important changes:

• The Printer.print function is deprecated, please use the typed alternatives instead.
• The AnyOf constraint now requires that each case constraint is satisfied a unique attribute class (unique base)
• Added many typed inits to the framework, in the next release these will be generated automatically by the decorator

Changes

• tools: move catching verification and parsing errors from CommandLineTool to xDSLOptMain @compor (#3915)
• dialects: (llvm) only add var_callee_type if call is variadic @erick-xanadu (#4654)
• core: (Printer) deprecate Printer.print @alexarice (#4604)

xDSL framework

• core: (Parser) add delimiter functions @alexarice (#4676)
• core: (Printer) cleanup core printing functions @alexarice (#4671)
• core: add PyRDLTypeError for irdl_to_attr_constraint @superlopuh (#4666)
• frontend: (pyast) add mlir filecheck tests for the symref dialect @EdmundGoodman (#4652)
• core: replace generic_constraint_coercion with generic_constraint @superlopuh (#4518)
• frontend: (pyast) remove custom pyast dialects @EdmundGoodman (#4643)
• core: specialize DataListAttr @superlopuh (#4646)
• core: DictionaryAttr is not generic @superlopuh (#4645)
• frontend: (pyast) add support for calling functions with variable arguments @EdmundGoodman (#4639)
• frontend: (pyast) consolidate bigint tests into dialect directory @EdmundGoodman (#4635)
• pyast: (frontend) refactor type registry @EdmundGoodman (#4630)
• core: don't print IR twice on verification @superlopuh (#4631)
• core: add simplification for | on BaseAttr and ParamAttrConstraint @superlopuh (#4627)
• core: add simplification for & and | on AnyAttr @superlopuh (#4623)
• frontend: (pyast) move function registry out of type converter @EdmundGoodman (#4625)

Dialects

• dialects: (builtin) add typed inits to remaining builtin attrs @superlopuh (#4680)
• dialects: (llvm) add typed inits to llvm dialect @superlopuh (#4681)
• dialects: (hls) add typed init to HLSStreamType @superlopuh (#4682)
• dialects: (builtin) allow IntConstraints in IntegerAttr.constr @alexarice (#4678)
• WIP dialects: (fir) Update to bring inline with operations in Flang 20.1.1 @mesham (#4673)
• dialects: (stencil) add typed inits to stencil and csl attrs @superlopuh (#4674)
• dialects: (llvm) Add unreachable operation @mesham (#4672)
• dialects:(omp) added omp.target @dk949 (#4653)
• dialects: (hw) add init to ModuleType, ModulePort and ParamDeclAttr @superlopuh (#4658)
• dialects: (gpu) add init to LoopDimMapAttr @superlopuh (#4660)
• dialects: (builtin) add init to DenseIntOrFPElementsAttr @superlopuh (#4659)
• dialects: (mpi) add inits to OperationType and VectorType @superlopuh (#4661)
• dialects: (builtin) add init to UnitAttr @superlopuh (#4662)
• dialects: add missing get_bases @alexarice (#4648)
• dialects: simplify various AnyOf constraints @alexarice (#4650)
• dialect: (llvm) add typed parse_parameters to types @superlopuh (#4641)
• dialects: (math) Add math.sinh and math.cosh @jumerckx (#4644)
• interpreter: (pdl_interp) switch_attribute, create_type, and create_types @jumerckx (#4642)
• interpreter: (pdl_interp) check_type @jumerckx (#4634)
• dialect: Add ContiguousArrayOfIntArray to tensor dialect @Jimmy2027 (#4626)
• dialects: (builtin) remove duplicate FlatSymbolRefAttrConstr @superlopuh (#4622)
• dialects: (emitc) add lvalue type @Jimmy2027 (#4512)
• dialects: (builtin) add type overloads to DenseArrayBase.get_values @superlopuh (#4598)
• dialects: Add smt.bv.constant constructor @math-fehr (#4594)

Transformations

• transformations: use DenseArrayBase when lowering memref to riscv @superlopuh (#4608)

Backend

• backend: (x86) ptr.load double-precision to x86 instructions @qaco (#4669)
• backend: (x86) double-precision pointer load @qaco (#4667)
• backend: closed set of allocatable registers @superlopuh (#4633)
• backend: (x86) convert arith.constant to x86 instructions @qaco (#4647)
• backend: (x86) convert arith.muli to x86 instructions @qaco (#4638)
• backend: (x86) non-vector ptr.store to x86 instructions @qaco (#4636)
• backend: (x86) convert arith.addi to x86 instructions @qaco (#4612)
• backend: (x86) non-vector ptr.load to x86 instructions @qaco (#4613)
• backend: add RegisterType.allocatable_registers @superlopuh (#4621)

Interpreter

• interpreter: (pdl_interp) switch_attribute, create_type, and create_types @jumerckx (#4642)
• interpreter: (pdl_interp) check_type @jumerckx (#4634)
• interpreter: (pdl_interp) Consistent naming for interpreter methods @jumerckx (#4616)

🗎 Documentation

• documentation: fix typo in KnownOps @superlopuh (#4614)

Testing

• testing: add inits to attributes in tests @superlopuh (#4675)
• testing: add test for eqsat roundtrip @superlopuh (#4615)

Continuous Integration

• CI: use setup-python instead of uv python install @superlopuh (#4609)

Installation

• dependencies: update dependency marimo to v0.14.9 @renovate[bot] (#4679)
• dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.12.1 @renovate[bot] (#4657)
• dependencies: update dependency ruff to v0.12.1 @renovate[bot] (#4656)
• dependencies: update dependency marimo to v0.14.8 @renovate[bot] (#4655)
• dependencies: update dependency marimo to v0.14.7 @renovate[bot] (#4620)
• dependencies: update dependency marimo to v0.14.6 @renovate[bot] (#4611)
• dependencies: update dependency marimo to v0.14.5 @renovate[bot] (#4606)
• dependencies: update dependency marimo to v0.14.5 @renovate[bot] (#4605)

Miscellaneous

• utils: (dialect_codegen) make dynamically defined types final @alexarice (#4663)
• misc: Simplify use of RankedStructure @alexarice (#4664)
• misc: print single line at the end of Diagnostic @superlopuh (#4632)
• interpreter: (pdl_interp) Consistent naming for interpreter methods @jumerckx (#4616)
• transformations: use DenseArrayBase when lowering memref to riscv @superlopuh (#4608)
• misc: remove some duplicate declarations @superlopuh (#4607)
• misc: resolve licence mismatch in pyproject.toml @EdmundGoodman (#4603)