public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/114213] New: `MIN<MAX<a,-CST>, CST> / CST` -> `a >= CST ? 1 : -(a <= -CST)`
@ 2024-03-02 23:56 pinskia at gcc dot gnu.org
0 siblings, 0 replies; only message in thread
From: pinskia at gcc dot gnu.org @ 2024-03-02 23:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114213
Bug ID: 114213
Summary: `MIN<MAX<a,-CST>, CST> / CST` -> `a >= CST ? 1 : -(a
<= -CST)`
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Target Milestone: ---
Take:
```
int f(int a)
{
a = a <= -64 ? -64 : a;
a = a >= 64 ? 64 : a;
return a/64;
}
int f1(int a)
{
return a >= 64 ? 1 : -(a <= -64);
}
int f2(int a)
{
return a <= -64 ? -1 : (a >= 64);
}
```
These all three should produce the same result.
This is basically the expanded version of PR 114212 on to the negative side.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-03-02 23:56 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-02 23:56 [Bug tree-optimization/114213] New: `MIN<MAX<a,-CST>, CST> / CST` -> `a >= CST ? 1 : -(a <= -CST)` 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).