Tue Feb 26 17:39:00 GMT 2013
The documentation for REVERSIBLE_CC_MODE states:
"If SELECT_CC_MODE can ever return mode for a floating-point inequality
comparison, then REVERSIBLE_CC_MODE (mode) must be zero."
This statement appears to go back to ~1996. In 2001 this patch
http://gcc.gnu.org/ml/gcc-patches/2001-01/msg00454.html appears to have
removed the above constraint for targets that support a full complement
of trapping and non-trapping comparisons.
Have I missed something, or is the documentation out of date ?
More information about the Gcc-patches