Liveness analysis, and computing conflict for register allocator.