RFR: 8353345: C2 asserts because maskShiftAmount modifies node without deleting the hash [v3]

Tobias Hartmann thartmann at openjdk.org
Thu Apr 3 11:12:06 UTC 2025


On Thu, 3 Apr 2025 09:34:42 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

>> First delete the hash, then `set_req`. This way, we avoid changing the node (a non-`this` node) without deleting the hash. This wrong ordering is not new from [JDK-8347459](https://bugs.openjdk.org/browse/JDK-8347459), but before that, only `this` was going through this function, so it was ok. But since, it is used with other nodes, hence the need to remove the hash.
>> 
>> Also, not do any of that outside IGVN, but requires to register nested shifts for IGVN in parsing not to miss them later.
>> 
>> Thanks,
>> Marc
>
> Marc Chevalier has updated the pull request incrementally with one additional commit since the last revision:
> 
>   address review comments

Nice refactoring! Looks good to me too.

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

Marked as reviewed by thartmann (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/24355#pullrequestreview-2739459799


More information about the hotspot-compiler-dev mailing list