[Bug tree-optimization/89536] [8/9 Regression] wrong code at -Os and above on x86_64-linux-gnu

[ebotcazou at gcc dot gnu.org]

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

--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Then I don't understand the problem in the BIT_NOT_EXPR case: we have int
> type and [0, 1] range for rhs; if we know that BIT_NOT_EXPR is zero, we can
> deduce that it must be 1 too.

So the problem is in the non-zero case?  Maybe add a test on integer_onep?