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 1466–1480

aarch64EncodeProgram

Full file
1466def aarch64EncodeProgram :
1467  (pi unrestricted program : (family AArch64Program) . (family AArch64EncodeResult)) =
1468  (lambda unrestricted program : (family AArch64Program) .
1469    (eliminate
1470      AArch64Program
1471      (lambda unrestricted current : (family AArch64Program) . (family AArch64EncodeResult))
1472      program
1473      (branch AArch64ProgramEnd . (constructor AArch64EncodeResult AArch64Encoded b""))
1474      (branch
1475        AArch64ProgramNext
1476        instruction
1477        tail
1478        encodedTail
1479        .
1480        (aarch64AppendResults (aarch64EncodeInstruction instruction) encodedTail))))

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.