2011/10/09 by Quentin Colombet, Florian Brandner, Alain Darte · 1 citation
Computer Science · Mathematics · #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Formal Methods in Verification #Register allocation #Computer science #Register (sociolinguistics) #Variation (astronomy) #Phase (matter) #Parallel computing #Arithmetic #Programming language #Mathematics
paper · doi:10.1145/2038698.2038706
openalex publication_date 2011/10/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
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?).