What to call Intel ia32e processor?

[H. J. Lu]

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?


H.J.