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

[Emanuel Peter]

On Thu, 25 Jan 2024 11:57:09 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> I agree this is not necessarily optimal, but it's far easier to prove and to code.
>> 
>> There's a tradeoff here between simplicity of the proofs and of the code on one side, and squeezing out the last sub-nanosecond on the other side.
>> Hard choice!
>
> @rgiulietti Thanks very much for your reviews
> @vnkozlov @eme64 Could you do another round of reviews, please? There has not been much change, though.

@merykitty I see there are some proofs now, great! I'll have a look soon :)

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

PR Comment: https://git.openjdk.org/jdk/pull/9947#issuecomment-1910041871