update reg-allocate interface