more replacement of _svec4_xxx in sse4.h