Type Definition ppv_lite86::x86_64::AVX

type AVX = SseMachine<YesS3, YesS4, NoNI>;

AVX but not AVX2: only 128-bit integer operations, but use VEX versions of everything to avoid expensive SSE/VEX conflicts.