According to MSP430 EABI document, Section 6.2, the result of
__mspabi_cmp[fd] is undefined if either of its arguments is NaN.
See Sections 6.1 and 6.2 of MSP430 EABI document for details.
atrosinenko on Jul 23 2020, 8:01 AM.Authored by
Hmm, this probably needs further investigations... On one hand, condition codes such as ISD::SETNE are explicit "Don't care operations: undefined if the input is a nan" - that is, exactly how the __mspabi_cmp[fd] are described in MSP430 EABI document. On the other hand, how a fully fledged comparison libcall can be specified then?