RFR: 8369167: C2: refactor LShiftINode/LShiftLNode Value/Identity/Ideal [v2]

[Roland Westrelin]

On Fri, 10 Oct 2025 12:17:35 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

> An idea (not a suggestion, just something that crossed my mind, take it more as a thought experiment): we could also parametrize everything not with a `BasicType` parameter but a template parameter (since `IdealIL` and co are invoked with literal values). It wouldn't change much, but for instance it would allow to replace the assert in `java_shift_left` and friends with static checks (I have a bias toward static checks).

I wondered about that too. There are many more methods that are parameterized by a `BasicType`. They would have to all go through that transition.

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

PR Comment: https://git.openjdk.org/jdk/pull/27725#issuecomment-3397792680