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 787–799

aarch64StackByteWord

Full file
787def aarch64StackByteWord =
788  (lambda unrestricted base2 : Nat .
789    (lambda unrestricted base3 : Nat .
790      (lambda unrestricted register : (family AArch64Register) .
791        (lambda unrestricted offset : Nat .
792          (aarch64EncodeBounded
793            offset
794            aarch64Immediate12Limit
795            (aarch64ByteWord
796              (naturalAdd (aarch64LowFive register) aarch64StackPointerByte0)
797              (naturalAdd aarch64StackPointerByte1 (aarch64Immediate12Byte1 offset))
798              (naturalAdd base2 (aarch64Immediate12Byte2 offset))
799              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.