Formal loop merging for signal transforms

ACM SIGPLAN Notices

Volumn 40, Issue 6, 2005, Pages 315-326

  Franchetti, Franz ^a   Voronenko, Yevgen ^a   Püschel, Markus ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Automatic performance tuning; DFT; Discrete Fourier transform; Domain specific language; Linear signal transform; Loop optimization

Indexed keywords

AUTOMATIC PERFORMANCE TUNING; DOMAIN-SPECIFIC LANGUAGE; LINEAR SIGNAL TRANSFORM; LOOP OPTIMIZATION;

ALGORITHMS; DISCRETE FOURIER TRANSFORMS; INDEXING (OF INFORMATION); OPTIMIZATION; PROGRAM COMPILERS;

COMPUTER PROGRAMMING;

EID: 33745236838     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1064978.1065048     Document Type: Article

References (11)

1. A. Darte. On the complexity of loop fusion. Parallel Computing, 26(9):1175-1193, 2000.
2. FFTW web site. www.fftw.org.
3. M. Frigo. A fast Fourier transform compiler. In Proc. PLDI, pages 169-180, 1999.
4. M. Frigo and S. G. Johnson. The design and implementation of FFTW3. Proc. of the IEEE, 93(2):216-231, 2005. Special issue on Program Generation, Optimization, and Adaptation.
5. J. Johnson, R. W. Johnson, D. Rodriguez, and R. Tolimieri. A methodology for designing, modifying, and implementing Fourier transform algorithms on various architectures. IEEE Trans. Circuits and Systems, 9, 1990.
6. K. Kennedy and K. S. McKinley. Maximizing loop parallelism and improving data locality via loop fusion and distribution. In 1993 Workshop on Languages and Compilers for Parallel Computing, number 768, pages 301-320, Portland, Ore., 1993. Berlin: Springer Verlag.
7. W. Pugh and D. Wonnacott. Constraint-based array dependence analysis. ACM Trans. Progr. Lang. Syst., 20(3):635-678, 1998.
8. M. Püschel, J. M. F. Moura, J. Johnson, D. Padua, M. Veloso, B. W. Singer, J. Xiong, F. Franchetti, A. Gačić, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. SPIRAL: Code generation for DSP transforms. Proc. of the IEEE, 93(2):232-275, 2005. Special issue on Program Generation, Optimization, and Adaptation.
9. SPIRAL web site. www.spiral.net.
10. C. Van Loan. Computational Framework of the Fast Fourier Transform. SIAM, 1992.
11. J. Xiong, J. Johnson, R. Johnson, and D. Padua. SPL: A language and compiler for DSP algorithms. In Proc. PLDI, pages 298-308, 2001.