Progressive Raising in Multi-level IR - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Progressive Raising in Multi-level IR

Oleksandr Zinenko
Albert Cohen
  • Fonction : Auteur
  • PersonId : 1090841
Nicolas Vasilache
  • Fonction : Auteur
Tobias Grosser
  • Fonction : Auteur
  • PersonId : 1090842
Henk Corporaal
  • Fonction : Auteur
  • PersonId : 1063012

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03139764 , version 1

Citer

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⟩
182 Consultations
993 Téléchargements

Partager

More