reversing of FP conditions infrastructure
Richard Henderson
rth@redhat.com
Sat Jan 6 19:13:00 GMT 2001
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~
More information about the Gcc-patches
mailing list