RFR: 8360192: C2: Make the type of count leading/trailing zero nodes more precise [v5]

[Qizheng Xing]

> The result of count leading/trailing zeros is always non-negative, and the maximum value is integer type's size in bits. In previous versions, when C2 can not know the operand value of a CLZ/CTZ node at compile time, it will generate a full-width integer type for its result. This can significantly affect the efficiency of code in some cases.
> 
> This patch makes the type of CLZ/CTZ nodes more precise, to make C2 generate better code. For example, the following implementation runs ~115% faster on x86-64 with this patch:
> 
> 
> public static int numberOfNibbles(int i) {
>   int mag = Integer.SIZE - Integer.numberOfLeadingZeros(i);
>   return Math.max((mag + 3) / 4, 1);
> }
> 
> 
> Testing: tier1, IR test

Qizheng Xing has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains six additional commits since the last revision:

 - Merge branch 'master' into enhance-clz-type
 - Move `TestCountBitsRange` to `compiler.c2.gvn`
 - Fix null checks
 - Narrow type bound
 - Use `BitsPerX` constant instead of `sizeof`
 - Make the type of count leading/trailing zero nodes more precise

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25928/files
  - new: https://git.openjdk.org/jdk/pull/25928/files/c965311b..2f9bca68

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

  Stats: 51740 lines in 1709 files changed: 29830 ins; 11769 del; 10141 mod
  Patch: https://git.openjdk.org/jdk/pull/25928.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25928/head:pull/25928

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