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
  }

Reply via email to