This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Fix some pessimizations due to fixes for PRs 27144 and 27639
- From: Roger Sayle <roger at eyesopen dot com>
- To: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- Cc: gcc-patches at gcc dot gnu dot org, Daniel Berlin <dberlin at dberlin dot org>, <sebastian dot pop at cri dot ensmp dot fr>
- Date: Mon, 19 Jun 2006 10:38:51 -0600 (MDT)
- Subject: Re: [patch] Fix some pessimizations due to fixes for PRs 27144 and 27639
On Mon, 19 Jun 2006, Zdenek Dvorak wrote:
>
> * tree-ssa-loop-niter.c (implies_ge_p): New function.
> (derive_constant_upper_bound): Handle OP0 - CST in unsigned types
> correctly.
If Daniel has no objections, this is OK for mainline. However, I
think we should try to restructure/rationalize the implies_ge_p logic
at some point in the future. This form of logical inference testing
is useful at several points in the compiler, including DOM and fold.
Thanks for fixing this regression so quickly.
Roger
--