module Platform.AArch64.TelemetrySeal

import Compiler.MachineAArch64
import Compiler.MachineAArch64Assembly
import Platform.AArch64.WordDigest
import Runtime.TelemetrySeal

def aarch64TelemetrySealAssembly : (family AArch64Assembly) =
  (telemetrySealAssemblyFor
    (family AArch64Assembly)
    (family AArch64Register)
    aarch64WordDigestBackend)

def aarch64TelemetrySealRoutine : Bytes =
  (eliminate
    AArch64AssemblyResult
    (lambda unrestricted result : (family AArch64AssemblyResult) . Bytes)
    (aarch64Assemble aarch64TelemetrySealAssembly)
    (branch AArch64AssemblyEncoded code . code)
    (branch AArch64AssemblyEncodeDuplicateLabel name . b"")
    (branch AArch64AssemblyMissingLabel name . b"")
    (branch AArch64AssemblyDisplacementOutOfRange name . b"")
    (branch AArch64AssemblyOperandRefused value . b""))