added ispc_avx.s