RFR: 8349361: C2: RShiftL should support all applicable transformations that RShiftI does [v4]

[Roland Westrelin]

> This change refactors `RShiftI`/`RshiftL` `Ideal`, `Identity` and
> `Value` because the `int` and `long` versions are very similar and so
> there's no logic duplication. In the process, support for some extra
> transformations is added to `RShiftL`. I also added some new test
> cases.

Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:

  Update src/hotspot/share/opto/mulnode.cpp
  
  Co-authored-by: Jasmine Karthikeyan <25208576+jaskarth at users.noreply.github.com>

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/23438/files
  - new: https://git.openjdk.org/jdk/pull/23438/files/f50d46ab..2281946e

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=23438&range=03
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=23438&range=02-03

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/23438.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/23438/head:pull/23438

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