This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Make niter analysis return COND_EXPRs
- From: Richard Guenther <rguenther at suse dot de>
- To: Sebastian Pop <sebpop at gmail dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Ira Rosen <IRAR at il dot ibm dot com>
- Date: Wed, 26 May 2010 11:28:38 +0200 (CEST)
- Subject: Re: [patch] Make niter analysis return COND_EXPRs
- References: <AANLkTimyZIH-ydp2N_ghSm_fNDoc_LYDu2RDnrJLlWRk@mail.gmail.com>
On Tue, 25 May 2010, Sebastian Pop wrote:
> Hi,
>
> The attached patch makes the niter analysis return a COND_EXPR
> instead of failing when it cannot prove that the number of iterations
> may be zero. This improves the vectorization of one testcase, and
> advances me one more step on the vectorization of PR43423 after
> graphite does the iteration range splitting. The patch is in regstrap
> on amd64-linux. Ok for trunk if that passes?
This is not ok. The function now will return different answers
if you call it multiple times.
Richard.