346def x86NativeClear32Bytes : (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
347 (lambda unrestricted destination : (family X86NativeRegister64) .
348 (eliminate
349 X86NativeRegister64
350 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
351 destination
352 (branch X86NativeRAX . (bytes 49 192))
353 (branch X86NativeRCX . (bytes 49 201))
354 (branch X86NativeRDX . (bytes 49 210))
355 (branch X86NativeRBX . (bytes 49 219))
356 (branch X86NativeRSP . (bytes 49 228))
357 (branch X86NativeRBP . (bytes 49 237))
358 (branch X86NativeRSI . (bytes 49 246))
359 (branch X86NativeRDI . (bytes 49 255))
360 (branch X86NativeR8 . (bytes 69 49 192))
361 (branch X86NativeR9 . (bytes 69 49 201))
362 (branch X86NativeR10 . (bytes 69 49 210))
363 (branch X86NativeR11 . (bytes 69 49 219))
364 (branch X86NativeR12 . (bytes 69 49 228))
365 (branch X86NativeR13 . (bytes 69 49 237))
366 (branch X86NativeR14 . (bytes 69 49 246))
367 (branch X86NativeR15 . (bytes 69 49 255))))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.