[JitDiff X64] [xtqqczze] Normalize `Array.IndexOf` result checks to use `>= 0`

[MihuBot]

Job completed in 17 minutes 30 seconds (remote runner delay: 33 seconds).
dotnet/runtime#119936

Diffs

Found 92 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 41728031
Total bytes of diff: 41727979
Total bytes of delta: -52 (-0.00 % of base)
Total relative delta: -0.47
    diff is an improvement.
    relative diff is an improvement.


Top file improvements (bytes):
         -32 : System.Collections.dasm (-0.01 % of base)
          -5 : System.IO.Packaging.dasm (-0.00 % of base)
          -4 : System.Net.Security.dasm (-0.00 % of base)
          -4 : System.Text.Json.dasm (-0.00 % of base)
          -2 : System.Net.WebProxy.dasm (-0.04 % of base)
          -1 : System.ComponentModel.TypeConverter.dasm (-0.00 % of base)
          -1 : System.Net.Http.dasm (-0.00 % of base)
          -1 : System.Formats.Asn1.dasm (-0.00 % of base)
          -1 : System.Private.CoreLib.dasm (-0.00 % of base)
          -1 : System.Net.NameResolution.dasm (-0.00 % of base)

10 total files with Code Size differences (10 improved, 0 regressed), 250 unchanged.

Top method improvements (bytes):
          -4 (-4.82 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[byte]:Contains(byte):bool:this (FullOpts)
          -4 (-5.06 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[double]:Contains(double):bool:this (FullOpts)
          -4 (-5.06 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[int]:Contains(int):bool:this (FullOpts)
          -4 (-5.06 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[long]:Contains(long):bool:this (FullOpts)
          -4 (-4.82 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[short]:Contains(short):bool:this (FullOpts)
          -4 (-1.65 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
          -4 (-3.85 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[System.Nullable`1[int]]:Contains(System.Nullable`1[int]):bool:this (FullOpts)
          -4 (-3.88 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]:Contains(System.Numerics.Vector`1[float]):bool:this (FullOpts)
          -4 (-6.78 % of base) : System.IO.Packaging.dasm - System.IO.Packaging.ContentType:IsLinearWhiteSpaceChar(char):bool (FullOpts)
          -4 (-0.10 % of base) : System.Net.Security.dasm - System.Net.Security.SslStream:SelectClientCertificate():System.Security.Cryptography.X509Certificates.X509Certificate2:this (FullOpts)
          -4 (-4.35 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.IgnoreReferenceResolver:ContainsReferenceForCycleDetection(System.Object):bool:this (FullOpts)
          -2 (-0.39 % of base) : System.Net.WebProxy.dasm - System.Net.WebProxy:IsLocal(System.Uri):bool (FullOpts)
          -1 (-0.24 % of base) : System.ComponentModel.TypeConverter.dasm - System.ComponentModel.CultureInfoConverter:GetStandardValues(System.ComponentModel.ITypeDescriptorContext):System.ComponentModel.TypeConverter+StandardValuesCollection:this (FullOpts)
          -1 (-0.19 % of base) : System.Formats.Asn1.dasm - System.Formats.Asn1.AsnWriter+Scope:Dispose():this (FullOpts)
          -1 (-0.04 % of base) : System.IO.Packaging.dasm - System.IO.Packaging.PartBasedPackageProperties:ParseCorePropertyPart(System.IO.Packaging.PackagePart):this (FullOpts)
          -1 (-0.27 % of base) : System.Net.Http.dasm - System.Net.Http.Headers.ObjectCollection`1[System.__Canon]:Remove(System.__Canon):bool:this (FullOpts)
          -1 (-0.11 % of base) : System.Net.NameResolution.dasm - System.Net.NameResolutionPal:ParseHostEntry(Interop+Sys+HostEntry,bool,byref,byref,byref) (FullOpts)
          -1 (-0.41 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this (FullOpts)

Top method improvements (percentages):
          -4 (-6.78 % of base) : System.IO.Packaging.dasm - System.IO.Packaging.ContentType:IsLinearWhiteSpaceChar(char):bool (FullOpts)
          -4 (-5.06 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[double]:Contains(double):bool:this (FullOpts)
          -4 (-5.06 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[int]:Contains(int):bool:this (FullOpts)
          -4 (-5.06 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[long]:Contains(long):bool:this (FullOpts)
          -4 (-4.82 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[byte]:Contains(byte):bool:this (FullOpts)
          -4 (-4.82 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[short]:Contains(short):bool:this (FullOpts)
          -4 (-4.35 % of base) : System.Text.Json.dasm - System.Text.Json.Serialization.IgnoreReferenceResolver:ContainsReferenceForCycleDetection(System.Object):bool:this (FullOpts)
          -4 (-3.88 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]:Contains(System.Numerics.Vector`1[float]):bool:this (FullOpts)
          -4 (-3.85 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[System.Nullable`1[int]]:Contains(System.Nullable`1[int]):bool:this (FullOpts)
          -4 (-1.65 % of base) : System.Collections.dasm - System.Collections.Generic.Stack`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
          -1 (-0.41 % of base) : System.Private.CoreLib.dasm - System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this (FullOpts)
          -2 (-0.39 % of base) : System.Net.WebProxy.dasm - System.Net.WebProxy:IsLocal(System.Uri):bool (FullOpts)
          -1 (-0.27 % of base) : System.Net.Http.dasm - System.Net.Http.Headers.ObjectCollection`1[System.__Canon]:Remove(System.__Canon):bool:this (FullOpts)
          -1 (-0.24 % of base) : System.ComponentModel.TypeConverter.dasm - System.ComponentModel.CultureInfoConverter:GetStandardValues(System.ComponentModel.ITypeDescriptorContext):System.ComponentModel.TypeConverter+StandardValuesCollection:this (FullOpts)
          -1 (-0.19 % of base) : System.Formats.Asn1.dasm - System.Formats.Asn1.AsnWriter+Scope:Dispose():this (FullOpts)
          -1 (-0.11 % of base) : System.Net.NameResolution.dasm - System.Net.NameResolutionPal:ParseHostEntry(Interop+Sys+HostEntry,bool,byref,byref,byref) (FullOpts)
          -4 (-0.10 % of base) : System.Net.Security.dasm - System.Net.Security.SslStream:SelectClientCertificate():System.Security.Cryptography.X509Certificates.X509Certificate2:this (FullOpts)
          -1 (-0.04 % of base) : System.IO.Packaging.dasm - System.IO.Packaging.PartBasedPackageProperties:ParseCorePropertyPart(System.IO.Packaging.PackagePart):this (FullOpts)

18 total methods with Code Size differences (18 improved, 0 regressed), 250785 unchanged.

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

Artifacts:

• build-clr-checked-main.zip (88 MB)
• build-artifacts-main.zip (682 MB)
• build-clr-checked-pr.zip (88 MB)
• build-artifacts-pr.zip (683 MB)
• jit-diffs-main.zip (138 MB)
• jit-diffs-pr.zip (138 MB)
• diff-frameworks.txt (6 KB)
• ShortDiffsImprovements.md (59 KB)
• LongDiffsImprovements.md (233 KB)

[MihuBot]

Top method improvements

-4 (-4.82 % of base) - System.Collections.Generic.Stack`1[byte]:Contains(byte):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[byte]:Contains(byte):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[byte]>
 ;  V01 arg1         [V01,T01] (  3,  2.50)   ubyte  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T02] (  4,  4   )     ref  ->  rdi         class-hnd single-def "Inlining Arg" <byte[]>
 ;  V04 tmp2         [V04,T03] (  3,  3   )     int  ->  rdx         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;  V06 tmp4         [V06,T05] (  2,  1   )     int  ->  rsi        
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )     int  ->  zero-ref   
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T06] (  2,  1   )     int  ->  rcx        
 ;  V12 cse0         [V12,T04] (  3,  2.50)     int  ->  rdx         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M31340_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M31340_IG02:
        mov      edx, dword ptr [rdi+0x10]
        test     edx, edx
        jne      SHORT G_M31340_IG05
 						;; size=7 bbWeight=1 PerfScore 3.25
 G_M31340_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M31340_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M31340_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      edx
        test     rdi, rdi
        je       SHORT G_M31340_IG07
        movzx    rsi, sil
        xor      ecx, ecx
        lea      eax, [rdx+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   ecx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[byte](byte[],byte,int,int):int
        call     [rax]System.Array:LastIndexOf[byte](byte[],byte,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=48 bbWeight=0.50 PerfScore 6.25
+       not      eax
+       shr      eax, 31
+						;; size=44 bbWeight=0.50 PerfScore 5.88
 G_M31340_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M31340_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 83, prolog size 4, PerfScore 11.94, instruction count 28, allocated bytes for code 83 (MethodHash=96e08593) for method System.Collections.Generic.Stack`1[byte]:Contains(byte):bool:this (FullOpts)
+; Total bytes of code 79, prolog size 4, PerfScore 11.56, instruction count 27, allocated bytes for code 79 (MethodHash=96e08593) for method System.Collections.Generic.Stack`1[byte]:Contains(byte):bool:this (FullOpts)
 ; ============================================================

-4 (-5.06 % of base) - System.Collections.Generic.Stack`1[double]:Contains(double):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[double]:Contains(double):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[double]>
 ;  V01 arg1         [V01,T05] (  3,  2.50)  double  ->  mm0         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T01] (  4,  4   )     ref  ->  rdi         class-hnd single-def "Inlining Arg" <double[]>
 ;  V04 tmp2         [V04,T02] (  3,  3   )     int  ->  rsi         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V06 tmp4         [V06    ] (  0,  0   )  double  ->  zero-ref   
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )  double  ->  zero-ref   
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T04] (  2,  1   )     int  ->  rdx        
 ;  V12 cse0         [V12,T03] (  3,  2.50)     int  ->  rsi         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M5260_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M5260_IG02:
        mov      esi, dword ptr [rdi+0x10]
        test     esi, esi
        jne      SHORT G_M5260_IG05
 						;; size=7 bbWeight=1 PerfScore 3.25
 G_M5260_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M5260_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M5260_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      esi
        test     rdi, rdi
        je       SHORT G_M5260_IG07
        xor      edx, edx
        lea      eax, [rsi+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   edx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[double](double[],double,int,int):int
        call     [rax]System.Array:LastIndexOf[double](double[],double,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=44 bbWeight=0.50 PerfScore 6.12
+       not      eax
+       shr      eax, 31
+						;; size=40 bbWeight=0.50 PerfScore 5.75
 G_M5260_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M5260_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 79, prolog size 4, PerfScore 11.81, instruction count 27, allocated bytes for code 79 (MethodHash=1513eb73) for method System.Collections.Generic.Stack`1[double]:Contains(double):bool:this (FullOpts)
+; Total bytes of code 75, prolog size 4, PerfScore 11.44, instruction count 26, allocated bytes for code 75 (MethodHash=1513eb73) for method System.Collections.Generic.Stack`1[double]:Contains(double):bool:this (FullOpts)
 ; ============================================================

-4 (-5.06 % of base) - System.Collections.Generic.Stack`1[int]:Contains(int):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[int]:Contains(int):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[int]>
 ;  V01 arg1         [V01,T01] (  3,  2.50)     int  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T02] (  4,  4   )     ref  ->  rdi         class-hnd single-def "Inlining Arg" <int[]>
 ;  V04 tmp2         [V04,T03] (  3,  3   )     int  ->  rdx         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V06 tmp4         [V06    ] (  0,  0   )     int  ->  zero-ref   
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )     int  ->  zero-ref   
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T05] (  2,  1   )     int  ->  rcx        
 ;  V12 cse0         [V12,T04] (  3,  2.50)     int  ->  rdx         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M42540_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M42540_IG02:
        mov      edx, dword ptr [rdi+0x10]
        test     edx, edx
        jne      SHORT G_M42540_IG05
 						;; size=7 bbWeight=1 PerfScore 3.25
 G_M42540_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M42540_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M42540_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      edx
        test     rdi, rdi
        je       SHORT G_M42540_IG07
        xor      ecx, ecx
        lea      eax, [rdx+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   ecx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[int](int[],int,int,int):int
        call     [rax]System.Array:LastIndexOf[int](int[],int,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=44 bbWeight=0.50 PerfScore 6.12
+       not      eax
+       shr      eax, 31
+						;; size=40 bbWeight=0.50 PerfScore 5.75
 G_M42540_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M42540_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 79, prolog size 4, PerfScore 11.81, instruction count 27, allocated bytes for code 79 (MethodHash=907959d3) for method System.Collections.Generic.Stack`1[int]:Contains(int):bool:this (FullOpts)
+; Total bytes of code 75, prolog size 4, PerfScore 11.44, instruction count 26, allocated bytes for code 75 (MethodHash=907959d3) for method System.Collections.Generic.Stack`1[int]:Contains(int):bool:this (FullOpts)
 ; ============================================================

-4 (-5.06 % of base) - System.Collections.Generic.Stack`1[long]:Contains(long):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[long]:Contains(long):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[long]>
 ;  V01 arg1         [V01,T01] (  3,  2.50)    long  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T02] (  4,  4   )     ref  ->  rdi         class-hnd single-def "Inlining Arg" <long[]>
 ;  V04 tmp2         [V04,T03] (  3,  3   )     int  ->  rdx         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V06 tmp4         [V06    ] (  0,  0   )    long  ->  zero-ref   
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )    long  ->  zero-ref   
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T05] (  2,  1   )     int  ->  rcx        
 ;  V12 cse0         [V12,T04] (  3,  2.50)     int  ->  rdx         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M30060_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M30060_IG02:
        mov      edx, dword ptr [rdi+0x10]
        test     edx, edx
        jne      SHORT G_M30060_IG05
 						;; size=7 bbWeight=1 PerfScore 3.25
 G_M30060_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M30060_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M30060_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      edx
        test     rdi, rdi
        je       SHORT G_M30060_IG07
        xor      ecx, ecx
        lea      eax, [rdx+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   ecx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[long](long[],long,int,int):int
        call     [rax]System.Array:LastIndexOf[long](long[],long,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=44 bbWeight=0.50 PerfScore 6.12
+       not      eax
+       shr      eax, 31
+						;; size=40 bbWeight=0.50 PerfScore 5.75
 G_M30060_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M30060_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 79, prolog size 4, PerfScore 11.81, instruction count 27, allocated bytes for code 79 (MethodHash=62e58a93) for method System.Collections.Generic.Stack`1[long]:Contains(long):bool:this (FullOpts)
+; Total bytes of code 75, prolog size 4, PerfScore 11.44, instruction count 26, allocated bytes for code 75 (MethodHash=62e58a93) for method System.Collections.Generic.Stack`1[long]:Contains(long):bool:this (FullOpts)
 ; ============================================================

-4 (-4.82 % of base) - System.Collections.Generic.Stack`1[short]:Contains(short):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[short]:Contains(short):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[short]>
 ;  V01 arg1         [V01,T01] (  3,  2.50)   short  ->  rsi         single-def
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T02] (  4,  4   )     ref  ->  rdi         class-hnd single-def "Inlining Arg" <short[]>
 ;  V04 tmp2         [V04,T03] (  3,  3   )     int  ->  rdx         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;  V06 tmp4         [V06,T05] (  2,  1   )     int  ->  rsi        
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )     int  ->  zero-ref   
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T06] (  2,  1   )     int  ->  rcx        
 ;  V12 cse0         [V12,T04] (  3,  2.50)     int  ->  rdx         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M28908_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M28908_IG02:
        mov      edx, dword ptr [rdi+0x10]
        test     edx, edx
        jne      SHORT G_M28908_IG05
 						;; size=7 bbWeight=1 PerfScore 3.25
 G_M28908_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M28908_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M28908_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      edx
        test     rdi, rdi
        je       SHORT G_M28908_IG07
        movsx    rsi, si
        xor      ecx, ecx
        lea      eax, [rdx+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   ecx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[short](short[],short,int,int):int
        call     [rax]System.Array:LastIndexOf[short](short[],short,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=48 bbWeight=0.50 PerfScore 6.25
+       not      eax
+       shr      eax, 31
+						;; size=44 bbWeight=0.50 PerfScore 5.88
 G_M28908_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M28908_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 83, prolog size 4, PerfScore 11.94, instruction count 28, allocated bytes for code 83 (MethodHash=ebbf8f13) for method System.Collections.Generic.Stack`1[short]:Contains(short):bool:this (FullOpts)
+; Total bytes of code 79, prolog size 4, PerfScore 11.56, instruction count 27, allocated bytes for code 79 (MethodHash=ebbf8f13) for method System.Collections.Generic.Stack`1[short]:Contains(short):bool:this (FullOpts)
 ; ============================================================

-4 (-1.65 % of base) - System.Collections.Generic.Stack`1[System.__Canon]:Contains(System.__Canon):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  5,  4   )     ref  ->  rbx         this class-hnd single-def <System.Collections.Generic.Stack`1[System.__Canon]>
 ;  V01 arg1         [V01,T01] (  3,  2.50)     ref  ->  r15         class-hnd single-def <System.__Canon>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T07] (  4,  2.20)    long  ->  rsi         "spilling helperCall"
 ;  V04 tmp2         [V04,T02] (  4,  4   )     ref  ->  r13         class-hnd single-def "Inlining Arg" <System.__Canon[]>
 ;  V05 tmp3         [V05,T03] (  3,  3   )     int  ->  r14         "Inlining Arg"
 ;* V06 tmp4         [V06    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V07 tmp5         [V07    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V08 tmp6         [V08    ] (  0,  0   )     int  ->  zero-ref   
 ;* V09 tmp7         [V09    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V10 tmp8         [V10    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V11 tmp9         [V11    ] (  0,  0   )     int  ->  zero-ref   
 ;  V12 tmp10        [V12,T11] (  2,  1   )     int  ->  r12        
 ;* V13 tmp11        [V13    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V14 tmp12        [V14    ] (  0,  0   )    long  ->  zero-ref    "spilling helperCall"
 ;  V15 tmp13        [V15,T10] (  2,  2   )    long  ->  rdi         "argument with side effect"
 ;  V16 cse0         [V16,T06] (  3,  2.50)     int  ->  r14         "CSE #01: aggressive"
 ;  V17 rat0         [V17,T08] (  3,  2.20)    long  ->  rdi         "Spilling to split statement for tree"
 ;  V18 rat1         [V18,T04] (  3,  2.80)    long  ->  rsi         "fgMakeTemp is creating a new local variable"
 ;  V19 rat2         [V19,T09] (  3,  2   )    long  ->  rdi         "runtime lookup"
 ;  V20 rat3         [V20,T05] (  3,  2.80)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 8
 
 G_M40812_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        push     rax
        lea      rbp, [rsp+0x30]
        mov      qword ptr [rbp-0x30], rdi
        mov      rbx, rdi
        mov      r15, rsi
 						;; size=26 bbWeight=1 PerfScore 9.00
 G_M40812_IG02:
        mov      r14d, dword ptr [rbx+0x10]
        test     r14d, r14d
        jne      SHORT G_M40812_IG05
 						;; size=9 bbWeight=1 PerfScore 3.25
 G_M40812_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M40812_IG04:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.25 PerfScore 1.06
 G_M40812_IG05:
        mov      rdi, qword ptr [rbx]
        mov      rsi, qword ptr [rdi+0x30]
        mov      rsi, qword ptr [rsi]
        mov      rsi, qword ptr [rsi+0x18]
        test     rsi, rsi
        je       SHORT G_M40812_IG10
 						;; size=19 bbWeight=0.50 PerfScore 4.62
 G_M40812_IG06:
        mov      r13, gword ptr [rbx+0x08]
        dec      r14d
        test     r13, r13
        je       G_M40812_IG11
        xor      r12d, r12d
        lea      edi, [r14+0x01]
        cmp      dword ptr [r13+0x08], 0
        cmovne   r12d, edi
        mov      rdi, qword ptr [rsi+0x18]
        mov      rdi, qword ptr [rdi+0x10]
        test     rdi, rdi
        je       SHORT G_M40812_IG09
 						;; size=45 bbWeight=0.50 PerfScore 6.38
 G_M40812_IG07:
        mov      rsi, r13
        mov      rdx, r15
        mov      ecx, r14d
        mov      r8d, r12d
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[System.__Canon](System.__Canon[],System.__Canon,int,int):int
        call     [rax]System.Array:LastIndexOf[System.__Canon](System.__Canon[],System.__Canon,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=33 bbWeight=0.50 PerfScore 2.88
+       not      eax
+       shr      eax, 31
+						;; size=29 bbWeight=0.50 PerfScore 2.50
 G_M40812_IG08:
        add      rsp, 8
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M40812_IG09:
        mov      rdi, rsi
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_METHOD
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_METHOD
        mov      rdi, rax
        jmp      SHORT G_M40812_IG07
 						;; size=30 bbWeight=0.10 PerfScore 0.60
 G_M40812_IG10:
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_CLASS
        call     [rax]CORINFO_HELP_RUNTIMEHANDLE_CLASS
        mov      rsi, rax
        jmp      G_M40812_IG06
 						;; size=30 bbWeight=0.10 PerfScore 0.58
 G_M40812_IG11:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 242, prolog size 20, PerfScore 30.55, instruction count 73, allocated bytes for code 242 (MethodHash=2d616093) for method System.Collections.Generic.Stack`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
+; Total bytes of code 238, prolog size 20, PerfScore 30.17, instruction count 72, allocated bytes for code 238 (MethodHash=2d616093) for method System.Collections.Generic.Stack`1[System.__Canon]:Contains(System.__Canon):bool:this (FullOpts)
 ; ============================================================

-4 (-3.85 % of base) - System.Collections.Generic.Stack`1[System.Nullable`1[int]]:Contains(System.Nullable`1[int]):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[System.Nullable`1[int]]:Contains(System.Nullable`1[int]):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[System.Nullable`1[int]]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] single-def <System.Nullable`1[int]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T01] (  4,  4   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Nullable`1[int][]>
 ;  V04 tmp2         [V04,T03] (  3,  3   )     int  ->  rcx         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V06 tmp4         [V06    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )  struct ( 8) zero-ref    <System.Nullable`1[int]>
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T07] (  2,  1   )     int  ->  rax        
 ;* V12 tmp10        [V12    ] (  0,  0   )   ubyte  ->  zero-ref    "field V06.hasValue (fldOffset=0x0)" P-INDEP
 ;* V13 tmp11        [V13    ] (  0,  0   )     int  ->  zero-ref    "field V06.value (fldOffset=0x4)" P-INDEP
 ;* V14 tmp12        [V14    ] (  0,  0   )   ubyte  ->  zero-ref    "field V09.hasValue (fldOffset=0x0)" P-INDEP
 ;* V15 tmp13        [V15    ] (  0,  0   )     int  ->  zero-ref    "field V09.value (fldOffset=0x4)" P-INDEP
 ;  V16 tmp14        [V16,T05] (  2,  1.50)   ubyte  ->  rdx         "V01.[000..001)"
 ;  V17 tmp15        [V17,T06] (  2,  1.50)     int  ->  rsi         "V01.[004..008)"
 ;  V18 cse0         [V18,T04] (  3,  2.50)     int  ->  rcx         "CSE #01: aggressive"
 ;  V19 rat0         [V19,T02] (  4,  4   )    long  ->  rsi         "V01.rsi"
 ;
 ; Lcl frame size = 0
 
 G_M52204_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M52204_IG02:
        movzx    rdx, sil
        shr      rsi, 32
        mov      ecx, dword ptr [rdi+0x10]
        test     ecx, ecx
        jne      SHORT G_M52204_IG05
 						;; size=15 bbWeight=1 PerfScore 4.00
 G_M52204_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M52204_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M52204_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      ecx
        test     rdi, rdi
        je       SHORT G_M52204_IG07
        xor      eax, eax
        lea      r8d, [rcx+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   eax, r8d
        mov      esi, esi
        shl      rsi, 32
        mov      edx, edx
        or       rsi, rdx
        mov      edx, ecx
        mov      ecx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[System.Nullable`1[int]](System.Nullable`1[int][],System.Nullable`1[int],int,int):int
        call     [rax]System.Array:LastIndexOf[System.Nullable`1[int]](System.Nullable`1[int][],System.Nullable`1[int],int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=61 bbWeight=0.50 PerfScore 7.00
+       not      eax
+       shr      eax, 31
+						;; size=57 bbWeight=0.50 PerfScore 6.62
 G_M52204_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M52204_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 104, prolog size 4, PerfScore 13.44, instruction count 35, allocated bytes for code 104 (MethodHash=c4653413) for method System.Collections.Generic.Stack`1[System.Nullable`1[int]]:Contains(System.Nullable`1[int]):bool:this (FullOpts)
+; Total bytes of code 100, prolog size 4, PerfScore 13.06, instruction count 34, allocated bytes for code 100 (MethodHash=c4653413) for method System.Collections.Generic.Stack`1[System.Nullable`1[int]]:Contains(System.Nullable`1[int]):bool:this (FullOpts)
 ; ============================================================

-4 (-3.88 % of base) - System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]:Contains(System.Numerics.Vector`1[float]):bool:this

 ; Assembly listing for method System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]:Contains(System.Numerics.Vector`1[float]):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] (  4,  3.50)     ref  ->  rdi         this class-hnd single-def <System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]>
 ;  V01 arg1         [V01,T05] (  1,  0.50)  simd32  ->  [rbp+0x10]  single-def <System.Numerics.Vector`1[float]>
 ;  V02 OutArgs      [V02    ] (  1,  1   )  struct (32) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <UNNAMED>
 ;  V03 tmp1         [V03,T01] (  4,  4   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Numerics.Vector`1[float][]>
 ;  V04 tmp2         [V04,T02] (  3,  3   )     int  ->  rsi         "Inlining Arg"
 ;* V05 tmp3         [V05    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V06 tmp4         [V06    ] (  0,  0   )  simd32  ->  zero-ref   
 ;* V07 tmp5         [V07    ] (  0,  0   )     int  ->  zero-ref   
 ;* V08 tmp6         [V08    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V09 tmp7         [V09    ] (  0,  0   )  simd32  ->  zero-ref   
 ;* V10 tmp8         [V10    ] (  0,  0   )     int  ->  zero-ref   
 ;  V11 tmp9         [V11,T04] (  2,  1   )     int  ->  rdx        
 ;  V12 cse0         [V12,T03] (  3,  2.50)     int  ->  rsi         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 32
 
 G_M11244_IG01:
        push     rbp
        sub      rsp, 32
        lea      rbp, [rsp+0x20]
 						;; size=10 bbWeight=1 PerfScore 1.75
 G_M11244_IG02:
        mov      esi, dword ptr [rdi+0x10]
        test     esi, esi
        jne      SHORT G_M11244_IG05
 						;; size=7 bbWeight=1 PerfScore 3.25
 G_M11244_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M11244_IG04:
        add      rsp, 32
        pop      rbp
        ret      
 						;; size=6 bbWeight=0.25 PerfScore 0.44
 G_M11244_IG05:
        mov      rdi, gword ptr [rdi+0x08]
        dec      esi
        test     rdi, rdi
        je       SHORT G_M11244_IG07
        xor      edx, edx
        lea      eax, [rsi+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   edx, eax
        vmovups  ymm0, ymmword ptr [rbp+0x10]
        vmovups  ymmword ptr [rsp], ymm0
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[System.Numerics.Vector`1[float]](System.Numerics.Vector`1[float][],System.Numerics.Vector`1[float],int,int):int
        call     [rax]System.Array:LastIndexOf[System.Numerics.Vector`1[float]](System.Numerics.Vector`1[float][],System.Numerics.Vector`1[float],int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=54 bbWeight=0.50 PerfScore 8.62
+       not      eax
+       shr      eax, 31
+						;; size=50 bbWeight=0.50 PerfScore 8.25
 G_M11244_IG06:
        add      rsp, 32
        pop      rbp
        ret      
 						;; size=6 bbWeight=0.50 PerfScore 0.88
 G_M11244_IG07:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 103, prolog size 10, PerfScore 15.00, instruction count 32, allocated bytes for code 103 (MethodHash=ca20d413) for method System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]:Contains(System.Numerics.Vector`1[float]):bool:this (FullOpts)
+; Total bytes of code 99, prolog size 10, PerfScore 14.62, instruction count 31, allocated bytes for code 99 (MethodHash=ca20d413) for method System.Collections.Generic.Stack`1[System.Numerics.Vector`1[float]]:Contains(System.Numerics.Vector`1[float]):bool:this (FullOpts)
 ; ============================================================

-4 (-6.78 % of base) - System.IO.Packaging.ContentType:IsLinearWhiteSpaceChar(char):bool

 ; Assembly listing for method System.IO.Packaging.ContentType:IsLinearWhiteSpaceChar(char):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 0 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T00] (  3,  3   )  ushort  ->  rdi         single-def
 ;# V01 OutArgs      [V01    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V02 tmp1         [V02,T02] (  2,  2   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <char[]>
 ;  V03 cse0         [V03,T01] (  3,  2.50)     int  ->  rsi         "CSE #01: aggressive"
 ;
 ; Lcl frame size = 0
 
 G_M64114_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M64114_IG02:
        movzx    rsi, di
        cmp      esi, 32
        jle      SHORT G_M64114_IG05
 						;; size=8 bbWeight=1 PerfScore 1.50
 G_M64114_IG03:
        xor      eax, eax
 						;; size=2 bbWeight=0.25 PerfScore 0.06
 G_M64114_IG04:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.25 PerfScore 0.38
 G_M64114_IG05:
        mov      rcx, 0xD1FFAB1E      ; const ptr
        mov      rdi, gword ptr [rcx]
        mov      ecx, 4
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Array:IndexOf[char](char[],char,int,int):int
        call     [rax]System.Array:IndexOf[char](char[],char,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=41 bbWeight=0.50 PerfScore 3.75
+       not      eax
+       shr      eax, 31
+						;; size=37 bbWeight=0.50 PerfScore 3.38
 G_M64114_IG06:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 
-; Total bytes of code 59, prolog size 4, PerfScore 7.69, instruction count 19, allocated bytes for code 59 (MethodHash=7033058d) for method System.IO.Packaging.ContentType:IsLinearWhiteSpaceChar(char):bool (FullOpts)
+; Total bytes of code 55, prolog size 4, PerfScore 7.31, instruction count 18, allocated bytes for code 55 (MethodHash=7033058d) for method System.IO.Packaging.ContentType:IsLinearWhiteSpaceChar(char):bool (FullOpts)
 ; ============================================================

-4 (-4.35 % of base) - System.Text.Json.Serialization.IgnoreReferenceResolver:ContainsReferenceForCycleDetection(System.Object):bool:this

 ; Assembly listing for method System.Text.Json.Serialization.IgnoreReferenceResolver:ContainsReferenceForCycleDetection(System.Object):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 2 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  3,  3   )     ref  ->  rdi         this class-hnd single-def <System.Text.Json.Serialization.IgnoreReferenceResolver>
 ;  V01 arg1         [V01,T02] (  3,  2.50)     ref  ->  rsi         class-hnd single-def <System.Object>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T00] (  4,  6   )     ref  ->  rdi         class-hnd single-def "dup spill" <System.Collections.Generic.Stack`1[System.Text.Json.Serialization.ReferenceEqualsWrapper]>
 ;* V04 tmp2         [V04    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V05 tmp3         [V05    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "NewObj constructor temp" <System.Text.Json.Serialization.ReferenceEqualsWrapper>
 ;  V06 tmp4         [V06,T05] (  3,  1.50)   ubyte  ->  rax         "Inline return value spill temp"
 ;* V07 tmp5         [V07    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Collections.Generic.Stack`1[System.Text.Json.Serialization.ReferenceEqualsWrapper]>
 ;* V08 tmp6         [V08    ] (  0,  0   )  struct ( 8) zero-ref    "Inlining Arg" <System.Text.Json.Serialization.ReferenceEqualsWrapper>
 ;  V09 tmp7         [V09,T03] (  4,  4   )     ref  ->  rdi         class-hnd exact single-def "Inlining Arg" <System.Text.Json.Serialization.ReferenceEqualsWrapper[]>
 ;  V10 tmp8         [V10,T04] (  3,  3   )     int  ->  rdx         "Inlining Arg"
 ;* V11 tmp9         [V11    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V12 tmp10        [V12    ] (  0,  0   )  struct ( 8) zero-ref    <System.Text.Json.Serialization.ReferenceEqualsWrapper>
 ;* V13 tmp11        [V13    ] (  0,  0   )     int  ->  zero-ref   
 ;* V14 tmp12        [V14    ] (  0,  0   )     ref  ->  zero-ref    single-def
 ;* V15 tmp13        [V15    ] (  0,  0   )  struct ( 8) zero-ref    <System.Text.Json.Serialization.ReferenceEqualsWrapper>
 ;* V16 tmp14        [V16    ] (  0,  0   )     int  ->  zero-ref   
 ;  V17 tmp15        [V17,T07] (  2,  1   )     int  ->  rcx        
 ;* V18 tmp16        [V18    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V05._object (fldOffset=0x0)" P-INDEP
 ;* V19 tmp17        [V19    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V08._object (fldOffset=0x0)" P-INDEP
 ;* V20 tmp18        [V20    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V12._object (fldOffset=0x0)" P-INDEP
 ;* V21 tmp19        [V21    ] (  0,  0   )     ref  ->  zero-ref    single-def "field V15._object (fldOffset=0x0)" P-INDEP
 ;  V22 cse0         [V22,T06] (  3,  1.50)     int  ->  rdx         "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M2816_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M2816_IG02:
        mov      rdi, gword ptr [rdi+0x08]
        test     rdi, rdi
        je       SHORT G_M2816_IG06
 						;; size=9 bbWeight=1 PerfScore 3.25
 G_M2816_IG03:
        mov      edx, dword ptr [rdi+0x10]
        test     edx, edx
        jne      SHORT G_M2816_IG04
        xor      eax, eax
        jmp      SHORT G_M2816_IG05
 						;; size=11 bbWeight=0.50 PerfScore 2.75
 G_M2816_IG04:
        mov      rdi, gword ptr [rdi+0x08]
        dec      edx
        test     rdi, rdi
        je       SHORT G_M2816_IG08
        xor      ecx, ecx
        lea      eax, [rdx+0x01]
        cmp      dword ptr [rdi+0x08], 0
        cmovne   ecx, eax
        mov      rax, 0xD1FFAB1E      ; code for System.Array:LastIndexOf[System.Text.Json.Serialization.ReferenceEqualsWrapper](System.Text.Json.Serialization.ReferenceEqualsWrapper[],System.Text.Json.Serialization.ReferenceEqualsWrapper,int,int):int
        call     [rax]System.Array:LastIndexOf[System.Text.Json.Serialization.ReferenceEqualsWrapper](System.Text.Json.Serialization.ReferenceEqualsWrapper[],System.Text.Json.Serialization.ReferenceEqualsWrapper,int,int):int
-       cmp      eax, -1
-       setne    al
-       movzx    rax, al
-						;; size=44 bbWeight=0.50 PerfScore 6.12
+       not      eax
+       shr      eax, 31
+						;; size=40 bbWeight=0.50 PerfScore 5.75
 G_M2816_IG05:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M2816_IG06:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M2816_IG07:
        pop      rbp
        ret      
 						;; size=2 bbWeight=0.50 PerfScore 0.75
 G_M2816_IG08:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 92, prolog size 4, PerfScore 15.00, instruction count 32, allocated bytes for code 92 (MethodHash=db50f4ff) for method System.Text.Json.Serialization.IgnoreReferenceResolver:ContainsReferenceForCycleDetection(System.Object):bool:this (FullOpts)
+; Total bytes of code 88, prolog size 4, PerfScore 14.62, instruction count 31, allocated bytes for code 88 (MethodHash=db50f4ff) for method System.Text.Json.Serialization.IgnoreReferenceResolver:ContainsReferenceForCycleDetection(System.Object):bool:this (FullOpts)
 ; ============================================================

-2 (-0.39 % of base) - System.Net.WebProxy:IsLocal(System.Uri):bool

 ; Assembly listing for method System.Net.WebProxy:IsLocal(System.Uri):bool (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 19 single block inlinees; 6 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 arg0         [V00,T00] (  4,  3.50)     ref  ->  rbx         class-hnd single-def <System.Uri>
 ;  V01 loc0         [V01,T01] (  8,  4   )     ref  ->  rbx         class-hnd exact single-def <System.String>
 ;  V02 loc1         [V02,T16] (  3,  1.50)     ref  ->  r15         ld-addr-op class-hnd <System.Net.IPAddress>
 ;* V03 loc2         [V03    ] (  0,  0   )     int  ->  zero-ref   
 ;* V04 loc3         [V04    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def <System.String>
 ;# V05 OutArgs      [V05    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V06 tmp1         [V06,T08] (  2,  2   )     ref  ->  rdi         class-hnd exact single-def "dup spill" <System.String>
 ;  V07 tmp2         [V07,T06] (  5,  2.50)     ref  ->  rdi        
 ;  V08 tmp3         [V08,T03] (  3,  3   )     ref  ->  r14         class-hnd exact single-def "dup spill" <System.String>
 ;  V09 tmp4         [V09,T09] (  2,  2   )     ref  ->  rsi         class-hnd single-def "dup spill" <System.Net.IPAddress[]>
 ;  V10 tmp5         [V10,T02] (  6,  3   )     ref  ->  rsi        
 ;  V11 tmp6         [V11,T04] (  3,  3   )     ref  ->  rbx         class-hnd single-def "dup spill" <System.Net.IPAddress[]>
 ;* V12 tmp7         [V12    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V13 tmp8         [V13    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[char]>
 ;* V14 tmp9         [V14    ] (  0,  0   )  struct (16) zero-ref    "Inline return value spill temp" <System.ReadOnlySpan`1[char]>
 ;* V15 tmp10        [V15    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[char]>
 ;* V16 tmp11        [V16    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inline ldloca(s) first use temp" <System.ReadOnlySpan`1[char]>
 ;  V17 tmp12        [V17,T10] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
 ;  V18 tmp13        [V18,T14] (  2,  2   )     int  ->  rsi         "Inlining Arg"
 ;* V19 tmp14        [V19    ] (  0,  0   )     ref  ->  zero-ref    class-hnd exact "Inlining Arg" <System.String>
 ;* V20 tmp15        [V20    ] (  0,  0   )     ref  ->  zero-ref    class-hnd "Inlining Arg" <System.Net.IPHostEntry>
 ;* V21 tmp16        [V21    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Net.IPAddress[]>
 ;* V22 tmp17        [V22    ] (  0,  0   )     ref  ->  zero-ref    class-hnd single-def "Inlining Arg" <System.Net.IPAddress>
 ;  V23 tmp18        [V23,T11] (  2,  2   )   byref  ->  rdi         single-def "Inlining Arg"
 ;  V24 tmp19        [V24,T15] (  2,  2   )     int  ->  rdx         "Inlining Arg"
 ;  V25 tmp20        [V25,T07] (  4,  2   )     int  ->  r15         "Inline return value spill temp"
 ;* V26 tmp21        [V26    ] (  0,  0   )    long  ->  zero-ref    class-hnd exact "NewObj constructor temp" <System.Net.NetworkInformation.LinuxIPGlobalProperties>
 ;* V27 tmp22        [V27    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] "stack allocated System.Net.NetworkInformation.LinuxIPGlobalProperties" <System.Net.NetworkInformation.LinuxIPGlobalProperties>
 ;  V28 tmp23        [V28,T05] (  3,  3   )     int  ->  rbx         "Single return block return value"
 ;* V29 tmp24        [V29    ] (  0,  0   )   byref  ->  zero-ref    "field V13._reference (fldOffset=0x0)" P-INDEP
 ;* V30 tmp25        [V30    ] (  0,  0   )     int  ->  zero-ref    "field V13._length (fldOffset=0x8)" P-INDEP
 ;* V31 tmp26        [V31    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V14._reference (fldOffset=0x0)" P-INDEP
 ;* V32 tmp27        [V32    ] (  0,  0   )     int  ->  zero-ref    "field V14._length (fldOffset=0x8)" P-INDEP
 ;* V33 tmp28        [V33    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V15._reference (fldOffset=0x0)" P-INDEP
 ;* V34 tmp29        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V15._length (fldOffset=0x8)" P-INDEP
 ;* V35 tmp30        [V35    ] (  0,  0   )   byref  ->  zero-ref    "field V16._reference (fldOffset=0x0)" P-INDEP
 ;* V36 tmp31        [V36    ] (  0,  0   )     int  ->  zero-ref    "field V16._length (fldOffset=0x8)" P-INDEP
 ;  V37 tmp32        [V37,T12] (  2,  2   )     ref  ->  rsi         single-def "argument with side effect"
 ;  V38 tmp33        [V38,T13] (  2,  2   )     ref  ->  rdi         single-def "argument with side effect"
 ;  V39 cse0         [V39,T17] (  3,  1.50)     int  ->   r8         "CSE #06: moderate"
 ;
 ; Lcl frame size = 8
 
 G_M63265_IG01:
        push     rbp
        push     r15
        push     r14
        push     rbx
        push     rax
        lea      rbp, [rsp+0x20]
        mov      rbx, rdi
 						;; size=15 bbWeight=1 PerfScore 5.75
 G_M63265_IG02:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.Uri:get_IsLoopback():bool:this
        cmp      dword ptr [rdi], edi
        call     [rax]System.Uri:get_IsLoopback():bool:this
        test     eax, eax
        jne      G_M63265_IG13
 						;; size=25 bbWeight=1 PerfScore 7.75
 G_M63265_IG03:
        mov      rdi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.Uri:get_Host():System.String:this
        call     [rax]System.Uri:get_Host():System.String:this
        mov      rbx, rax
        test     rbx, rbx
        je       G_M63265_IG06
        lea      rdi, bword ptr [rbx+0x0C]
        mov      esi, dword ptr [rbx+0x08]
        mov      edx, 1
        mov      rax, 0xD1FFAB1E      ; code for System.Net.IPAddressParser:Parse[char](System.ReadOnlySpan`1[char],bool):System.Net.IPAddress
        call     [rax]System.Net.IPAddressParser:Parse[char](System.ReadOnlySpan`1[char],bool):System.Net.IPAddress
        mov      r15, rax
        test     r15, r15
        je       G_M63265_IG06
        mov      rax, 0xD1FFAB1E      ; data for System.Net.WebProxy:s_networkChangeRegistered
        cmp      byte  ptr [rax], 0
        jne      SHORT G_M63265_IG04
        mov      rax, 0xD1FFAB1E      ; code for System.Net.WebProxy:<EnsureNetworkChangeRegistration>g__Register|46_0()
        call     [rax]System.Net.WebProxy:<EnsureNetworkChangeRegistration>g__Register|46_0()
 						;; size=90 bbWeight=0.50 PerfScore 10.00
 G_M63265_IG04:
        mov      rax, 0xD1FFAB1E      ; data for System.Net.WebProxy:s_localAddresses
        mov      rsi, gword ptr [rax]
        test     rsi, rsi
        jne      SHORT G_M63265_IG05
        mov      rax, 0xD1FFAB1E      ; code for System.Net.Dns:GetHostName():System.String
        call     [rax]System.Net.Dns:GetHostName():System.String
        mov      rdi, rax
        xor      esi, esi
        mov      rax, 0xD1FFAB1E      ; code for System.Net.Dns:GetHostEntry(System.String,int):System.Net.IPHostEntry
        call     [rax]System.Net.Dns:GetHostEntry(System.String,int):System.Net.IPHostEntry
        mov      rbx, gword ptr [rax+0x18]
        mov      rdi, 0xD1FFAB1E      ; data for System.Net.WebProxy:s_localAddresses
        mov      rsi, rbx
        call     CORINFO_HELP_ASSIGN_REF
        mov      rsi, rbx
 						;; size=72 bbWeight=0.50 PerfScore 7.12
 G_M63265_IG05:
        test     rsi, rsi
        je       G_M63265_IG15
        mov      r8d, dword ptr [rsi+0x08]
        mov      rdx, r15
        mov      rdi, 0xD1FFAB1E      ; System.Array:IndexOf[System.Net.IPAddress](System.Net.IPAddress[],System.Net.IPAddress,int,int):int
        xor      ecx, ecx
        mov      rax, 0xD1FFAB1E      ; code for System.Array:IndexOf[System.__Canon](System.__Canon[],System.__Canon,int,int):int
        call     [rax]System.Array:IndexOf[System.__Canon](System.__Canon[],System.__Canon,int,int):int
-       cmp      eax, -1
-       setne    bl
-       movzx    rbx, bl
+       mov      ebx, eax
+       not      ebx
+       shr      ebx, 31
        jmp      G_M63265_IG11
-						;; size=54 bbWeight=0.50 PerfScore 5.38
+						;; size=52 bbWeight=0.50 PerfScore 5.12
 G_M63265_IG06:
        lea      rdi, bword ptr [rbx+0x0C]
        mov      edx, dword ptr [rbx+0x08]
        mov      esi, 46
        mov      rax, 0xD1FFAB1E      ; code for System.PackedSpanHelpers:IndexOf[System.SpanHelpers+DontNegate`1[short],System.PackedSpanHelpers+NopTransform](byref,short,int):int
        call     [rax]System.PackedSpanHelpers:IndexOf[System.SpanHelpers+DontNegate`1[short],System.PackedSpanHelpers+NopTransform](byref,short,int):int
        mov      r15d, eax
        cmp      r15d, -1
        je       G_M63265_IG13
        mov      rax, 0xD1FFAB1E      ; data for System.Net.WebProxy:s_networkChangeRegistered
        cmp      byte  ptr [rax], 0
        jne      SHORT G_M63265_IG07
        mov      rax, 0xD1FFAB1E      ; code for System.Net.WebProxy:<EnsureNetworkChangeRegistration>g__Register|46_0()
        call     [rax]System.Net.WebProxy:<EnsureNetworkChangeRegistration>g__Register|46_0()
 						;; size=64 bbWeight=0.50 PerfScore 7.50
 G_M63265_IG07:
        mov      rax, 0xD1FFAB1E      ; data for System.Net.WebProxy:s_domainName
        mov      rdi, gword ptr [rax]
        test     rdi, rdi
        jne      SHORT G_M63265_IG08
        mov      rax, 0xD1FFAB1E      ; code for Interop+Sys:GetDomainName():System.String
        call     [rax]Interop+Sys:GetDomainName():System.String
        mov      rsi, rax
        mov      rdi, 0xD1FFAB1E      ; '.'
        mov      rax, 0xD1FFAB1E      ; code for System.String:Concat(System.String,System.String):System.String
        call     [rax]System.String:Concat(System.String,System.String):System.String
        mov      r14, rax
        mov      rdi, 0xD1FFAB1E      ; data for System.Net.WebProxy:s_domainName
        mov      rsi, r14
        call     CORINFO_HELP_ASSIGN_REF
        mov      rdi, r14
 						;; size=79 bbWeight=0.50 PerfScore 6.25
 G_M63265_IG08:
        mov      r8d, dword ptr [rdi+0x08]
        mov      eax, dword ptr [rbx+0x08]
        sub      eax, r15d
        cmp      r8d, eax
        je       SHORT G_M63265_IG10
        xor      eax, eax
 						;; size=17 bbWeight=0.50 PerfScore 2.88
 G_M63265_IG09:
        add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M63265_IG10:
        mov      rdx, rbx
        mov      ecx, r15d
        xor      esi, esi
        mov      r9d, 5
        mov      rax, 0xD1FFAB1E      ; code for System.String:Compare(System.String,int,System.String,int,int,int):int
        call     [rax]System.String:Compare(System.String,int,System.String,int,int,int):int
        test     eax, eax
        sete     bl
        movzx    rbx, bl
 						;; size=34 bbWeight=0.50 PerfScore 2.88
 G_M63265_IG11:
        movzx    rax, bl
 						;; size=3 bbWeight=0.50 PerfScore 0.12
 G_M63265_IG12:
        add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M63265_IG13:
        mov      eax, 1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M63265_IG14:
        add      rsp, 8
        pop      rbx
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=11 bbWeight=0.50 PerfScore 1.62
 G_M63265_IG15:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 509, prolog size 12, PerfScore 60.62, instruction count 126, allocated bytes for code 509 (MethodHash=087708de) for method System.Net.WebProxy:IsLocal(System.Uri):bool (FullOpts)
+; Total bytes of code 507, prolog size 12, PerfScore 60.38, instruction count 126, allocated bytes for code 507 (MethodHash=087708de) for method System.Net.WebProxy:IsLocal(System.Uri):bool (FullOpts)
 ; ============================================================

-1 (-0.41 % of base) - System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this

 ; Assembly listing for method System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this (FullOpts)
 ; Emitting BLENDED_CODE for generic X64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; partially interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 1 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T01] (  4,  3   )   byref  ->  r15         this single-def
 ;  V01 arg1         [V01,T00] (  6,  5   )     ref  ->  rbx         class-hnd single-def <int[]>
 ;# V02 OutArgs      [V02    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V03 tmp1         [V03,T05] (  2,  0   )     ref  ->  r14         class-hnd exact single-def "non-inline candidate call" <System.String>
 ;  V04 tmp2         [V04,T03] (  3,  0   )     ref  ->  r13         class-hnd exact single-def "Single-def Box Helper" <System.Runtime.InteropServices.VarEnum>
 ;  V05 tmp3         [V05,T04] (  3,  0   )     ref  ->  r15         class-hnd exact single-def "NewObj constructor temp" <System.InvalidOperationException>
 ;  V06 tmp4         [V06,T02] (  2,  4   )     int  ->  rsi         "Inlining Arg"
 ;  V07 tmp5         [V07,T06] (  2,  0   )     ref  ->  rdi         single-def "argument with side effect"
 ;  V08 tmp6         [V08,T07] (  2,  0   )     ref  ->  rdx         single-def "argument with side effect"
 ;  V09 tmp7         [V09,T08] (  2,  0   )     ref  ->  rsi         single-def "argument with side effect"
 ;
 ; Lcl frame size = 0
 
 G_M7303_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     rbx
        lea      rbp, [rsp+0x20]
        mov      r15, rdi
        mov      rbx, rsi
 						;; size=19 bbWeight=1 PerfScore 6.00
 G_M7303_IG02:
        movzx    rsi, word  ptr [r15]
        test     rbx, rbx
        je       SHORT G_M7303_IG04
        mov      ecx, dword ptr [rbx+0x08]
        mov      rdi, rbx
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Array:IndexOf[int](int[],int,int,int):int
        call     [rax]System.Array:IndexOf[int](int[],int,int,int):int
-       cmp      eax, -1
-       je       SHORT G_M7303_IG05
-						;; size=34 bbWeight=1 PerfScore 10.25
+       test     eax, eax
+       jl       SHORT G_M7303_IG05
+						;; size=33 bbWeight=1 PerfScore 10.25
 G_M7303_IG03:
        pop      rbx
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=9 bbWeight=1 PerfScore 3.50
 G_M7303_IG04:
        mov      edi, 2
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentNullException(int)
        call     [rax]System.ThrowHelper:ThrowArgumentNullException(int)
        int3     
 						;; size=18 bbWeight=0 PerfScore 0.00
 G_M7303_IG05:
        mov      rax, 0xD1FFAB1E      ; code for System.SR:get_ComVariant_TypeIsNotSupportedType():System.String
        call     [rax]System.SR:get_ComVariant_TypeIsNotSupportedType():System.String
        mov      r14, rax
        mov      rdi, 0xD1FFAB1E      ; System.Runtime.InteropServices.VarEnum
        call     CORINFO_HELP_NEWSFAST
        mov      r13, rax
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Runtime.InteropServices.Marshalling.ComVariant:get_VarType():int:this
        call     [rax]System.Runtime.InteropServices.Marshalling.ComVariant:get_VarType():int:this
        mov      dword ptr [r13+0x08], eax
        mov      rdi, 0xD1FFAB1E      ; System.InvalidOperationException
        call     CORINFO_HELP_NEWSFAST
        mov      r15, rax
        mov      edi, 0x267F
        mov      rsi, 0xD1FFAB1E
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_STRCNS
        call     [rax]CORINFO_HELP_STRCNS
        mov      rdi, rax
        mov      rsi, rbx
        mov      rax, 0xD1FFAB1E      ; code for System.String:Join[int](System.String,System.Collections.Generic.IEnumerable`1[int]):System.String
        call     [rax]System.String:Join[int](System.String,System.Collections.Generic.IEnumerable`1[int]):System.String
        mov      rdx, rax
        mov      rsi, r13
        mov      rdi, r14
        mov      rax, 0xD1FFAB1E      ; code for System.SR:Format(System.String,System.Object,System.Object):System.String
        call     [rax]System.SR:Format(System.String,System.Object,System.Object):System.String
        mov      rsi, rax
        mov      rdi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.InvalidOperationException:.ctor(System.String):this
        call     [rax]System.InvalidOperationException:.ctor(System.String):this
        mov      rdi, r15
        call     CORINFO_HELP_THROW
        int3     
 						;; size=163 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 243, prolog size 13, PerfScore 19.75, instruction count 61, allocated bytes for code 243 (MethodHash=c806e378) for method System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this (FullOpts)
+; Total bytes of code 242, prolog size 13, PerfScore 19.75, instruction count 61, allocated bytes for code 242 (MethodHash=c806e378) for method System.Runtime.InteropServices.Marshalling.ComVariant:ThrowIfNotVarType(int[]):this (FullOpts)
 ; ============================================================

Note: some changes were skipped as they were too large to fit into a comment.

Larger list of diffs: https://gist.github.com/MihuBot/502155f8676d26a8f5eba5f16d98d6e9

[MihuBot]

@xtqqczze