Windows:

G_M43960_IG01:
000000 4157                 push     r15
000002 4156                 push     r14
000004 57                   push     rdi
000005 56                   push     rsi
000006 55                   push     rbp
000007 53                   push     rbx
000008 8BDA                 mov      ebx, edx

G_M43960_IG02:
00000A 33ED                 xor      ebp, ebp
00000C 85DB                 test     ebx, ebx
00000E 7E21                 jle      SHORT G_M43960_IG04
000010 4C8D7108             lea      r14, bword ptr [rcx+8]
000014 4C8D7948             lea      r15, bword ptr [rcx+72]

G_M43960_IG03:
000018 498BFE               mov      rdi, r14
00001B 498BF7               mov      rsi, r15
00001E E81DB86A5F           call     CORINFO_HELP_ASSIGN_BYREF
000023 B907000000           mov      ecx, 7
000028 F348A5               rep movsq
00002B FFC5                 inc      ebp
00002D 3BEB                 cmp      ebp, ebx
00002F 7CE7                 jl       SHORT G_M43960_IG03

G_M43960_IG04:
000031 5B                   pop      rbx
000032 5D                   pop      rbp
000033 5E                   pop      rsi
000034 5F                   pop      rdi
000035 415E                 pop      r14
000037 415F                 pop      r15
000039 C3                   ret

; Total bytes of code 58, prolog size 10 for method E:Update(int):this
; ============================================================
Set code length to 58.
Set ReturnKind to Scalar.
Set Outgoing stack arg area size to 0.
Register slot id for reg rcx = 0.
Register slot id for reg r14 (byref) = 1.
Register slot id for reg r15 (byref) = 2.
Register slot id for reg rdi (byref) = 3.
Register slot id for reg rsi (byref) = 4.
Set state of slot 0 at instr offset 0xa to Live.
Set state of slot 1 at instr offset 0x14 to Live.
Set state of slot 2 at instr offset 0x18 to Live.
Set state of slot 0 at instr offset 0x18 to Dead.
Set state of slot 3 at instr offset 0x1b to Live.
Set state of slot 4 at instr offset 0x1e to Live.
Set state of slot 4 at instr offset 0x31 to Dead. <--- Slots 3 (rdi) and 4 (rsi) are marked dead after the loop 
Set state of slot 3 at instr offset 0x31 to Dead.
Set state of slot 1 at instr offset 0x31 to Dead.
Set state of slot 2 at instr offset 0x31 to Dead.
Defining interruptible range: [0xa, 0x31).