public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/88575] gcc got confused by different comparison operators [not found] <bug-88575-4@http.gcc.gnu.org/bugzilla/> @ 2021-07-24 10:18 ` pinskia at gcc dot gnu.org 2023-06-09 22:24 ` pinskia at gcc dot gnu.org 2023-06-09 22:28 ` pinskia at gcc dot gnu.org 2 siblings, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu.org @ 2021-07-24 10:18 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88575 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|middle-end |tree-optimization Severity|normal |enhancement ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug tree-optimization/88575] gcc got confused by different comparison operators [not found] <bug-88575-4@http.gcc.gnu.org/bugzilla/> 2021-07-24 10:18 ` [Bug tree-optimization/88575] gcc got confused by different comparison operators pinskia at gcc dot gnu.org @ 2023-06-09 22:24 ` pinskia at gcc dot gnu.org 2023-06-09 22:28 ` pinskia at gcc dot gnu.org 2 siblings, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-06-09 22:24 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88575 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed|2019-01-02 00:00:00 |2023-6-9 --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So VRP handles floating point now but it still does not optimize it: Folding statement: if (a_2(D) <= b_3(D)) Registering value_relation (a_2(D) <= b_3(D)) on (2->3) Visiting conditional with predicate: if (a_2(D) <= b_3(D)) With known ranges a_2(D): [frange] double VARYING b_3(D): [frange] double VARYING Predicate evaluates to: DON'T KNOW Not folded Folding statement: _4 = MIN_EXPR <a_2(D), b_3(D)>; Not folded While the int does this: Folding statement: _4 = MIN_EXPR <a_2(D), b_3(D)>; folding with relation a_2(D) <= b_3(D) Global Exported: _4 = [irange] int [-INF, 2147483646] Not folded Which is a regression from GCC 12 .... ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug tree-optimization/88575] gcc got confused by different comparison operators [not found] <bug-88575-4@http.gcc.gnu.org/bugzilla/> 2021-07-24 10:18 ` [Bug tree-optimization/88575] gcc got confused by different comparison operators pinskia at gcc dot gnu.org 2023-06-09 22:24 ` pinskia at gcc dot gnu.org @ 2023-06-09 22:28 ` pinskia at gcc dot gnu.org 2 siblings, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-06-09 22:28 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88575 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends on| |110199 --- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #5) > So VRP handles floating point now but it still does not optimize it: > Folding statement: if (a_2(D) <= b_3(D)) > Registering value_relation (a_2(D) <= b_3(D)) on (2->3) > > Visiting conditional with predicate: if (a_2(D) <= b_3(D)) > > With known ranges > a_2(D): [frange] double VARYING b_3(D): [frange] double VARYING > > Predicate evaluates to: DON'T KNOW > Not folded > Folding statement: _4 = MIN_EXPR <a_2(D), b_3(D)>; > Not folded > > > While the int does this: > Folding statement: _4 = MIN_EXPR <a_2(D), b_3(D)>; > folding with relation a_2(D) <= b_3(D) > Global Exported: _4 = [irange] int [-INF, 2147483646] > Not folded > > Which is a regression from GCC 12 .... I filed PR 110199 for that. Maybe once that is fixed the FP case will work too. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110199 [Bug 110199] [12/13/14 Regression] Missing VRP transformation with MIN_EXPR and known relation ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-06-09 22:28 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-88575-4@http.gcc.gnu.org/bugzilla/>
2021-07-24 10:18 ` [Bug tree-optimization/88575] gcc got confused by different comparison operators pinskia at gcc dot gnu.org
2023-06-09 22:24 ` pinskia at gcc dot gnu.org
2023-06-09 22:28 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).