From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1076 invoked by alias); 3 Feb 2008 13:26:19 -0000 Received: (qmail 32677 invoked by uid 48); 3 Feb 2008 13:25:35 -0000 Date: Sun, 03 Feb 2008 13:26:00 -0000 Message-ID: <20080203132535.32676.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/34627] Incorrect branching with -Ox on hppa In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "steven at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2008-02/txt/msg00291.txt.bz2 ------- Comment #11 from steven at gcc dot gnu dot org 2008-02-03 13:25 ------- My RTL fu is not sufficient to determine whether the following one-liner patch is DTRT. Eric, could you have a look at this, please? Index: combine.c =================================================================== --- combine.c (revision 132078) +++ combine.c (working copy) @@ -5393,9 +5393,10 @@ /* Look for cases where we have (abs x) or (neg (abs X)). */ if (GET_MODE_CLASS (mode) == MODE_INT + && comparison_p + && XEXP (cond, 1) == const0_rtx && GET_CODE (false_rtx) == NEG && rtx_equal_p (true_rtx, XEXP (false_rtx, 0)) - && comparison_p && rtx_equal_p (true_rtx, XEXP (cond, 0)) && ! side_effects_p (true_rtx)) switch (true_code) -- steven at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ebotcazou at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34627