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 724–737

x86NativeModRMMemoryRow7

Full file
724def x86NativeModRMMemoryRow7 : (pi unrestricted base : (family X86NativeRegisterLow3) . Bytes) =
725  (lambda unrestricted base : (family X86NativeRegisterLow3) .
726    (eliminate
727      X86NativeRegisterLow3
728      (lambda unrestricted value : (family X86NativeRegisterLow3) . Bytes)
729      base
730      (branch X86NativeLow0 . (bytes 184))
731      (branch X86NativeLow1 . (bytes 185))
732      (branch X86NativeLow2 . (bytes 186))
733      (branch X86NativeLow3 . (bytes 187))
734      (branch X86NativeLow4 . (bytes 188))
735      (branch X86NativeLow5 . (bytes 189))
736      (branch X86NativeLow6 . (bytes 190))
737      (branch X86NativeLow7 . (bytes 191))))

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.