On 1/19/23 09:41, Jakub Jelinek wrote:
+ range_query *q = get_range_query (cfun);
+ if (q == get_global_range_query ())
+ q = enable_ranger (cfun);
Oh, neat. Clever. I hadn't thought about that.
+ if (!q->range_of_expr (r, rotcnt, check_range_stmt))
+
On Thu, 19 Jan 2023, Jakub Jelinek wrote:
> Hi!
>
> As mentioned in the simplify_rotate comment, for e.g.
>((T) ((T2) X << (Y & (B - 1 | ((T) ((T2) X >> ((-Y) & (B - 1
> we already emit
>X r<< (Y & (B - 1))
> as replacement. This PR is about the
>((T) ((T2) X << Y)) OP ((T) (
Hi!
As mentioned in the simplify_rotate comment, for e.g.
((T) ((T2) X << (Y & (B - 1 | ((T) ((T2) X >> ((-Y) & (B - 1
we already emit
X r<< (Y & (B - 1))
as replacement. This PR is about the
((T) ((T2) X << Y)) OP ((T) ((T2) X >> (B - Y)))
((T) ((T2) X << (int) Y)) OP ((T) ((
