Support AVX Programming Reference (June, 2011).