Progressive Raising in Multi-level IR - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Progressive Raising in Multi-level IR

(1) , (2, 3) , (4) , (4) , (4) , (5) , (1)
1
2
3
4
5
Oleksandr Zinenko
Albert Cohen
  • Function : Author
  • PersonId : 1090841
Nicolas Vasilache
  • Function : Author
Tobias Grosser
  • Function : Author
  • PersonId : 1090842
Henk Corporaal
  • Function : Author
  • PersonId : 1063012

Abstract

Multi-level intermediate representations (IR) show great promise for lowering the design costs for domain-specific compilers by providing a reusable, extensible, and non-opinionated framework for expressing domain-specific and high-level abstractions directly in the IR. But, while such frameworks support the progressive lowering of high-level representations to low-level IR, they do not raise in the opposite direction. Thus, the entry point into the compilation pipeline defines the highest level of abstraction for all subsequent transformations, limiting the set of applicable optimizations, in particular for general-purpose languages that are not semantically rich enough to model the required abstractions. We propose Progressive Raising, a complementary approach to the progressive lowering in multi-level IRs that raises from lower to higher-level abstractions to leverage domain-specific transformations for low-level representations. We further introduce Multi-Level Tactics, our declarative approach for progressive raising, implemented on top of the MLIR framework, and demonstrate the progressive raising from affine loop nests specified in a general-purpose language to high-level linear algebra operations. Our raising paths leverage subsequent high-level domain-specific transformations with significant performance improvements.
Fichier principal
Vignette du fichier
dd32563bc520e040f16d3ab1e369d6467ee2796e.pdf (389.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03139764 , version 1 (12-02-2021)

Identifiers

  • HAL Id : hal-03139764 , version 1

Cite

Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, et al.. Progressive Raising in Multi-level IR. CGO 2021 : International Symposium on Code Generation and Optimization, Feb 2021, Seoul / Virtual, South Korea. ⟨hal-03139764⟩
137 View
600 Download

Share

Gmail Facebook Twitter LinkedIn More