module Platform.AArch64.HostTarget

import Runtime.NativeHostTarget
import Platform.AArch64.HostLowering

-- Linux AArch64 as a native host target. Platform.AArch64.HostLowering
-- translates the program's system calls and machine routines to their
-- AArch64 forms and Platform.AArch64.NativePhysicalRuntime interprets it; a
-- command without an AArch64 realization refuses the whole executable.
-- Floating-point commands are separate binary64 FADD/FSUB/FMUL (never a
-- fused multiply-add) under the FPCR Linux gives a new process: round to
-- nearest even, no flush-to-zero. The x86-64 runtime's SSE2 arithmetic under
-- the default MXCSR implements the same IEEE 754 contract, so every finite
-- result has the same bits on either host. NaN encodings are not shared (the
-- two architectures' default NaNs differ in sign); programs that publish
-- state admit finite values only and refuse a nonfinite one before it can
-- reach a peer or a checkpoint.
def nativeHostTargetAArch64Linux : (family NativeHostTarget) =
  (constructor NativeHostTarget NativeHostTargetOf aarch64HostELFBytes)