Static Analysis for Guarded CodeReport as inadecuate




Static Analysis for Guarded Code - Download this document for free, or read online. Document in PDF available to download.

1 A3 - Advanced analysis to code optimization UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France

Abstract : {\em Guardedpredicated 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.

Keywords : STATIC ANALYSIS DATA-DEPENDENCE CONTROL FLOW DATA-FLOW GUARDEDPREDICATED EXECUTION





Author: Ping Hu -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents