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

Fri Apr 5 10:40:25 UTC 2024

On Thu, 28 Mar 2024 17:27:31 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> @merykitty I see there are some proofs now, great! I'll have a look soon :)
>
> @eme64 Gentle ping on this.

@merykitty I see that you have more proofs now, that is great!
I am out of the office next week, but I plan to look at this PR after that. It is 2K+ lines, so that may take me a while.

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

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