arXiv:2103.15103cs.PL
Phism: Polyhedral High-Level Synthesis in MLIR
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
Polyhedral optimisation, a methodology that views nested loops as polyhedra and searches for their optimal transformation regarding specific objectives (parallelism, locality, etc.), sounds promising for mitigating difficulties in automatically optimising hardware designs described by high-level synthesis (HLS), which are typically software programs with nested loops. Nevertheless, existing polyhedral tools cannot meet the requirements from HLS developers for platform-specific customisation and software/hardware co-optimisation. This paper proposes $φ_{sm}$ (phism), a polyhedral HLS framework built on MLIR, to address these challenges through progressive lowering multi-level intermediate representations (IRs) from polyhedra to HLS designs.
Excellent talk, this could be seminal in the years to come. It is really aptly that the Turing Award for this year is awarded to the pioneers of modern compiler design [1]. It will be interesting to see how modern compiler techniques namely Single Static Assignment (SSA) and…
teleforceView on HNParent context