AlphaGitHub
Source/Packages

Compiler.MachineAArch64Assembly

packages/compiler/src/Compiler/MachineAArch64Assembly.alpha

515 lines66 declarations18.9 KiBSHA-256 393650b20792
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 497–515

aarch64Assemble

Full file
497def aarch64Assemble :
498  (pi unrestricted assembly : (family AArch64Assembly) . (family AArch64AssemblyResult)) =
499  (lambda unrestricted assembly : (family AArch64Assembly) .
500    (eliminate
501      AArch64AssemblyLayoutResult
502      (lambda unrestricted layout : (family AArch64AssemblyLayoutResult) .
503        (family AArch64AssemblyResult))
504      (aarch64LayoutAssembly assembly)
505      (branch
506        AArch64AssemblyLayoutSuccess
507        labels
508        size
509        .
510        (aarch64EncodeAssemblyFrom assembly labels 0))
511      (branch
512        AArch64AssemblyDuplicateLabel
513        duplicate
514        .
515        (constructor AArch64AssemblyResult AArch64AssemblyEncodeDuplicateLabel duplicate))))

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.