finished reg_alloc