]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
tree-optimization/112366 - remove assert for failed live lane code gen
authorRichard Biener <rguenther@suse.de>
Fri, 3 Nov 2023 10:31:37 +0000 (11:31 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 3 Nov 2023 11:01:02 +0000 (12:01 +0100)
The following removes a bogus assert constraining the uses that
could appear when a built from scalar defs SLP node constrains
code generation in a way so earlier uses of the vector CTOR
components fail to get vectorized.  We can't really constrain the
operation such use appears in.

PR tree-optimization/112366
* tree-vect-loop.cc (vectorizable_live_operation): Remove
assert.

gcc/tree-vect-loop.cc

index 3b28c826b3b9b54cd0a4d45c7ecf4ed30701c937..2a43176bcfd02a0b5b0577ab58863c3fdd848295 100644 (file)
@@ -10778,7 +10778,7 @@ vectorizable_live_operation (vec_info *vinfo, stmt_vec_info stmt_info,
                || !PURE_SLP_STMT (vect_stmt_to_vectorize (use_stmt_info))))
          {
            /* ???  This can happen when the live lane ends up being
-              used in a vector construction code-generated by an
+              rooted in a vector construction code-generated by an
               external SLP node (and code-generation for that already
               happened).  See gcc.dg/vect/bb-slp-47.c.
               Doing this is what would happen if that vector CTOR
@@ -10791,11 +10791,6 @@ vectorizable_live_operation (vec_info *vinfo, stmt_vec_info stmt_info,
                && !vect_stmt_dominates_stmt_p (SSA_NAME_DEF_STMT (new_tree),
                                                use_stmt))
              {
-               enum tree_code code = gimple_assign_rhs_code (use_stmt);
-               gcc_checking_assert (code == SSA_NAME
-                                    || code == CONSTRUCTOR
-                                    || code == VIEW_CONVERT_EXPR
-                                    || CONVERT_EXPR_CODE_P (code));
                if (dump_enabled_p ())
                  dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
                                   "Using original scalar computation for "