[Bug tree-optimization/18181] vectorizer: problem in the peeling mechanism in the presence of loop invariants that are used after the loop

["cvs-commit at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-11-19 19:39 -------
Subject: Bug 18181

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dorit@gcc.gnu.org	2004-11-19 19:39:40

Modified files:
	gcc            : ChangeLog tree-vectorizer.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg/vect: vect-85.c vect-86.c vect-87.c 
	                           vect-88.c 

Log message:
	PR tree-opt/18181
	* tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Peeling scheme
	changed to suppoer uses-after-loop and to void creating flow paths
	that shouldn't exist.
	(slpeel_update_phi_nodes_for_guard): Takes additional two arguments.
	Modified to fit the new peeling scheme. Avoid quadratic behavior.
	(slpeel_add_loop_guard): Takes additional argument.
	(slpeel_verify_cfg_after_peeling): New function.
	(vect_update_ivs_after_vectorizer): Takes additional argument. Updated
	documentation. Use 'exit-bb' instead of creating 'new-bb'.
	(rename_variables_in_bb): Don't update phis for BBs out of loop, to fit
	the new peeling scheme.
	(copy_phi_nodes): Function removed. Its functionality moved to
	update_phis_for_duplicate_loop.
	(slpeel_update_phis_for_duplicate_loop): Functionality of copy_phi_nodes
	moved here. Added documentation. Modified to fit the new peeling scheme.
	(slpeel_make_loop_iterate_ntimes): Setting loop->single_exit not not
	needed - done in slpeel_tree_peel_loop_to_edge.
	(slpeel_tree_duplicate_loop_to_edge_cfg): Debug printouts compacted.
	(vect_do_peeling_for_loop_bound): Add documentation. Call
	slpeel_verify_cfg_after_peeling. Call vect_update_ivs_after_vectorizer
	with additional argument.
	(vect_do_peeling_for_alignment): Call slpeel_verify_cfg_after_peeling.
	
	(vect_finish_stmt_generation): Avoid 80 column oveflow.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6421&r2=2.6422
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vectorizer.c.diff?cvsroot=gcc&r1=2.34&r2=2.35
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4620&r2=1.4621
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vect/vect-85.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vect/vect-86.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vect/vect-87.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vect/vect-88.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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