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 553–567

x86NativeModRMRegisterRow5

Full file
553def x86NativeModRMRegisterRow5 :
554  (pi unrestricted destination : (family X86NativeRegisterLow3) . Bytes) =
555  (lambda unrestricted destination : (family X86NativeRegisterLow3) .
556    (eliminate
557      X86NativeRegisterLow3
558      (lambda unrestricted value : (family X86NativeRegisterLow3) . Bytes)
559      destination
560      (branch X86NativeLow0 . (bytes 232))
561      (branch X86NativeLow1 . (bytes 233))
562      (branch X86NativeLow2 . (bytes 234))
563      (branch X86NativeLow3 . (bytes 235))
564      (branch X86NativeLow4 . (bytes 236))
565      (branch X86NativeLow5 . (bytes 237))
566      (branch X86NativeLow6 . (bytes 238))
567      (branch X86NativeLow7 . (bytes 239))))

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.