register coloring. now needs liveness analysis to feed into it