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 601–617

x86NativeModRMRegister

Full file
601def x86NativeModRMRegister :
602  (pi unrestricted source : (family X86NativeRegisterLow3) .
603    (pi unrestricted destination : (family X86NativeRegisterLow3) . Bytes)) =
604  (lambda unrestricted source : (family X86NativeRegisterLow3) .
605    (lambda unrestricted destination : (family X86NativeRegisterLow3) .
606      (eliminate
607        X86NativeRegisterLow3
608        (lambda unrestricted value : (family X86NativeRegisterLow3) . Bytes)
609        source
610        (branch X86NativeLow0 . (x86NativeModRMRegisterRow0 destination))
611        (branch X86NativeLow1 . (x86NativeModRMRegisterRow1 destination))
612        (branch X86NativeLow2 . (x86NativeModRMRegisterRow2 destination))
613        (branch X86NativeLow3 . (x86NativeModRMRegisterRow3 destination))
614        (branch X86NativeLow4 . (x86NativeModRMRegisterRow4 destination))
615        (branch X86NativeLow5 . (x86NativeModRMRegisterRow5 destination))
616        (branch X86NativeLow6 . (x86NativeModRMRegisterRow6 destination))
617        (branch X86NativeLow7 . (x86NativeModRMRegisterRow7 destination)))))

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.