Couldn't they just as easily define a new architecture that's ia32 plus more registers and gotten improved performance out of that?

Hmm. I suppose that you might as well go to 64-bit anyway since you're already defining an incompatible architecture.