On Tue, Nov 14, 2017 at 12:14 AM, Joseph Myers <jos...@codesourcery.com> wrote: > 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.
In this case, an even better choice would be: Alias(mprefer-vector-width=, 128, none) So, -mno-prefer-avx128 would just set the default back to none. Uros.
