xdslproject/xdsl: v0.49.0

A big release, adding better support for int constraints, such as AtMost and get_int_constraint transforming Python integer and integer type expressions to int constraints. The parser got some upgrades, now handling more unicode escape characters.

This version removes the xdsl[riscv] optional dependency, please install riscemu separately if you were relying on this.

Changes

• core: Add AtMost integer contraint @mudit2812 (#5053)
• dialects: (tosa) add generic types to multiplier and shift properties @jorendumoulin (#5024)

xDSL framework

• core: (Operation) simplify get_variadic_sizes to verify_variadic_size @alexarice (#5048)
• core: (Accessors) stricten typing @alexarice (#5064)
• core: (irdl_to_attr_constraint) slight refactor/cleanup @alexarice (#5055)
• core: add has_effects helper to find the effects of an operation @superlopuh (#5058)
• core: add allow_type_var argument to get_constr @superlopuh (#5054)
• core: GenericData.constr no parameter @superlopuh (#5051)
• core: add get_constraint helper @superlopuh (#5047)
• core: (AttrSizedSegments) add container method @alexarice (#5049)
• core: add get_int_constr helper to convert int type expressions to constraints @superlopuh (#5046)
• core: add IntSetConstraint @superlopuh (#5040)
• rewriting: add helper to add a listener to set inserted op name hints @superlopuh (#5019)
• core: (Operation) simplify irdl_op_verify_arg_list @alexarice (#5022)
• core: unify SSAValue and Block name logic in IRWithName @superlopuh (#5018)
• core: add Universe and plugin discovery @superlopuh (#5007)
• core: add ModulePass.schedule_space for interactive scheduling @superlopuh (#4967)
• frontend: (pyast) migrate tests for old API to new API @EdmundGoodman (#5004)
• core: change block name format and add block name hints @jumerckx (#5002)
• frontend: (pyast) deprecate for loop support @EdmundGoodman (#5001)
• core: (mlir) Add support for unicode parsing @Jimmy2027 (#4893)

Dialects

• dialects: (emitc) Add EmitCFloatTypeConstr @Jimmy2027 (#5045)
• dialects: (builtin) Add shape argument to TensorType.constr @mudit2812 (#5061)
• dialects: (builtin) add generic argument to IntAttr @superlopuh (#5050)
• dialects: (builtin) Add has_static_shape method to TensorType @Jimmy2027 (#5033)
• dialects: Overload BvConstantOp.init @math-fehr (#5029)
• backend: use builder when casting operands to regs @superlopuh (#5020)
• dialects: (x86) Update x86 instructions with Memory Effect traits @emmau678 (#4982)
• dialects: (x86) add fadd and fmul @superlopuh (#5014)
• dialects: (x86) add fadd and fmul @superlopuh (#5013)
• dialects: (vector) deprecate get methods @superlopuh (#4998)

Transformations

• transformations: (apply-eqsat-pdl) Add option to apply patterns one by one @jumerckx (#5011)

Backend

• backend: (x86) add Arch enum and use for register type selection @superlopuh (#5017)

API

• core: add IntTypeVarConstraint @superlopuh (#4830)

🗎 Documentation

• documentation: remove reference to Winter School schedule @superlopuh (#5052)
• documentation: fail on warnings in tests-marimo @superlopuh (#5056)
• documentation: add make docs-serve-fast for easier debugging @superlopuh (#5037)

Testing

• testing: add MLIR_ROUNDTRIP and MLIR_GENERIC_ROUNDTRIP @superlopuh (#4999)

Continuous Integration

• CI: remove Remake UV Lockfile workflow @superlopuh (#5044)
• CI: lint markdown files @superlopuh (#5036)
• CI: update ruff lint precommit hook name @superlopuh (#5028)
• CI: Update uv lockfile @github-actions[bot] (#5010)
• CI: lint benchmarks with pyright @superlopuh (#5009)

Installation

• dependencies: lock file maintenance @renovate[bot] (#5043)
• dependencies: (Renovate) add lockFileMaintenance @alexarice (#5042)
• dependencies: remove [riscv] optional extra dependency @superlopuh (#5032)
• dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.12.9 @renovate[bot] (#5035)
• dependencies: update dependency ruff to v0.12.9 @renovate[bot] (#5034)
• dependencies: remove jax, riscv, bench groups from dev dependencies group @jumerckx (#5023)
• installation: try renovate nix support @alexarice (#5021)
• installation: (nix) update flake @alexarice (#5015)
• dependencies: update dependency marimo to v0.14.17 @renovate[bot] (#5016)
• dependencies: update actions/checkout action to v5 @renovate[bot] (#5012)
• dependencies: update bytesight digest to e8e8e45 @renovate[bot] (#5008)
• dependencies: update pre-commit hook pre-commit/pre-commit-hooks to v6 @renovate[bot] (#5003)

Miscellaneous

• core: (Accessors) stricten typing @alexarice (#5064)
• misc: remove unused type_var_mapping parameter @superlopuh (#5038)
• misc: add dependency-groups to make uv sync work @superlopuh (#5005)
• misc: delete empty files @superlopuh (#5006)