Abstract FR:

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