There is a newer version of the record available.

Published May 30, 2025 | Version v0.39.0
Software Open

xdslproject/xdsl: v0.39.0

Authors/Creators

  • 1. University of Edinburgh
  • 2. The University of Edinburgh
  • 3. Imperial College of London
  • 4. University of Cambridge
  • 5. MICAS (KU Leuven)
  • 6. NVIDIA
  • 7. NextSilicon
  • 8. KU Leuven

Description

Changes

xDSL framework

  • core: Improve typing of irdl_to_attr_constraint @math-fehr (#4478)
  • core: refactor parser and printer for complex booleans @erick-xanadu (#4467)
  • core: (constraints) introduce get_bases @alexarice (#4462)
  • core: (constraints) experiment with ditching extractors @alexarice (#4432)
  • core: migrate remaining optional constraint_context in verify @superlopuh (#4453)
  • core: make ParametrizedAttribute parameters dynamic @superlopuh (#4451)

Dialects

  • dialects: Add smt.bv type @math-fehr (#4479)
  • dialects: (emitc) Add supported integer type check @Jimmy2027 (#4461)
  • backend: (x86) vpbroadcast instructions @qaco (#4470)
  • dialects: (emitc) remove duplicated empty shape error @Jimmy2027 (#4468)
  • dialects: (vector) tighten bounds on constraint variable @alexarice (#4463)
  • dialects: (arm_neon) add VectorWithArrangement.from_vec_type @emmau678 (#4345)
  • dialects: (emitc) Add negative dimension verify exception @Jimmy2027 (#4460)

Transformations

  • transformations: (pdl_interp) Refactor PDLInterpRewritePattern @jumerckx (#4458)

Backend

  • backend: remove limit registers in register queue @superlopuh (#4464)
  • backend: lowering of vector.broadcast to x86 @qaco (#4459)
  • backend: (x86) vpbroadcast instructions @qaco (#4470)
  • backend: RegisterQueue -> RegisterStack @superlopuh (#4466)
  • backend: add x86-allocate-registers @superlopuh (#4314)
  • backend: (x86) add x86 register queue @superlopuh (#4444)
  • backend: add BlockNaiveAllocator @superlopuh (#4449)

Interpreter

  • interpreter: keep track of scope id instead of count @jumerckx (#4471)

🐛 Bug Fixes

  • bug: fix remaining register queue references @superlopuh (#4475)
  • bug: fix references to RegisterStack @superlopuh (#4473)
  • bug: (x86) possibly different register types for DS_Operation @qaco (#4469)
  • misc: swap comparison in disjoint set @jumerckx (#4452)

Installation

  • dependencies: update dependency marimo to v0.13.15 @renovate[bot] (#4483)
  • dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.11.12 @renovate[bot] (#4477)
  • dependencies: update dependency ruff to v0.11.12 @renovate[bot] (#4476)
  • dependencies: update dependency marimo to v0.13.14 @renovate[bot] (#4472)
  • dependencies: update dependency marimo to v0.13.13 @renovate[bot] (#4465)
  • dependencies: update dependency marimo to v0.13.13 @renovate[bot] (#4450)
  • dependencies: update dependency pytest-asyncio to v1 @renovate[bot] (#4457)

Miscellaneous

  • misc: re-run all notebooks with updated marimo @superlopuh (#4456)

Files

xdslproject/xdsl-v0.39.0.zip

Files (1.9 MB)

Name Size Download all
md5:11895353b0bbe553ecac84673a7a3b55
1.9 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/xdslproject/xdsl/tree/v0.39.0 (URL)

Software

Repository URL
https://github.com/xdslproject/xdsl