RFR: 8304230: LShift ideal transform assertion

Boris Ulasevich bulasevich at openjdk.org
Thu Mar 16 12:00:19 UTC 2023


On Wed, 15 Mar 2023 18:24:23 GMT, Jasmine K. <duke at openjdk.org> wrote:

> Hi,
> This PR aims to address the assertion on arm32 where the special-case `add1->in(2) == in(2)` check fails, and it falls through to the regular cases. I'm not quite sure how this issue can manifest as AFAIK the GVN should allow the usage of `==` to check against constants that are equal. I've changed the check from node equality to constant equality to hopefully resolve this. I unfortunately cannot reproduce the behavior on x86, nor do I have access to arm32 hardware, so I would greatly appreciate reviews and help testing this change (cc @bulasevich). Thank you all in advance.

Hi, I confirm ARM32 tests pass Ok with this change. And the change looks reasonable to me (I am not a reviewer). Thanks!

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

PR: https://git.openjdk.org/jdk/pull/13049


More information about the hotspot-compiler-dev mailing list