From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25373 invoked by alias); 29 Mar 2006 01:41:33 -0000 Received: (qmail 25334 invoked by alias); 29 Mar 2006 01:41:30 -0000 Date: Wed, 29 Mar 2006 01:41:00 -0000 Message-ID: <20060329014130.25333.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/25985] [4.2 Regression] with optimization integer math fails In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rakdver at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2006-03/txt/msg02817.txt.bz2 List-Id: ------- Comment #8 from rakdver at gcc dot gnu dot org 2006-03-29 01:41 ------- Subject: Bug 25985 Author: rakdver Date: Wed Mar 29 01:41:27 2006 New Revision: 112484 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=112484 Log: PR tree-optimization/25985 * tree-ssa-loop-niter.c (number_of_iterations_le, number_of_iterations_ne): Make comments more precise. (number_of_iterations_cond): Add only_exit argument. Use the fact that signed variables do not overflow only when only_exit is true. (loop_only_exit_p): New. (number_of_iterations_exit): Pass result of loop_only_exit_p to number_of_iterations_cond. Modified: trunk/gcc/ChangeLog trunk/gcc/tree-ssa-loop-niter.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25985