Aggressive Live Range Splitting†

Over the past three years, we have built a series of register allocators based on the graph coloring paradigm. Over the same period, colleagues have inv olved us in two different studies involving source-to-source transformations. These studies have made us much more familiar with the shortcomings of the register allocators in several commercial compilers [CaCK 90, CoHT 90]. Some of these use the coloring paradigm, others do not.