Re: [PATCH PR100499]Fix wrong niter info caused by overflow behavior

2021-05-31 Thread Richard Biener via Gcc-patches
On Thu, May 27, 2021 at 5:38 AM bin.cheng via Gcc-patches wrote: > > Hi, > As described in PR100499, loop niters analysis for "!=" now relies on > multiple_of_p which > so far is mostly implemented for no-overflow scenarios. This patch fixes the > issue by: > 1. add new parameter to

[PATCH PR100499]Fix wrong niter info caused by overflow behavior

2021-05-26 Thread bin.cheng via Gcc-patches
Hi, As described in PR100499, loop niters analysis for "!=" now relies on multiple_of_p which so far is mostly implemented for no-overflow scenarios. This patch fixes the issue by: 1. add new parameter to multiple_of_p indicating no-wrapping behavior in top expression. 2. pass new argument to