>OK, then that definition excludes register allocation as a permitted optimization

Oh come on.