add some AVX instructions and registers