lima/ppir: implement full liveness analysis for regalloc