On Thu, Nov 25, 2021 at 10:40 PM Navid Rahimi via Gcc wrote:
>
> > (A << B) eq/ne 0
> Yes that is correct. But for detecting such pattern you You have to detect B
> and make sure B is boolean. GIMPLE transfers that Boolean to integer before
> shifting.
Note it's the C language specification th
> (A << B) eq/ne 0
Yes that is correct. But for detecting such pattern you You have to detect B
and make sure B is boolean. GIMPLE transfers that Boolean to integer before
shifting.
After many hours of debugging, I think I managed to find out what is going on.
+/* cmp : ==, != */
+/* ((B0 << x
