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 662–674

aarch64ImmediateWord

Full file
An add/subtract immediate over general registers.
662def aarch64ImmediateWord =
663  (lambda unrestricted base3 : Nat .
664    (lambda unrestricted destination : Nat .
665      (lambda unrestricted source : (family AArch64Register) .
666        (lambda unrestricted value : Nat .
667          (aarch64EncodeBounded
668            value
669            aarch64Immediate12Limit
670            (aarch64ByteWord
671              (naturalAdd destination (aarch64RnByte0 source))
672              (naturalAdd (aarch64RnByte1 source) (aarch64Immediate12Byte1 value))
673              (aarch64Immediate12Byte2 value)
674              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.