Propagating Information Using SSA - Télécom Paris Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Propagating Information Using SSA

Résumé

This chapter provides a gentle introduction to classical data-flow analysis and explains how SSA form improves both performance and expressiveness. In the first part, classical data-flow analysis is discussed by introducing the fundamentals of monotone frameworks on control-flow graphs. In the following part, the chapter introduces a simple and elegant data-flow engine that exploits SSA form. The engine relies on SSA form in order to efficiently propagate information on the values of variables on a so-called SSA graph, while at the same time taking into account control dependencies that emerge from the classical control-flow graph. The engine’s operation is explained through several examples based on constant and copy propagation, which illustrate the advantages of jointly processing the program’s data and control flow.
Fichier non déposé

Dates et versions

hal-04341913 , version 1 (13-12-2023)

Identifiants

Citer

Florian Brandner, Diego Novillo. Propagating Information Using SSA. SSA-based Compiler Design, Springer International Publishing, pp.95-106, 2021, 978-3-030-80514-2. ⟨10.1007/978-3-030-80515-9_8⟩. ⟨hal-04341913⟩
19 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More