This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] for PRs 27639 and 26719
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- Cc: Richard Guenther <rguenther at suse dot de>, gcc-patches at gcc dot gnu dot org, sebastian dot pop at cri dot ensmp dot fr
- Date: Tue, 27 Jun 2006 00:46:15 +0200
- Subject: Re: [patch] for PRs 27639 and 26719
- References: <20060520192624.GA28713@atrey.karlin.mff.cuni.cz> <200606251403.53574.ebotcazou@adacore.com> <20060626212619.GA800@atrey.karlin.mff.cuni.cz>
> I do not see anything principially wrong with the code that ivopts
> produces; I think this is simply a VRP bug.
I disagree: IVOPTs should preserve the semantics of subtypes, that is to say
the arithmetics operations are performed in the base type and the result is
casted to the subtype. IOW, it should not generate IVs in subtypes. IIUC
it's Jeff's position too: http://gcc.gnu.org/ml/gcc/2006-02/msg00590.html
> Both the invalid range <2,0x80000000> and the "integer" type of the upper
> bound of the range of ivtmp.86D.1158_14 seem suspicious to me, and probably
> closer to the real reason for the problem than the changes in scev
> analysis.
I think they are only the symptoms, not the cause of the problem.
--
Eric Botcazou