RFR: 8351645: C2: ExpandBitsNode::Ideal hits assert because of TOP input [v2]

[Jatin Bhateja]

> Bugfix patch adds missing safe type access checks in Expand/Compress Ideal transforms. Problem occues during IGVN cleanups after partial peeling of loop.
> 
> Test mentioned in the bug report has been included along with the patch.
> 
> Kindly review.
> 
> Best Regards,
> Jatin

Jatin Bhateja has refreshed the contents of this pull request, and previous commits have been removed. The incremental views will show differences compared to the previous content of the PR. The pull request contains one new commit since the last revision:

  8351645: C2: ExpandBitsNode::Ideal hits assert because of TOP input

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25586/files
  - new: https://git.openjdk.org/jdk/pull/25586/files/abf83f84..821be711

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=25586&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=25586&range=00-01

  Stats: 201 lines in 3 files changed: 129 ins; 70 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/25586.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25586/head:pull/25586

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