https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92903
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- The same is likely true for any unary operation, I think we're not aggressively trying to compute the "reverse" for OP(x) == CST computes anywhere.