RFR: 8369435: C2: transform (LShiftX (SubX con0 a), con1) into (SubX con0<<con1 (LShiftX a con1)) [v5]

[Roland Westrelin]

> We already transform:
> 
> (LShiftX (AddX a con0), con1) into (AddX (LShiftX a con1) con0<<con1)
> 
> THis is a variant with SubX. I found that this helps RCE.

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

  whitespace

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/27842/files
  - new: https://git.openjdk.org/jdk/pull/27842/files/a5cce41e..9cd1d8cb

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

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

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