RKSimon wrote: Making avx512f the only case where avx512vl can be disabled doesn't seem like too much of a stretch to me - we'd be merely making all avx512 extension features depend on avx512vl. https://github.com/llvm/llvm-project/pull/75580