Skip to Main content Skip to Navigation
Conference papers

Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes

Abstract : Algebraic properties such as associativity or distributivity allow the manipulation of a set of mathematically equivalent expressions. However, the cost of evaluating such expressions on a computer is not constant within this domain. We suggest the use of algebraic transformations to improve the performances of computationally intensive applications on modern architecture computers. We claim that taking into account instruction level parallelism and new capabilities of processors when applying these transformations leads to large run-time improvements. Due to a combinatorial explosion, associative-commutative pattern-matching techniques cannot systematically be used in that context. Thus, we introduce two performance enhancing algorithms providing factorization and multiply-add extraction heuristic and choice criteria. This paper describes our approach and a first implementation. Experiments on real codes, including a SPEC FP95 excerpt, are very promising as we automatically obtain the same results than hand made transformations, with up to 70% performance improvements.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Friday, November 16, 2012 - 2:56:48 PM
Last modification on : Wednesday, November 17, 2021 - 12:31:44 PM
Long-term archiving on: : Saturday, December 17, 2016 - 10:55:38 AM


Files produced by the author(s)


  • HAL Id : hal-00752802, version 1


Julien Zory, Fabien Coelho. Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes. International Conference on Parallel Architectures and Compilation Techniques, PACT'98, Oct 1998, Paris, France. p. 376 - 384. ⟨hal-00752802⟩



Record views


Files downloads