Communication Dans Un Congrès Année : 2025

Polynomial Loop Recognition in Traces

Résumé

This paper describes a tool named PLR which recognizes polynomial loop nests in traces. After providing background on affine (i.e., polyhedral) loop recognition with NLR, it exposes how a particular representation for integer polynomials leads to a simple and efficient interpolation technique. The new PLR algorithm, a slight modification of the original NLR, leverages this interpolation technique to recognize polynomial loops, i.e., loops where all bounds and values are expressed as multivariate polynomials in the loop counters.

Fichier principal
Vignette du fichier
plr.pdf (459.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04922050 , version 1 (30-01-2025)

Licence

Identifiants

  • HAL Id : hal-04922050 , version 1

Citer

Alain Ketterlin. Polynomial Loop Recognition in Traces. IMPACT 2025 -- 15th International Workshop on Polyhedral Compilation Techniques, Jan 2025, Barcelona, Spain. ⟨hal-04922050⟩
0 Consultations
0 Téléchargements

Partager

More