This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
gcc/gcc ChangeLog.lno tree-elim-check.c tree-s ...
- From: spop at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: 22 Apr 2004 18:04:12 -0000
- Subject: gcc/gcc ChangeLog.lno tree-elim-check.c tree-s ...
CVSROOT: /cvs/gcc
Module name: gcc
Branch: lno-branch
Changes by: spop@gcc.gnu.org 2004-04-22 18:04:12
Modified files:
gcc : ChangeLog.lno tree-elim-check.c
tree-scalar-evolution.c
Log message:
* tree-elim-check.c (prove_truth_value_gt, prove_truth_value_lt,
prove_truth_value_le, prove_truth_value_ge, prove_truth_value_eq,
prove_truth_value_ne): Resurrect.
(prove_truth_value_symbolic): New. Disabled for the moment.
(prove_truth_value): Use it when this function fails on unknown.
(try_eliminate_check): Factorize the code.
* tree-scalar-evolution.c (compute_scalar_evolution_after_loop):
Fix the description comment.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.lno.diff?cvsroot=gcc&only_with_tag=lno-branch&r1=1.1.2.142&r2=1.1.2.143
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-elim-check.c.diff?cvsroot=gcc&only_with_tag=lno-branch&r1=1.1.2.6&r2=1.1.2.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-scalar-evolution.c.diff?cvsroot=gcc&only_with_tag=lno-branch&r1=1.1.2.39&r2=1.1.2.40