AlphaGitHub
Source/Packages

Compiler.MachineX86Native

packages/compiler/src/Compiler/MachineX86Native.alpha

1,314 lines242 declarations56.6 KiBSHA-256 b3ccf0f17d32
Download exact fileView at revisionf5034773ad4bb52133

def · lines 369–391

x86NativeRegisterLow3

Full file
369def x86NativeRegisterLow3 :
370  (pi unrestricted register : (family X86NativeRegister64) . (family X86NativeRegisterLow3)) =
371  (lambda unrestricted register : (family X86NativeRegister64) .
372    (eliminate
373      X86NativeRegister64
374      (lambda unrestricted value : (family X86NativeRegister64) . (family X86NativeRegisterLow3))
375      register
376      (branch X86NativeRAX . (constructor X86NativeRegisterLow3 X86NativeLow0))
377      (branch X86NativeRCX . (constructor X86NativeRegisterLow3 X86NativeLow1))
378      (branch X86NativeRDX . (constructor X86NativeRegisterLow3 X86NativeLow2))
379      (branch X86NativeRBX . (constructor X86NativeRegisterLow3 X86NativeLow3))
380      (branch X86NativeRSP . (constructor X86NativeRegisterLow3 X86NativeLow4))
381      (branch X86NativeRBP . (constructor X86NativeRegisterLow3 X86NativeLow5))
382      (branch X86NativeRSI . (constructor X86NativeRegisterLow3 X86NativeLow6))
383      (branch X86NativeRDI . (constructor X86NativeRegisterLow3 X86NativeLow7))
384      (branch X86NativeR8 . (constructor X86NativeRegisterLow3 X86NativeLow0))
385      (branch X86NativeR9 . (constructor X86NativeRegisterLow3 X86NativeLow1))
386      (branch X86NativeR10 . (constructor X86NativeRegisterLow3 X86NativeLow2))
387      (branch X86NativeR11 . (constructor X86NativeRegisterLow3 X86NativeLow3))
388      (branch X86NativeR12 . (constructor X86NativeRegisterLow3 X86NativeLow4))
389      (branch X86NativeR13 . (constructor X86NativeRegisterLow3 X86NativeLow5))
390      (branch X86NativeR14 . (constructor X86NativeRegisterLow3 X86NativeLow6))
391      (branch X86NativeR15 . (constructor X86NativeRegisterLow3 X86NativeLow7))))

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.