This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[PATCH GCC]Cleanup lt_to_ne handling in niter analyzer

From: Bin Cheng <Bin dot Cheng at arm dot com>
To: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
Cc: nd <nd at arm dot com>
Date: Wed, 20 Jul 2016 16:40:38 +0000
Subject: [PATCH GCC]Cleanup lt_to_ne handling in niter analyzer
Authentication-results: sourceware.org; auth=none
Nodisclaimer: True
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

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?

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.

Attachment: clean-niter-lt_to_ne-20160717.txt
Description: clean-niter-lt_to_ne-20160717.txt

Follow-Ups:
- Re: [PATCH GCC]Cleanup lt_to_ne handling in niter analyzer
  - From: Richard Biener

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]