PET-to-MLIR: A polyhedral front-end for MLIR

Konrad Komisarczyk, Lorenzo Chelini, Kanishkan Vadivel, Roel Jordans, Henk Corporaal

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
562 Downloads (Pure)


We present PET-to-MLIR, a new tool to enter the MLIR compiler framework from C source. The tool is based on the popular PET and ISL libraries for extracting and manipulating quasi-affine sets and relations, and Loop Tactics, a declarative optimizer. The use of PET brings advanced diagnosis and full support for C by relying on the Clang parser. ISL allows easy manipulation of the polyhedral representation and efficient code generation. Loop Tactics, on the other hand, enable us to detect computational motifs transparently and lift the entry point in MLIR, thus enabling domain-specific optimizations in general-purpose code.

We demonstrate our tool using the Polybench/C benchmark suite and show that it can lower most of the benchmarks to the MLIR’s affine dialect successfully. We believe that our tool can benefit research in the compiler community by providing an automatic way to translate C code to the MLIR affine dialect.
Originele taal-2Engels
Titel2020 23rd Euromicro Conference on Digital System Design (DSD)
RedacteurenAndrej Trost, Andrej Zemva, Amund Skavhaug
UitgeverijInstitute of Electrical and Electronics Engineers
Aantal pagina's6
ISBN van elektronische versie9781728195353
StatusGepubliceerd - 8 okt. 2020
Evenement2020 23rd Euromicro Conference on Digital System Design (DSD) - Kranj, Slovenia, Kranj, Slovenië
Duur: 26 aug. 202028 aug. 2020


Congres2020 23rd Euromicro Conference on Digital System Design (DSD)

Citeer dit