Static Analysis for Guarded Code

Ping Hu 1
1 A3 - Advanced analysis to code optimization
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
Abstract : {\em Guarded(predicated) execution, as a new hardware feature, has been introduced into today's high performance processors. \em Guarded execution can significantly improve the performance of programs with conditional branches, and meanwhile also poses new challenges for conventional program analysis techniques. In this paper, we propose a static semantics inference mechanism to capture the semantics information of guards in the context of guarded code. Based on the semantics information, we extend the conventiona- l definitions regarding program analysis in guarded code, and develop the related guard-aware analysis techniques. These analyses include control flow analysis, data dependence analysis and data flow analysis as well.
Type de document :
Rapport
RR-3979, INRIA. 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00072668
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:32:35
Dernière modification le : jeudi 9 février 2017 - 15:03:31
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:17:32

Fichiers

Identifiants

  • HAL Id : inria-00072668, version 1

Collections

Citation

Ping Hu. Static Analysis for Guarded Code. RR-3979, INRIA. 2000. 〈inria-00072668〉

Partager

Métriques

Consultations de la notice

131

Téléchargements de fichiers

90