Name: IRDL - An IR to define IRs
Start: 2023-06-14T18:45:00+02:00
End: 2023-06-14T22:00:00+02:00
Location: Microsoft Switzerland

Abstract:
Registering dialects in MLIR is a very static process. Even with the help of infrastructure like ODS, it requires writing or generating a lot of C++ code ahead of time. We present IRDL, a mechanism to register dialects within MLIR at runtime. IRDL expresses dialect structures in a portable and introspectable way using IR to embed type, attribute and operation definitions. IRDL takes advantage of SSA constructs to allow expressing a powerful but streamlined constraint system to automatically infer verifiers associated with dialects.

Speaker:
Théo Degioanni

**Important:** The event takes place at Microsofts offices right besides the airport (@ the Circle). **Please register your attendance latest by Tuesday noon so that we are able to print a badge for you!**

Tobias Gysi

Johannes de Fine Licht

Theodoros Theodoridis

lorenzo chelini

Compiler Social Zürich

LLVM Project

Technology

Open Source

Software Development

C & C++

Programming Languages

Computer Programming

Compilers

IRDL - An IR to define IRs

Microsoft Switzerland

Share

Compiler Social Zürich

IRDL - An IR to define IRs

Compiler Social Zürich

Details

Members are also interested in