Copy RDX bytes from `source` to RDI, advancing both; then continue at `done`.
3257def npUnpackCopy =
3258 (lambda unrestricted source : (family X86NativeRegister64) .
3259 (lambda unrestricted loop : Bytes .
3260 (lambda unrestricted done : Bytes .
3261 (lambda unrestricted tail : (family X86NativeAssembly) .
3262 (nativePhysicalNativeLabel
3263 loop
3264 (npTest npRDX
3265 (npJumpIf npZero done
3266 (npLoad8 npR11 source (byte 0)
3267 (npStore8 npRDI npR11
3268 (npStep source 1
3269 (npStep npRDI 1
3270 (npStep npRDX 4294967295
3271 (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.