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

[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 two additional commits since the last revision:

 - Update src/hotspot/share/opto/mulnode.cpp
   
   Co-authored-by: Jasmine Karthikeyan <25208576+jaskarth at users.noreply.github.com>
 - 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/2281946e..b8f1cf6d

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

  Stats: 3 lines in 1 file changed: 0 ins; 0 del; 3 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