Advanced conservative and optimistic register coalescing

Florent Bouchez, Alain Darte, Fabrice Rastello
2008 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems - CASES '08  
Register coalescing is used, as part of register allocation, to reduce the number of register copies. Developing efficient register coalescing heuristics is particularly important to get rid of the numerous move instructions introduced by code transformations such as static single assignment, among others. The challenge is to find a good trade-off between a too aggressive strategy that could make the interference graph uncolorable, possibly increasing the spill (transfer to memory), and a too
more » ... nservative strategy that preserves colorability but leaves too many moves. The two main approaches are "iterated register coalescing" by George and Appel and "optimistic coalescing" by Park and Moon. The first one coalesces moves, one by one, in a conservative way. In the second one, moves are first coalesced regardless of the colorability, then some coalescings are undone to reduce spilling. Previous experiments show that optimistic coalescing outperforms conservative coalescing. We show that, with a more involved conservative strategy, incremental conservative coalescing can be as efficient as optimistic coalescing. We also develop a more aggressive optimistic approach with a different de-coalescing phase. The combination of the two approaches leads to about 10% improvements compared to traditional optimistic coalescing.
doi:10.1145/1450095.1450119 dblp:conf/cases/BouchezDR08 fatcat:xumjrs7grzgw5odkbr52glgpgq