Re: [PATCH, GCC] PR middle-end/55299, fold bitnot through ASR and rotates

[Mikhail Maltsev]

On 05/17/2016 04:39 PM, Richard Biener wrote:
> 
> Are you sure narrowing conversions are valid for rotates?
> 
> (char)short_var <<r 8 == (char)short_var but short_var << r8 is its upper 
> byte.
> 
Yes, but the transformation leaves conversions as-is. Only bit_not is removed.

-- 
Regards,
    Mikhail Maltsev