[Bug middle-end/43864] Same basic blocks should be merged

2011-09-27 Thread vries at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43864

--- Comment #3 from vries at gcc dot gnu.org 2011-09-27 16:10:53 UTC ---
Author: vries
Date: Tue Sep 27 16:10:42 2011
New Revision: 179275

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=179275
Log:
2011-09-27  Tom de Vries  t...@codesourcery.com

PR middle-end/43864
* tree-ssa-tail-merge.c: New file.
(struct same_succ_def): Define.
(same_succ, const_same_succ): New typedef.
(struct bb_cluster_def): Define.
(bb_cluster, const_bb_cluster): New typedef.
(struct aux_bb_info): Define.
(BB_SIZE, BB_SAME_SUCC, BB_CLUSTER, BB_VOP_AT_EXIT): Define.
(gvn_uses_equal): New function.
(same_succ_print, same_succ_print_traverse, update_dep_bb)
(stmt_update_dep_bb, local_def, same_succ_hash)
(inverse_flags, same_succ_equal, same_succ_alloc, same_succ_delete)
(same_succ_reset): New function.
(same_succ_htab, same_succ_edge_flags)
(deleted_bbs, deleted_bb_preds): New var.
(debug_same_succ): New function.
(worklist): New var.
(print_worklist, add_to_worklist, find_same_succ_bb, find_same_succ)
(init_worklist, delete_worklist, delete_basic_block_same_succ)
(same_succ_flush_bbs, purge_bbs, update_worklist): New function.
(print_cluster, debug_cluster, update_rep_bb)
(add_bb_to_cluster, new_cluster, delete_cluster): New function.
(all_clusters): New var.
(alloc_cluster_vectors, reset_cluster_vectors, delete_cluster_vectors)
(merge_clusters, set_cluster): New function.
(gimple_equal_p, gsi_advance_bw_nondebug_nonlocal, find_duplicate)
(same_phi_alternatives_1, same_phi_alternatives, bb_has_non_vop_phi)
(deps_ok_for_redirect_from_bb_to_bb, deps_ok_for_redirect)
(find_clusters_1, find_clusters): New function.
(update_vuses, vop_phi, vop_at_entry, replace_block_by): New function.
(update_bbs): New var.
(apply_clusters): New function.
(update_debug_stmt, update_debug_stmts): New function.
(tail_merge_optimize): New function.
tree-pass.h (tail_merge_optimize): Declare.
* tree-ssa-pre.c (execute_pre): Use tail_merge_optimize.
* Makefile.in (OBJS-common): Add tree-ssa-tail-merge.o.
(tree-ssa-tail-merge.o): New rule.
* opts.c (default_options_table): Set OPT_ftree_tail_merge by default at
OPT_LEVELS_2_PLUS.
* tree-ssa-sccvn.c (vn_valueize): Move to ...
* tree-ssa-sccvn.h (vn_valueize): Here.
* timevar.def (TV_TREE_TAIL_MERGE): New timevar.
* common.opt (ftree-tail-merge): New switch.
* params.def (PARAM_MAX_TAIL_MERGE_COMPARISONS)
(PARAM_MAX_TAIL_MERGE_ITERATIONS): New parameter.
* doc/invoke.texi (Optimization Options, -O2): Add -ftree-tail-merge.
(-ftree-tail-merge, max-tail-merge-comparisons)
(max-tail-merge-iterations): New item.

Added:
trunk/gcc/tree-ssa-tail-merge.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/Makefile.in
trunk/gcc/common.opt
trunk/gcc/doc/invoke.texi
trunk/gcc/opts.c
trunk/gcc/params.def
trunk/gcc/timevar.def
trunk/gcc/tree-pass.h
trunk/gcc/tree-ssa-pre.c
trunk/gcc/tree-ssa-sccvn.c
trunk/gcc/tree-ssa-sccvn.h


[Bug middle-end/43864] Same basic blocks should be merged

2011-09-27 Thread vries at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43864

--- Comment #4 from vries at gcc dot gnu.org 2011-09-27 16:12:48 UTC ---
Author: vries
Date: Tue Sep 27 16:12:35 2011
New Revision: 179276

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=179276
Log:
2011-09-27  Tom de Vries  t...@codesourcery.com

PR middle-end/43864
* gcc.dg/fold-compare-2.c (dg-options): Add -fno-tree-tail-merge.
* gcc/testsuite/gcc.dg/uninit-pred-2_c.c: Same.
* gcc.dg/pr43864.c: New test.
* gcc.dg/pr43864-2.c: Same.
* gcc.dg/pr43864-3.c: Same.
* gcc.dg/pr43864-4.c: Same.

Added:
trunk/gcc/testsuite/gcc.dg/pr43864-2.c
trunk/gcc/testsuite/gcc.dg/pr43864-3.c
trunk/gcc/testsuite/gcc.dg/pr43864-4.c
trunk/gcc/testsuite/gcc.dg/pr43864.c
Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/fold-compare-2.c
trunk/gcc/testsuite/gcc.dg/uninit-pred-2_c.c


[Bug middle-end/43864] Same basic blocks should be merged

2011-09-27 Thread vries at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43864

vries at gcc dot gnu.org changed:

   What|Removed |Added

 CC||vries at gcc dot gnu.org
 Resolution|DUPLICATE   |FIXED
 AssignedTo|unassigned at gcc dot   |vries at gcc dot gnu.org
   |gnu.org |

--- Comment #5 from vries at gcc dot gnu.org 2011-09-27 19:26:44 UTC ---
Patch and test-cases checked in, marking fixed.


[Bug middle-end/43864] Same basic blocks should be merged

2010-04-23 Thread carrot at google dot com


--- Comment #1 from carrot at google dot com  2010-04-23 07:28 ---
Created an attachment (id=20469)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20469action=view)
test case


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43864



[Bug middle-end/43864] Same basic blocks should be merged

2010-04-23 Thread steven at gcc dot gnu dot org


--- Comment #2 from steven at gcc dot gnu dot org  2010-04-23 07:38 ---


*** This bug has been marked as a duplicate of 20070 ***


-- 

steven at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43864