Maximal Simplification of Polyhedral Reductions

21 Sep 2023  ·  Louis Narmour, Tomofumi Yuki, Sanjay Rajopadhye ·

Reductions combine multiple input values with an associative operator to produce a single (or multiple) result(s). When the same input value contributes to multiple outputs, there is an opportunity to reuse partial results, enabling reduction simplification. Simplification produces a program with lower asymptotic complexity. It is well known that reductions in polyhedral programs may be simplified automatically but previous methods are incapable of exploiting all available reuse. This paper resolves this long standing open problem, thereby attaining minimal asymptotic complexity in the simplified program.

PDF Abstract


  Add Datasets introduced or used in this paper