Re: [PATCH][v2] tree-optimization/100499 - niter analysis and multiple_of_p

2022-02-04 Thread Richard Sandiford via Gcc-patches
Richard Biener writes: > niter analysis uses multiple_of_p which currently assumes > operations like MULT_EXPR do not wrap. We've got to rely on this > for optimizing size expressions like those in DECL_SIZE and those > generally use unsigned arithmetic with no indication that they > are not expe

[PATCH][v2] tree-optimization/100499 - niter analysis and multiple_of_p

2022-02-04 Thread Richard Biener via Gcc-patches
niter analysis uses multiple_of_p which currently assumes operations like MULT_EXPR do not wrap. We've got to rely on this for optimizing size expressions like those in DECL_SIZE and those generally use unsigned arithmetic with no indication that they are not expected to wrap. To preserve that th