Declarative Loop Tactics for Domain-specific Optimization - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue ACM Transactions on Architecture and Code Optimization Année : 2019

Declarative Loop Tactics for Domain-specific Optimization

Résumé

Increasingly complex hardware makes the design of effective compilers difficult. To reduce this problem,we introduceDeclarative Loop Tactics, which is a novel framework of composable program transformationsbased on an internal tree-like program representation of a polyhedral compiler. The framework is based ona declarative C++ API built around easy-to-program matchers and builders, which provide the foundation todevelop loop optimization strategies. Using our matchers and builders, we express computational patternsand core building blocks, such as loop tiling, fusion, and data-layout transformations, and compose them intoalgorithm-specific optimizations. Declarative Loop Tactics (Loop Tactics for short) can be applied to manydomains. For two of them, stencils and linear algebra, we show how developers can express sophisticateddomain-specific optimizations as a set of composable transformations or calls to optimized libraries. By al-lowing developers to add highly customized optimizations for a given computational pattern, we expect ourapproach to reduce the need for DSLs and to extend the range of optimizations that can be performed by acurrent general-purpose compiler.

Dates et versions

hal-02458680 , version 1 (28-01-2020)

Identifiants

Citer

Lorenzo Chelini, Oleksandr Zinenko, Tobias Grosser, Henk Corporaal. Declarative Loop Tactics for Domain-specific Optimization. ACM Transactions on Architecture and Code Optimization, 2019, 16 (4), pp.4:1-25. ⟨10.1145/3372266⟩. ⟨hal-02458680⟩
84 Consultations
0 Téléchargements

Altmetric

Partager

More