tree-ssa-forwprop.c (pass_forwprop::execute): Use RPO order.

2016-08-22  Richard Biener  <rguenther@suse.de>

	* tree-ssa-forwprop.c (pass_forwprop::execute): Use RPO order.

From-SVN: r239653

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 265cc292e26756ab2f346afb3f5b06e80c7d4157..77300dcdd48827472d73ba9bf26eb6b2389eaf94 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2016-08-22  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-forwprop.c (pass_forwprop::execute): Use RPO order.
+
 2016-08-21  Uros Bizjak  <ubizjak@gmail.com>
 
        PR target/77270

diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c
index 736b841bc90207ae5900b9dc80e9edad0f446ed4..5d7739b5bb33346e1341143843af74f1b1c36164 100644 (file)
--- a/gcc/tree-ssa-forwprop.c
+++ b/gcc/tree-ssa-forwprop.c
@@ -2099,7 +2099,8 @@ pass_forwprop::execute (function *fun)
   lattice.create (num_ssa_names);
   lattice.quick_grow_cleared (num_ssa_names);
   int *postorder = XNEWVEC (int, n_basic_blocks_for_fn (fun));
-  int postorder_num = inverted_post_order_compute (postorder);
+  int postorder_num = pre_and_rev_post_order_compute_fn (cfun, NULL,
+                                                        postorder, false);
   auto_vec<gimple *, 4> to_fixup;
   to_purge = BITMAP_ALLOC (NULL);
   for (int i = 0; i < postorder_num; ++i)