This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Handle equivalent loop invariants as one in loop-invariant.c
- From: Steven Bosscher <stevenb at suse dot de>
- To: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- Cc: Ian Lance Taylor <ian at airs dot com>, gcc-patches at gcc dot gnu dot org, Daniel Berlin <dberlin at dberlin dot org>
- Date: Thu, 22 Dec 2005 01:53:12 +0100
- Subject: Re: [patch] Handle equivalent loop invariants as one in loop-invariant.c
- References: <20051124153449.GA7201@atrey.karlin.mff.cuni.cz> <m33bkmdy10.fsf@gossamer.airs.com> <20051221210643.GA2105@atrey.karlin.mff.cuni.cz>
On Wednesday 21 December 2005 22:06, Zdenek Dvorak wrote:
> > There is code all over the compiler which does this sort of
> > equivalency checking, but doesn't bother to do the submode code.
> > Introducing it only here requires special justification--why does this
> > code require the extra attention?
>
> huh? We do this (keeping account of what mode the VOIDmode operand
> really is) all over the compiler; there is nothing special about this
> code.
But the various compare functions don't, at least not AFAICT.
It seems to me that making things consistent with what we do in
equivalent functions elsewhere in the compiler is a Good Thing.
Gr.
Steven