xDSL is a Python-native framework for building compiler infrastructure. It provides SSA-based intermediate representations (IRs) and Pythonic APIs to define, assemble, and optimize custom IRs—all with seamless compatibility with MLIR from ...

Design your own (domain-specific) compiler by mixing predefined IRs with your custom IR abstractions. Always optimize at the optimal abstraction level by lowering programs through multiple levels of IRs. Connect with the LLVM/MLIR ecosystem while benefiting from Python’s productivity.

This repository contains the materials for the practical introduction to developing DSLs using MLIR nd Python course. Specifically we focus on driving the Python components via the xDSL framework and use MLIR and LLVM for compiling.

xDSL is a Python-native framework for building compiler infrastructure. It provides SSA-based intermediate representations (IRs) and Pythonic APIs to define, assemble, and optimize custom IRs—all with seamless compatibility with MLIR from ...

xDSL: Prototyping MLIR in Python · Sasha Lopoukhine, Mathieu Fehr, and many more! @ Teaching · (150 students / year) Research · Open-Source Development ·

This gives access to the existing ecosystem of MLIR dialects · and also makes importing IRs from xDSL into MLIR possible.

January 16, 2026 - xDSL (and MLIR) define the concept of Dialect as a subset of an IR. By allowing you to define your own Dialect, xDSL allows you to create IRs that are composed of a set of Dialects.

xDSL can interoperate with MLIR as its backend. As this requires an installation, and therefore a compilation, of a lot of the LLVM project and MLIR, this functonality is not distributed with xDSL by default.

Being active collaborators to the MLIR and LLVM communities, they bring expertise around the development of appropriate MLIR dialects, the mechanism to connect Python based DSLs with MLIR, and integration with LLVM.

June 17, 2024 - We demonstrate this idea with xDSL, a sidekick for MLIR focused on prototyping and teaching. xDSL interoperates with MLIR through a shared textual IR and the exchange of IRs through an IR Definition Language.

February 29, 2024 - The xDSL project have contributed support for distributed memory parallelism into MLIR via the MPI dialect that they have developed during ExCALIBUR. MLIR aims to bridge the gap between programming language front ends and back ends.

the initial xDSL Fortran IR, and optional PSyclone xDSL ... III. COMMUNITY INVOLVEMENT ... J., Riddle, R., Shpeisman, T., Vasilache, N. and Zinenko, O., 2020. MLIR: A compiler infrastructure for the end of Moore’s law.

Starting Monday 1st of May, we hosted a week long xDSL/MLIR hackathon that culminated in an MLIR workshop on 9th of May in Edinburgh. The idea of the hackathon was to bring together those who are using, an those who are interested in using, xDSL with xDSL developers to further enhance the ecosystem and support new, novel use-cases.

The design of xDSL is influenced by MLIR, a compiler framework developed in C++, that is part of the LLVM project. An inherent advantage of a close design is the easy interaction between the two frameworks, making it possible to translate ...

It visualizes pass application, streamlines pass selection by filtering irrelevant options, and provides real-time IR and performance feedback to help measure optimization impact. xDSL genuinely empowered me and kickstarted my compiler journey. I probably would have had a very different experience if my first exposure had been a more heavyweight system. Later, transitioning to MLIR and related tooling felt smooth thanks to the foundation I built with xDSL."

xDSL interoperates with MLIR through a shared textual IR and the exchange of IRs through an IR Definition Language. The benefits of sidekick compiler frameworks are evaluated by showing on three use cases how xDSL impacts their development: ...

It is also possible to write new dialects and transformations in MLIR. In xDSL it has been our objective to make MLIR accessible to DSL developers, where they can then concentrate on their DSL abstractions and leverage a shared, common, compiler ecosystem that provides many building blocks.

MLIR is a technology that has developed over the past couple of years and provides significant flexibility when representing programming languages, with the ability to fairly easily develop new MLIR dialects and build atop existing ones.

Currently, we have a version of the MLIR internal dialects ('arith', 'scf', ...) in the xDSL repository. These dialects are based on one specific commit of the MLIR repo and thus expensive to maintain and subject to change all the time.

documentation: mlir intro - interactive and arithmetic - improve form… @tobiasgrosser (#5163) documentation: build PDL notebook to readonly marimo app @superlopuh (#5161) documentation: build eqsat notebook to readonly marimo app @superlopuh (#5076) documentation: substitute xDSL wheel import when building marimo @superlopuh (#5158) documentation: mlir intro - interactivity - no ':' after heading @tobiasgrosser (#5160) documentation: mlir intro - interactivity - exercise @tobiasgrosser (#5159) documentation: disable marimo docs export @superlopuh (#5157) documentation: mlir intro - interacti