I'm not entirely convinced about this. The stuff above are pertinent to COFFEE, and you can use an intel compiler (for example an old or a newer version) that doesn't have AVX support. So, that stuff is instruction set specific, more than compiler specific.