https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91323
--- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> ---
For x86, we have:
/* Figure out whether to use unordered fp comparisons. */
static bool
ix86_unordered_fp_compare (enum rtx_code code)
{
if (!TARGET_IEEE_FP)
return false;
switch (code)
{
case GT:
case GE:
case LT:
case LE:
return false;
case EQ:
case NE:
case LTGT:
case UNORDERED:
case ORDERED:
case UNLT:
case UNLE:
case UNGT:
case UNGE:
case UNEQ:
return true;
default:
gcc_unreachable ();
}
}
where "true" means we do not trap on unordered operands.
Can you please point me to the normative documentation, so we can fix this?
