From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-92669-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 24513 invoked by alias); 15 Mar 2004 22:42:32 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 24506 invoked from network); 15 Mar 2004 22:42:30 -0000
Received: from unknown (HELO nile.gnat.com) (205.232.38.5)
  by sources.redhat.com with SMTP; 15 Mar 2004 22:42:30 -0000
Received: from localhost (localhost [127.0.0.1])
	by nile.gnat.com (Postfix) with ESMTP
	id 9111DF2DAC; Mon, 15 Mar 2004 17:42:28 -0500 (EST)
Received: from nile.gnat.com ([127.0.0.1])
 by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP
 id 25193-01-3; Mon, 15 Mar 2004 17:42:28 -0500 (EST)
Received: by nile.gnat.com (Postfix, from userid 338)
	id 4F44BF2DAF; Mon, 15 Mar 2004 17:42:28 -0500 (EST)
To: alexr@spies.com, rth@redhat.com
Subject: Re: [lno] [RFC] if-conversion and auto vectorizer
Cc: gcc@gcc.gnu.org
Message-Id: <20040315224228.4F44BF2DAF@nile.gnat.com>
Date: Mon, 15 Mar 2004 22:42:00 -0000
From: dewar@gnat.com (Robert Dewar)
X-Virus-Scanned: by amavisd-new at nile.gnat.com
X-SW-Source: 2004-03/txt/msg00750.txt.bz2

> (1) MIN/MAX have better floating-point properties than conditional move.
>     Consider 
> 
>         a = 0; b = NaN;
> 
>         c = a < b ? b : a;              // 0
>     vs
>         c = a > b ? a : b;              // NaN
>     vs
>         c = max(a, b);                  // Undefined

Does the C standard really specify that the < and > here are unordered
comparisons?