This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH GCC]Cleanup lt_to_ne handling in niter analyzer
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Bin Cheng <Bin dot Cheng at arm dot com>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, nd <nd at arm dot com>
- Date: Thu, 21 Jul 2016 11:50:05 +0200
- Subject: Re: [PATCH GCC]Cleanup lt_to_ne handling in niter analyzer
- Authentication-results: sourceware.org; auth=none
- References: <HE1PR0801MB17550DA17930A53CCC01191CE7080@HE1PR0801MB1755.eurprd08.prod.outlook.com>
On Wed, Jul 20, 2016 at 6:40 PM, Bin Cheng <Bin.Cheng@arm.com> wrote:
> Hi,
> This patch cleans up function number_of_iterations_lt_to_ne mainly by removing computation of may_be_zero. The computation is unnecessary and may_be_zero in this case must be true. Specifically, DELTA is integer constant and iv0.base < iv1.base bounds to be true because the false case is handled in function number_of_iterations_cond before. This patch also refines comment a little.
>
> Bootstrap and test on x86_64, is it OK?
Ok.
Richard.
> Thanks,
> bin
>
> 2016-07-19 Bin Cheng <bin.cheng@arm.com>
>
> * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Clean up
> by removing computation of may_be_zero.