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 393–415

x86NativeRegisterBank

Full file
393def x86NativeRegisterBank :
394  (pi unrestricted register : (family X86NativeRegister64) . (family X86NativeRegisterBank)) =
395  (lambda unrestricted register : (family X86NativeRegister64) .
396    (eliminate
397      X86NativeRegister64
398      (lambda unrestricted value : (family X86NativeRegister64) . (family X86NativeRegisterBank))
399      register
400      (branch X86NativeRAX . (constructor X86NativeRegisterBank X86NativeLowBank))
401      (branch X86NativeRCX . (constructor X86NativeRegisterBank X86NativeLowBank))
402      (branch X86NativeRDX . (constructor X86NativeRegisterBank X86NativeLowBank))
403      (branch X86NativeRBX . (constructor X86NativeRegisterBank X86NativeLowBank))
404      (branch X86NativeRSP . (constructor X86NativeRegisterBank X86NativeLowBank))
405      (branch X86NativeRBP . (constructor X86NativeRegisterBank X86NativeLowBank))
406      (branch X86NativeRSI . (constructor X86NativeRegisterBank X86NativeLowBank))
407      (branch X86NativeRDI . (constructor X86NativeRegisterBank X86NativeLowBank))
408      (branch X86NativeR8 . (constructor X86NativeRegisterBank X86NativeHighBank))
409      (branch X86NativeR9 . (constructor X86NativeRegisterBank X86NativeHighBank))
410      (branch X86NativeR10 . (constructor X86NativeRegisterBank X86NativeHighBank))
411      (branch X86NativeR11 . (constructor X86NativeRegisterBank X86NativeHighBank))
412      (branch X86NativeR12 . (constructor X86NativeRegisterBank X86NativeHighBank))
413      (branch X86NativeR13 . (constructor X86NativeRegisterBank X86NativeHighBank))
414      (branch X86NativeR14 . (constructor X86NativeRegisterBank X86NativeHighBank))
415      (branch X86NativeR15 . (constructor X86NativeRegisterBank X86NativeHighBank))))

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.