[gcc r13-4374] tree-optimization/107896 - allow v2si to dimode unpacks

[gcc r13-4374] tree-optimization/107896 - allow v2si to dimode unpacks

[Richard Biener]

https://gcc.gnu.org/g:2200b7054638bbf157192a4dca23886dd420becb

commit r13-4374-g2200b7054638bbf157192a4dca23886dd420becb
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Nov 28 17:26:15 2022 +0100

    tree-optimization/107896 - allow v2si to dimode unpacks
    
    The following avoids ICEing for V2SI -> DImode vec_unpacks_lo.
    
            PR tree-optimization/107896
            * tree-vect-stmts.cc (supportable_widening_operation):
            Handle non-vector mode intermediate mode.

Diff:
---
 gcc/tree-vect-stmts.cc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/gcc/tree-vect-stmts.cc b/gcc/tree-vect-stmts.cc
index b35b986889d..5485da58b38 100644
--- a/gcc/tree-vect-stmts.cc
+++ b/gcc/tree-vect-stmts.cc
@@ -12194,9 +12194,8 @@ supportable_widening_operation (vec_info *vinfo,
       if (VECTOR_BOOLEAN_TYPE_P (prev_type))
 	intermediate_type
 	  = vect_halve_mask_nunits (prev_type, intermediate_mode);
-      else
+      else if (VECTOR_MODE_P (intermediate_mode))
 	{
-	  gcc_assert (VECTOR_MODE_P (intermediate_mode));
 	  tree intermediate_element_type
 	    = lang_hooks.types.type_for_mode (GET_MODE_INNER (intermediate_mode),
 					      TYPE_UNSIGNED (prev_type));
@@ -12204,6 +12203,10 @@ supportable_widening_operation (vec_info *vinfo,
 	    = build_vector_type_for_mode (intermediate_element_type,
 					  intermediate_mode);
 	}
+      else
+	intermediate_type
+	  = lang_hooks.types.type_for_mode (intermediate_mode,
+					    TYPE_UNSIGNED (prev_type));
 
       if (VECTOR_BOOLEAN_TYPE_P (intermediate_type)
 	  && VECTOR_BOOLEAN_TYPE_P (prev_type)