gcc/gcc ChangeLog.tcb Makefile.in fold-const.c ...

[dnovillo@gcc.gnu.org]

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	tree-cleanup-branch
Changes by:	dnovillo@gcc.gnu.org	2004-12-15 03:07:58

Modified files:
	gcc            : ChangeLog.tcb Makefile.in fold-const.c 
	                 timevar.def tree-cfg.c tree-gimple.c 
	                 tree-inline.c tree-optimize.c tree-pass.h 
	                 tree-pretty-print.c tree-scalar-evolution.c 
	                 tree-ssa-ccp.c tree-ssa-copy.c tree-ssa-dom.c 
	                 tree-ssa-operands.c tree.def 
	gcc/testsuite  : ChangeLog.tcb 
	gcc/testsuite/gcc.dg/tree-ssa: cfgcleanup-1.c 
Added files:
	gcc            : tree-vrp.c 

Log message:
	Add expression assertions to GIMPLE.
	
	* tree-vrp.c: New file.
	* tree.def (ASSERT_EXPR): Define.
	* Makefile.in (collect2.o): Compile with -Wno-error.
	(tree-vrp.o): New rule.
	(OBJS-common): Add tree-vrp.o.
	* timevar.def (TV_TREE_INSERT_ASSERT): Define.
	* fold-const.c (fold): Handle ASSERT_EXPR.
	* tree-cfg.c (verify_expr): Likewise.
	* tree-gimple.c (is_gimple_formal_tmp_rhs): Likewise.
	* tree-inline.c (estimate_num_insns_): Likewise.
	* tree-pretty-print.c (dump_generic_node): Likewise.
	* tree-scalar-evolution.c (follow_ssa_edge_in_rhs): Likewise.
	(interpret_rhs_modify_expr): Likewise.
	* tree-ssa-dom.c (record_equivalences_from_stmt): Likewise.
	* tree-ssa-operands.c (get_expr_operands): Likewise.
	* tree-ssa-ccp.c (likely_value): Likewise.
	(pass_ccp): Add TODO_cleanup_cfg to todo_flags_finish.
	* tree-optimize.c (init_tree_optimization_passes): Schedule
	pass_insert_range_assertions and pass_remove_range_assertions.
	* tree-pass.h (pass_insert_range_assertions): Declare.
	(pass_remove_range_assertions): Declare.
	* tree-ssa-copy.c (stmt_may_generate_copy): Remove unnecessary
	checks for aliased loads and aliased stores.
	
	testsuite/ChangeLog.tcb
	
	* gcc.dg/tree-ssa/cfgcleanup-1.c: Expect output at DCE2.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vrp.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.tcb.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.1.2.13&r2=1.1.2.14
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/Makefile.in.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.1396.2.10&r2=1.1396.2.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.461.2.7&r2=1.461.2.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/timevar.def.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.36.2.6&r2=1.36.2.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.55.2.11&r2=2.55.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-gimple.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.24.2.6&r2=2.24.2.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-inline.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.142.2.7&r2=1.142.2.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-optimize.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.47.2.11&r2=2.47.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-pass.h.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.15.2.8&r2=2.15.2.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-pretty-print.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.38.2.5&r2=2.38.2.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-scalar-evolution.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.7.2.3&r2=2.7.2.4
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-ccp.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.41.2.9&r2=2.41.2.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-copy.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.15.2.10&r2=2.15.2.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-dom.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.44.2.9&r2=2.44.2.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-operands.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=2.44.2.8&r2=2.44.2.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree.def.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.100.2.4&r2=1.100.2.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.tcb.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.1.2.4&r2=1.1.2.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/cfgcleanup-1.c.diff?cvsroot=gcc&only_with_tag=tree-cleanup-branch&r1=1.2&r2=1.2.16.1