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

Thu Mar 28 17:30:46 UTC 2024

On Thu, 25 Jan 2024 12:00:30 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> @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 :)

@eme64 Gentle ping on this.

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

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