[Bug tree-optimization/77848] Gimple if-conversion results in redundant comparisons

[wschmidt at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77848

--- Comment #12 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
So I'll now test

Index: gcc/tree-if-conv.c
===================================================================
--- gcc/tree-if-conv.c  (revision 241802)
+++ gcc/tree-if-conv.c  (working copy)
@@ -2767,7 +2767,9 @@ tree_if_conversion (struct loop *loop)
          || loop->dont_vectorize))
     goto cleanup;

-  if ((any_pred_load_store || any_complicated_phi)
+  /* FIXME: When SLP vectorization can handle if-conversion on its own,
+     predicate all of if-conversion on flag_tree_loop_vectorize.  */
+  if ((any_pred_load_store || any_complicated_phi || flag_tree_loop_vectorize)
       && !version_loop_for_if_conversion (loop))
     goto cleanup;