What to call Intel ia32e processor?

[Jakub Jelinek]

On Fri, Feb 27, 2004 at 09:34:13AM -0800, H. J. Lu wrote:
> We'd like to add a new target to gcc for Intel ia32e processor. But
> we couldn't find a suitable name. We don't want to use pentium4xxxx.
> The first ia32e processor has the code name Prescott. But not all
> Prescott processors support ia32e. We can use ia32e-os. But ia32e
> is an instruction set and there will be more processors implementing
> ia32e. Does anyone have any suggestions?

ia63?  (Intel Architecture capable of 64 and 32 bits) ;)

	Jakub