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 1017–1031

x86NativeRegisterXMMLow3

Full file
1017def x86NativeRegisterXMMLow3 :
1018  (pi unrestricted register : (family X86NativeRegisterXMM) . (family X86NativeRegisterLow3)) =
1019  (lambda unrestricted register : (family X86NativeRegisterXMM) .
1020    (eliminate
1021      X86NativeRegisterXMM
1022      (lambda unrestricted value : (family X86NativeRegisterXMM) . (family X86NativeRegisterLow3))
1023      register
1024      (branch X86NativeXMM0 . (constructor X86NativeRegisterLow3 X86NativeLow0))
1025      (branch X86NativeXMM1 . (constructor X86NativeRegisterLow3 X86NativeLow1))
1026      (branch X86NativeXMM2 . (constructor X86NativeRegisterLow3 X86NativeLow2))
1027      (branch X86NativeXMM3 . (constructor X86NativeRegisterLow3 X86NativeLow3))
1028      (branch X86NativeXMM4 . (constructor X86NativeRegisterLow3 X86NativeLow4))
1029      (branch X86NativeXMM5 . (constructor X86NativeRegisterLow3 X86NativeLow5))
1030      (branch X86NativeXMM6 . (constructor X86NativeRegisterLow3 X86NativeLow6))
1031      (branch X86NativeXMM7 . (constructor X86NativeRegisterLow3 X86NativeLow7))))

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.