@inproceedings{c0fd02e77dee442aac05f6cc79bd34ad,
title = "Polygeist: Raising C to Polyhedral MLIR",
abstract = "We present Polygeist, a new compilation flow that connects the MLIR compiler infrastructure to cutting edge polyhedral optimization tools. It consists of a C and C++ frontend capable of converting a broad range of existing codes into MLIR suitable for polyhedral transformation and a bi-directional conversion between MLIR and OpenScop exchange format. The Polygeist/MLIR intermediate representation featuring high-level (affine) loop constructs and n-D arrays embedded into a single static assignment (SSA) substrate enables an unprecedented combination of SSA-based and polyhedral optimizations. We illustrate this by proposing and implementing two extra transformations: statement splitting and reduction parallelization. Our evaluation demonstrates that Polygeist outperforms on average both an LLVM IR-level optimizer (Polly) and a source-to-source state-of-the-art polyhedral compiler (Pluto) when exercised on the Polybench/C benchmark suite in sequential (2.53x vs 1.41x, 2.34x) and parallel mode (9.47x vs 3.26x, 7.54x) thanks to the new representation and transformations.",
author = "Moses, {William S.} and Lorenzo Chelini and Ruizhe Zhao and Oleksandr Zinenko",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE; 30th International Conference on Parallel Architectures and Compilation Techniques, PACT 2021 ; Conference date: 26-09-2021 Through 29-09-2021",
year = "2021",
doi = "10.1109/PACT52795.2021.00011",
language = "English (US)",
series = "Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "45--59",
editor = "Jaejin Lee and Albert Cohen",
booktitle = "Proceedings - 30th International Conference on Parallel Architectures and Compilation Techniques, PACT 2021",
address = "United States",
}