[Bug tree-optimization/126703] copysign(x, -abs(t)) -> copysign(x, -1.0)
"rguenth at gcc dot gnu.org via Gcc-bugs" <[email protected]>
| Newsgroups | gmane.comp.gcc.bugs |
|---|---|
| Message-ID | <[email protected]/bugzilla/> |
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126703 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- I wonder if we can have value_range::sign_bit () and thus can fold copysign (x, t) with known signbit of 't' to copysign (x, -1) or copysign (x, 1) and for same sign_bit of x and t elide it?