diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 425c6202965db4a8c63d83128485fe0f8f91b9f3..00ba522e43942e2614ae440807430815f402814d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-10-25  Richard Biener  <rguenther@suse.de>
+
+	* tree-if-conv.c: Include tree-ssa-sccvn.h.
+	(tree_if_conversion): Run CSE on the if-converted loop body.
+
 2018-10-25  Ilya Leoshkevich  <iii@linux.ibm.com>
 
 	PR bootstrap/87747
diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c
index 52aa5756c94d2db0c5c8f2d62cf1892c79ed43ef..0ef7daa49e8839b5771797bd7273c3234388d569 100644
--- a/gcc/tree-if-conv.c
+++ b/gcc/tree-if-conv.c
@@ -118,6 +118,7 @@ along with GCC; see the file COPYING3.  If not see
 #include "cfganal.h"
 #include "internal-fn.h"
 #include "fold-const.h"
+#include "tree-ssa-sccvn.h"
 
 /* Only handle PHIs with no more arguments unless we are asked to by
    simd pragma.  */
@@ -2979,6 +2980,7 @@ tree_if_conversion (struct loop *loop)
   unsigned int todo = 0;
   bool aggressive_if_conv;
   struct loop *rloop;
+  bitmap exit_bbs;
 
  again:
   rloop = NULL;
@@ -3056,6 +3058,14 @@ tree_if_conversion (struct loop *loop)
   /* Delete dead predicate computations.  */
   ifcvt_local_dce (loop->header);
 
+  /* Perform local CSE, this esp. helps the vectorizer analysis if loads
+     and stores are involved.
+     ???  We'll still keep dead stores though.  */
+  exit_bbs = BITMAP_ALLOC (NULL);
+  bitmap_set_bit (exit_bbs, single_exit (loop)->dest->index);
+  todo |= do_rpo_vn (cfun, loop_preheader_edge (loop), exit_bbs);
+  BITMAP_FREE (exit_bbs);
+
   todo |= TODO_cleanup_cfg;
 
  cleanup: