[Bug tree-optimization/123307] New: signaling FP comparison for equal turned into quiet

[igor at tachyum dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123307

            Bug ID: 123307
           Summary: signaling FP comparison for equal turned into quiet
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: igor at tachyum dot com
  Target Milestone: ---

In the following snipet:

---
int f1(double a, double b) { return __builtin_iseqsig(a, b); }
int f2(double a, double b) { return a >= b && a <= b; }
int f3(double a, double b) { return a <= b && a >= b; }
---

signaling comparison in f2 and f3 turned into a quiet one prior to RTL expand
pass. That can only be done is NaN don't need to be honored