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 998–1009

aarch64FloatDataWord

Full file
998def aarch64FloatDataWord =
999  (lambda unrestricted opcode : Nat .
1000    (lambda unrestricted destination : (family AArch64FloatRegister) .
1001      (lambda unrestricted left : (family AArch64FloatRegister) .
1002        (lambda unrestricted right : (family AArch64FloatRegister) .
1003          (aarch64ByteWord
1004            (naturalAdd (aarch64FloatRdByte0 destination) (aarch64FloatRnByte0 left))
1005            (naturalAdd
1006              (naturalMultiply opcode 16)
1007              (naturalAdd aarch64Eight (aarch64FloatRnByte1 left)))
1008            (naturalAdd aarch64ThirtyTwo (aarch64FloatRegisterCode right))
1009            30)))))

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.