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