What to call Intel ia32e processor?

[law@redhat.com]

In message <20040227095313.774f51d2.rddunlap@osdl.org>, "Randy.Dunlap" writes:
 >On Fri, 27 Feb 2004 09:34:13 -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?
 >
 >Should it be very processor-specific?
 >
 >If not, how about ix8664 or ix64?
 >
 >Or are those too confusing due to other similar names?
 >
 >or ix86et?
Or "x86-64" :-)

jeff