In this paper we present a new loop transformation technique called Computation Decomposition and Alignment (CDA). Computation Decomposition first decomposes the iteration space into finer computation spaces. Computation Alignment subsequently, linearly transforms each computation space independently. CDA is a general framework in that linear transformations and its recent extensions are just special cases of CDA. CDA's fine grained loop restructuring can incur considerable computational effort, but can exploit optimization opportunities that earlier frameworks cannot. We present four optimization contexts in which CDA can be useful. Our initial experiments demonstrate that CDA adds a new dimension to performance optimization. 1 INTROD...
Loop transformations and array restructuring optimizations usually improve performance by increasing...
We present abstract acceleration techniques for computing loop in-variants for numerical programs wi...
High-level loop transformations are a key instrument in mapping computational kernels to effectively...
In this paper we present a new theory of linear loop transformations called Computation Decompositio...
grantor: University of TorontoRestructuring compilers have been effective in tailoring nes...
International audienceIncreasingly complex hardware makes the design of effective compilers difficul...
Loops in programs are the source of many optimizations for improv-ing program performance, particula...
textLoop invariants have traditionally been used in proofs of correctness (e.g. program verification...
In this paper we generalize the framework of linear loop transformations in the sense that loop alig...
In this paper we generalize the framework of linear loop transformations: we consider loop alignment...
We wish to extend the effectiveness of loop-restructuring compilers by improving the robustness of l...
In this tutorial, we address the problem of restructuring a (possibly sequential) program to improve...
International audienceHigh-level loop transformations are a key instrument in mapping computational ...
In this lecture we consider loop transformations that can be used for cache optimization. The transf...
Over the past 20 years, increases in processor speed have dramatically outstripped performance incre...
Loop transformations and array restructuring optimizations usually improve performance by increasing...
We present abstract acceleration techniques for computing loop in-variants for numerical programs wi...
High-level loop transformations are a key instrument in mapping computational kernels to effectively...
In this paper we present a new theory of linear loop transformations called Computation Decompositio...
grantor: University of TorontoRestructuring compilers have been effective in tailoring nes...
International audienceIncreasingly complex hardware makes the design of effective compilers difficul...
Loops in programs are the source of many optimizations for improv-ing program performance, particula...
textLoop invariants have traditionally been used in proofs of correctness (e.g. program verification...
In this paper we generalize the framework of linear loop transformations in the sense that loop alig...
In this paper we generalize the framework of linear loop transformations: we consider loop alignment...
We wish to extend the effectiveness of loop-restructuring compilers by improving the robustness of l...
In this tutorial, we address the problem of restructuring a (possibly sequential) program to improve...
International audienceHigh-level loop transformations are a key instrument in mapping computational ...
In this lecture we consider loop transformations that can be used for cache optimization. The transf...
Over the past 20 years, increases in processor speed have dramatically outstripped performance incre...
Loop transformations and array restructuring optimizations usually improve performance by increasing...
We present abstract acceleration techniques for computing loop in-variants for numerical programs wi...
High-level loop transformations are a key instrument in mapping computational kernels to effectively...