Vectorisation automatique de boucles comportant des instructions de branchement

par Catherine Laurent

Thèse de doctorat en Sciences appliquées

Sous la direction de Paul Feautrier.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Les instructions de branchement constituent une entrave au processus de vectorisation automatique, car elles representent une rupture de sequence dans l'execution d'une boucle, alors que l'on recherche au contraire la continuite dans le maniement des vecteurs de donnees. Nous avons donc etudie une methode permettant d'eliminer ces branchements. Elle consiste en diverses transformations syntaxiques, basees sur l'introduction d'instructions gardees, qui permettent de conserver intacte la semantique du programme. La generation automatique de gardes peut engendrer des expressions logiques plus ou moins complexes, qu'il est souvent possible de simplifier. Nous avons donc construit un outil permettant d'obtenir une forme reduite d'une expression logique mise sous forme normale disjonctive. Son originalite reside dans le fait qu'il permet de simplifier les predicats en prenant en compte les relations d'implication qui les lient implicitement

  • Titre traduit

    Automatic vectorization of loops containing branch statements


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 71 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 793
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : EM AI CI200-2246
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.