https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83338
--- Comment #7 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #6) > This works for me, but I'll leave testcase and testing for tomorrow. You are fast :-) > @@ -5546,6 +5554,15 @@ vectorizable_operation (gimple *stmt, gi > new_temp = make_ssa_name (vec_dest, new_stmt); > gimple_assign_set_lhs (new_stmt, new_temp); > vect_finish_stmt_generation (stmt, new_stmt, gsi); > + if (vec_cvt_dest) > + { > + new_temp = build1 (VIEW_CONVERT_EXPR, vectype_out, new_temp); > + new_stmt = gimple_build_assign (vec_cvt_dest, VIEW_CONVERT_EXPR, > + new_temp); > + new_temp = make_ssa_name (vec_cvt_dest, new_stmt); > + gimple_assign_set_lhs (new_stmt, new_temp); > + vect_finish_stmt_generation (stmt, new_stmt, gsi); > + } I was thinking of putting the whole thing here without special-casing POINTER_DIFF_EXPR so much. Something like: if(vectype_out != vectype) // or useless_type_conversion_p { // create vec_cvt_dest and the VCE assignment }