Improve range analysis for checked bounds in GlobalAP

[EgorBo]

This seems to find a few diffs.

if ((uint)i < span.Length)
{
    // i is [0..int.MaxValue-1] here
}

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

[Copilot]

Pull request overview

Improves CoreCLR JIT range analysis for unsigned comparisons against “checked bound” VNs (notably for Global Assertion Prop), allowing more precise constant-range tightening even when checked-bound symbolic limits can’t be used.

Changes:

• Extend RangeCheck::MergeEdgeAssertions with a maxDepth parameter to bound recursive refinement.
• Add logic (when canUseCheckedBounds == false) to infer non-negative constant ranges from O2K_CHECKED_BOUND_ADD_CNS unsigned assertions (e.g., deriving [0..INT32_MAX-1] style ranges).
• Recursively attempt to tighten the checked-bound VN’s own constant range (within a depth limit) before applying it.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
src/coreclr/jit/rangecheck.h	Extends MergeEdgeAssertions signature with a recursion depth parameter.
src/coreclr/jit/rangecheck.cpp	Implements depth-limited recursive refinement and new unsigned checked-bound range tightening path for GlobalAP scenarios.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.

[EgorBo]

PTAL @jakobbotsch @dotnet/jit-contrib a couple of improvements for range analysis