This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [RFC] Fold floating-point comparisons

From: Paolo Bonzini <bonzini at gnu dot org>
To: Roger Sayle <roger at eyesopen dot com>
Cc: gcc-patches at gcc dot gnu dot org
Date: Wed, 26 May 2004 19:27:59 +0200
Subject: Re: [RFC] Fold floating-point comparisons
References: <Pine.LNX.4.44.0405260858110.21683-100000@www.eyesopen.com>

Could you describe the intended semantics of your new LTGT_EXPR?

The same as the RTL operator LTGT, basically a negated UNEQ as you guessed. This 14th (!) operator is only present in RTL codes, but not in tree codes.

Floating point equality and inequality operators, i.e. EQ_EXPR,
NE_EXPR and UNEQ_EXPR don't trap.  So I'd recommend that the same
apply for your new LTGT_EXPR.

I guessed the same, but the question is actually what LTGT does...

Regtests are still to be written.

And I of course will write them. I had no time to write regtests of any kind, document, and even run preexisting regtests -- I just posted a preliminary patch to ensure the basic idea is fine.

Paolo

Follow-Ups:
- Re: [RFC] Fold floating-point comparisons
  - From: Roger Sayle

References:
- Re: [RFC] Fold floating-point comparisons
  - From: Roger Sayle

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]