AlphaGitHub
Source/Packages

Compiler.MachineAArch64

packages/compiler/src/Compiler/MachineAArch64.alpha

1,480 lines362 declarations58.2 KiBSHA-256 16c7a1ba00f1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 631–642

aarch64ThreeRegisterWord

Full file
A three-register data-processing word.
631def aarch64ThreeRegisterWord =
632  (lambda unrestricted base1 : Nat .
633    (lambda unrestricted base2 : Nat .
634      (lambda unrestricted base3 : Nat .
635        (lambda unrestricted destination : (family AArch64Register) .
636          (lambda unrestricted left : (family AArch64Register) .
637            (lambda unrestricted right : (family AArch64Register) .
638              (aarch64ByteWord
639                (naturalAdd (aarch64LowFive destination) (aarch64RnByte0 left))
640                (naturalAdd base1 (aarch64RnByte1 left))
641                (naturalAdd base2 (aarch64RegisterCode right))
642                base3)))))))

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.