Use IntegralRange in fgOptimizeRelationalComparisonWithCasts

[jakobbotsch]

Fix #69200

Diffs

[ghost]

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

Issue Details

---

Fix #69200

Author:	jakobbotsch
Assignees:	-
Labels:	area-CodeGen-coreclr
Milestone:	-

[jakobbotsch]

Diff for example in #69200:

        mov      qword ptr [rsp+28H], rax
 						;; size=11 bbWeight=1    PerfScore 1.50
 G_M28380_IG02:
-       mov      eax, edx
-       mov      r8d, dword ptr [rcx+8]
-       cmp      rax, r8
+       cmp      edx, dword ptr [rcx+8]
        ja       SHORT G_M28380_IG04
        mov      rcx, bword ptr [rcx]
        mov      bword ptr [rsp+28H], rcx
@@ -43,7 +41,7 @@ G_M28380_IG02:
        lea      rcx, bword ptr [rsp+28H]
        call     [Program:DoIt(ReadOnlySpan`1)]
        nop      
-						;; size=35 bbWeight=1    PerfScore 11.25
+						;; size=29 bbWeight=1    PerfScore 11.75
 G_M28380_IG03:
        add      rsp, 56
        ret      
@@ -53,6 +51,6 @@ G_M28380_IG04:
        int3     
 						;; size=7 bbWeight=0    PerfScore 0.00
 
-; Total bytes of code 58, prolog size 11, PerfScore 19.80, instruction count 17, allocated bytes for code 58 (MethodHash=f8b59123) for method Program:M(ReadOnlySpan`1,int)
+; Total bytes of code 52, prolog size 11, PerfScore 19.70, instruction count 15, allocated bytes for code 52 (MethodHash=f8b59123) for method Program:M(ReadOnlySpan`1,int)
 ; ============================================================

[jakobbotsch]

/azp run Fuzzlyn

[azure-pipelines]

Azure Pipelines successfully started running 1 pipeline(s).

[jakobbotsch]

cc @dotnet/jit-contrib @GrabYourPitchforks

[SingleAccretion]

Looks great (modulo nits)!