abrown updated PR #1285 from fix-float-compare to master:
The Intel manual uses
CMPNLTandCMPNLEto denote not-less-than and not-less-than-or-equals. These were translated previously toFloatCC::GreaterThanandFloatCC::GreaterThanOrEqualbut should be correctly translated toFloatCC::UnorderedOrGreaterThanOrEqualandFloatCC::UnorderedOrGreaterThan. This change adds the necessary legalizations to make use of these new encodings.
bnjbvr requested julian-seward1 for a review on PR #1285.
julian-seward1 submitted PR Review.
julian-seward1 submitted PR Review.
julian-seward1 created PR Review Comment:
Yes, that's better. Thanks.
abrown merged PR #1285.
Last updated: Dec 06 2025 at 06:05 UTC