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 739–755

x86NativeModRMMemory

Full file
739def x86NativeModRMMemory :
740  (pi unrestricted register : (family X86NativeRegisterLow3) .
741    (pi unrestricted base : (family X86NativeRegisterLow3) . Bytes)) =
742  (lambda unrestricted register : (family X86NativeRegisterLow3) .
743    (lambda unrestricted base : (family X86NativeRegisterLow3) .
744      (eliminate
745        X86NativeRegisterLow3
746        (lambda unrestricted value : (family X86NativeRegisterLow3) . Bytes)
747        register
748        (branch X86NativeLow0 . (x86NativeModRMMemoryRow0 base))
749        (branch X86NativeLow1 . (x86NativeModRMMemoryRow1 base))
750        (branch X86NativeLow2 . (x86NativeModRMMemoryRow2 base))
751        (branch X86NativeLow3 . (x86NativeModRMMemoryRow3 base))
752        (branch X86NativeLow4 . (x86NativeModRMMemoryRow4 base))
753        (branch X86NativeLow5 . (x86NativeModRMMemoryRow5 base))
754        (branch X86NativeLow6 . (x86NativeModRMMemoryRow6 base))
755        (branch X86NativeLow7 . (x86NativeModRMMemoryRow7 base)))))

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.