Skip to Main content Skip to Navigation
Journal articles

Declarative Loop Tactics for Domain-specific Optimization

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-02458680
Contributor : Oleksandr Zinenko <>
Submitted on : Tuesday, January 28, 2020 - 8:40:37 PM
Last modification on : Thursday, July 1, 2021 - 5:58:09 PM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

101