From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 614F93858C2D; Mon, 27 Nov 2023 09:51:31 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 614F93858C2D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1701078691; bh=GncdXi6gKjeXZRBEFv7geG1Qg+ODjINT2xIuBwvyxUc=; h=From:To:Subject:Date:In-Reply-To:References:From; b=meq4uXfbk5JWP4cFG0k6DqjhCMoAsKzA+m2KoXe347OOdHV2iepBQuT9NOBHXiAR3 tnLO7XfQXOFuvhW6bepkzgHkvy76iPKC4bWRc7H6QfNNDeTtH0PopJWowr603kTBej i6gguKfDmEhtYfLIwg4jL89tjZS7goZU2xmir8U0= From: "pinskia at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/112723] Missed optimization for invariants 'c+c' when c += -2147483648 and c is a global variable Date: Mon, 27 Nov 2023 09:51:30 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: missed-optimization, TREE X-Bugzilla-Severity: enhancement X-Bugzilla-Who: pinskia at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_severity keywords Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D112723 Andrew Pinski changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |enhancement Keywords| |missed-optimization, TREE --- Comment #1 from Andrew Pinski --- The argument case is only optimized at the RTL level: Trying 8 -> 9: 8: {r87:SI=3Dr85:SI-0x80000000;clobber flags:CC;} REG_DEAD r85:SI REG_UNUSED flags:CC 9: {r88:SI=3Dr87:SI<<0x1;clobber flags:CC;} REG_DEAD r87:SI REG_UNUSED flags:CC Successfully matched this instruction: (parallel [ (set (reg:SI 88) (ashift:SI (reg/v:SI 85 [ cD.2766 ]) (const_int 1 [0x1]))) (clobber (reg:CC 17 flags)) ])=