Name: LLVM Social #31 - A Pass, a Plugin and a Python Hack
Start: 2024-12-11T18:00:00.000Z
End: 2024-12-11T20:00:00.000Z
Location: echtzeit.dev Office

Domain-specific languages (DSLs) and compilers empower programmers to work at a high level of abstraction while achieving optimal performance by mapping these abstractions directly to the underlying hardware. Over the past decade, DSLs have become increasingly prevalent across various fields, from linear algebra to quantum computing, highlighting their significance in the modern software ecosystem. Despite their advantages, DSLs often function as isolated "silos" solutions tailored to specific domains. This isolation hinders the optimization of multi-domain applications and necessitates custom compilation flows. Consequently, integrating DSLs into existing C++ codebases is challenging, leading to a fragmentation of optimization knowledge, where advancements in one community fail to benefit others.

In this talk, we propose embedding DSLs and their associated domain-specific optimizations directly into general-purpose code (C++) via Polygeist, a C or C++ frontend for MLIR. By leveraging modern compiler technology, we can facilitate practical domain-specific compilation and mitigate the fragmentation of optimization knowledge. Our solution implements a plugin in the Polygeist frontend that enables the integration of domain-specific languages within low-level general-purpose code such as C or C++, bridging the gap between specialized and general-purpose programming.
We will present a practical use case where we integrated a linear algebra domain-specific language (Tensor Comprehension) via the Polygeist plugin, effectively mixing and matching C++ code with DSL code.

Compiler Social Zürich

Johannes de Fine Licht

lorenzo chelini

Theodoros Theodoridis

Embedding Domain-Specific Languages in C or C++ with Polygeist

ETH CAB Building (G56)

For the last meetup of the year we don't have a special guest, but we continue our series of hands-on Python-related topics. This time, Stefan Gränitz will lead the discussion and dive into LLVM pass plugins.

LLVM’s [New Pass Manager](https://llvm.org/docs/NewPassManager.html) supports loading custom IR transformations as plugins from shared libraries. It enables flexible and reusable optimizations without modifying the compiler itself and it's supported by a number of frontends (clang, [rustc](https://github.com/jamesmth/llvm-plugin-rs), [swiftc](https://github.com/swiftlang/swift/pull/68985)?). There are plugins for [automatic differentiation](https://github.com/EnzymeAD/Enzyme), [polyhedral optimizations](https://polly.llvm.org/) and [binary obfuscation](https://github.com/open-obfuscator/o-mvll).

Let's write a simple LLVM IR pass, wrap it in a plugin and run it in Clang. We will then see why ABI compatibility matters and explore the challenges with LLVM. Finally, we look into a potential solution: Maybe we can build a generic plugin and expose a Python API for quick prototyping. For those who joined the llvmlite meetup last time, this might sound familiar :)

Small snacks and drinks will be available. Once discussions fade into casual conversation, we may go for drinks to c-base or just stay upstairs. There is always space for outside topics and discussions. If you have specific questions, please bring them. Looking forward to meeting everyone again!

LLVM Social Berlin

Stefan Gränitz

Richard Meinsen

Philipp Ortner

LLVM Social #31 - A Pass, a Plugin and a Python Hack

echtzeit.dev Office

LLVM Project

Buscar {networkName}

Grupos

{PRO_NETWORK_NAME} está en Meetup Pro y tiene más de {PRO_MEMBER_COUNT} miembros en {PRO_GROUP_COUNT} grupos de Meetup en todo el mundo. Meetup Pro es la herramienta profesional para organizar redes de usuarios, socios, colaboradores y miembro, y comunicarse con ellos.

Tanya Lattner

LLVM Project

LLVM Project

Quiénes somos

Buscar LLVM Project

Eventos previstos

Grupos