Polyhedral compilation without polyhedra

  • Verdoolaege, Sven
ORKG logo Add to ORKG
Publication date
January 2015

Abstract

Polyhedral compilation is widely used in high-level synthesis tools and in production compilers such as gcc, LLVM and IBM/XL and is still being actively developed by several research groups across the globe, resulting in highly attended IMPACT workshops and a recent polyhedral school. It is based on the polyhedral model, a powerful abstraction for analyzing and transforming (parts of) programs that are "sufficiently regular". The key feature of this model is that it is instance based, allowing for a representation and treatment of individual dynamic executions of a statement inside a loop nest and/or individual array elements. The name of the model derives from the mathematical objects called polyhedra that are used internally to describe t...

Extracted data

Related items

Polyhedral compilation and counting
  • Verdoolaege, Sven
January 2016

Polyhedral compilation is widely used in high-level synthesis tools and in production compilers such...

Polyhedral compilation without polyhedra
  • Verdoolaege, Sven
January 2015

Polyhedral compilation is widely used in high-level synthesis tools and in production compilers such...

The Polyhedral Model Is More Widely Applicable Than You Think
  • Benabderrahmane, Mohamed-Walid
  • Pouchet, Louis-Noël
  • Cohen, Albert
  • Bastoul, Cédric
March 2010

International audienceThe polyhedral model is a powerful framework for automatic optimization and pa...

We use cookies to provide a better user experience.