[Bug rtl-optimization/80501] [6/7/8 Regression] Wrong code w/ a signed char, a shift, and a conversion to int

[jakub at gcc dot gnu.org]

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

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Uroš Bizjak from comment #7)
> Comment on attachment 41252 [details]
> gcc8-pr80501.patch
> 
> >                 && exact_log2 (UINTVAL (XEXP (inner, 1)))
> >-                   >= GET_MODE_BITSIZE (mode))))
> >+                   >= GET_MODE_BITSIZE (mode) - 1)))
> 
> This can be written as "> GET_MODE_BITSIZE (mode)".

No, >= GET_MODE_BITSIZE (mode) + 1 could be written as > GET_MODE_BITSIZE
(mode)