From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5862 invoked by alias); 28 Mar 2006 15:13:45 -0000 Received: (qmail 5850 invoked by uid 48); 28 Mar 2006 15:13:43 -0000 Date: Tue, 28 Mar 2006 15:13:00 -0000 Message-ID: <20060328151343.5849.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/26900] Number of iterations not know for simple loop In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rguenth 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/msg02736.txt.bz2 List-Id: ------- Comment #1 from rguenth at gcc dot gnu dot org 2006-03-28 15:13 ------- Note that we in principle know the number of iterations - just we cannot prove the loop runs at least once in number of iterations analysis. Of course we know this because we did loop header copying on the loop and no other pass interfered with this. Maybe we should remember the BB of the loop header copy so we can verify later that it still dominates the loop header. This would avoid needing to deal with symbolic range simplification like in PR26899. -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sebastian dot pop at cri dot | |ensmp dot fr http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26900