On Tue, Oct 31, 2017 at 06:25:55PM +0000, Yu, Fenghua wrote: > We may need to send a patch to fix a few legacy names that don't match > exactly specs, e.g. AVX512VBMI as you mentioned.
Or we can make them all uniform and ignore the spec. It's not like they
would be harder to grep afterwards.
--
Regards/Gruss,
Boris.
Good mailing practices for 400: avoid top-posting and trim the reply.
