[JitDiff X64] [danmoseley] Improve HashSet<T> performance by enabling JIT bo ...

[MihuBot]

Job completed in 16 minutes 3 seconds (remote runner delay: 1 minute 20 seconds).
dotnet/runtime#125893

Main commit: dotnet/runtime@ebb0dea
PR commit: danmoseley/runtime@1b6d9f9

Diffs

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 45408075
Total bytes of diff: 45407773
Total bytes of delta: -302 (-0.00 % of base)
Total relative delta: -0.54
    diff is an improvement.
    relative diff is an improvement.


Top file improvements (bytes):
        -302 : System.Private.CoreLib.dasm (-0.00 % of base)

1 total files with Code Size differences (1 improved, 0 regressed), 259 unchanged.

Top method regressions (bytes):
           2 (0.38 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:FindItemIndex(System.Nullable`1[int]):int:this (FullOpts)
           2 (0.33 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)

Top method improvements (bytes):
         -20 (-2.41 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[double]:AddIfNotPresent(double,byref):bool:this (FullOpts)
         -20 (-2.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.__Canon]:AddIfNotPresent(System.__Canon,byref):bool:this (FullOpts)
         -16 (-2.90 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -15 (-2.72 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[double,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -15 (-2.59 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Numerics.Vector`1[float],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -14 (-1.83 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Numerics.Vector`1[float]]:AddIfNotPresent(System.Numerics.Vector`1[float],byref):bool:this (FullOpts)
         -13 (-2.37 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[byte,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -13 (-2.38 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[int,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -13 (-2.38 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[long,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -13 (-2.37 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[short,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -12 (-1.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[byte]:AddIfNotPresent(byte,byref):bool:this (FullOpts)
         -12 (-1.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[short]:AddIfNotPresent(short,byref):bool:this (FullOpts)
         -11 (-2.79 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[int]:Remove(int):bool:this (FullOpts)
         -11 (-2.74 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[long]:Remove(long):bool:this (FullOpts)
         -11 (-1.42 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -10 (-1.46 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[int]:AddIfNotPresent(int,byref):bool:this (FullOpts)
         -10 (-2.13 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Numerics.Vector`1[float],System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -7 (-1.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[byte]:Remove(byte):bool:this (FullOpts)
          -7 (-1.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[short]:Remove(short):bool:this (FullOpts)
          -7 (-0.83 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:AddIfNotPresent(System.Nullable`1[int],byref):bool:this (FullOpts)
          -7 (-1.43 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Numerics.Vector`1[float]]:FindItemIndex(System.Numerics.Vector`1[float]):int:this (FullOpts)
          -4 (-0.95 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[byte]:FindItemIndex(byte):int:this (FullOpts)
          -4 (-0.80 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[double]:Remove(double):bool:this (FullOpts)
          -4 (-0.58 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[long]:AddIfNotPresent(long,byref):bool:this (FullOpts)
          -4 (-0.95 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[short]:FindItemIndex(short):int:this (FullOpts)
          -4 (-1.09 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.__Canon]:FindItemIndex(System.__Canon):int:this (FullOpts)
          -4 (-0.85 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Numerics.Vector`1[float]]:Remove(System.Numerics.Vector`1[float]):bool:this (FullOpts)
          -3 (-0.61 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[double]:FindItemIndex(double):int:this (FullOpts)
          -3 (-0.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.__Canon]:Remove(System.__Canon):bool:this (FullOpts)
          -3 (-0.57 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[int]:FindItemIndex(int):int:this (FullOpts)
          -2 (-0.48 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[long]:FindItemIndex(long):int:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[byte,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[double,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[int,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[long,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[short,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)

Top method regressions (percentages):
           2 (0.38 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:FindItemIndex(System.Nullable`1[int]):int:this (FullOpts)
           2 (0.33 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)

Top method improvements (percentages):
         -16 (-2.90 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -11 (-2.79 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[int]:Remove(int):bool:this (FullOpts)
         -11 (-2.74 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[long]:Remove(long):bool:this (FullOpts)
         -15 (-2.72 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[double,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -20 (-2.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.__Canon]:AddIfNotPresent(System.__Canon,byref):bool:this (FullOpts)
         -15 (-2.59 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Numerics.Vector`1[float],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -20 (-2.41 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[double]:AddIfNotPresent(double,byref):bool:this (FullOpts)
         -13 (-2.38 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[int,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -13 (-2.38 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[long,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -13 (-2.37 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[byte,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -13 (-2.37 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[short,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
         -10 (-2.13 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Numerics.Vector`1[float],System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
         -14 (-1.83 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Numerics.Vector`1[float]]:AddIfNotPresent(System.Numerics.Vector`1[float],byref):bool:this (FullOpts)
          -7 (-1.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[byte]:Remove(byte):bool:this (FullOpts)
          -7 (-1.73 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[short]:Remove(short):bool:this (FullOpts)
         -12 (-1.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[byte]:AddIfNotPresent(byte,byref):bool:this (FullOpts)
         -12 (-1.63 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[short]:AddIfNotPresent(short,byref):bool:this (FullOpts)
         -10 (-1.46 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[int]:AddIfNotPresent(int,byref):bool:this (FullOpts)
          -7 (-1.43 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Numerics.Vector`1[float]]:FindItemIndex(System.Numerics.Vector`1[float]):int:this (FullOpts)
         -11 (-1.42 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
          -4 (-1.09 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.__Canon]:FindItemIndex(System.__Canon):int:this (FullOpts)
          -4 (-0.95 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[byte]:FindItemIndex(byte):int:this (FullOpts)
          -4 (-0.95 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[short]:FindItemIndex(short):int:this (FullOpts)
          -4 (-0.85 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Numerics.Vector`1[float]]:Remove(System.Numerics.Vector`1[float]):bool:this (FullOpts)
          -7 (-0.83 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:AddIfNotPresent(System.Nullable`1[int],byref):bool:this (FullOpts)
          -4 (-0.80 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[double]:Remove(double):bool:this (FullOpts)
          -3 (-0.61 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[double]:FindItemIndex(double):int:this (FullOpts)
          -4 (-0.58 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[long]:AddIfNotPresent(long,byref):bool:this (FullOpts)
          -3 (-0.57 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -3 (-0.51 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[System.__Canon]:Remove(System.__Canon):bool:this (FullOpts)
          -2 (-0.50 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[int]:FindItemIndex(int):int:this (FullOpts)
          -2 (-0.48 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1[long]:FindItemIndex(long):int:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[int,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[byte,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[long,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[short,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
          -2 (-0.45 % of base) : System.Private.CoreLib.dasm - System.Collections.Generic.HashSet`1+AlternateLookup`1[double,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)

40 total methods with Code Size differences (38 improved, 2 regressed), 284847 unchanged.

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

Artifacts:

• jit-diffs-pr.zip (155 MB)
• jit-diffs-main.zip (155 MB)
• diff-frameworks.txt (14 KB)
• ShortDiffsRegressions.md (26 KB)
• ShortDiffsImprovements.md (57 KB)
• LongDiffsImprovements.md (283 KB)

[MihuBot]

Top method regressions

2 (0.38 % of base) - System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:FindItemIndex(System.Nullable`1[int]):int:this

 ; Assembly listing for method System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:FindItemIndex(System.Nullable`1[int]):int:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 11 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T08] (  9,  6   )     ref  ->  rbx         this class-hnd single-def <System.Collections.Generic.HashSet`1[System.Nullable`1[int]]>
 ;* V01 arg1         [V01    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] ld-addr-op single-def <System.Nullable`1[int]>
-;  V02 loc0         [V02,T06] (  5, 13   )     ref  ->  r13         class-hnd exact single-def <System.Collections.Generic.HashSet`1+Entry[System.Nullable`1[int]][]>
+;  V02 loc0         [V02,T06] (  5,  9.50)     ref  ->  r13         class-hnd exact single-def <System.Collections.Generic.HashSet`1+Entry[System.Nullable`1[int]][]>
 ;  V03 loc1         [V03,T00] (  7, 24.50)     int  ->  r12        
 ;  V04 loc2         [V04,T15] (  4,  3.50)     ref  ->  [rbp-0x50]  class-hnd spill-single-def <System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]>
 ;  V05 loc3         [V05,T10] (  3,  5   )     int  ->  rax        
-;  V06 loc4         [V06,T02] (  7, 17.50)     int  ->  rcx        
-;  V07 loc5         [V07,T04] (  5, 16   )   byref  ->  rdx        
+;  V06 loc4         [V06,T04] (  6, 13.50)     int  ->  rcx        
+;  V07 loc5         [V07,T02] (  5, 16   )   byref  ->  rdx        
 ;  V08 loc6         [V08,T11] (  3,  5   )     int  ->  [rbp-0x2C]  spill-single-def
-;  V09 loc7         [V09,T03] (  7, 17.50)     int  ->  rbx        
-;  V10 loc8         [V10,T05] (  4, 14   )   byref  ->  [rbp-0x58]  spill-single-def
+;  V09 loc7         [V09,T05] (  6, 13.50)     int  ->  rbx        
+;  V10 loc8         [V10,T03] (  4, 14   )   byref  ->  [rbp-0x58]  spill-single-def
 ;# V11 OutArgs      [V11    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V12 tmp1         [V12    ] (  0,  0   )    long  ->  zero-ref    class-hnd exact "obj nullable box" <System.Int32>
 ;  V13 tmp2         [V13,T18] (  2,  1   )    long  ->  rsi         class-hnd exact "spilling qmarkNullableBox" <System.Int32>
 ;  V14 tmp3         [V14,T21] (  3,  1.50)     int  ->  registers  
 ;  V15 tmp4         [V15,T26] (  2,  1   )     int  ->  rax         "Inline return value spill temp"
 ;  V16 tmp5         [V16,T24] (  2,  1   )   byref  ->  rcx         single-def "Inline return value spill temp"
 ;  V17 tmp6         [V17,T19] (  3,  1.50)     ref  ->  rcx         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V18 tmp7         [V18    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V19 tmp8         [V19    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V20 tmp9         [V20    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V21 tmp10        [V21    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Nullable`1[int]>
 ;* V22 tmp11        [V22    ] (  0,  0   )  struct ( 8) zero-ref    ld-addr-op "Inlining Arg" <System.Nullable`1[int]>
 ;* V23 tmp12        [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V24 tmp13        [V24    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V25 tmp14        [V25    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V26 tmp15        [V26,T25] (  2,  1   )   byref  ->  rdx         single-def "Inline return value spill temp"
 ;  V27 tmp16        [V27,T20] (  3,  1.50)     ref  ->  rdx         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V28 tmp17        [V28    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V29 tmp18        [V29    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V30 tmp19        [V30    ] (  3,  1.50)  struct (16) [rbp-0x40]  do-not-enreg[XSF] addr-exposed "stack allocated [boxed] System.Int32" <[boxed] System.Int32>
 ;  V31 tmp20        [V31,T13] (  2,  4   )   ubyte  ->  rdi         "field V21.hasValue (fldOffset=0x0)" P-INDEP
 ;  V32 tmp21        [V32,T14] (  2,  4   )     int  ->  rsi         "field V21.value (fldOffset=0x4)" P-INDEP
 ;* V33 tmp22        [V33    ] (  0,  0   )   ubyte  ->  zero-ref    "field V22.hasValue (fldOffset=0x0)" P-INDEP
 ;* V34 tmp23        [V34    ] (  0,  0   )     int  ->  zero-ref    "field V22.value (fldOffset=0x4)" P-INDEP
 ;  V35 tmp24        [V35,T07] (  7,  8.50)   ubyte  ->  r15         "V01.[000..001)"
 ;  V36 tmp25        [V36,T09] (  6,  6.50)     int  ->  r14         "V01.[004..008)"
 ;  V37 tmp26        [V37,T16] (  3,  3   )     int  ->  rsi         "index expr"
 ;  V38 tmp27        [V38,T17] (  3,  3   )     int  ->  rdx         "index expr"
 ;  V39 cse0         [V39,T22] (  3,  1.50)     int  ->  rdi         "CSE #02: moderate"
 ;  V40 cse1         [V40,T23] (  3,  1.50)     int  ->  rdi         "CSE #04: moderate"
-;  V41 cse2         [V41,T01] (  6, 20.50)     int  ->  [rbp-0x44]  hoist multi-def "CSE #03: aggressive"
+;  V41 cse2         [V41,T01] (  8, 18   )     int  ->  [rbp-0x44]  multi-def "CSE #03: aggressive"
 ;  V42 rat0         [V42,T12] (  4,  4   )    long  ->  rsi         "V01.rsi"
 ;
 ; Lcl frame size = 56
 
 G_M10850_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 56
        lea      rbp, [rsp+0x60]
        mov      rbx, rdi
 						;; size=22 bbWeight=1 PerfScore 7.00
 G_M10850_IG02:
        movzx    r15, sil
        shr      rsi, 32
        mov      r14d, esi
        cmp      gword ptr [rbx+0x08], 0
        je       G_M10850_IG20
 						;; size=22 bbWeight=1 PerfScore 5.00
 G_M10850_IG03:
        mov      r13, gword ptr [rbx+0x10]
        xor      r12d, r12d
        mov      rax, gword ptr [rbx+0x18]
        mov      gword ptr [rbp-0x50], rax
        test     rax, rax
        je       G_M10850_IG13
        test     r15d, r15d
        je       SHORT G_M10850_IG05
        xor      esi, esi
        mov      qword ptr [rbp-0x40], rsi
        mov      dword ptr [rbp-0x38], esi
        mov      rsi, 0xD1FFAB1E      ; System.Int32
        mov      qword ptr [rbp-0x40], rsi
        mov      dword ptr [rbp-0x38], r14d
 						;; size=56 bbWeight=0.50 PerfScore 6.12
 G_M10850_IG04:
        mov      esi, r14d
        shl      rsi, 32
        mov      edi, r15d
        or       rsi, rdi
        mov      rdi, rax
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:GetHashCode(System.Nullable`1[int]):int:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:GetHashCode(System.Nullable`1[int]):int:this
        mov      ecx, eax
        mov      rax, gword ptr [rbp-0x50]
        jmp      SHORT G_M10850_IG07
        align    [0 bytes for IG14]
 						;; size=37 bbWeight=0.50 PerfScore 4.00
 G_M10850_IG05:
        xor      rsi, rsi
        jne      SHORT G_M10850_IG04
 						;; size=4 bbWeight=0.25 PerfScore 0.31
 G_M10850_IG06:
        xor      edx, edx
        xor      ecx, ecx
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M10850_IG07:
        mov      dword ptr [rbp-0x2C], ecx
        mov      rdx, gword ptr [rbx+0x08]
        mov      esi, ecx
        imul     rsi, qword ptr [rbx+0x20]
        shr      rsi, 32
        inc      rsi
        mov      edi, dword ptr [rdx+0x08]
        mov      r11d, edi
        imul     rsi, r11
        shr      rsi, 32
        cmp      esi, edi
        jae      G_M10850_IG23
        mov      esi, esi
        lea      rdx, bword ptr [rdx+4*rsi+0x10]
        mov      ebx, dword ptr [rdx]
        dec      ebx
-       js       G_M10850_IG20
+       mov      r8d, dword ptr [r13+0x08]
+       mov      dword ptr [rbp-0x44], r8d
+       cmp      r8d, ebx
+       jbe      G_M10850_IG20
        jmp      SHORT G_M10850_IG09
-						;; size=62 bbWeight=0.50 PerfScore 10.75
+						;; size=73 bbWeight=0.50 PerfScore 12.38
 G_M10850_IG08:
        mov      ebx, dword ptr [r9+0x04]
        inc      r12d
-       cmp      dword ptr [rbp-0x44], r12d
+       mov      r8d, dword ptr [rbp-0x44]
+       cmp      r8d, r12d
        jb       G_M10850_IG22
-       test     ebx, ebx
-       mov      ecx, dword ptr [rbp-0x2C]
-       jl       G_M10850_IG20
-						;; size=28 bbWeight=4 PerfScore 30.00
-G_M10850_IG09:
-       mov      r8d, dword ptr [r13+0x08]
+       cmp      r8d, ebx
        mov      dword ptr [rbp-0x44], r8d
-       cmp      ebx, r8d
-       jae      G_M10850_IG23
+       mov      ecx, dword ptr [rbp-0x2C]
+       jbe      G_M10850_IG20
+						;; size=36 bbWeight=4 PerfScore 31.00
+G_M10850_IG09:
        mov      edx, ebx
        shl      rdx, 4
        lea      r9, bword ptr [r13+rdx+0x10]
        mov      bword ptr [rbp-0x58], r9
        cmp      dword ptr [r9], ecx
        jne      SHORT G_M10850_IG08
-						;; size=37 bbWeight=4 PerfScore 48.00
+						;; size=20 bbWeight=4 PerfScore 31.00
 G_M10850_IG10:
        mov      edx, r14d
        shl      rdx, 32
        mov      esi, r15d
        or       rdx, rsi
        mov      rsi, qword ptr [r9+0x08]
        mov      rdi, rax
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
        test     eax, eax
        mov      rax, gword ptr [rbp-0x50]
        mov      r9, bword ptr [rbp-0x58]
        je       SHORT G_M10850_IG08
 						;; size=45 bbWeight=2 PerfScore 20.00
 G_M10850_IG11:
        mov      eax, ebx
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M10850_IG12:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M10850_IG13:
        xor      r8d, r8d
        test     r15d, r15d
        mov      eax, r8d
        cmovne   eax, r14d
        mov      rcx, gword ptr [rbx+0x08]
        mov      edx, eax
        imul     rdx, qword ptr [rbx+0x20]
        shr      rdx, 32
        inc      rdx
        mov      edi, dword ptr [rcx+0x08]
        mov      esi, edi
        imul     rdx, rsi
        shr      rdx, 32
        cmp      edx, edi
        jae      G_M10850_IG23
        mov      edx, edx
        lea      rcx, bword ptr [rcx+4*rdx+0x10]
        mov      ecx, dword ptr [rcx]
        dec      ecx
-       js       SHORT G_M10850_IG20
        mov      r8d, dword ptr [r13+0x08]
-						;; size=69 bbWeight=0.50 PerfScore 10.75
+       mov      ebx, r8d
+       cmp      ebx, ecx
+       jbe      SHORT G_M10850_IG20
+						;; size=74 bbWeight=0.50 PerfScore 11.00
 G_M10850_IG14:
-       cmp      ecx, r8d
-       jae      SHORT G_M10850_IG23
        mov      edx, ecx
        shl      rdx, 4
        lea      rdx, bword ptr [r13+rdx+0x10]
        cmp      dword ptr [rdx], eax
        jne      SHORT G_M10850_IG19
-						;; size=20 bbWeight=4 PerfScore 32.00
+						;; size=15 bbWeight=4 PerfScore 27.00
 G_M10850_IG15:
        movzx    rdi, byte  ptr [rdx+0x08]
        mov      esi, dword ptr [rdx+0x0C]
        test     edi, edi
        jne      SHORT G_M10850_IG18
        test     r15d, r15d
        jne      SHORT G_M10850_IG19
 						;; size=17 bbWeight=2 PerfScore 13.00
 G_M10850_IG16:
        mov      eax, ecx
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M10850_IG17:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M10850_IG18:
        test     r15d, r15d
        je       SHORT G_M10850_IG19
        cmp      esi, r14d
        je       SHORT G_M10850_IG16
 						;; size=10 bbWeight=2 PerfScore 5.00
 G_M10850_IG19:
        mov      ecx, dword ptr [rdx+0x04]
        inc      r12d
-       cmp      r8d, r12d
+       cmp      ebx, r12d
        jb       SHORT G_M10850_IG22
-       test     ecx, ecx
-       jge      SHORT G_M10850_IG14
+       cmp      ebx, ecx
+       ja       SHORT G_M10850_IG14
 						;; size=15 bbWeight=4 PerfScore 19.00
 G_M10850_IG20:
        mov      eax, -1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
 G_M10850_IG21:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M10850_IG22:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M10850_IG23:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 521, prolog size 22, PerfScore 217.94, instruction count 166, allocated bytes for code 521 (MethodHash=d42ed59d) for method System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:FindItemIndex(System.Nullable`1[int]):int:this (FullOpts)
+; Total bytes of code 523, prolog size 22, PerfScore 198.81, instruction count 167, allocated bytes for code 523 (MethodHash=d42ed59d) for method System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:FindItemIndex(System.Nullable`1[int]):int:this (FullOpts)
 ; ============================================================

2 (0.33 % of base) - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this

 ; Assembly listing for method System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 4 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T10] (  3,  3   )   byref  ->  rdi         this single-def
-;  V01 TypeCtx      [V01,T07] (  7,  6   )    long  ->  rbx         single-def
+;  V01 TypeCtx      [V01,T06] (  7,  6   )    long  ->  rbx         single-def
 ;* V02 arg1         [V02    ] (  0,  0   )  struct ( 8) zero-ref    do-not-enreg[SF] single-def <System.Nullable`1[int]>
-;  V03 loc0         [V03,T08] ( 10,  6.50)     ref  ->  r13         class-hnd single-def <System.Collections.Generic.HashSet`1[System.__Canon]>
+;  V03 loc0         [V03,T07] ( 10,  6.50)     ref  ->  r13         class-hnd single-def <System.Collections.Generic.HashSet`1[System.__Canon]>
 ;  V04 loc1         [V04,T15] (  3,  3.50)     ref  ->  r12         class-hnd single-def <System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.__Canon]>
-;  V05 loc2         [V05,T06] (  4,  9   )     ref  ->  [rbp-0x68]  class-hnd exact spill-single-def <System.Collections.Generic.HashSet`1+Entry[System.__Canon][]>
+;  V05 loc2         [V05,T09] (  4,  5.50)     ref  ->  [rbp-0x68]  class-hnd exact spill-single-def <System.Collections.Generic.HashSet`1+Entry[System.__Canon][]>
 ;  V06 loc3         [V06,T02] (  4, 12.50)     int  ->  [rbp-0x34] 
-;  V07 loc4         [V07,T09] (  5,  6   )     int  ->  [rbp-0x38] 
+;  V07 loc4         [V07,T08] (  5,  6   )     int  ->  [rbp-0x38] 
 ;  V08 loc5         [V08,T11] (  3,  5   )     int  ->  [rbp-0x3C]  spill-single-def
 ;  V09 loc6         [V09,T20] (  3,  1.50)   byref  ->  [rbp-0x70]  spill-single-def
-;  V10 loc7         [V10,T00] (  8, 21.50)     int  ->  [rbp-0x40] 
+;  V10 loc7         [V10,T00] (  7, 17.50)     int  ->  [rbp-0x40] 
 ;  V11 loc8         [V11,T01] (  8, 16   )   byref  ->  [rbp-0x78]  spill-single-def
 ;# V12 OutArgs      [V12    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V13 tmp1         [V13    ] (  0,  0   )    long  ->  zero-ref    class-hnd exact "obj nullable box" <System.Int32>
 ;  V14 tmp2         [V14,T19] (  2,  1   )    long  ->  rdi         class-hnd exact "spilling qmarkNullableBox" <System.Int32>
 ;  V15 tmp3         [V15,T16] (  4,  3   )    long  ->  r11         "spilling helperCall"
 ;  V16 tmp4         [V16,T22] (  3,  1.50)     int  ->  registers  
-;  V17 tmp5         [V17,T04] (  4, 12   )    long  ->  [rbp-0x48]  "spilling helperCall"
+;  V17 tmp5         [V17,T03] (  4, 12   )    long  ->  [rbp-0x48]  "spilling helperCall"
 ;  V18 tmp6         [V18,T24] (  2,  1   )   byref  ->   r9         single-def "Inline return value spill temp"
 ;  V19 tmp7         [V19,T21] (  3,  1.50)     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V20 tmp8         [V20    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V21 tmp9         [V21    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V22 tmp10        [V22    ] (  3,  1.50)  struct (16) [rbp-0x58]  do-not-enreg[XSF] addr-exposed "stack allocated [boxed] System.Int32" <[boxed] System.Int32>
 ;  V23 tmp11        [V23,T12] (  4,  4   )   ubyte  ->  r15         "V02.[000..001)"
 ;  V24 tmp12        [V24,T13] (  4,  4   )     int  ->  r14         "V02.[004..008)"
 ;  V25 tmp13        [V25,T17] (  3,  3   )     int  ->  rsi         "index expr"
 ;  V26 cse0         [V26,T23] (  3,  1.50)     int  ->   r9         "CSE #01: moderate"
-;  V27 cse1         [V27,T03] (  4, 12.50)     int  ->  [rbp-0x5C]  spill-single-def "CSE #02: aggressive"
+;  V27 cse1         [V27,T05] (  5,  9.50)     int  ->  [rbp-0x5C]  spill-single-def "CSE #02: aggressive"
 ;  V28 rat0         [V28,T18] (  3,  2.80)    long  ->  r11         "fgMakeTemp is creating a new local variable"
-;  V29 rat1         [V29,T05] (  3, 11.20)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
+;  V29 rat1         [V29,T04] (  3, 11.20)    long  ->  rdi         "fgMakeTemp is creating a new local variable"
 ;  V30 rat2         [V30,T14] (  4,  4   )    long  ->  rdx         "V02.rdx"
 ;
 ; Lcl frame size = 88
 
 G_M12533_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 88
        lea      rbp, [rsp+0x80]
        mov      qword ptr [rbp-0x30], rsi
        mov      rbx, rsi
 						;; size=29 bbWeight=1 PerfScore 8.00
 G_M12533_IG02:
        movzx    r15, dl
        shr      rdx, 32
        mov      r14d, edx
        mov      r13, gword ptr [rdi]
        mov      r12, gword ptr [r13+0x18]
        cmp      gword ptr [r13+0x08], 0
        je       G_M12533_IG17
 						;; size=29 bbWeight=1 PerfScore 9.00
 G_M12533_IG03:
        mov      rax, gword ptr [r13+0x10]
        mov      gword ptr [rbp-0x68], rax
        xor      ecx, ecx
        mov      dword ptr [rbp-0x34], ecx
        mov      dword ptr [rbp-0x38], -1
        test     r15d, r15d
        je       SHORT G_M12533_IG06
        xor      edi, edi
        mov      qword ptr [rbp-0x58], rdi
        mov      dword ptr [rbp-0x50], edi
        mov      rdi, 0xD1FFAB1E      ; System.Int32
        mov      qword ptr [rbp-0x58], rdi
        mov      dword ptr [rbp-0x50], r14d
 						;; size=52 bbWeight=0.50 PerfScore 5.50
 G_M12533_IG04:
        mov      rdi, qword ptr [rbx+0x30]
        mov      rdi, qword ptr [rdi]
        mov      r11, qword ptr [rdi+0x20]
        test     r11, r11
        je       G_M12533_IG14
 						;; size=20 bbWeight=0.50 PerfScore 3.62
 G_M12533_IG05:
        mov      esi, r14d
        shl      rsi, 32
        mov      edi, r15d
        or       rsi, rdi
        mov      rdi, r12
        call     [r11]
        mov      r8d, eax
        jmp      SHORT G_M12533_IG08
 						;; size=24 bbWeight=0.50 PerfScore 3.38
 G_M12533_IG06:
        xor      rdi, rdi
        jne      SHORT G_M12533_IG04
 						;; size=4 bbWeight=0.25 PerfScore 0.31
 G_M12533_IG07:
        xor      edi, edi
        xor      r8d, r8d
 						;; size=5 bbWeight=0.50 PerfScore 0.25
 G_M12533_IG08:
        mov      dword ptr [rbp-0x3C], r8d
        mov      rdi, gword ptr [r13+0x08]
        mov      esi, r8d
        imul     rsi, qword ptr [r13+0x20]
        shr      rsi, 32
        inc      rsi
        mov      r9d, dword ptr [rdi+0x08]
        mov      r10d, r9d
        imul     rsi, r10
        shr      rsi, 32
        cmp      esi, r9d
        jae      G_M12533_IG23
        mov      esi, esi
        lea      r9, bword ptr [rdi+4*rsi+0x10]
        mov      bword ptr [rbp-0x70], r9
        mov      r10d, dword ptr [r9]
        dec      r10d
-       js       G_M12533_IG17
-						;; size=70 bbWeight=0.50 PerfScore 10.25
-G_M12533_IG09:
        mov      rax, gword ptr [rbp-0x68]
        mov      r11d, dword ptr [rax+0x08]
        mov      dword ptr [rbp-0x5C], r11d
-       cmp      r10d, r11d
-       jae      G_M12533_IG23
+       cmp      r11d, r10d
+       jbe      G_M12533_IG17
+						;; size=85 bbWeight=0.50 PerfScore 12.38
+G_M12533_IG09:
        mov      dword ptr [rbp-0x40], r10d
        mov      edi, r10d
        shl      rdi, 4
        lea      rsi, bword ptr [rax+rdi+0x10]
        mov      bword ptr [rbp-0x78], rsi
        cmp      dword ptr [rsi+0x08], r8d
        jne      G_M12533_IG16
-						;; size=51 bbWeight=4 PerfScore 52.00
+						;; size=30 bbWeight=4 PerfScore 31.00
 G_M12533_IG10:
        mov      rdi, qword ptr [rbx+0x30]
        mov      rdi, qword ptr [rdi]
        mov      rdi, qword ptr [rdi+0x28]
        test     rdi, rdi
        je       SHORT G_M12533_IG15
 						;; size=16 bbWeight=2 PerfScore 14.50
 G_M12533_IG11:
        mov      qword ptr [rbp-0x48], rdi
 						;; size=4 bbWeight=1.60 PerfScore 1.60
 G_M12533_IG12:
        mov      r9d, r14d
        shl      r9, 32
        mov      r8d, r15d
        mov      rsi, r8
        or       rsi, r9
        mov      r8, bword ptr [rbp-0x78]
        mov      rdx, gword ptr [r8]
        mov      rdi, r12
        mov      r11, qword ptr [rbp-0x48]
        call     [r11]
        test     eax, eax
        je       SHORT G_M12533_IG16
 						;; size=37 bbWeight=2 PerfScore 20.00
 G_M12533_IG13:
        mov      edx, dword ptr [rbp-0x38]
        test     edx, edx
        jge      G_M12533_IG19
        mov      rsi, bword ptr [rbp-0x78]
        mov      eax, dword ptr [rsi+0x0C]
        inc      eax
        mov      r9, bword ptr [rbp-0x70]
        mov      dword ptr [r9], eax
        jmp      G_M12533_IG20
 						;; size=32 bbWeight=0.50 PerfScore 4.75
 G_M12533_IG14:
        mov      rdi, rbx
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      r8, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_CLASS
        call     [r8]CORINFO_HELP_RUNTIMEHANDLE_CLASS
        mov      r11, rax
        jmp      G_M12533_IG05
 						;; size=34 bbWeight=0.10 PerfScore 0.60
 G_M12533_IG15:
        mov      rdi, rbx
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      r9, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_CLASS
        call     [r9]CORINFO_HELP_RUNTIMEHANDLE_CLASS
        mov      qword ptr [rbp-0x48], rax
        jmp      G_M12533_IG12
 						;; size=35 bbWeight=0.40 PerfScore 2.70
 G_M12533_IG16:
        mov      r10d, dword ptr [rbp-0x40]
        mov      edx, r10d
        mov      rsi, bword ptr [rbp-0x78]
        mov      r10d, dword ptr [rsi+0x0C]
        mov      ecx, dword ptr [rbp-0x34]
        inc      ecx
-       cmp      dword ptr [rbp-0x5C], ecx
+       mov      r11d, dword ptr [rbp-0x5C]
+       cmp      r11d, ecx
        jb       SHORT G_M12533_IG22
-       test     r10d, r10d
+       cmp      r11d, r10d
        mov      dword ptr [rbp-0x34], ecx
        mov      dword ptr [rbp-0x38], edx
+       mov      rax, gword ptr [rbp-0x68]
        mov      r8d, dword ptr [rbp-0x3C]
-       jge      G_M12533_IG09
-						;; size=44 bbWeight=4 PerfScore 51.00
+       ja       G_M12533_IG09
+						;; size=52 bbWeight=4 PerfScore 52.00
 G_M12533_IG17:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M12533_IG18:
        add      rsp, 88
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M12533_IG19:
        cmp      edx, dword ptr [rbp-0x5C]
        jae      SHORT G_M12533_IG23
        mov      r9d, edx
        shl      r9, 4
        mov      rsi, bword ptr [rbp-0x78]
        mov      ecx, dword ptr [rsi+0x0C]
        mov      rax, gword ptr [rbp-0x68]
        mov      dword ptr [rax+r9+0x1C], ecx
 						;; size=28 bbWeight=0.50 PerfScore 4.38
 G_M12533_IG20:
        mov      eax, dword ptr [r13+0x2C]
        neg      eax
        add      eax, -3
        mov      dword ptr [rsi+0x0C], eax
        xor      rax, rax
        mov      gword ptr [rsi], rax
        mov      r10d, dword ptr [rbp-0x40]
        mov      dword ptr [r13+0x2C], r10d
        inc      dword ptr [r13+0x30]
        mov      eax, 1
 						;; size=34 bbWeight=0.50 PerfScore 5.00
 G_M12533_IG21:
        add      rsp, 88
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M12533_IG22:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M12533_IG23:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 599, prolog size 29, PerfScore 201.21, instruction count 169, allocated bytes for code 599 (MethodHash=138ccf0a) for method System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
+; Total bytes of code 601, prolog size 29, PerfScore 183.34, instruction count 170, allocated bytes for code 601 (MethodHash=138ccf0a) for method System.Collections.Generic.HashSet`1+AlternateLookup`1[System.__Canon,System.Nullable`1[int]]:Remove(System.Nullable`1[int]):bool:this (FullOpts)
 ; ============================================================

[MihuBot]

Top method improvements

-20 (-2.41 % of base) - System.Collections.Generic.HashSet`1[double]:AddIfNotPresent(double,byref):bool:this

 ; Assembly listing for method System.Collections.Generic.HashSet`1[double]:AddIfNotPresent(double,byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 11 single block inlinees; 3 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T05] ( 22, 13.50)     ref  ->  rbx         this class-hnd single-def <System.Collections.Generic.HashSet`1[double]>
+;  V00 this         [V00,T02] ( 22, 13.50)     ref  ->  rbx         this class-hnd single-def <System.Collections.Generic.HashSet`1[double]>
 ;  V01 arg1         [V01,T35] ( 10, 12   )  double  ->  [rbp-0x30]  ld-addr-op single-def
 ;  V02 arg2         [V02,T10] (  5,  3.50)   byref  ->  r15         single-def
-;  V03 loc0         [V03,T04] ( 11, 16.50)     ref  ->  r14         class-hnd <System.Collections.Generic.HashSet`1+Entry[double][]>
+;  V03 loc0         [V03,T07] (  9, 12   )     ref  ->  r14         class-hnd <System.Collections.Generic.HashSet`1+Entry[double][]>
 ;  V04 loc1         [V04,T11] (  4,  4.50)     ref  ->  r13         class-hnd single-def <System.Collections.Generic.IEqualityComparer`1[double]>
 ;  V05 loc2         [V05,T08] (  8, 11   )     int  ->  [rbp-0x34] 
 ;  V06 loc3         [V06,T00] (  7, 25   )     int  ->  r12        
 ;  V07 loc4         [V07,T13] (  7,  3.50)   byref  ->  [rbp-0x48] 
 ;  V08 loc5         [V08,T14] (  7,  3.50)     int  ->  registers  
-;  V09 loc6         [V09,T02] (  7, 17.50)     int  ->  rcx        
-;  V10 loc7         [V10,T06] (  4, 14   )   byref  ->  rdi        
-;  V11 loc8         [V11,T03] (  7, 17.50)     int  ->  [rbp-0x38] 
-;  V12 loc9         [V12,T07] (  4, 14   )   byref  ->  [rbp-0x50]  spill-single-def
+;  V09 loc6         [V09,T05] (  6, 13.50)     int  ->  rcx        
+;  V10 loc7         [V10,T03] (  4, 14   )   byref  ->  rdi        
+;  V11 loc8         [V11,T06] (  6, 13.50)     int  ->  [rbp-0x38] 
+;  V12 loc9         [V12,T04] (  4, 14   )   byref  ->  [rbp-0x50]  spill-single-def
 ;  V13 loc10        [V13,T24] (  3,  1.50)     int  ->  r12        
 ;# V14 OutArgs      [V14    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;* V15 tmp1         [V15    ] (  0,  0   )     int  ->  zero-ref   
 ;  V16 tmp2         [V16,T12] (  4,  4   )   byref  ->  rcx         single-def "dup spill"
 ;  V17 tmp3         [V17,T19] (  5,  2.50)    long  ->  rax         "Inline stloc first use temp"
 ;* V18 tmp4         [V18    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
 ;  V19 tmp5         [V19,T31] (  2,  1   )   byref  ->  rcx         single-def "Inline return value spill temp"
 ;  V20 tmp6         [V20,T21] (  3,  1.50)     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V21 tmp7         [V21    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V22 tmp8         [V22    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V23 tmp9         [V23    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;  V24 tmp10        [V24,T34] (  4, 16   )  double  ->  mm0         ld-addr-op "Inlining Arg"
 ;* V25 tmp11        [V25    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
 ;  V26 tmp12        [V26,T09] (  2,  4   )   ubyte  ->  rdx         "Inline return value spill temp"
 ;* V27 tmp13        [V27    ] (  0,  0   )  double  ->  zero-ref    "Inlining Arg"
 ;  V28 tmp14        [V28,T32] (  2,  1   )   byref  ->  rcx         single-def "Inline return value spill temp"
 ;  V29 tmp15        [V29,T22] (  3,  1.50)     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V30 tmp16        [V30    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V31 tmp17        [V31    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V32 tmp18        [V32,T33] (  2,  1   )   byref  ->  rax         single-def "Inline return value spill temp"
 ;  V33 tmp19        [V33,T23] (  3,  1.50)     ref  ->  rax         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V34 tmp20        [V34    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V35 tmp21        [V35    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V36 tmp22        [V36,T15] (  3,  3   )     int  ->  r11         "index expr"
 ;  V37 tmp23        [V37,T16] (  3,  3   )     int  ->  rax         "index expr"
 ;  V38 tmp24        [V38,T20] (  2,  2   )     int  ->  rsi         "argument with side effect"
 ;  V39 tmp25        [V39,T17] (  3,  3   )     int  ->  rcx         "index expr"
 ;  V40 tmp26        [V40,T18] (  3,  3   )     int  ->  rcx         "index expr"
 ;  V41 cse0         [V41,T25] (  3,  1.50)     int  ->  rcx         "CSE #02: moderate"
 ;  V42 cse1         [V42,T26] (  3,  1.50)     int  ->  rcx         "CSE #04: moderate"
 ;  V43 cse2         [V43,T27] (  3,  1.50)     int  ->  rdx         "CSE #08: moderate"
 ;  V44 cse3         [V44,T28] (  3,  1.50)     int  ->  r12         "CSE #05: moderate"
 ;  V45 cse4         [V45,T29] (  3,  1.50)     int  ->  rcx         "CSE #06: moderate"
 ;  V46 cse5         [V46,T30] (  3,  1.50)     int  ->  rdi         "CSE #07: moderate"
-;  V47 cse6         [V47,T01] ( 10, 22.50)     int  ->  [rbp-0x3C]  hoist multi-def "CSE #03: aggressive"
+;  V47 cse6         [V47,T01] ( 10, 19   )     int  ->  [rbp-0x3C]  multi-def "CSE #03: aggressive"
 ;
 ; Lcl frame size = 40
 
 G_M58119_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 40
        lea      rbp, [rsp+0x50]
        vmovsd   qword ptr [rbp-0x30], xmm0
        mov      rbx, rdi
        mov      r15, rsi
 						;; size=30 bbWeight=1 PerfScore 8.25
 G_M58119_IG02:
        cmp      gword ptr [rbx+0x08], 0
        je       SHORT G_M58119_IG04
 						;; size=7 bbWeight=1 PerfScore 4.00
 G_M58119_IG03:
        vmovsd   xmm1, qword ptr [rbp-0x30]
        jmp      SHORT G_M58119_IG05
 						;; size=7 bbWeight=0.50 PerfScore 2.50
 G_M58119_IG04:
        mov      rdi, rbx
        xor      esi, esi
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[double]:Initialize(int):int:this
        call     [rax]System.Collections.Generic.HashSet`1[double]:Initialize(int):int:this
        vmovsd   xmm1, qword ptr [rbp-0x30]
 						;; size=22 bbWeight=0.50 PerfScore 3.38
 G_M58119_IG05:
        mov      r14, gword ptr [rbx+0x10]
        mov      r13, gword ptr [rbx+0x18]
        xor      r12d, r12d
        test     r13, r13
        je       G_M58119_IG14
 						;; size=20 bbWeight=1 PerfScore 5.50
 G_M58119_IG06:
        mov      rdi, r13
        vmovsd   qword ptr [rbp-0x30], xmm1
        vmovaps  xmm0, xmm1
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[double]:GetHashCode(double):int:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[double]:GetHashCode(double):int:this
        mov      rdi, gword ptr [rbx+0x08]
        mov      r11d, eax
        imul     r11, qword ptr [rbx+0x20]
        shr      r11, 32
        inc      r11
        mov      ecx, dword ptr [rdi+0x08]
        mov      edx, ecx
        imul     r11, rdx
        shr      r11, 32
        cmp      r11d, ecx
        jae      G_M58119_IG31
        mov      r11d, r11d
        lea      rcx, bword ptr [rdi+4*r11+0x10]
        mov      bword ptr [rbp-0x48], rcx
        mov      edx, dword ptr [rcx]
        dec      edx
-       jns      SHORT G_M58119_IG09
-						;; size=84 bbWeight=0.50 PerfScore 12.12
+       mov      esi, dword ptr [r14+0x08]
+       mov      dword ptr [rbp-0x3C], esi
+       cmp      esi, edx
+       ja       SHORT G_M58119_IG09
+						;; size=93 bbWeight=0.50 PerfScore 13.75
 G_M58119_IG07:
        mov      r13d, eax
        mov      rax, bword ptr [rbp-0x48]
+       mov      esi, dword ptr [rbp-0x3C]
        vmovsd   xmm1, qword ptr [rbp-0x30]
        jmp      G_M58119_IG22
        align    [0 bytes for IG16]
-						;; size=17 bbWeight=0.25 PerfScore 1.56
+						;; size=20 bbWeight=0.25 PerfScore 1.81
 G_M58119_IG08:
-       mov      eax, dword ptr [rbp-0x34]
-						;; size=3 bbWeight=2 PerfScore 2.00
-G_M58119_IG09:
-       mov      esi, dword ptr [r14+0x08]
        mov      dword ptr [rbp-0x3C], esi
-       cmp      edx, esi
-       jae      G_M58119_IG31
+       mov      eax, dword ptr [rbp-0x34]
+						;; size=6 bbWeight=2 PerfScore 4.00
+G_M58119_IG09:
        mov      dword ptr [rbp-0x38], edx
        mov      edi, edx
        shl      rdi, 4
        lea      r8, bword ptr [r14+rdi+0x10]
        mov      bword ptr [rbp-0x50], r8
        mov      dword ptr [rbp-0x34], eax
        cmp      dword ptr [r8], eax
        jne      SHORT G_M58119_IG11
-						;; size=41 bbWeight=4 PerfScore 52.00
+						;; size=26 bbWeight=4 PerfScore 35.00
 G_M58119_IG10:
        vmovsd   xmm0, qword ptr [r8+0x08]
        mov      rdi, r13
        vmovsd   xmm1, qword ptr [rbp-0x30]
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[double]:Equals(double,double):bool:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[double]:Equals(double,double):bool:this
        test     eax, eax
        mov      r8, bword ptr [rbp-0x50]
        jne      SHORT G_M58119_IG13
 						;; size=35 bbWeight=2 PerfScore 25.50
 G_M58119_IG11:
        mov      edx, dword ptr [r8+0x04]
        mov      edi, edx
        inc      r12d
-       cmp      dword ptr [rbp-0x3C], r12d
+       mov      esi, dword ptr [rbp-0x3C]
+       cmp      esi, r12d
        jb       G_M58119_IG30
-       test     edi, edi
+       cmp      esi, edi
        mov      edx, edi
-       jge      SHORT G_M58119_IG08
-						;; size=25 bbWeight=4 PerfScore 28.00
+       ja       SHORT G_M58119_IG08
+						;; size=27 bbWeight=4 PerfScore 25.00
 G_M58119_IG12:
        mov      rax, bword ptr [rbp-0x48]
        mov      r13d, dword ptr [rbp-0x34]
        vmovsd   xmm1, qword ptr [rbp-0x30]
        jmp      G_M58119_IG22
 						;; size=18 bbWeight=2 PerfScore 14.00
 G_M58119_IG13:
        mov      edx, dword ptr [rbp-0x38]
        mov      dword ptr [r15], edx
        jmp      G_M58119_IG28
 						;; size=11 bbWeight=0.50 PerfScore 2.00
 G_M58119_IG14:
        vmovq    rax, xmm1
        vmovq    rcx, xmm1
        dec      rcx
        mov      rsi, 0xD1FFAB1E
        and      rcx, rsi
        mov      rdi, 0xD1FFAB1E
        cmp      rcx, rdi
        jl       SHORT G_M58119_IG15
        mov      rdi, 0xD1FFAB1E
        and      rax, rdi
 						;; size=54 bbWeight=0.50 PerfScore 3.38
 G_M58119_IG15:
        mov      rdi, rax
        shr      rdi, 32
        xor      eax, edi
        mov      r13d, eax
        mov      rdi, gword ptr [rbx+0x08]
        mov      eax, r13d
        imul     rax, qword ptr [rbx+0x20]
        shr      rax, 32
        inc      rax
        mov      ecx, dword ptr [rdi+0x08]
        mov      edx, ecx
        imul     rax, rdx
        shr      rax, 32
        cmp      eax, ecx
        jae      G_M58119_IG31
        mov      eax, eax
        lea      rcx, bword ptr [rdi+4*rax+0x10]
        mov      rax, rcx
        mov      ecx, dword ptr [rax]
        dec      ecx
-       js       SHORT G_M58119_IG22
        mov      esi, dword ptr [r14+0x08]
-						;; size=72 bbWeight=0.50 PerfScore 11.00
+       cmp      esi, ecx
+       jbe      SHORT G_M58119_IG22
+						;; size=74 bbWeight=0.50 PerfScore 11.12
 G_M58119_IG16:
-       cmp      ecx, esi
-       jae      G_M58119_IG31
        mov      edi, ecx
        shl      rdi, 4
        lea      rdi, bword ptr [r14+rdi+0x10]
        cmp      dword ptr [rdi], r13d
        jne      SHORT G_M58119_IG21
-						;; size=24 bbWeight=4 PerfScore 28.00
+						;; size=16 bbWeight=4 PerfScore 23.00
 G_M58119_IG17:
        vmovsd   xmm0, qword ptr [rdi+0x08]
        vucomisd xmm1, xmm0
        jp       SHORT G_M58119_IG18
        je       G_M58119_IG27
 						;; size=17 bbWeight=2 PerfScore 16.00
 G_M58119_IG18:
        vmovsd   qword ptr [rbp-0x30], xmm1
        vucomisd xmm1, xmm1
        jp       SHORT G_M58119_IG20
        jne      SHORT G_M58119_IG20
 						;; size=13 bbWeight=2 PerfScore 10.00
 G_M58119_IG19:
        vmovsd   xmm1, qword ptr [rbp-0x30]
        jmp      SHORT G_M58119_IG21
 						;; size=7 bbWeight=1 PerfScore 5.00
 G_M58119_IG20:
        vucomisd xmm0, xmm0
        setp     dl
        movzx    rdx, dl
        test     edx, edx
        vmovsd   xmm1, qword ptr [rbp-0x30]
        jne      G_M58119_IG27
 						;; size=23 bbWeight=2 PerfScore 15.00
 G_M58119_IG21:
        mov      ecx, dword ptr [rdi+0x04]
        inc      r12d
        cmp      esi, r12d
        jb       G_M58119_IG30
-       test     ecx, ecx
-       jge      SHORT G_M58119_IG16
+       cmp      esi, ecx
+       ja       SHORT G_M58119_IG16
 						;; size=19 bbWeight=4 PerfScore 19.00
 G_M58119_IG22:
        mov      r12d, dword ptr [rbx+0x30]
        test     r12d, r12d
-       jg       G_M58119_IG24
+       jg       SHORT G_M58119_IG24
        mov      edi, dword ptr [rbx+0x28]
        mov      r12d, edi
-       mov      esi, dword ptr [r14+0x08]
        cmp      esi, r12d
        jne      SHORT G_M58119_IG23
        vmovsd   qword ptr [rbp-0x30], xmm1
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.HashHelpers:ExpandPrime(int):int
        call     [rax]System.Collections.HashHelpers:ExpandPrime(int):int
        mov      esi, eax
        mov      rdi, rbx
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[double]:Resize(int,bool):this
        call     [rax]System.Collections.Generic.HashSet`1[double]:Resize(int,bool):this
        mov      rax, gword ptr [rbx+0x08]
        mov      ecx, r13d
        imul     rcx, qword ptr [rbx+0x20]
        shr      rcx, 32
        inc      rcx
        mov      edx, dword ptr [rax+0x08]
        mov      edi, edx
        imul     rcx, rdi
        shr      rcx, 32
        cmp      ecx, edx
        jae      G_M58119_IG31
        mov      ecx, ecx
        lea      rax, bword ptr [rax+4*rcx+0x10]
        mov      r14, rax
        mov      rax, r14
        vmovsd   xmm1, qword ptr [rbp-0x30]
-						;; size=122 bbWeight=0.50 PerfScore 17.88
+						;; size=114 bbWeight=0.50 PerfScore 16.88
 G_M58119_IG23:
        lea      ecx, [r12+0x01]
        mov      dword ptr [rbx+0x28], ecx
        mov      r14, gword ptr [rbx+0x10]
        mov      edx, r12d
        jmp      SHORT G_M58119_IG25
 						;; size=17 bbWeight=0.50 PerfScore 2.88
 G_M58119_IG24:
        mov      ecx, dword ptr [rbx+0x2C]
        mov      edx, ecx
        dec      r12d
        mov      dword ptr [rbx+0x30], r12d
-       mov      esi, dword ptr [r14+0x08]
-       mov      r12d, esi
-       cmp      ecx, r12d
+       cmp      ecx, esi
        jae      SHORT G_M58119_IG31
        shl      rcx, 4
        mov      ecx, dword ptr [r14+rcx+0x14]
        neg      ecx
        add      ecx, -3
        mov      dword ptr [rbx+0x2C], ecx
-						;; size=41 bbWeight=0.50 PerfScore 5.50
+						;; size=33 bbWeight=0.50 PerfScore 4.38
 G_M58119_IG25:
        cmp      edx, dword ptr [r14+0x08]
        jae      SHORT G_M58119_IG31
        mov      ecx, edx
        shl      rcx, 4
        lea      rcx, bword ptr [r14+rcx+0x10]
        mov      dword ptr [rcx], r13d
        mov      edi, dword ptr [rax]
        dec      edi
        mov      dword ptr [rcx+0x04], edi
        vmovsd   qword ptr [rcx+0x08], xmm1
        lea      ecx, [rdx+0x01]
        mov      dword ptr [rax], ecx
        inc      dword ptr [rbx+0x34]
        mov      dword ptr [r15], edx
        mov      eax, 1
 						;; size=48 bbWeight=0.50 PerfScore 8.88
 G_M58119_IG26:
        add      rsp, 40
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M58119_IG27:
        mov      dword ptr [r15], ecx
 						;; size=3 bbWeight=0.50 PerfScore 0.50
 G_M58119_IG28:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M58119_IG29:
        add      rsp, 40
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M58119_IG30:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M58119_IG31:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 831, prolog size 30, PerfScore 308.19, instruction count 237, allocated bytes for code 831 (MethodHash=a14a1cf8) for method System.Collections.Generic.HashSet`1[double]:AddIfNotPresent(double,byref):bool:this (FullOpts)
+; Total bytes of code 811, prolog size 30, PerfScore 285.06, instruction count 235, allocated bytes for code 811 (MethodHash=a14a1cf8) for method System.Collections.Generic.HashSet`1[double]:AddIfNotPresent(double,byref):bool:this (FullOpts)
 ; ============================================================

-20 (-2.63 % of base) - System.Collections.Generic.HashSet`1[System.__Canon]:AddIfNotPresent(System.__Canon,byref):bool:this

 ; Assembly listing for method System.Collections.Generic.HashSet`1[System.__Canon]:AddIfNotPresent(System.__Canon,byref):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 5 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T00] ( 24, 17   )     ref  ->  rbx         this class-hnd single-def <System.Collections.Generic.HashSet`1[System.__Canon]>
 ;  V01 arg1         [V01,T09] (  7,  6.50)     ref  ->  r15         ld-addr-op class-hnd single-def <System.__Canon>
 ;  V02 arg2         [V02,T12] (  5,  3.50)   byref  ->  r14         single-def
-;  V03 loc0         [V03,T05] ( 10, 12.50)     ref  ->  registers   class-hnd <System.Collections.Generic.HashSet`1+Entry[System.__Canon][]>
+;  V03 loc0         [V03,T08] (  8,  8.50)     ref  ->  registers   class-hnd <System.Collections.Generic.HashSet`1+Entry[System.__Canon][]>
 ;  V04 loc1         [V04,T13] (  4,  4   )     ref  ->  r12         class-hnd single-def <System.Collections.Generic.IEqualityComparer`1[System.__Canon]>
 ;  V05 loc2         [V05,T10] (  5,  7   )     int  ->  [rbp-0x34]  spill-single-def
-;  V06 loc3         [V06,T04] (  5, 13.50)     int  ->  [rbp-0x38] 
+;  V06 loc3         [V06,T03] (  5, 13.50)     int  ->  [rbp-0x38] 
 ;  V07 loc4         [V07,T16] (  5,  3.50)   byref  ->  [rbp-0x50] 
 ;  V08 loc5         [V08,T15] (  7,  3.50)     int  ->  [rbp-0x3C] 
 ;* V09 loc6         [V09    ] (  0,  0   )     int  ->  zero-ref   
 ;* V10 loc7         [V10    ] (  0,  0   )   byref  ->  zero-ref   
-;  V11 loc8         [V11,T01] (  7, 18.50)     int  ->  [rbp-0x40] 
-;  V12 loc9         [V12,T03] (  4, 14   )   byref  ->  [rbp-0x58]  spill-single-def
-;  V13 loc10        [V13,T28] (  3,  1.50)     int  ->  [rbp-0x44]  spill-single-def
+;  V11 loc8         [V11,T01] (  6, 14.50)     int  ->  [rbp-0x40] 
+;  V12 loc9         [V12,T02] (  4, 14   )   byref  ->  [rbp-0x58]  spill-single-def
+;  V13 loc10        [V13,T28] (  3,  1.50)     int  ->  r13        
 ;# V14 OutArgs      [V14    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V15 tmp1         [V15,T17] (  4,  3   )    long  ->  r11         "spilling helperCall"
 ;  V16 tmp2         [V16,T24] (  3,  2   )     int  ->  registers  
-;  V17 tmp3         [V17,T06] (  4, 12   )    long  ->  r11         "spilling helperCall"
+;  V17 tmp3         [V17,T04] (  4, 12   )    long  ->  r11         "spilling helperCall"
 ;  V18 tmp4         [V18,T14] (  4,  4   )   byref  ->  rdi         single-def "dup spill"
 ;  V19 tmp5         [V19,T25] (  2,  2   )   byref  ->  rdx         single-def "Inline return value spill temp"
 ;  V20 tmp6         [V20,T18] (  3,  3   )     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V21 tmp7         [V21    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V22 tmp8         [V22    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V23 tmp9         [V23,T33] (  2,  1   )   byref  ->  rdx         single-def "Inline return value spill temp"
 ;  V24 tmp10        [V24,T27] (  3,  1.50)     ref  ->  rdi         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V25 tmp11        [V25    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V26 tmp12        [V26    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V27 tmp13        [V27,T11] (  3,  6   )     int  ->  rsi         "index expr"
 ;  V28 tmp14        [V28,T26] (  2,  2   )     int  ->  rsi         "argument with side effect"
-;  V29 tmp15        [V29,T19] (  3,  3   )     int  ->  rsi         "index expr"
+;  V29 tmp15        [V29,T19] (  3,  3   )     int  ->  rax         "index expr"
 ;  V30 tmp16        [V30,T20] (  3,  3   )     int  ->  rdi         "index expr"
-;  V31 cse0         [V31,T29] (  3,  1.50)     int  ->  rax         "CSE #08: moderate"
+;  V31 cse0         [V31,T29] (  3,  1.50)     int  ->  rcx         "CSE #08: moderate"
 ;  V32 cse1         [V32,T30] (  3,  1.50)     int  ->  rsi         "CSE #04: moderate"
 ;  V33 cse2         [V33,T31] (  3,  1.50)     int  ->  rdi         "CSE #05: moderate"
 ;  V34 cse3         [V34,T32] (  3,  1.50)     int  ->  rdi         "CSE #06: moderate"
-;  V35 cse4         [V35,T02] (  7, 14   )     int  ->  [rbp-0x48]  multi-def "CSE #03: aggressive"
+;  V35 cse4         [V35,T06] (  6, 11   )     int  ->  [rbp-0x44]  spill-single-def "CSE #02: aggressive"
 ;  V36 cse5         [V36,T21] (  3,  3   )     int  ->  rdx         "CSE #01: moderate"
 ;  V37 rat0         [V37,T23] (  3,  2.20)    long  ->  rdi         "Spilling to split statement for tree"
 ;  V38 rat1         [V38,T22] (  3,  2.80)    long  ->  r11         "fgMakeTemp is creating a new local variable"
-;  V39 rat2         [V39,T08] (  3,  8.80)    long  ->  rdi         "Spilling to split statement for tree"
-;  V40 rat3         [V40,T07] (  3, 11.20)    long  ->  r11         "fgMakeTemp is creating a new local variable"
+;  V39 rat2         [V39,T07] (  3,  8.80)    long  ->  rdi         "Spilling to split statement for tree"
+;  V40 rat3         [V40,T05] (  3, 11.20)    long  ->  r11         "fgMakeTemp is creating a new local variable"
 ;
 ; Lcl frame size = 56
 
 G_M62599_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 56
        lea      rbp, [rsp+0x60]
        mov      qword ptr [rbp-0x30], rdi
        mov      rbx, rdi
        mov      r15, rsi
        mov      r14, rdx
 						;; size=32 bbWeight=1 PerfScore 8.50
 G_M62599_IG02:
        cmp      gword ptr [rbx+0x08], 0
        jne      SHORT G_M62599_IG04
 						;; size=7 bbWeight=1 PerfScore 4.00
 G_M62599_IG03:
        mov      rdi, rbx
        xor      esi, esi
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[System.__Canon]:Initialize(int):int:this
        call     [rax]System.Collections.Generic.HashSet`1[System.__Canon]:Initialize(int):int:this
 						;; size=17 bbWeight=0.50 PerfScore 1.88
 G_M62599_IG04:
        mov      r13, gword ptr [rbx+0x10]
        mov      r12, gword ptr [rbx+0x18]
        xor      eax, eax
        mov      dword ptr [rbp-0x38], eax
        test     r15, r15
        je       SHORT G_M62599_IG08
 						;; size=18 bbWeight=1 PerfScore 6.50
 G_M62599_IG05:
        mov      rdi, qword ptr [rbx]
        mov      rsi, qword ptr [rdi+0x30]
        mov      rsi, qword ptr [rsi]
        mov      r11, qword ptr [rsi+0x28]
        test     r11, r11
        je       SHORT G_M62599_IG07
 						;; size=19 bbWeight=0.50 PerfScore 4.62
 G_M62599_IG06:
        mov      rdi, r12
        mov      rsi, r15
        call     [r11]
        mov      ecx, eax
        jmp      SHORT G_M62599_IG09
 						;; size=13 bbWeight=0.50 PerfScore 2.88
 G_M62599_IG07:
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      rcx, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_CLASS
        call     [rcx]CORINFO_HELP_RUNTIMEHANDLE_CLASS
        mov      r11, rax
        jmp      SHORT G_M62599_IG06
 						;; size=27 bbWeight=0.10 PerfScore 0.58
 G_M62599_IG08:
        xor      edi, edi
        xor      ecx, ecx
 						;; size=4 bbWeight=0.50 PerfScore 0.25
 G_M62599_IG09:
        mov      dword ptr [rbp-0x34], ecx
        mov      rdi, gword ptr [rbx+0x08]
        mov      esi, ecx
        imul     rsi, qword ptr [rbx+0x20]
        shr      rsi, 32
        inc      rsi
        mov      edx, dword ptr [rdi+0x08]
        mov      r8d, edx
        imul     rsi, r8
        shr      rsi, 32
        cmp      esi, edx
-       jae      G_M62599_IG25
+       jae      G_M62599_IG26
        mov      esi, esi
        lea      rdx, bword ptr [rdi+4*rsi+0x10]
        mov      bword ptr [rbp-0x50], rdx
        mov      r8d, dword ptr [rdx]
        dec      r8d
-       jns      G_M62599_IG14
-						;; size=66 bbWeight=1 PerfScore 20.50
+       mov      r9d, dword ptr [r13+0x08]
+       mov      dword ptr [rbp-0x44], r9d
+       cmp      r9d, r8d
+       ja       G_M62599_IG15
+						;; size=77 bbWeight=1 PerfScore 23.75
 G_M62599_IG10:
+       mov      r9d, dword ptr [rbp-0x44]
+						;; size=4 bbWeight=0.50 PerfScore 0.50
+G_M62599_IG11:
        mov      esi, dword ptr [rbx+0x30]
        test     esi, esi
-       jle      G_M62599_IG19
+       jle      G_M62599_IG20
        mov      edi, dword ptr [rbx+0x2C]
        mov      r8d, edi
        dec      esi
        mov      dword ptr [rbx+0x30], esi
-       mov      r9d, dword ptr [r13+0x08]
-       mov      esi, r9d
-       cmp      edi, esi
-       jae      G_M62599_IG25
+       cmp      edi, r9d
+       jae      G_M62599_IG26
        shl      rdi, 4
        mov      edi, dword ptr [r13+rdi+0x1C]
        neg      edi
        add      edi, -3
        mov      dword ptr [rbx+0x2C], edi
-       jmp      G_M62599_IG21
-						;; size=59 bbWeight=0.50 PerfScore 8.12
-G_M62599_IG11:
+       jmp      G_M62599_IG22
+						;; size=53 bbWeight=0.50 PerfScore 7.00
+G_M62599_IG12:
        mov      rsi, 0xD1FFAB1E      ; global ptr
        mov      r11, 0xD1FFAB1E      ; code for CORINFO_HELP_RUNTIMEHANDLE_CLASS
        call     [r11]CORINFO_HELP_RUNTIMEHANDLE_CLASS
        mov      r11, rax
-       jmp      SHORT G_M62599_IG16
+       jmp      SHORT G_M62599_IG17
 						;; size=28 bbWeight=0.40 PerfScore 2.30
-G_M62599_IG12:
+G_M62599_IG13:
        mov      r10, bword ptr [rbp-0x58]
        mov      r8d, dword ptr [r10+0x0C]
        mov      esi, r8d
        mov      eax, dword ptr [rbp-0x38]
        inc      eax
+       mov      r9d, dword ptr [rbp-0x44]
        mov      dword ptr [rbp-0x38], eax
-       cmp      dword ptr [rbp-0x48], eax
-       jb       G_M62599_IG24
-       test     esi, esi
+       cmp      r9d, eax
+       jb       G_M62599_IG25
+       cmp      r9d, esi
        mov      r8d, esi
-       jl       SHORT G_M62599_IG10
-						;; size=35 bbWeight=4 PerfScore 40.00
-G_M62599_IG13:
+       jbe      SHORT G_M62599_IG11
+						;; size=40 bbWeight=4 PerfScore 37.00
+G_M62599_IG14:
        mov      ecx, dword ptr [rbp-0x34]
 						;; size=3 bbWeight=2 PerfScore 2.00
-G_M62599_IG14:
-       mov      r9d, dword ptr [r13+0x08]
-       mov      dword ptr [rbp-0x48], r9d
-       cmp      r8d, r9d
-       jae      G_M62599_IG25
+G_M62599_IG15:
        mov      dword ptr [rbp-0x40], r8d
        mov      edi, r8d
        shl      rdi, 4
        lea      r10, bword ptr [r13+rdi+0x10]
        mov      bword ptr [rbp-0x58], r10
        cmp      dword ptr [r10+0x08], ecx
-       jne      SHORT G_M62599_IG12
-						;; size=43 bbWeight=4 PerfScore 52.00
-G_M62599_IG15:
+       jne      SHORT G_M62599_IG13
+						;; size=26 bbWeight=4 PerfScore 35.00
+G_M62599_IG16:
        mov      rdi, qword ptr [rbx]
        mov      rsi, qword ptr [rdi+0x30]
        mov      rsi, qword ptr [rsi]
        mov      r11, qword ptr [rsi+0x30]
        test     r11, r11
-       je       SHORT G_M62599_IG11
+       je       SHORT G_M62599_IG12
 						;; size=19 bbWeight=2 PerfScore 18.50
-G_M62599_IG16:
+G_M62599_IG17:
        mov      r10, bword ptr [rbp-0x58]
        mov      rsi, gword ptr [r10]
        mov      rdi, r12
        mov      rdx, r15
        call     [r11]
        test     eax, eax
-       je       SHORT G_M62599_IG12
+       je       SHORT G_M62599_IG13
 						;; size=20 bbWeight=2 PerfScore 15.50
-G_M62599_IG17:
+G_M62599_IG18:
        mov      r8d, dword ptr [rbp-0x40]
        mov      dword ptr [r14], r8d
        xor      eax, eax
 						;; size=9 bbWeight=0.50 PerfScore 1.12
-G_M62599_IG18:
+G_M62599_IG19:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
-G_M62599_IG19:
+G_M62599_IG20:
        mov      edi, dword ptr [rbx+0x28]
-       mov      r8d, edi
-       mov      dword ptr [rbp-0x44], r8d
-       mov      r9d, dword ptr [r13+0x08]
-       cmp      r9d, r8d
-       jne      SHORT G_M62599_IG20
+       mov      r13d, edi
+       cmp      r9d, r13d
+       jne      SHORT G_M62599_IG21
        mov      rdx, 0xD1FFAB1E      ; code for System.Collections.HashHelpers:ExpandPrime(int):int
        call     [rdx]System.Collections.HashHelpers:ExpandPrime(int):int
        mov      esi, eax
        mov      rdi, rbx
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[System.__Canon]:Resize(int,bool):this
        call     [rax]System.Collections.Generic.HashSet`1[System.__Canon]:Resize(int,bool):this
        mov      rdi, gword ptr [rbx+0x08]
-       mov      r13d, dword ptr [rbp-0x34]
-       mov      esi, r13d
-       imul     rsi, qword ptr [rbx+0x20]
-       shr      rsi, 32
-       inc      rsi
-       mov      eax, dword ptr [rdi+0x08]
-       mov      ecx, eax
-       imul     rsi, rcx
-       shr      rsi, 32
-       cmp      esi, eax
-       jae      G_M62599_IG25
-       mov      esi, esi
-       lea      rdx, bword ptr [rdi+4*rsi+0x10]
+       mov      esi, dword ptr [rbp-0x34]
+       mov      eax, esi
+       imul     rax, qword ptr [rbx+0x20]
+       shr      rax, 32
+       inc      rax
+       mov      ecx, dword ptr [rdi+0x08]
+       mov      edx, ecx
+       imul     rax, rdx
+       shr      rax, 32
+       cmp      eax, ecx
+       jae      G_M62599_IG26
+       mov      eax, eax
+       lea      rdx, bword ptr [rdi+4*rax+0x10]
        mov      rax, rdx
        mov      bword ptr [rbp-0x50], rax
-						;; size=108 bbWeight=0.50 PerfScore 15.62
-G_M62599_IG20:
-       mov      r8d, dword ptr [rbp-0x44]
-       mov      r13d, r8d
+						;; size=98 bbWeight=0.50 PerfScore 14.12
+G_M62599_IG21:
        lea      edi, [r13+0x01]
        mov      dword ptr [rbx+0x28], edi
        mov      rdi, gword ptr [rbx+0x10]
        mov      r8, rdi
        mov      rax, r8
        mov      r8d, r13d
        mov      r13, rax
-						;; size=30 bbWeight=0.50 PerfScore 2.88
-G_M62599_IG21:
+						;; size=23 bbWeight=0.50 PerfScore 2.25
+G_M62599_IG22:
        cmp      r8d, dword ptr [r13+0x08]
-       jae      G_M62599_IG25
+       jae      G_M62599_IG26
        mov      dword ptr [rbp-0x3C], r8d
        mov      edi, r8d
        shl      rdi, 4
        lea      rdi, bword ptr [r13+rdi+0x10]
        mov      ecx, dword ptr [rbp-0x34]
        mov      dword ptr [rdi+0x08], ecx
        mov      rdx, bword ptr [rbp-0x50]
        mov      esi, dword ptr [rdx]
        dec      esi
        mov      dword ptr [rdi+0x0C], esi
        mov      rsi, r15
        call     CORINFO_HELP_ASSIGN_REF
        mov      esi, dword ptr [rbp-0x3C]
        lea      edi, [rsi+0x01]
        mov      rdx, bword ptr [rbp-0x50]
        mov      dword ptr [rdx], edi
        inc      dword ptr [rbx+0x34]
        mov      dword ptr [r14], esi
        cmp      dword ptr [rbp-0x38], 100
-       jbe      SHORT G_M62599_IG22
+       jbe      SHORT G_M62599_IG23
        mov      rsi, r12
        mov      rdi, 0xD1FFAB1E      ; System.Collections.Generic.NonRandomizedStringEqualityComparer
        mov      rax, 0xD1FFAB1E      ; code for CORINFO_HELP_ISINSTANCEOFCLASS
        call     [rax]CORINFO_HELP_ISINSTANCEOFCLASS
        test     rax, rax
-       je       SHORT G_M62599_IG22
+       je       SHORT G_M62599_IG23
        mov      esi, dword ptr [r13+0x08]
        mov      rdi, rbx
        mov      edx, 1
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[System.__Canon]:Resize(int,bool):this
        call     [rax]System.Collections.Generic.HashSet`1[System.__Canon]:Resize(int,bool):this
        mov      rdi, rbx
        mov      rsi, r15
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[System.__Canon]:FindItemIndex(System.__Canon):int:this
        call     [rax]System.Collections.Generic.HashSet`1[System.__Canon]:FindItemIndex(System.__Canon):int:this
        mov      dword ptr [r14], eax
 						;; size=150 bbWeight=0.50 PerfScore 20.62
-G_M62599_IG22:
+G_M62599_IG23:
        mov      eax, 1
 						;; size=5 bbWeight=0.50 PerfScore 0.12
-G_M62599_IG23:
+G_M62599_IG24:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
-G_M62599_IG24:
+G_M62599_IG25:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
-G_M62599_IG25:
+G_M62599_IG26:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 761, prolog size 32, PerfScore 232.75, instruction count 219, allocated bytes for code 761 (MethodHash=4e1f0b78) for method System.Collections.Generic.HashSet`1[System.__Canon]:AddIfNotPresent(System.__Canon,byref):bool:this (FullOpts)
+; Total bytes of code 741, prolog size 32, PerfScore 213.25, instruction count 214, allocated bytes for code 741 (MethodHash=4e1f0b78) for method System.Collections.Generic.HashSet`1[System.__Canon]:AddIfNotPresent(System.__Canon,byref):bool:this (FullOpts)
 ; ============================================================

-16 (-2.90 % of base) - System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this

 ; Assembly listing for method System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 7 single block inlinees; 0 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T08] (  3,  3   )   byref  ->  rdi         this single-def
 ;  V01 arg1         [V01,T09] (  3,  3   )  struct ( 8) [rbp-0x30]  do-not-enreg[SF] single-def <System.Nullable`1[int]>
-;  V02 loc0         [V02,T04] ( 19, 12.50)     ref  ->  rbx         class-hnd single-def <System.Collections.Generic.HashSet`1[System.Nullable`1[int]]>
+;  V02 loc0         [V02,T03] ( 19, 12.50)     ref  ->  rbx         class-hnd single-def <System.Collections.Generic.HashSet`1[System.Nullable`1[int]]>
 ;  V03 loc1         [V03,T10] (  4,  4.50)     ref  ->  r15         class-hnd single-def <System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]>
-;  V04 loc2         [V04,T05] (  9, 12   )     ref  ->  r14         class-hnd <System.Collections.Generic.HashSet`1+Entry[System.Nullable`1[int]][]>
+;  V04 loc2         [V04,T05] (  7,  8   )     ref  ->  r14         class-hnd <System.Collections.Generic.HashSet`1+Entry[System.Nullable`1[int]][]>
 ;  V05 loc3         [V05,T06] (  5,  7   )     int  ->  [rbp-0x34]  spill-single-def
-;  V06 loc4         [V06,T03] (  4, 13   )     int  ->  r13        
+;  V06 loc4         [V06,T02] (  4, 13   )     int  ->  r13        
 ;  V07 loc5         [V07,T13] (  5,  3.50)   byref  ->  [rbp-0x50] 
-;  V08 loc6         [V08,T00] (  6, 18   )     int  ->   r8        
+;  V08 loc6         [V08,T00] (  5, 14   )     int  ->   r8        
 ;  V09 loc7         [V09,T28] (  2,  1   )  struct ( 8) [rbp-0x40]  do-not-enreg[SR] multireg-ret <System.Nullable`1[int]>
 ;  V10 loc8         [V10,T14] (  6,  3   )     int  ->  r13        
-;  V11 loc9         [V11,T02] (  4, 14   )   byref  ->  [rbp-0x58]  spill-single-def
+;  V11 loc9         [V11,T01] (  4, 14   )   byref  ->  [rbp-0x58]  spill-single-def
 ;  V12 loc10        [V12,T22] (  3,  1.50)     int  ->  r13        
 ;# V13 OutArgs      [V13    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V14 tmp1         [V14,T12] (  4,  4   )   byref  ->  rax         single-def "dup spill"
 ;  V15 tmp2         [V15,T19] (  2,  2   )   byref  ->  rcx         single-def "Inline return value spill temp"
 ;  V16 tmp3         [V16,T15] (  3,  3   )     ref  ->  rdx         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V17 tmp4         [V17    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V18 tmp5         [V18    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V19 tmp6         [V19,T27] (  2,  1   )   byref  ->  rcx         single-def "Inline return value spill temp"
 ;  V20 tmp7         [V20,T21] (  3,  1.50)     ref  ->  rax         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V21 tmp8         [V21    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V22 tmp9         [V22    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V23 tmp10        [V23,T07] (  3,  6   )     int  ->  rdi         "index expr"
 ;  V24 tmp11        [V24,T20] (  2,  2   )     int  ->  rsi         "argument with side effect"
 ;  V25 tmp12        [V25,T16] (  3,  3   )     int  ->  rcx         "index expr"
 ;  V26 tmp13        [V26,T17] (  3,  3   )     int  ->  rax         "index expr"
 ;  V27 cse0         [V27,T23] (  3,  1.50)     int  ->  rdx         "CSE #08: moderate"
 ;  V28 cse1         [V28,T24] (  3,  1.50)     int  ->  r15         "CSE #04: moderate"
 ;  V29 cse2         [V29,T25] (  3,  1.50)     int  ->  rax         "CSE #05: moderate"
 ;  V30 cse3         [V30,T26] (  3,  1.50)     int  ->  rdi         "CSE #06: moderate"
-;  V31 cse4         [V31,T01] (  7, 14   )     int  ->  [rbp-0x44]  multi-def "CSE #03: aggressive"
-;  V32 cse5         [V32,T11] (  4,  4.50)    long  ->  r12         "CSE #02: moderate"
+;  V31 cse4         [V31,T04] (  6, 11   )     int  ->  [rbp-0x44]  spill-single-def "CSE #02: aggressive"
+;  V32 cse5         [V32,T11] (  4,  4.50)    long  ->  r12         "CSE #03: moderate"
 ;  V33 cse6         [V33,T18] (  3,  3   )     int  ->  rsi         "CSE #01: moderate"
 ;
 ; Lcl frame size = 56
 
 G_M3626_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 56
        lea      rbp, [rsp+0x60]
        mov      qword ptr [rbp-0x30], rsi
 						;; size=23 bbWeight=1 PerfScore 7.75
 G_M3626_IG02:
        mov      rbx, gword ptr [rdi]
        mov      r15, gword ptr [rbx+0x18]
        cmp      gword ptr [rbx+0x08], 0
        jne      SHORT G_M3626_IG04
 						;; size=14 bbWeight=1 PerfScore 8.00
 G_M3626_IG03:
        mov      rdi, rbx
        xor      esi, esi
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:Initialize(int):int:this
        call     [rax]System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:Initialize(int):int:this
 						;; size=17 bbWeight=0.50 PerfScore 1.88
 G_M3626_IG04:
        mov      r14, gword ptr [rbx+0x10]
        xor      r13d, r13d
        mov      rdi, r15
        mov      r12, qword ptr [rbp-0x30]
        mov      rsi, r12
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]:GetHashCode(System.Nullable`1[int]):int:this
        call     [r11]System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]:GetHashCode(System.Nullable`1[int]):int:this
        mov      dword ptr [rbp-0x34], eax
        mov      rdx, gword ptr [rbx+0x08]
        mov      edi, eax
        imul     rdi, qword ptr [rbx+0x20]
        shr      rdi, 32
        inc      rdi
        mov      esi, dword ptr [rdx+0x08]
        mov      r11d, esi
        imul     rdi, r11
        shr      rdi, 32
        cmp      edi, esi
        jae      G_M3626_IG17
        mov      edi, edi
        lea      rcx, bword ptr [rdx+4*rdi+0x10]
        mov      bword ptr [rbp-0x50], rcx
        mov      r8d, dword ptr [rcx]
        dec      r8d
-       jns      SHORT G_M3626_IG08
-						;; size=92 bbWeight=1 PerfScore 27.50
+       mov      r9d, dword ptr [r14+0x08]
+       mov      dword ptr [rbp-0x44], r9d
+       cmp      r9d, r8d
+       ja       SHORT G_M3626_IG08
+						;; size=103 bbWeight=1 PerfScore 30.75
 G_M3626_IG05:
        mov      rdi, r15
        mov      rsi, r12
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]:Create(System.Nullable`1[int]):System.Nullable`1[int]:this
        call     [r11]System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]:Create(System.Nullable`1[int]):System.Nullable`1[int]:this
        mov      qword ptr [rbp-0x40], rax
        mov      r15d, dword ptr [rbx+0x30]
        test     r15d, r15d
        jle      G_M3626_IG12
        mov      eax, dword ptr [rbx+0x2C]
        mov      r13d, eax
        dec      r15d
        mov      dword ptr [rbx+0x30], r15d
-       mov      ecx, dword ptr [r14+0x08]
-       mov      r15d, ecx
-       cmp      eax, r15d
+       cmp      eax, dword ptr [rbp-0x44]
        jae      G_M3626_IG17
        shl      rax, 4
        mov      eax, dword ptr [r14+rax+0x14]
        neg      eax
        add      eax, -3
        mov      dword ptr [rbx+0x2C], eax
        jmp      G_M3626_IG14
-						;; size=87 bbWeight=0.50 PerfScore 10.50
+						;; size=80 bbWeight=0.50 PerfScore 10.25
 G_M3626_IG06:
        mov      r8d, dword ptr [r8+0x04]
        inc      r13d
-       cmp      dword ptr [rbp-0x44], r13d
+       mov      r9d, dword ptr [rbp-0x44]
+       cmp      r9d, r13d
        jb       G_M3626_IG16
-       test     r8d, r8d
-       jl       SHORT G_M3626_IG05
-						;; size=22 bbWeight=4 PerfScore 26.00
+       cmp      r9d, r8d
+       jbe      SHORT G_M3626_IG05
+						;; size=25 bbWeight=4 PerfScore 23.00
 G_M3626_IG07:
        mov      eax, dword ptr [rbp-0x34]
 						;; size=3 bbWeight=2 PerfScore 2.00
 G_M3626_IG08:
-       mov      r9d, dword ptr [r14+0x08]
-       mov      dword ptr [rbp-0x44], r9d
-       cmp      r8d, r9d
-       jae      G_M3626_IG17
        mov      edx, r8d
        shl      rdx, 4
        lea      r8, bword ptr [r14+rdx+0x10]
        mov      bword ptr [rbp-0x58], r8
        cmp      dword ptr [r8], eax
        jne      SHORT G_M3626_IG06
-						;; size=38 bbWeight=4 PerfScore 44.00
+						;; size=21 bbWeight=4 PerfScore 27.00
 G_M3626_IG09:
        mov      rdx, qword ptr [r8+0x08]
        mov      rdi, r15
        mov      rsi, r12
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
        call     [r11]System.Collections.Generic.IAlternateEqualityComparer`2[System.Nullable`1[int],System.Nullable`1[int]]:Equals(System.Nullable`1[int],System.Nullable`1[int]):bool:this
        test     eax, eax
        mov      r8, bword ptr [rbp-0x58]
        je       SHORT G_M3626_IG06
 						;; size=31 bbWeight=2 PerfScore 16.00
 G_M3626_IG10:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M3626_IG11:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M3626_IG12:
        mov      edi, dword ptr [rbx+0x28]
        mov      r13d, edi
-       mov      r9d, dword ptr [r14+0x08]
-       mov      r12d, r9d
-       cmp      r12d, r13d
+       cmp      dword ptr [rbp-0x44], r13d
        jne      SHORT G_M3626_IG13
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.HashHelpers:ExpandPrime(int):int
        call     [rax]System.Collections.HashHelpers:ExpandPrime(int):int
        mov      esi, eax
        mov      rdi, rbx
        xor      edx, edx
        mov      rax, 0xD1FFAB1E      ; code for System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:Resize(int,bool):this
        call     [rax]System.Collections.Generic.HashSet`1[System.Nullable`1[int]]:Resize(int,bool):this
        mov      rax, gword ptr [rbx+0x08]
        mov      r12d, dword ptr [rbp-0x34]
        mov      ecx, r12d
        imul     rcx, qword ptr [rbx+0x20]
        shr      rcx, 32
        inc      rcx
        mov      edx, dword ptr [rax+0x08]
        mov      edi, edx
        imul     rcx, rdi
        shr      rcx, 32
        cmp      ecx, edx
        jae      SHORT G_M3626_IG17
        mov      ecx, ecx
        lea      rcx, bword ptr [rax+4*rcx+0x10]
        mov      r15, rcx
        mov      bword ptr [rbp-0x50], r15
-						;; size=103 bbWeight=0.50 PerfScore 15.25
+						;; size=97 bbWeight=0.50 PerfScore 15.00
 G_M3626_IG13:
        lea      eax, [r13+0x01]
        mov      dword ptr [rbx+0x28], eax
        mov      r14, gword ptr [rbx+0x10]
 						;; size=11 bbWeight=0.50 PerfScore 1.75
 G_M3626_IG14:
        cmp      r13d, dword ptr [r14+0x08]
        jae      SHORT G_M3626_IG17
        mov      eax, r13d
        shl      rax, 4
        lea      rax, bword ptr [r14+rax+0x10]
        mov      r12d, dword ptr [rbp-0x34]
        mov      dword ptr [rax], r12d
        mov      r15, bword ptr [rbp-0x50]
        mov      ecx, dword ptr [r15]
        dec      ecx
        mov      dword ptr [rax+0x04], ecx
        mov      rcx, qword ptr [rbp-0x40]
        mov      qword ptr [rax+0x08], rcx
        inc      r13d
        mov      dword ptr [r15], r13d
        inc      dword ptr [rbx+0x34]
        mov      eax, 1
 						;; size=59 bbWeight=0.50 PerfScore 9.25
 G_M3626_IG15:
        add      rsp, 56
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M3626_IG16:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M3626_IG17:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 551, prolog size 23, PerfScore 174.25, instruction count 160, allocated bytes for code 551 (MethodHash=ed20f1d5) for method System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
+; Total bytes of code 535, prolog size 23, PerfScore 157.00, instruction count 156, allocated bytes for code 535 (MethodHash=ed20f1d5) for method System.Collections.Generic.HashSet`1+AlternateLookup`1[System.Nullable`1[int],System.Nullable`1[int]]:Add(System.Nullable`1[int]):bool:this (FullOpts)
 ; ============================================================

-11 (-2.79 % of base) - System.Collections.Generic.HashSet`1[int]:Remove(int):bool:this

 ; Assembly listing for method System.Collections.Generic.HashSet`1[int]:Remove(int):bool:this (FullOpts)
 ; Emitting BLENDED_CODE for x64 + VEX + EVEX on Unix
 ; FullOpts code
 ; optimized code
 ; rbp based frame
 ; fully interruptible
 ; No PGO data
 ; 0 inlinees with PGO data; 5 single block inlinees; 1 inlinees without PGO data
 ; Final local variable assignments
 ;
 ;  V00 this         [V00,T04] ( 11,  7   )     ref  ->  rbx         this class-hnd single-def <System.Collections.Generic.HashSet`1[int]>
 ;  V01 arg1         [V01,T05] (  6,  7   )     int  ->  r15         ld-addr-op single-def
-;  V02 loc0         [V02,T06] (  4,  9   )     ref  ->  r14         class-hnd exact single-def <System.Collections.Generic.HashSet`1+Entry[int][]>
+;  V02 loc0         [V02,T08] (  4,  5.50)     ref  ->  r14         class-hnd exact single-def <System.Collections.Generic.HashSet`1+Entry[int][]>
 ;  V03 loc1         [V03,T02] (  4, 12.50)     int  ->  r13        
-;  V04 loc2         [V04,T07] (  5,  6   )     int  ->  r12        
-;  V05 loc3         [V05,T08] (  5,  5.50)     ref  ->  [rbp-0x40]  class-hnd spill-single-def <System.Collections.Generic.IEqualityComparer`1[int]>
+;  V04 loc2         [V04,T06] (  5,  6   )     int  ->  r12        
+;  V05 loc3         [V05,T07] (  5,  5.50)     ref  ->  [rbp-0x40]  class-hnd spill-single-def <System.Collections.Generic.IEqualityComparer`1[int]>
 ;  V06 loc4         [V06,T09] (  3,  5   )     int  ->  [rbp-0x2C]  spill-single-def
 ;  V07 loc5         [V07,T12] (  3,  1.50)   byref  ->  [rbp-0x48]  spill-single-def
-;  V08 loc6         [V08,T00] (  8, 21.50)     int  ->  [rbp-0x30] 
-;  V09 loc7         [V09,T01] (  8, 17.50)   byref  ->  [rbp-0x50]  spill-single-def
+;  V08 loc6         [V08,T01] (  7, 17.50)     int  ->  [rbp-0x30] 
+;  V09 loc7         [V09,T00] (  8, 17.50)   byref  ->  [rbp-0x50]  spill-single-def
 ;# V10 OutArgs      [V10    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
 ;  V11 tmp1         [V11,T14] (  3,  1.50)     int  ->  registers  
 ;  V12 tmp2         [V12,T10] (  2,  4   )     int  ->  rax        
 ;  V13 tmp3         [V13,T16] (  2,  1   )   byref  ->  rcx         single-def "Inline return value spill temp"
 ;  V14 tmp4         [V14,T13] (  3,  1.50)     ref  ->  rsi         class-hnd single-def "Inline stloc first use temp" <int[]>
 ;* V15 tmp5         [V15    ] (  0,  0   )    long  ->  zero-ref    "Inlining Arg"
 ;* V16 tmp6         [V16    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;* V17 tmp7         [V17    ] (  0,  0   )   ubyte  ->  zero-ref    "Inline return value spill temp"
 ;* V18 tmp8         [V18    ] (  0,  0   )     int  ->  zero-ref    ld-addr-op "Inlining Arg"
 ;* V19 tmp9         [V19    ] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
 ;  V20 tmp10        [V20,T11] (  3,  3   )     int  ->  rdi         "index expr"
 ;  V21 cse0         [V21,T15] (  3,  1.50)     int  ->  rdx         "CSE #01: moderate"
-;  V22 cse1         [V22,T03] (  4, 12.50)     int  ->  [rbp-0x34]  spill-single-def "CSE #03: aggressive"
+;  V22 cse1         [V22,T03] (  5,  9.50)     int  ->  [rbp-0x34]  spill-single-def "CSE #02: aggressive"
 ;
 ; Lcl frame size = 40
 
 G_M183_IG01:
        push     rbp
        push     r15
        push     r14
        push     r13
        push     r12
        push     rbx
        sub      rsp, 40
        lea      rbp, [rsp+0x50]
        mov      rbx, rdi
        mov      r15d, esi
 						;; size=25 bbWeight=1 PerfScore 7.25
 G_M183_IG02:
        cmp      gword ptr [rbx+0x08], 0
        je       G_M183_IG11
 						;; size=11 bbWeight=1 PerfScore 4.00
 G_M183_IG03:
        mov      r14, gword ptr [rbx+0x10]
        xor      r13d, r13d
        mov      r12d, -1
        mov      rax, gword ptr [rbx+0x18]
        mov      gword ptr [rbp-0x40], rax
        test     rax, rax
        jne      SHORT G_M183_IG04
        mov      ecx, r15d
        mov      eax, ecx
        jmp      SHORT G_M183_IG05
 						;; size=33 bbWeight=0.50 PerfScore 4.62
 G_M183_IG04:
        mov      rdi, rax
        mov      esi, r15d
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[int]:GetHashCode(int):int:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[int]:GetHashCode(int):int:this
 						;; size=19 bbWeight=0.50 PerfScore 1.88
 G_M183_IG05:
        mov      dword ptr [rbp-0x2C], eax
        mov      rsi, gword ptr [rbx+0x08]
        mov      edi, eax
        imul     rdi, qword ptr [rbx+0x20]
        shr      rdi, 32
        inc      rdi
        mov      edx, dword ptr [rsi+0x08]
        mov      r11d, edx
        imul     rdi, r11
        shr      rdi, 32
        cmp      edi, edx
        jae      G_M183_IG17
        mov      edi, edi
        lea      rcx, bword ptr [rsi+4*rdi+0x10]
        mov      bword ptr [rbp-0x48], rcx
        mov      r8d, dword ptr [rcx]
        dec      r8d
-       js       G_M183_IG11
-						;; size=66 bbWeight=0.50 PerfScore 10.25
-G_M183_IG06:
        mov      r9d, dword ptr [r14+0x08]
        mov      dword ptr [rbp-0x34], r9d
-       cmp      r8d, r9d
-       jae      G_M183_IG17
+       cmp      r9d, r8d
+       jbe      SHORT G_M183_IG11
+						;; size=73 bbWeight=0.50 PerfScore 11.88
+G_M183_IG06:
        mov      dword ptr [rbp-0x30], r8d
        mov      esi, r8d
        lea      rsi, [rsi+2*rsi]
        lea      r10, bword ptr [r14+4*rsi+0x10]
        mov      bword ptr [rbp-0x50], r10
        cmp      dword ptr [r10], eax
        jne      SHORT G_M183_IG10
-						;; size=42 bbWeight=4 PerfScore 48.00
+						;; size=25 bbWeight=4 PerfScore 31.00
 G_M183_IG07:
        mov      r11, gword ptr [rbp-0x40]
        test     r11, r11
        je       SHORT G_M183_IG09
        mov      esi, dword ptr [r10+0x08]
        mov      rdi, r11
        mov      edx, r15d
        mov      r11, 0xD1FFAB1E      ; code for System.Collections.Generic.IEqualityComparer`1[int]:Equals(int,int):bool:this
        call     [r11]System.Collections.Generic.IEqualityComparer`1[int]:Equals(int,int):bool:this
        test     eax, eax
        mov      r10, bword ptr [rbp-0x50]
        je       SHORT G_M183_IG10
 						;; size=40 bbWeight=2 PerfScore 20.50
 G_M183_IG08:
        test     r12d, r12d
        jge      SHORT G_M183_IG13
        mov      eax, dword ptr [r10+0x04]
        inc      eax
        mov      rcx, bword ptr [rbp-0x48]
        mov      dword ptr [rcx], eax
        jmp      SHORT G_M183_IG14
 						;; size=19 bbWeight=0.50 PerfScore 3.75
 G_M183_IG09:
        cmp      dword ptr [r10+0x08], r15d
        je       SHORT G_M183_IG08
 						;; size=6 bbWeight=2 PerfScore 8.00
 G_M183_IG10:
        mov      r8d, dword ptr [rbp-0x30]
        mov      r12d, r8d
        mov      r8d, dword ptr [r10+0x04]
        inc      r13d
-       cmp      dword ptr [rbp-0x34], r13d
+       mov      r9d, dword ptr [rbp-0x34]
+       cmp      r9d, r13d
        jb       SHORT G_M183_IG16
-       test     r8d, r8d
+       cmp      r9d, r8d
        mov      eax, dword ptr [rbp-0x2C]
-       jge      G_M183_IG06
-						;; size=32 bbWeight=4 PerfScore 35.00
+       ja       SHORT G_M183_IG06
+						;; size=31 bbWeight=4 PerfScore 32.00
 G_M183_IG11:
        xor      eax, eax
 						;; size=2 bbWeight=0.50 PerfScore 0.12
 G_M183_IG12:
        add      rsp, 40
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M183_IG13:
        cmp      r12d, dword ptr [rbp-0x34]
        jae      SHORT G_M183_IG17
        mov      ecx, r12d
        lea      rax, [rcx+2*rcx]
        mov      ecx, dword ptr [r10+0x04]
        mov      dword ptr [r14+4*rax+0x14], ecx
 						;; size=22 bbWeight=0.50 PerfScore 3.38
 G_M183_IG14:
        mov      eax, dword ptr [rbx+0x2C]
        neg      eax
        add      eax, -3
        mov      dword ptr [r10+0x04], eax
        mov      r8d, dword ptr [rbp-0x30]
        mov      dword ptr [rbx+0x2C], r8d
        inc      dword ptr [rbx+0x30]
        mov      eax, 1
 						;; size=28 bbWeight=0.50 PerfScore 4.38
 G_M183_IG15:
        add      rsp, 40
        pop      rbx
        pop      r12
        pop      r13
        pop      r14
        pop      r15
        pop      rbp
        ret      
 						;; size=15 bbWeight=0.50 PerfScore 2.12
 G_M183_IG16:
        mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        call     [rax]System.ThrowHelper:ThrowInvalidOperationException_ConcurrentOperationsNotSupported()
        int3     
 						;; size=13 bbWeight=0 PerfScore 0.00
 G_M183_IG17:
        call     CORINFO_HELP_RNGCHKFAIL
        int3     
 						;; size=6 bbWeight=0 PerfScore 0.00
 
-; Total bytes of code 394, prolog size 25, PerfScore 155.38, instruction count 120, allocated bytes for code 394 (MethodHash=f48dff48) for method System.Collections.Generic.HashSet`1[int]:Remove(int):bool:this (FullOpts)
+; Total bytes of code 383, prolog size 25, PerfScore 137.00, instruction count 120, allocated bytes for code 383 (MethodHash=f48dff48) for method System.Collections.Generic.HashSet`1[int]:Remove(int):bool: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/e0020a31cef9dde8dc31e14fd3d82f60

[MihuBot]

@EgorBo