This code is best tested with larger functions with more EBBs. Perhaps a new file-test category is in order?
We will track live ranges separately for each SSA value, rather than per virtual register like LLVM does. This is the basis for a register allocator, so place it in a new regalloc module.