It's still impossible in the general case, where not all arguments are passable by registers.