[JitDiff X64] [EgorBo] Remove unsafe code from CRC vectorized helpers

[MihuBot]

Job completed in 2 minutes 7 seconds (remote runner delay: 0 seconds).
dotnet/runtime#127456

Main commit: dotnet/runtime@aba46e3
PR commit: EgorBo/runtime-1@ec95116

Diffs

Found 84 files with textual diffs.

Summary of Code Size diffs:
(Lower is better)

Total bytes of base: 46226656
Total bytes of diff: 46226760
Total bytes of delta: 104 (0.00 % of base)
Total relative delta: -0.67
    diff is a regression.
    relative diff is an improvement.


Total byte diff includes 54 bytes from reconciling methods
	Base had    2 unique methods,       44 unique bytes
	Diff had    2 unique methods,       98 unique bytes

Top file regressions (bytes):
         213 : System.IO.Hashing.dasm (0.54 % of base)

Top file improvements (bytes):
        -109 : System.DirectoryServices.Protocols.dasm (-0.07 % of base)

2 total files with Code Size differences (1 improved, 1 regressed), 258 unchanged.

Top method regressions (bytes):
          49 (Infinity of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ForwardCrc32:LoadReversed(System.ReadOnlySpan`1[byte]):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (0 base, 1 diff methods)
          49 (Infinity of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:LoadReversed(System.ReadOnlySpan`1[byte]):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (0 base, 1 diff methods)
          42 (8.25 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this (FullOpts)
          39 (6.94 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ForwardCrc32:UpdateVectorizedCore(uint,System.ReadOnlySpan`1[byte],byref):uint:this (FullOpts)
          39 (8.63 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ReflectedCrc32:UpdateVectorizedCore(uint,System.ReadOnlySpan`1[byte],byref):uint:this (FullOpts)
          39 (9.15 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ReflectedCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this (FullOpts)

Top method improvements (bytes):
        -109 (-100.00 % of base) : System.DirectoryServices.Protocols.dasm - System.DirectoryServices.Protocols.PartialResultsRetriever:ThreadRoutine():this (FullOpts)
         -22 (-100.00 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ForwardCrc32:LoadReversed(byref,nuint):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (1 base, 0 diff methods)
         -22 (-100.00 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:LoadReversed(byref,nuint):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (1 base, 0 diff methods)

Top method regressions (percentages):
          49 (Infinity of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ForwardCrc32:LoadReversed(System.ReadOnlySpan`1[byte]):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (0 base, 1 diff methods)
          49 (Infinity of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:LoadReversed(System.ReadOnlySpan`1[byte]):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (0 base, 1 diff methods)
          39 (9.15 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ReflectedCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this (FullOpts)
          39 (8.63 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ReflectedCrc32:UpdateVectorizedCore(uint,System.ReadOnlySpan`1[byte],byref):uint:this (FullOpts)
          42 (8.25 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this (FullOpts)
          39 (6.94 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ForwardCrc32:UpdateVectorizedCore(uint,System.ReadOnlySpan`1[byte],byref):uint:this (FullOpts)

Top method improvements (percentages):
        -109 (-100.00 % of base) : System.DirectoryServices.Protocols.dasm - System.DirectoryServices.Protocols.PartialResultsRetriever:ThreadRoutine():this (FullOpts)
         -22 (-100.00 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc32ParameterSet+ForwardCrc32:LoadReversed(byref,nuint):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (1 base, 0 diff methods)
         -22 (-100.00 % of base) : System.IO.Hashing.dasm - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:LoadReversed(byref,nuint):System.Runtime.Intrinsics.Vector128`1[ulong] (FullOpts) (1 base, 0 diff methods)

9 total methods with Code Size differences (3 improved, 6 regressed), 286340 unchanged.

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

Artifacts:

• diff-frameworks.txt (4 KB)
• LongDiffsRegressions.md (184 KB)
• ShortDiffsRegressions.md (47 KB)
• jit-diffs-pr.zip (157 MB)
• jit-diffs-main.zip (157 MB)

[MihuBot]

Top method regressions

42 (8.25 % of base) - System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this

 ; Assembly listing for method System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong: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; 9 single block inlinees; 32 inlinees without PGO data
+; 0 inlinees with PGO data; 28 single block inlinees; 52 inlinees without PGO data
 ; Final local variable assignments
 ;
-;  V00 this         [V00,T02] (  7,  9   )     ref  ->  rdi         this class-hnd single-def <System.IO.Hashing.Crc64ParameterSet+ForwardCrc64>
-;  V01 arg1         [V01,T05] (  4,  3   )    long  ->  rsi         single-def
+;  V00 this         [V00,T09] (  9, 13.50)     ref  ->  rdi         this class-hnd single-def <System.IO.Hashing.Crc64ParameterSet+ForwardCrc64>
+;  V01 arg1         [V01,T15] (  4,  3   )    long  ->  rsi         single-def
 ;* V02 arg2         [V02    ] (  0,  0   )  struct (16) zero-ref    multireg-arg ld-addr-op single-def <System.ReadOnlySpan`1[byte]>
-;  V03 arg3         [V03,T06] (  3,  3   )   byref  ->   r8         single-def
-;  V04 loc0         [V04,T00] ( 12, 27.50)   byref  ->  rax        
-;  V05 loc1         [V05,T01] ( 11, 18   )     int  ->   r9        
-;  V06 loc2         [V06,T07] ( 27, 28   )  simd16  ->  mm0         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V07 loc3         [V07    ] (  0,  0   )  simd16  ->  zero-ref    <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V08 loc4         [V08,T15] (  5, 13   )  simd16  ->  mm2         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V09 loc5         [V09,T16] (  5, 13   )  simd16  ->  mm3         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V10 loc6         [V10,T17] (  5, 13   )  simd16  ->  mm4         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V11 loc7         [V11,T18] (  2,  8   )  simd16  ->  mm5         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V12 loc8         [V12,T19] (  2,  8   )  simd16  ->  mm6         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V13 loc9         [V13,T20] (  2,  8   )  simd16  ->  mm7         <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;# V14 OutArgs      [V14    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
-;* V15 tmp1         [V15    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V16 tmp2         [V16    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;  V17 tmp3         [V17,T21] (  2,  4   )  simd16  ->  mm1         "impAppendStmt"
-;* V18 tmp4         [V18    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V19 tmp5         [V19    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V20 tmp6         [V20    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;  V21 tmp7         [V21,T14] (  2, 16   )  simd16  ->  mm8         "impAppendStmt"
-;* V22 tmp8         [V22    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
-;* V23 tmp9         [V23    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V24 tmp10        [V24    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V25 tmp11        [V25    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V26 tmp12        [V26    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V27 tmp13        [V27    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V28 tmp14        [V28    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V29 tmp15        [V29    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V30 tmp16        [V30    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V31 tmp17        [V31    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V32 tmp18        [V32    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V33 tmp19        [V33    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V34 tmp20        [V34,T08] (  3, 24   )  simd16  ->  mm10         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V35 tmp21        [V35    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V36 tmp22        [V36    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V37 tmp23        [V37    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V38 tmp24        [V38    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V39 tmp25        [V39    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V40 tmp26        [V40,T09] (  3, 24   )  simd16  ->  mm5         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V41 tmp27        [V41    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V42 tmp28        [V42    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V43 tmp29        [V43    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V44 tmp30        [V44    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V45 tmp31        [V45    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V46 tmp32        [V46,T10] (  3, 24   )  simd16  ->  mm5         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V47 tmp33        [V47    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V48 tmp34        [V48    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V49 tmp35        [V49    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V50 tmp36        [V50    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V51 tmp37        [V51    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V52 tmp38        [V52,T11] (  3, 24   )  simd16  ->  mm9         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V53 tmp39        [V53    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V54 tmp40        [V54    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V55 tmp41        [V55    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V56 tmp42        [V56    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V57 tmp43        [V57    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V58 tmp44        [V58,T23] (  3,  3   )  simd16  ->  mm6         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V59 tmp45        [V59    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V60 tmp46        [V60    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V61 tmp47        [V61    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V62 tmp48        [V62    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V63 tmp49        [V63    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V64 tmp50        [V64,T24] (  3,  3   )  simd16  ->  mm2         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V65 tmp51        [V65    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V66 tmp52        [V66    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V67 tmp53        [V67    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V68 tmp54        [V68    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V69 tmp55        [V69    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V70 tmp56        [V70,T25] (  3,  3   )  simd16  ->  mm5         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V71 tmp57        [V71    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V72 tmp58        [V72    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V73 tmp59        [V73    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V74 tmp60        [V74    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V75 tmp61        [V75    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;* V76 tmp62        [V76    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V77 tmp63        [V77    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V78 tmp64        [V78    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
-;  V79 tmp65        [V79,T28] (  2,  2   )  simd16  ->  mm2         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V80 tmp66        [V80,T26] (  3,  3   )  simd16  ->  mm3         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V81 tmp67        [V81    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V82 tmp68        [V82    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
-;* V83 tmp69        [V83    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V84 tmp70        [V84    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V85 tmp71        [V85    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V86 tmp72        [V86    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V87 tmp73        [V87    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V88 tmp74        [V88    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V89 tmp75        [V89    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;* V90 tmp76        [V90    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
-;  V91 tmp77        [V91,T03] (  7,  4.50)   byref  ->  rdx         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
-;  V92 tmp78        [V92,T04] (  4,  3.50)     int  ->  rcx         single-def "field V02._length (fldOffset=0x8)" P-INDEP
-;* V93 tmp79        [V93    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V22._reference (fldOffset=0x0)" P-INDEP
-;* V94 tmp80        [V94    ] (  0,  0   )     int  ->  zero-ref    "field V22._length (fldOffset=0x8)" P-INDEP
-;  V95 cse0         [V95,T13] (  5, 20   )  simd16  ->  mm9         "CSE #02: aggressive"
-;  V96 cse1         [V96,T22] (  6,  3   )  simd16  ->  mm5         multi-def "CSE #03: aggressive"
-;  V97 cse2         [V97,T27] (  3,  3   )  simd16  ->  mm1         "CSE #09: aggressive"
-;  V98 cse3         [V98,T12] ( 12, 20   )  simd16  ->  mm1         multi-def "CSE #01: aggressive"
+;  V03 arg3         [V03,T16] (  3,  3   )   byref  ->   r8         single-def
+;* V04 loc0         [V04    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op <System.ReadOnlySpan`1[byte]>
+;  V05 loc1         [V05,T28] ( 27, 38.50)  simd16  ->  mm0         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V06 loc2         [V06    ] (  0,  0   )  simd16  ->  zero-ref    <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V07 loc3         [V07,T38] (  5, 13   )  simd16  ->  mm2         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V08 loc4         [V08,T39] (  5, 13   )  simd16  ->  mm3         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V09 loc5         [V09,T40] (  5, 13   )  simd16  ->  mm4         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V10 loc6         [V10,T41] (  2,  8   )  simd16  ->  mm6         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V11 loc7         [V11,T42] (  2,  8   )  simd16  ->  mm7         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V12 loc8         [V12,T43] (  2,  8   )  simd16  ->  mm8         <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;# V13 OutArgs      [V13    ] (  1,  1   )  struct ( 0) [rsp+0x00]  do-not-enreg[XS] addr-exposed "OutgoingArgSpace" <Empty>
+;* V14 tmp1         [V14    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V15 tmp2         [V15    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;  V16 tmp3         [V16,T44] (  2,  4   )  simd16  ->  mm1         "impAppendStmt"
+;* V17 tmp4         [V17    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V18 tmp5         [V18    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V19 tmp6         [V19    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V20 tmp7         [V20    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V21 tmp8         [V21    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V22 tmp9         [V22    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;  V23 tmp10        [V23,T36] (  2, 16   )  simd16  ->  mm5         "impAppendStmt"
+;* V24 tmp11        [V24    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V25 tmp12        [V25    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V26 tmp13        [V26    ] (  0,  0   )  struct (16) zero-ref    "spilled call-like call argument" <System.ReadOnlySpan`1[byte]>
+;* V27 tmp14        [V27    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V28 tmp15        [V28    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V29 tmp16        [V29    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V30 tmp17        [V30    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V31 tmp18        [V31    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V32 tmp19        [V32,T18] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V33 tmp20        [V33,T25] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V34 tmp21        [V34    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V35 tmp22        [V35    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V36 tmp23        [V36    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V37 tmp24        [V37    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V38 tmp25        [V38,T19] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V39 tmp26        [V39,T26] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V40 tmp27        [V40    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V41 tmp28        [V41    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V42 tmp29        [V42    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V43 tmp30        [V43    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V44 tmp31        [V44,T20] (  2,  2   )   byref  ->  rax         single-def "Inlining Arg"
+;* V45 tmp32        [V45,T27] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V46 tmp33        [V46    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V47 tmp34        [V47    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V48 tmp35        [V48    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V49 tmp36        [V49    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V50 tmp37        [V50,T21] (  2,  2   )   byref  ->  rdx         single-def "Inlining Arg"
+;  V51 tmp38        [V51,T23] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V52 tmp39        [V52    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V53 tmp40        [V53    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V54 tmp41        [V54    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V55 tmp42        [V55    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V56 tmp43        [V56    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V57 tmp44        [V57    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V58 tmp45        [V58    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V59 tmp46        [V59,T02] (  2, 16   )   byref  ->  rsi         "Inlining Arg"
+;* V60 tmp47        [V60,T11] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V61 tmp48        [V61    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V62 tmp49        [V62    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V63 tmp50        [V63    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V64 tmp51        [V64    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V65 tmp52        [V65,T03] (  2, 16   )   byref  ->  rsi         "Inlining Arg"
+;* V66 tmp53        [V66,T12] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V67 tmp54        [V67    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V68 tmp55        [V68    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V69 tmp56        [V69    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V70 tmp57        [V70    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V71 tmp58        [V71,T04] (  2, 16   )   byref  ->  rsi         "Inlining Arg"
+;* V72 tmp59        [V72,T13] (  0,  0   )     int  ->  zero-ref    "Inlining Arg"
+;* V73 tmp60        [V73    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V74 tmp61        [V74    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V75 tmp62        [V75    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V76 tmp63        [V76    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V77 tmp64        [V77,T29] (  3, 24   )  simd16  ->  mm10         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V78 tmp65        [V78    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V79 tmp66        [V79    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V80 tmp67        [V80    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V81 tmp68        [V81    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V82 tmp69        [V82    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V83 tmp70        [V83,T30] (  3, 24   )  simd16  ->  mm5         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V84 tmp71        [V84    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V85 tmp72        [V85    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V86 tmp73        [V86    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V87 tmp74        [V87    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V88 tmp75        [V88    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V89 tmp76        [V89,T31] (  3, 24   )  simd16  ->  mm5         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V90 tmp77        [V90    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V91 tmp78        [V91    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V92 tmp79        [V92    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V93 tmp80        [V93    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V94 tmp81        [V94    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V95 tmp82        [V95,T32] (  3, 24   )  simd16  ->  mm9         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V96 tmp83        [V96    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V97 tmp84        [V97    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V98 tmp85        [V98    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V99 tmp86        [V99    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V100 tmp87       [V100    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V101 tmp88       [V101,T05] (  2, 16   )   byref  ->  rdx         "Inlining Arg"
+;  V102 tmp89       [V102,T07] (  2, 16   )     int  ->  rax         "Inlining Arg"
+;* V103 tmp90       [V103    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V104 tmp91       [V104,T45] (  3,  3   )  simd16  ->  mm5         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V105 tmp92       [V105    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V106 tmp93       [V106    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V107 tmp94       [V107    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V108 tmp95       [V108    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V109 tmp96       [V109    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V110 tmp97       [V110,T46] (  3,  3   )  simd16  ->  mm2         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V111 tmp98       [V111    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V112 tmp99       [V112    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V113 tmp100      [V113    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V114 tmp101      [V114    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V115 tmp102      [V115    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V116 tmp103      [V116,T47] (  3,  3   )  simd16  ->  mm2         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V117 tmp104      [V117    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V118 tmp105      [V118    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V119 tmp106      [V119    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V120 tmp107      [V120    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V121 tmp108      [V121    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V122 tmp109      [V122    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V123 tmp110      [V123    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V124 tmp111      [V124    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V125 tmp112      [V125    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V126 tmp113      [V126    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V127 tmp114      [V127    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V128 tmp115      [V128,T22] (  2,  2   )   byref  ->  rdx         single-def "Inlining Arg"
+;  V129 tmp116      [V129,T24] (  2,  2   )     int  ->  rax         "Inlining Arg"
+;* V130 tmp117      [V130    ] (  0,  0   )  struct (16) zero-ref    "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V131 tmp118      [V131    ] (  0,  0   )  simd16  ->  zero-ref    "Inline stloc first use temp" <System.Runtime.Intrinsics.Vector128`1[byte]>
+;* V132 tmp119      [V132    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;* V133 tmp120      [V133    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "Inlining Arg" <System.ReadOnlySpan`1[byte]>
+;  V134 tmp121      [V134,T37] (  2, 16   )  simd16  ->  mm2         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V135 tmp122      [V135,T33] (  3, 24   )  simd16  ->  mm3         "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V136 tmp123      [V136    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V137 tmp124      [V137    ] (  0,  0   )  simd16  ->  zero-ref    "spilled call-like call argument"
+;* V138 tmp125      [V138    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V139 tmp126      [V139    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V140 tmp127      [V140    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp" <System.ReadOnlySpan`1[byte]>
+;  V141 tmp128      [V141,T06] (  2, 16   )   byref  ->  rdx         "Inlining Arg"
+;  V142 tmp129      [V142,T08] (  2, 16   )     int  ->  rax         "Inlining Arg"
+;* V143 tmp130      [V143    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V144 tmp131      [V144    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V145 tmp132      [V145    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V146 tmp133      [V146    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V147 tmp134      [V147    ] (  0,  0   )  simd16  ->  zero-ref    "Inline return value spill temp" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;* V148 tmp135      [V148    ] (  0,  0   )  simd16  ->  zero-ref    "Inlining Arg" <System.Runtime.Intrinsics.Vector128`1[ulong]>
+;  V149 tmp136      [V149,T14] (  8,  4.50)   byref  ->  rdx         single-def "field V02._reference (fldOffset=0x0)" P-INDEP
+;  V150 tmp137      [V150,T10] (  6,  4.50)     int  ->  rcx         single-def "field V02._length (fldOffset=0x8)" P-INDEP
+;  V151 tmp138      [V151,T00] ( 11, 37   )   byref  ->  rdx         "field V04._reference (fldOffset=0x0)" P-INDEP
+;  V152 tmp139      [V152,T01] ( 11, 28.50)     int  ->  rax         "field V04._length (fldOffset=0x8)" P-INDEP
+;* V153 tmp140      [V153    ] (  0,  0   )   byref  ->  zero-ref    "field V19._reference (fldOffset=0x0)" P-INDEP
+;* V154 tmp141      [V154    ] (  0,  0   )     int  ->  zero-ref    "field V19._length (fldOffset=0x8)" P-INDEP
+;* V155 tmp142      [V155    ] (  0,  0   )   byref  ->  zero-ref    "field V20._reference (fldOffset=0x0)" P-INDEP
+;* V156 tmp143      [V156    ] (  0,  0   )     int  ->  zero-ref    "field V20._length (fldOffset=0x8)" P-INDEP
+;* V157 tmp144      [V157    ] (  0,  0   )   byref  ->  zero-ref    "field V21._reference (fldOffset=0x0)" P-INDEP
+;* V158 tmp145      [V158    ] (  0,  0   )     int  ->  zero-ref    "field V21._length (fldOffset=0x8)" P-INDEP
+;* V159 tmp146      [V159    ] (  0,  0   )   byref  ->  zero-ref    "field V24._reference (fldOffset=0x0)" P-INDEP
+;* V160 tmp147      [V160    ] (  0,  0   )     int  ->  zero-ref    "field V24._length (fldOffset=0x8)" P-INDEP
+;* V161 tmp148      [V161    ] (  0,  0   )   byref  ->  zero-ref    "field V25._reference (fldOffset=0x0)" P-INDEP
+;* V162 tmp149      [V162    ] (  0,  0   )     int  ->  zero-ref    "field V25._length (fldOffset=0x8)" P-INDEP
+;* V163 tmp150      [V163    ] (  0,  0   )   byref  ->  zero-ref    "field V26._reference (fldOffset=0x0)" P-INDEP
+;* V164 tmp151      [V164    ] (  0,  0   )     int  ->  zero-ref    "field V26._length (fldOffset=0x8)" P-INDEP
+;* V165 tmp152      [V165    ] (  0,  0   )   byref  ->  zero-ref    "field V27._reference (fldOffset=0x0)" P-INDEP
+;* V166 tmp153      [V166    ] (  0,  0   )     int  ->  zero-ref    "field V27._length (fldOffset=0x8)" P-INDEP
+;* V167 tmp154      [V167    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V29._reference (fldOffset=0x0)" P-INDEP
+;* V168 tmp155      [V168    ] (  0,  0   )     int  ->  zero-ref    single-def "field V29._length (fldOffset=0x8)" P-INDEP
+;* V169 tmp156      [V169    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V30._reference (fldOffset=0x0)" P-INDEP
+;* V170 tmp157      [V170    ] (  0,  0   )     int  ->  zero-ref    "field V30._length (fldOffset=0x8)" P-INDEP
+;* V171 tmp158      [V171    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V31._reference (fldOffset=0x0)" P-INDEP
+;* V172 tmp159      [V172    ] (  0,  0   )     int  ->  zero-ref    single-def "field V31._length (fldOffset=0x8)" P-INDEP
+;* V173 tmp160      [V173    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V35._reference (fldOffset=0x0)" P-INDEP
+;* V174 tmp161      [V174    ] (  0,  0   )     int  ->  zero-ref    single-def "field V35._length (fldOffset=0x8)" P-INDEP
+;* V175 tmp162      [V175    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V36._reference (fldOffset=0x0)" P-INDEP
+;* V176 tmp163      [V176    ] (  0,  0   )     int  ->  zero-ref    "field V36._length (fldOffset=0x8)" P-INDEP
+;* V177 tmp164      [V177    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V37._reference (fldOffset=0x0)" P-INDEP
+;* V178 tmp165      [V178    ] (  0,  0   )     int  ->  zero-ref    single-def "field V37._length (fldOffset=0x8)" P-INDEP
+;* V179 tmp166      [V179    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V41._reference (fldOffset=0x0)" P-INDEP
+;* V180 tmp167      [V180    ] (  0,  0   )     int  ->  zero-ref    single-def "field V41._length (fldOffset=0x8)" P-INDEP
+;* V181 tmp168      [V181    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V42._reference (fldOffset=0x0)" P-INDEP
+;* V182 tmp169      [V182    ] (  0,  0   )     int  ->  zero-ref    "field V42._length (fldOffset=0x8)" P-INDEP
+;* V183 tmp170      [V183    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V43._reference (fldOffset=0x0)" P-INDEP
+;* V184 tmp171      [V184    ] (  0,  0   )     int  ->  zero-ref    single-def "field V43._length (fldOffset=0x8)" P-INDEP
+;* V185 tmp172      [V185    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V47._reference (fldOffset=0x0)" P-INDEP
+;* V186 tmp173      [V186    ] (  0,  0   )     int  ->  zero-ref    single-def "field V47._length (fldOffset=0x8)" P-INDEP
+;* V187 tmp174      [V187    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V48._reference (fldOffset=0x0)" P-INDEP
+;* V188 tmp175      [V188    ] (  0,  0   )     int  ->  zero-ref    "field V48._length (fldOffset=0x8)" P-INDEP
+;* V189 tmp176      [V189    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V49._reference (fldOffset=0x0)" P-INDEP
+;* V190 tmp177      [V190    ] (  0,  0   )     int  ->  zero-ref    single-def "field V49._length (fldOffset=0x8)" P-INDEP
+;* V191 tmp178      [V191    ] (  0,  0   )   byref  ->  zero-ref    "field V54._reference (fldOffset=0x0)" P-INDEP
+;* V192 tmp179      [V192    ] (  0,  0   )     int  ->  zero-ref    "field V54._length (fldOffset=0x8)" P-INDEP
+;* V193 tmp180      [V193    ] (  0,  0   )   byref  ->  zero-ref    "field V56._reference (fldOffset=0x0)" P-INDEP
+;* V194 tmp181      [V194    ] (  0,  0   )     int  ->  zero-ref    "field V56._length (fldOffset=0x8)" P-INDEP
+;* V195 tmp182      [V195    ] (  0,  0   )   byref  ->  zero-ref    "field V57._reference (fldOffset=0x0)" P-INDEP
+;* V196 tmp183      [V196    ] (  0,  0   )     int  ->  zero-ref    "field V57._length (fldOffset=0x8)" P-INDEP
+;* V197 tmp184      [V197    ] (  0,  0   )   byref  ->  zero-ref    "field V58._reference (fldOffset=0x0)" P-INDEP
+;* V198 tmp185      [V198    ] (  0,  0   )     int  ->  zero-ref    "field V58._length (fldOffset=0x8)" P-INDEP
+;* V199 tmp186      [V199    ] (  0,  0   )   byref  ->  zero-ref    "field V62._reference (fldOffset=0x0)" P-INDEP
+;* V200 tmp187      [V200    ] (  0,  0   )     int  ->  zero-ref    "field V62._length (fldOffset=0x8)" P-INDEP
+;* V201 tmp188      [V201    ] (  0,  0   )   byref  ->  zero-ref    "field V63._reference (fldOffset=0x0)" P-INDEP
+;* V202 tmp189      [V202    ] (  0,  0   )     int  ->  zero-ref    "field V63._length (fldOffset=0x8)" P-INDEP
+;* V203 tmp190      [V203    ] (  0,  0   )   byref  ->  zero-ref    "field V64._reference (fldOffset=0x0)" P-INDEP
+;* V204 tmp191      [V204    ] (  0,  0   )     int  ->  zero-ref    "field V64._length (fldOffset=0x8)" P-INDEP
+;* V205 tmp192      [V205    ] (  0,  0   )   byref  ->  zero-ref    "field V68._reference (fldOffset=0x0)" P-INDEP
+;* V206 tmp193      [V206    ] (  0,  0   )     int  ->  zero-ref    "field V68._length (fldOffset=0x8)" P-INDEP
+;* V207 tmp194      [V207    ] (  0,  0   )   byref  ->  zero-ref    "field V69._reference (fldOffset=0x0)" P-INDEP
+;* V208 tmp195      [V208    ] (  0,  0   )     int  ->  zero-ref    "field V69._length (fldOffset=0x8)" P-INDEP
+;* V209 tmp196      [V209    ] (  0,  0   )   byref  ->  zero-ref    "field V70._reference (fldOffset=0x0)" P-INDEP
+;* V210 tmp197      [V210    ] (  0,  0   )     int  ->  zero-ref    "field V70._length (fldOffset=0x8)" P-INDEP
+;* V211 tmp198      [V211    ] (  0,  0   )   byref  ->  zero-ref    "field V74._reference (fldOffset=0x0)" P-INDEP
+;* V212 tmp199      [V212    ] (  0,  0   )     int  ->  zero-ref    "field V74._length (fldOffset=0x8)" P-INDEP
+;* V213 tmp200      [V213    ] (  0,  0   )   byref  ->  zero-ref    "field V75._reference (fldOffset=0x0)" P-INDEP
+;* V214 tmp201      [V214    ] (  0,  0   )     int  ->  zero-ref    "field V75._length (fldOffset=0x8)" P-INDEP
+;* V215 tmp202      [V215    ] (  0,  0   )   byref  ->  zero-ref    "field V100._reference (fldOffset=0x0)" P-INDEP
+;* V216 tmp203      [V216    ] (  0,  0   )     int  ->  zero-ref    "field V100._length (fldOffset=0x8)" P-INDEP
+;* V217 tmp204      [V217    ] (  0,  0   )   byref  ->  zero-ref    "field V121._reference (fldOffset=0x0)" P-INDEP
+;* V218 tmp205      [V218    ] (  0,  0   )     int  ->  zero-ref    "field V121._length (fldOffset=0x8)" P-INDEP
+;* V219 tmp206      [V219    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V123._reference (fldOffset=0x0)" P-INDEP
+;* V220 tmp207      [V220    ] (  0,  0   )     int  ->  zero-ref    single-def "field V123._length (fldOffset=0x8)" P-INDEP
+;* V221 tmp208      [V221    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V124._reference (fldOffset=0x0)" P-INDEP
+;* V222 tmp209      [V222    ] (  0,  0   )     int  ->  zero-ref    "field V124._length (fldOffset=0x8)" P-INDEP
+;* V223 tmp210      [V223    ] (  0,  0   )   byref  ->  zero-ref    single-def "field V127._reference (fldOffset=0x0)" P-INDEP
+;* V224 tmp211      [V224    ] (  0,  0   )     int  ->  zero-ref    single-def "field V127._length (fldOffset=0x8)" P-INDEP
+;* V225 tmp212      [V225    ] (  0,  0   )   byref  ->  zero-ref    "field V130._reference (fldOffset=0x0)" P-INDEP
+;* V226 tmp213      [V226    ] (  0,  0   )     int  ->  zero-ref    "field V130._length (fldOffset=0x8)" P-INDEP
+;* V227 tmp214      [V227,T17] (  0,  0   )   byref  ->  zero-ref    "field V132._reference (fldOffset=0x0)" P-INDEP
+;* V228 tmp215      [V228    ] (  0,  0   )     int  ->  zero-ref    "field V132._length (fldOffset=0x8)" P-INDEP
+;* V229 tmp216      [V229    ] (  0,  0   )   byref  ->  zero-ref    "field V133._reference (fldOffset=0x0)" P-INDEP
+;* V230 tmp217      [V230    ] (  0,  0   )     int  ->  zero-ref    "field V133._length (fldOffset=0x8)" P-INDEP
+;* V231 tmp218      [V231    ] (  0,  0   )   byref  ->  zero-ref    "field V140._reference (fldOffset=0x0)" P-INDEP
+;* V232 tmp219      [V232    ] (  0,  0   )     int  ->  zero-ref    "field V140._length (fldOffset=0x8)" P-INDEP
+;  V233 cse0        [V233,T35] (  5, 20   )  simd16  ->  mm9         "CSE #02: moderate"
+;  V234 cse1        [V234,T48] (  3,  3   )  simd16  ->  mm1         "CSE #11: conservative"
+;  V235 cse2        [V235,T34] ( 12, 23.50)  simd16  ->  mm1         multi-def "CSE #01: moderate"
 ;
 ; Lcl frame size = 0
 
 G_M7316_IG01:
        push     rbp
        mov      rbp, rsp
 						;; size=4 bbWeight=1 PerfScore 1.25
 G_M7316_IG02:
-       mov      rax, rdx
-       mov      r9d, ecx
-       cmp      r9d, 64
+       cmp      ecx, 64
        jge      SHORT G_M7316_IG04
-						;; size=12 bbWeight=1 PerfScore 1.75
+						;; size=5 bbWeight=1 PerfScore 1.25
 G_M7316_IG03:
-       vmovups  xmm0, xmmword ptr [rax]
+       cmp      ecx, 16
+       jl       G_M7316_IG11
+       vmovups  xmm0, xmmword ptr [rdx]
        vmovups  xmm1, xmmword ptr [reloc @RWD00]
        vpshufb  xmm0, xmm0, xmm1
        vmovq    xmm2, rsi
        vpslldq  xmm2, xmm2, 8
        vpxor    xmm0, xmm2, xmm0
-       jmp      G_M7316_IG09
+       add      rdx, 16
+       lea      eax, [rcx-0x10]
+       jmp      G_M7316_IG07
        align    [0 bytes for IG05]
-						;; size=36 bbWeight=0.50 PerfScore 4.67
+						;; size=52 bbWeight=0.50 PerfScore 5.67
 G_M7316_IG04:
        vmovups  xmm0, xmmword ptr [rdx]
        vmovups  xmm1, xmmword ptr [reloc @RWD00]
        vpshufb  xmm0, xmm0, xmm1
-       vmovups  xmm2, xmmword ptr [rdx+0x10]
+       lea      rax, bword ptr [rdx+0x10]
+       vmovups  xmm2, xmmword ptr [rax]
        vpshufb  xmm2, xmm2, xmm1
-       vmovups  xmm3, xmmword ptr [rdx+0x20]
+       lea      rax, bword ptr [rdx+0x20]
+       vmovups  xmm3, xmmword ptr [rax]
        vpshufb  xmm3, xmm3, xmm1
-       vmovups  xmm4, xmmword ptr [rdx+0x30]
+       lea      rax, bword ptr [rdx+0x30]
+       vmovups  xmm4, xmmword ptr [rax]
        vpshufb  xmm4, xmm4, xmm1
-       lea      rax, bword ptr [rdx+0x40]
-       lea      r9d, [rcx-0x40]
+       add      rdx, 64
+       lea      eax, [rcx-0x40]
        vmovq    xmm5, rsi
        vpslldq  xmm5, xmm5, 8
        vpxor    xmm0, xmm5, xmm0
-       cmp      r9d, 64
+       cmp      eax, 64
        jl       G_M7316_IG06
-						;; size=79 bbWeight=0.50 PerfScore 9.29
+						;; size=86 bbWeight=0.50 PerfScore 9.92
 G_M7316_IG05:
-       vmovups  xmm5, xmmword ptr [rax]
+       vmovups  xmm5, xmmword ptr [rdx]
        vpshufb  xmm5, xmm5, xmm1
-       vmovups  xmm6, xmmword ptr [rax+0x10]
+       lea      rsi, bword ptr [rdx+0x10]
+       vmovups  xmm6, xmmword ptr [rsi]
        vpshufb  xmm6, xmm6, xmm1
-       vmovups  xmm7, xmmword ptr [rax+0x20]
+       lea      rsi, bword ptr [rdx+0x20]
+       vmovups  xmm7, xmmword ptr [rsi]
        vpshufb  xmm7, xmm7, xmm1
-       vmovups  xmm8, xmmword ptr [rax+0x30]
+       lea      rsi, bword ptr [rdx+0x30]
+       vmovups  xmm8, xmmword ptr [rsi]
        vpshufb  xmm8, xmm8, xmm1
        vmovups  xmm9, xmmword ptr [rdi+0x38]
        vmovaps  xmm10, xmm9
        vpclmulhqhqdq xmm11, xmm0, xmm10
        vpclmullqlqdq xmm0, xmm0, xmm10
        vpternlogq xmm5, xmm0, xmm11, -106
        vmovaps  xmm0, xmm5
        vmovaps  xmm5, xmm9
        vpclmulhqhqdq xmm10, xmm2, xmm5
        vpclmullqlqdq xmm2, xmm2, xmm5
        vpternlogq xmm6, xmm2, xmm10, -106
        vmovaps  xmm2, xmm6
        vmovaps  xmm5, xmm9
        vpclmulhqhqdq xmm6, xmm3, xmm5
        vpclmullqlqdq xmm3, xmm3, xmm5
        vpternlogq xmm7, xmm3, xmm6, -106
        vmovaps  xmm3, xmm7
        vpclmulhqhqdq xmm5, xmm4, xmm9
        vpclmullqlqdq xmm4, xmm4, xmm9
        vpternlogq xmm8, xmm4, xmm5, -106
        vmovaps  xmm4, xmm8
-       add      rax, 64
-       add      r9d, -64
-       cmp      r9d, 64
+       add      rdx, 64
+       add      eax, -64
+       cmp      eax, 64
        jge      G_M7316_IG05
-						;; size=170 bbWeight=4 PerfScore 270.00
+						;; size=177 bbWeight=4 PerfScore 276.00
 G_M7316_IG06:
        vmovups  xmm5, xmmword ptr [rdi+0x48]
-       vmovaps  xmm6, xmm5
-       vpclmulhqhqdq xmm7, xmm0, xmm6
-       vpclmullqlqdq xmm0, xmm0, xmm6
-       vpternlogq xmm2, xmm0, xmm7, -106
-       vmovaps  xmm0, xmm2
-       vmovaps  xmm2, xmm5
-       vpclmulhqhqdq xmm6, xmm0, xmm2
-       vpclmullqlqdq xmm0, xmm0, xmm2
-       vpternlogq xmm3, xmm0, xmm6, -106
-       vmovaps  xmm0, xmm3
-       vpclmulhqhqdq xmm2, xmm0, xmm5
+       vpclmulhqhqdq xmm6, xmm0, xmm5
        vpclmullqlqdq xmm0, xmm0, xmm5
-       vpternlogq xmm4, xmm0, xmm2, -106
+       vpternlogq xmm2, xmm0, xmm6, -106
+       vmovaps  xmm0, xmm2
+       vmovups  xmm2, xmmword ptr [rdi+0x48]
+       vpclmulhqhqdq xmm5, xmm0, xmm2
+       vpclmullqlqdq xmm0, xmm0, xmm2
+       vpternlogq xmm3, xmm0, xmm5, -106
+       vmovaps  xmm0, xmm3
+       vmovups  xmm2, xmmword ptr [rdi+0x48]
+       vpclmulhqhqdq xmm3, xmm0, xmm2
+       vpclmullqlqdq xmm0, xmm0, xmm2
+       vpternlogq xmm4, xmm0, xmm3, -106
        vmovaps  xmm0, xmm4
-						;; size=82 bbWeight=0.50 PerfScore 20.38
+						;; size=84 bbWeight=0.50 PerfScore 22.12
 G_M7316_IG07:
-       cmp      r9d, 16
-       jl       SHORT G_M7316_IG10
-						;; size=6 bbWeight=1 PerfScore 1.25
+       cmp      eax, 16
+       jl       SHORT G_M7316_IG09
+       align    [3 bytes for IG08]
+						;; size=8 bbWeight=2 PerfScore 3.00
 G_M7316_IG08:
-       vmovups  xmm2, xmmword ptr [rax]
+       vmovups  xmm2, xmmword ptr [rdx]
        vpshufb  xmm2, xmm2, xmm1
-       vmovups  xmm5, xmmword ptr [rdi+0x48]
-       vmovaps  xmm3, xmm5
+       vmovups  xmm3, xmmword ptr [rdi+0x48]
        vpclmulhqhqdq xmm4, xmm0, xmm3
        vpclmullqlqdq xmm0, xmm0, xmm3
        vpternlogq xmm2, xmm0, xmm4, -106
        vmovaps  xmm0, xmm2
-						;; size=41 bbWeight=0.50 PerfScore 9.00
+       add      rdx, 16
+       add      eax, -16
+       cmp      eax, 16
+       jge      SHORT G_M7316_IG08
+						;; size=49 bbWeight=4 PerfScore 78.00
 G_M7316_IG09:
-       add      rax, 16
-       add      r9d, -16
-       jmp      SHORT G_M7316_IG07
-						;; size=10 bbWeight=0.50 PerfScore 1.25
-G_M7316_IG10:
        vmovq    xmm1, qword ptr [rdi+0x28]
        vpclmulhqlqdq xmm1, xmm0, xmm1
        vpslldq  xmm0, xmm0, 8
        vpxor    xmm0, xmm0, xmm1
        vmovups  xmm1, xmmword ptr [rdi+0x58]
        vpclmulhqlqdq xmm2, xmm0, xmm1
        vmovaps  xmm3, xmm0
        vpternlogq xmm3, xmm2, xmmword ptr [reloc @RWD16], 108
        vpclmulhqhqdq xmm1, xmm3, xmm1
        vpxor    xmm0, xmm1, xmm0
-       sub      ecx, r9d
+       sub      ecx, eax
        mov      dword ptr [r8], ecx
        vmovq    rax, xmm0
-						;; size=67 bbWeight=1 PerfScore 32.17
-G_M7316_IG11:
+						;; size=66 bbWeight=1 PerfScore 32.17
+G_M7316_IG10:
        pop      rbp
        ret      
 						;; size=2 bbWeight=1 PerfScore 1.50
+G_M7316_IG11:
+       mov      edi, 6
+       mov      rax, 0xD1FFAB1E      ; code for System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       call     [rax]System.ThrowHelper:ThrowArgumentOutOfRangeException(int)
+       int3     
+						;; size=18 bbWeight=0 PerfScore 0.00
 RWD00  	dq	08090A0B0C0D0E0Fh, 0001020304050607h
 RWD16  	dq	0000000000000000h, FFFFFFFFFFFFFFFFh
 
 
-; Total bytes of code 509, prolog size 4, PerfScore 352.50, instruction count 105, allocated bytes for code 509 (MethodHash=4fb0e36b) for method System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this (FullOpts)
+; Total bytes of code 551, prolog size 4, PerfScore 430.88, instruction count 118, allocated bytes for code 551 (MethodHash=4fb0e36b) for method System.IO.Hashing.Crc64ParameterSet+ForwardCrc64:UpdateVectorizedCore(ulong,System.ReadOnlySpan`1[byte],byref):ulong:this (FullOpts)
 ; ============================================================

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

[MihuBot]

@EgorBo