From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 10396 invoked by alias); 11 Jul 2002 05:36:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 10377 invoked by uid 71); 11 Jul 2002 05:36:01 -0000 Resent-Date: 11 Jul 2002 05:36:01 -0000 Resent-Message-ID: <20020711053601.10376.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-To: nobody@gcc.gnu.org Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, anamax@earthlink.net Received: (qmail 9482 invoked by uid 61); 11 Jul 2002 05:31:16 -0000 Message-Id: <20020711053116.9481.qmail@sources.redhat.com> Date: Wed, 10 Jul 2002 22:36:00 -0000 From: anamax@earthlink.net Reply-To: anamax@earthlink.net To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: optimization/7269: Inlining may not eliminate unnecessary tests and branches. X-SW-Source: 2002-07/txt/msg00318.txt.bz2 List-Id: >Number: 7269 >Category: optimization >Synopsis: Inlining may not eliminate unnecessary tests and branches. >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: pessimizes-code >Submitter-Id: net >Arrival-Date: Wed Jul 10 22:36:00 PDT 2002 >Closed-Date: >Last-Modified: >Originator: Andy Freeman >Release: gcc 3.1 >Organization: >Environment: Redhat 7.3 >Description: Inlined procedures may have unnnecessary tests and branches. Using built-in specs. Configured with: ../gcc-3.1/configure Thread model: single gcc version 3.1 >How-To-Repeat: The -S -O3 output has a branch to a compare&branch whose behavior is invariant. The "je .L4" should/can be "je .L1". >Fix: Better constant value propagation >Release-Note: >Audit-Trail: >Unformatted: