[Bug middle-end/323] optimized code gives strange floating point results

["vincent-gcc at vinc17 dot net" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=323

--- Comment #197 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Manuel López-Ibáñez from comment #196)
> Also, the official FAQ for this (https://gcc.gnu.org/bugs/#nonbugs_general)
> is seriously lacking info and outdated. From now on, I'll point people to:
> https://gcc.gnu.org/wiki/FAQ#PR323

Note that this bug was mainly about the excess precision of x87 FPU, though its
summary just says "optimized code gives strange floating point results". But
the users should be aware that the floating-point results can still depend on
the optimization level because this is allowed by the ISO C standard. For
instance, if one has code like x*y+z, a FMA can be used or not depending on the
target architecture and the optimization level (see also bug 37845 about this),
and this can change the results.
>From gcc-bugs-return-471979-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Dec 31 00:03:14 2014
Return-Path: <gcc-bugs-return-471979-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8024 invoked by alias); 31 Dec 2014 00:03:14 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 7972 invoked by uid 48); 31 Dec 2014 00:03:10 -0000
From: "hjl.tools at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/64447] [5 Regression] FAIL: gcc.dg/vect/slp-9.c
Date: Wed, 31 Dec 2014 00:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: blocker
X-Bugzilla-Who: hjl.tools at gmail dot com
X-Bugzilla-Status: REOPENED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-64447-4-S1T1t5gOOQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64447-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64447-4@http.gcc.gnu.org/bugzilla/>
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: 2014-12/txt/msg02986.txt.bz2
Content-length: 864

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd447

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |---

--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> ---
I still see:

FAIL: gcc.dg/vect/slp-9.c -flto -ffat-lto-objects  scan-tree-dump-times vect
"vectorized 1 loops" 1
FAIL: gcc.dg/vect/slp-9.c -flto -ffat-lto-objects  scan-tree-dump-times vect
"vectorizing stmts using SLP" 1
FAIL: gcc.dg/vect/slp-9.c scan-tree-dump-times vect "vectorized 1 loops" 1
FAIL: gcc.dg/vect/slp-9.c scan-tree-dump-times vect "vectorizing stmts using
SLP" 1

with r219114:

https://gcc.gnu.org/ml/gcc-testresults/2014-12/msg03418.html