H.J. Lu wrote:

Icc and gcc will use the same filename. The question is what filename
to use.

Oh, OK.  If we get to pick, then, yes, I think <x86intrin.h> is nice.

--
Mark Mitchell
CodeSourcery
[EMAIL PROTECTED]
(650) 331-3385 x713

Reply via email to