From 4dd7c0dcd87c86aad3d2cd45a08798eb445a9d3c Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.de>
Date: Thu, 25 Oct 2018 14:03:24 +0000
Subject: [PATCH] tree-if-conv.c: Include tree-ssa-sccvn.h.
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.
From-SVN: r265489
---
gcc/ChangeLog | 5 +++++
gcc/tree-if-conv.c | 10 ++++++++++
2 files changed, 15 insertions(+)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 425c6202965d..00ba522e4394 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 52aa5756c94d..0ef7daa49e88 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:
--
GitLab