On Mon, 13 Nov 2017, Uros Bizjak wrote:

> [BTW: --mprefer-avx128 should be marked RejectNegative from the
> beginning; let's just assume nobody uses it in its (somehow weird)
> negative "-mno-prefer-avx128" form.]

It's used in that form in various testcases that otherwise fail when GCC 
is configured --with-arch= some CPU that defaults to -mprefer-avx128.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to