From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 91839 invoked by alias); 12 Oct 2015 17:56:33 -0000 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 Received: (qmail 91761 invoked by uid 48); 12 Oct 2015 17:56:29 -0000 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/67815] Optimize const1 * copysign (const2, y) into copysign (const1 * const2, y) if const1 > 0 or -copysign (const1 * const2, y) if const1 < 0 Date: Mon, 12 Oct 2015 17:56:00 -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: 5.2.1 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org X-Bugzilla-Target-Milestone: 6.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2015-10/txt/msg00917.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67815 --- Comment #5 from Jakub Jelinek --- Comment on attachment 36487 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36487 r2 I think for copysign we don't want/need the first_pass_instance guard, and likely also not flag_unsafe_math_optimizations, we want only be able to reassociate, which can_reassociate_p should already guarantee, and then what Joseph talked about for inexact.