[Bug middle-end/93939] missing optimization for floating-point expression converted to integer whose result is known at compile time

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-02-26
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
It needs "backward propagation" of conditional equivalence information which we
do for very limited numbers and sets of operations.  In VN the additional issue
is that we don't record conditional equivalences at all (we just record known
predicates) because that doesn't fit in nicely.