From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-55942-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 31719 invoked by alias); 1 Jul 2002 19:13:21 -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 31712 invoked from network); 1 Jul 2002 19:13:17 -0000
Received: from unknown (HELO hollebeek.com) (216.178.83.228)
  by sources.redhat.com with SMTP; 1 Jul 2002 19:13:17 -0000
Received: (from tim@localhost)
	by hollebeek.com (8.9.3/8.9.3) id OAA03364;
	Mon, 1 Jul 2002 14:42:26 -0400
Date: Mon, 01 Jul 2002 12:13:00 -0000
From: Tim Hollebeek <tim@hollebeek.com>
To: Lars Brinkhoff <lars@nocrew.org>
Cc: gcc@gcc.gnu.org
Subject: Re: Comparing doubles
Message-ID: <20020701144226.A3332@hollebeek.com>
Reply-To: tim@hollebeek.com
References: <8565zziaat.fsf@junk.nocrew.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
In-Reply-To: <8565zziaat.fsf@junk.nocrew.org>
X-SW-Source: 2002-07/txt/msg00029.txt.bz2

On Mon, Jul 01, 2002 at 08:15:54PM +0200, Lars Brinkhoff wrote:
> 
> In particular, would it be acceptable for a GCC back end to compare
> two doubles by subtracting them, converting the result to float, and
> then compare the result against zero?

Think very very hard before throwing away the transitive property of
equality.