Implement double-register support for prefalloc with an ILP method