IRDL - An IR to define IRs

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!