On Tue, 24 Oct 2017, Koval, Julia wrote: > config/i386/i386.opt (mavx512vbmi2): New option. Any patch adding a new command-line option needs to add documentation of it to invoke.texi. -- Joseph S. Myers joseph@codesourcery.com