Static Analysis for Guarded Code - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2000

Static Analysis for Guarded Code

Résumé

{\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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3979.pdf (237.95 Ko) Télécharger le fichier

Dates et versions

inria-00072668 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072668 , version 1

Citer

Ping Hu. Static Analysis for Guarded Code. RR-3979, INRIA. 2000. ⟨inria-00072668⟩
76 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More