[X86][Vectorizer Cost Model] Correct vectorization cost model for v2i64->v2f64