Studying Optimal Spilling in the Light of SSA

Abstract : Recent developments in register allocation, mostly linked to static single assignment (SSA) form, have shown that it is possible to decouple the problem in two successive phases: a first spilling phase places load and store instructions so that the register pressure at all program points is small enough, a second assignment and coalescing phase maps the remaining variables to physical registers and reduces the number of move instructions among registers. This paper focuses on the first phase, for which many open questions remain: in particular, we study the notion of optimal spilling (what can be expressed?) and the impact of SSA form (does it help?). To identify the important features for optimal spilling on load-store architectures, we develop a new integer linear pro- gramming formulation, more accurate and expressive than previous approaches. Among other features, we can express SSA -functions, memory-to-memory copies, and the fact that a value can be stored simultaneously in a register and in memory. Based on this formulation, we present a thor- ough analysis of the results obtained for the SPECINT 2000 and EEMBC 1.1 benchmarks, from which we draw, among others, the following conclusions: a) rematerialization is ex- tremely important, b) SSA complicates the formulation of optimal spilling, especially because of memory coalescing when the code is not in CSSA, c) micro-architectural fea- tures are significant and thus have to be accounted for, d) significant savings can be obtained in terms of static spill costs, cache miss rates, and dynamic instruction counts.
Type de document :
Article dans une revue
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11-4 (47), pp.26. 〈10.1145/2685392〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01099016
Contributeur : Alain Darte <>
Soumis le : mardi 30 décembre 2014 - 16:10:32
Dernière modification le : vendredi 20 avril 2018 - 15:44:23

Identifiants

Citation

Quentin Colombet, Florian Brandner, Alain Darte. Studying Optimal Spilling in the Light of SSA. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11-4 (47), pp.26. 〈10.1145/2685392〉. 〈hal-01099016〉

Partager

Métriques

Consultations de la notice

269