From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4567 invoked by alias); 21 Feb 2002 01:28:03 -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 4505 invoked by uid 61); 21 Feb 2002 01:28:02 -0000 Date: Wed, 20 Feb 2002 17:36:00 -0000 Message-ID: <20020221012802.4504.qmail@sources.redhat.com> To: echristo@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, reichelt@igpm.rwth-aachen.de, rth@gcc.gnu.org From: rth@gcc.gnu.org Reply-To: rth@gcc.gnu.org, echristo@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, reichelt@igpm.rwth-aachen.de, rth@gcc.gnu.org, gcc-gnats@gcc.gnu.org X-Mailer: gnatsweb 2.9.3 Subject: Re: optimization/1762: treatment of NaNs violates IEEE 754 X-SW-Source: 2002-02/txt/msg00531.txt.bz2 List-Id: Synopsis: treatment of NaNs violates IEEE 754 Responsible-Changed-From-To: rth->echristo Responsible-Changed-By: rth Responsible-Changed-When: Wed Feb 20 17:28:02 2002 Responsible-Changed-Why: I can't currently reproduce this with gcc 3.1, but I can't get 3.1 to generate movf.d at all, which is also broken. Eric, once conditional move is unhorked, I suspect the problem here is that FP conditional move is not symmetric. I shouldn't have thought that would be a problem once the non-reversible comparison is reduced to a boolean. Nor do I seem to be able to produce the same failure on Alpha, which has the fcmov insn patterned the same way. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=1762