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 757–770

x86NativeMemorySIB

Full file
757def x86NativeMemorySIB : (pi unrestricted base : (family X86NativeRegisterLow3) . Bytes) =
758  (lambda unrestricted base : (family X86NativeRegisterLow3) .
759    (eliminate
760      X86NativeRegisterLow3
761      (lambda unrestricted value : (family X86NativeRegisterLow3) . Bytes)
762      base
763      (branch X86NativeLow0 . b"")
764      (branch X86NativeLow1 . b"")
765      (branch X86NativeLow2 . b"")
766      (branch X86NativeLow3 . b"")
767      (branch X86NativeLow4 . b"$")
768      (branch X86NativeLow5 . b"")
769      (branch X86NativeLow6 . b"")
770      (branch X86NativeLow7 . b"")))

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.