Copy RDX bytes from `source` to RDI, advancing both; then continue at `done`.
3482def npUnpackCopy =
3483 (lambda unrestricted source : (family X86NativeRegister64) .
3484 (lambda unrestricted loop : Bytes .
3485 (lambda unrestricted done : Bytes .
3486 (lambda unrestricted tail : (family X86NativeAssembly) .
3487 (nativePhysicalNativeLabel
3488 loop
3489 (npTest npRDX
3490 (npJumpIf npZero done
3491 (npLoad8 npR11 source (byte 0)
3492 (npStore8 npRDI npR11
3493 (npStep source 1
3494 (npStep npRDI 1
3495 (npStep npRDX 4294967295
3496 (nativePhysicalNativeJump loop tail)))))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.