Re: [PATCH] tree-optimization/116514 - handle pointer difference in bit-CCP

2024-09-09 Thread Richard Biener
On Wed, 28 Aug 2024, Richard Biener wrote: > When evaluating the difference of two aligned pointers in CCP we > fail to handle the EXACT_DIV_EXPR by the element size that occurs. > The testcase then also exercises modulo to test alignment but > modulo by a power-of-two isn't handled either. > > R

[PATCH] tree-optimization/116514 - handle pointer difference in bit-CCP

2024-08-28 Thread Richard Biener
When evaluating the difference of two aligned pointers in CCP we fail to handle the EXACT_DIV_EXPR by the element size that occurs. The testcase then also exercises modulo to test alignment but modulo by a power-of-two isn't handled either. Re-bootstrap and regtest running on x86_64-unknown-linux-