Re: reversing of FP conditions infrastructure

[Richard Henderson <rth at redhat dot com>]

On Sat, Jan 06, 2001 at 04:56:42PM -0800, Richard Henderson wrote:
> You can't do this genericly.  The target must support
> non-trapping forms of LT, GT, etc in order to be considered
> reverses of UNGE, UNLE, etc.

One possible way to solve this and my other similar objection is to add
"ORDLT" etc, which mean "ORDERED && LT" and so on.  Which on the face of
it looks the same as "LT", but there is the additional requirement that
ORDLT may not trap.  (Which could be inferred by the short-circuit AND,
but probably should be made explicit in the documentation.)


r~