They could do it by ~2005. In any case, it's always been possible. At worst, you make large integer linear programming based models of what you want to happen,

They could do it by ~2005. In any case, it's always been possible. At worst, you make large integer linear programming based models of what you want to happen, and solve them. You can do optimal register allocation and scheduling, etc. You can basically shove everything you want into the ILP model. It's just going to take a ridiculous amount of memory and time to solve.