Argh scratch the AVX2 part, that's still 256 bit. There's no `D_AVX512` yet, but you can use something like `__traits(targetHasFeature, "avx512f")` (AVX512 seems to be a mess, not sure what the exact attr is - see `-mattr=help` output).