Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic

Christophe Mouilleron 1 Mohamed Amine Najahi 2 Guillaume Revy 2
2 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : The design of both fast and numerically accurate programs is a real challenge. Thus, the CGPE tool was introduced to assist programmers in synthesizing fast and numerically certified codes in fixed-point arithmetic for the particular case of polynomial evaluation. For performance purposes, this tool produces programs using exclusively unsigned arithmetic and addition/subtraction or multiplication operations, thus requiring some constraints on the fixed-point operands. These choices are well-suited when dealing with the implementation of certain mathematical functions, however they prevent from tackling a broader class of polynomial evaluation problems. In this paper, we first expose a rigorous arithmetic model for CGPE that takes into account signed arithmetic. Then, in order to make the most out of advanced instructions, we enhance this tool with a multi- criteria instruction selection module. This allows us to optimize the generated codes according to different criteria, like operation count, evaluation latency, or accuracy. Finally, we illustrate this technique on operation count, and we show that it yields an average reduction of up to 22.3% of the number of operations in the synthesized codes of some functions. We also explicit practical examples to show the impact of using accuracy based rather than latency based instruction selection.
Type de document :
Communication dans un congrès
SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.141-148, 2014, <10.1109/SYNASC.2014.27>
Liste complète des métadonnées


https://hal-lirmm.ccsd.cnrs.fr/lirmm-00814338
Contributeur : Guillaume Revy <>
Soumis le : jeudi 22 octobre 2015 - 13:35:03
Dernière modification le : vendredi 9 juin 2017 - 10:41:36
Document(s) archivé(s) le : vendredi 28 avril 2017 - 08:43:17

Fichier

MoNaRe-SYNASC2014-submitted.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy. Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.141-148, 2014, <10.1109/SYNASC.2014.27>. <lirmm-00814338v2>

Partager

Métriques

Consultations de
la notice

143

Téléchargements du document

127