gcc/gcc ChangeLog.tree-ssa tree-ssa-dom.c

[law@gcc.gnu.org]

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	tree-ssa-20020619-branch
Changes by:	law@gcc.gnu.org	2003-09-30 17:20:42

Modified files:
	gcc            : ChangeLog.tree-ssa tree-ssa-dom.c 

Log message:
	* tree-ssa-dom.c (record_range): New function.
	(extract_range_from_cond): Likewise.
	(tree_ssa_dominator_optimize): Initialize the vrp_data varray.
	(optimize_block): Initialize the vrp_variables varray.  Wipe
	appropriate entries from the VRP varrays when done processing a block.
	(get_eq_expr_value): Accept new argument "bb".  Call record_range
	appropriately.  Refactor code to avoid useless work.
	(simplify_cond_and_lookup_avail_expr): Use value range records to
	simplify conditions.
	(simplify_rhs_and_lookup_avail_expr): When simplifying ABS_EXPR,
	DIV_EXPR and MOD_EXPR, use simplify_cond_and_lookup_avail_expr
	to determine the range of the given variable.
	
	* tree-ssa-dom.c (find_equivalent_equality_comparison): Do not
	look through a typecast which narrows a value.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.tree-ssa.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.715&r2=1.1.2.716
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-dom.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.50&r2=1.1.2.51