RFR: 8282365: Consolidate and improve division by constant idealizations [v44]

[Raffaello Giulietti]

On Wed, 24 Jan 2024 18:12:37 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote:

>> @rgiulietti Thanks a lot for your patience in reviewing this patch. Do you have any more concerns or suggestions?
>
> I've the impression that we can replace `m < c * d <= m + m / v` with the stricter `m < c * d < m + m / v` by using `N_neg - 1` instead of `N_neg`, but I need some time to have a solid proof.
> 
> That would simplify the code of the algorithm.

But IMO the current algorithm is correct.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/9947#discussion_r1465383617