What's the correct way to use AVX and AVX512 selectively? Specifying -mavx512f (for example) on the command line causes GCC 6 to use such instructions during regular code generation, even without any AVX512F instructions in the code. According to the documentation, the target function attribute does not support "avx512f". Are there other options besides separate compilation?