[Bug lto/83338] [8 Regression] SPEC CPU2017 510.parest_r ICE

["glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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
  }