We have long had the fold:
/* Pattern match
tem = (sizetype) ptr;
tem = tem & algn;
tem = -tem;
... = ptr p+ tem;
and produce the simpler and easier to analyze with respect to alignment
... = ptr & ~algn; */
But the gimple in gcc.target/aarch64/sve/pr98119.c has a var
On Wed, 12 Mar 2025, Richard Sandiford wrote:
> We have long had the fold:
>
> /* Pattern match
> tem = (sizetype) ptr;
> tem = tem & algn;
> tem = -tem;
> ... = ptr p+ tem;
>and produce the simpler and easier to analyze with respect to alignment
> ... = ptr & ~algn;