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

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

doi:10.1109/DSD51259.2020.00091

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

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

5 Citaten (Scopus)

855 Downloads (Pure)

Samenvatting

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-2	Engels
Titel	2020 23rd Euromicro Conference on Digital System Design (DSD)
Redacteuren	Andrej Trost, Andrej Zemva, Amund Skavhaug
Uitgeverij	Institute of Electrical and Electronics Engineers
Pagina's	551-556
Aantal pagina's	6
ISBN van elektronische versie	9781728195353
DOI's	https://doi.org/10.1109/DSD51259.2020.00091
Status	Gepubliceerd - 8 okt. 2020
Evenement	2020 23rd Euromicro Conference on Digital System Design (DSD) - Kranj, Slovenia, Kranj, Slovenië Duur: 26 aug. 2020 → 28 aug. 2020

Congres

Congres	2020 23rd Euromicro Conference on Digital System Design (DSD)
Land/Regio	Slovenië
Stad	Kranj
Periode	26/08/20 → 28/08/20

Financiering

Financiers	Financiernummer
European Union’s Horizon Europe research and innovation programme	676240
European Union’s Horizon Europe research and innovation programme	780215

Toegang tot document

10.1109/DSD51259.2020.00091

Paper DSD Pet_to_MLIRLicentie: CC BY-NC-ND

Andere bestanden en links

Link to publication in Scopus

MNEMOSENE - Computation-in-memory architecture based on resistive devices
Corporaal, H. (Project Manager), Jordans, R. (Projectmedewerker), Sánchez Martín, V. (Project Manager), Stuijk, S. (Projectmedewerker), Banagozar, A. (Projectmedewerker), Vadivel, K. (Projectmedewerker), Singh, G. (Projectmedewerker), van der Hagen, D. (Project communicatie medewerker) & de Mol-Regels, M. (Project communicatie medewerker)
1/01/18 → 30/06/21
Project: Onderzoek direct
NeMeCo
Corporaal, H. (Project Manager), van Dalfsen, J. (Projectmedewerker), Singh, G. (Projectmedewerker), Chelini, L. (Projectmedewerker), Corda, S. (Projectmedewerker), Stuijk, S. (Projectmedewerker), Sánchez Martín, V. (Project Manager), Jordans, R. (Projectmedewerker), van der Hagen, D. (Project communicatie medewerker) & de Mol-Regels, M. (Project communicatie medewerker)
1/04/16 → 30/09/20
Project: Onderzoek direct

Citeer dit

@inproceedings{329922007156419298a4af949c216f28,

title = "PET-to-MLIR: A polyhedral front-end for MLIR",

abstract = "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{\textquoteright}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.",

keywords = "Loop Tactics, MLIR, polyhedral model",

author = "Konrad Komisarczyk and Lorenzo Chelini and Kanishkan Vadivel and Roel Jordans and Henk Corporaal",

year = "2020",

month = oct,

day = "8",

doi = "10.1109/DSD51259.2020.00091",

language = "English",

pages = "551--556",

editor = "Andrej Trost and Andrej Zemva and Amund Skavhaug",

booktitle = "2020 23rd Euromicro Conference on Digital System Design (DSD)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "23rd Euromicro Conference on Digital System Design, DSD 2020 ; Conference date: 26-08-2020 Through 28-08-2020",

}

Komisarczyk, K, Chelini, L, Vadivel, K , Jordans, R & Corporaal, H 2020, PET-to-MLIR: A polyhedral front-end for MLIR. in A Trost, A Zemva & A Skavhaug (uitgave), 2020 23rd Euromicro Conference on Digital System Design (DSD)., 9217876, Institute of Electrical and Electronics Engineers, blz. 551-556, 2020 23rd Euromicro Conference on Digital System Design (DSD), Kranj, Slovenië, 26/08/20. https://doi.org/10.1109/DSD51259.2020.00091

PET-to-MLIR: A polyhedral front-end for MLIR. / Komisarczyk, Konrad; Chelini, Lorenzo; Vadivel, Kanishkan et al.
2020 23rd Euromicro Conference on Digital System Design (DSD). uitgave / Andrej Trost; Andrej Zemva; Amund Skavhaug. Institute of Electrical and Electronics Engineers, 2020. blz. 551-556 9217876.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - PET-to-MLIR

T2 - 23rd Euromicro Conference on Digital System Design, DSD 2020

AU - Komisarczyk, Konrad

AU - Chelini, Lorenzo

AU - Vadivel, Kanishkan

AU - Jordans, Roel

AU - Corporaal, Henk

PY - 2020/10/8

Y1 - 2020/10/8

N2 - 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.

AB - 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.

KW - Loop Tactics

KW - MLIR

KW - polyhedral model

UR - http://www.scopus.com/inward/record.url?scp=85096354372&partnerID=8YFLogxK

U2 - 10.1109/DSD51259.2020.00091

DO - 10.1109/DSD51259.2020.00091

M3 - Conference contribution

SP - 551

EP - 556

BT - 2020 23rd Euromicro Conference on Digital System Design (DSD)

A2 - Trost, Andrej

A2 - Zemva, Andrej

A2 - Skavhaug, Amund

PB - Institute of Electrical and Electronics Engineers

Y2 - 26 August 2020 through 28 August 2020

ER -

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

Samenvatting

Congres

Financiering

Toegang tot document

Andere bestanden en links

Projecten

MNEMOSENE - Computation-in-memory architecture based on resistive devices

NeMeCo

Citeer dit