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 489–503

x86NativeModRMRegisterRow1

Full file
489def x86NativeModRMRegisterRow1 :
490  (pi unrestricted destination : (family X86NativeRegisterLow3) . Bytes) =
491  (lambda unrestricted destination : (family X86NativeRegisterLow3) .
492    (eliminate
493      X86NativeRegisterLow3
494      (lambda unrestricted value : (family X86NativeRegisterLow3) . Bytes)
495      destination
496      (branch X86NativeLow0 . (bytes 200))
497      (branch X86NativeLow1 . (bytes 201))
498      (branch X86NativeLow2 . (bytes 202))
499      (branch X86NativeLow3 . (bytes 203))
500      (branch X86NativeLow4 . (bytes 204))
501      (branch X86NativeLow5 . (bytes 205))
502      (branch X86NativeLow6 . (bytes 206))
503      (branch X86NativeLow7 . (bytes 207))))

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.