AlphaGitHub
Source/Packages

Runtime.NativePhysicalNativeELF

packages/execution/src/Runtime/NativePhysicalNativeELF.alpha

622 lines68 declarations26.2 KiBSHA-256 10815f9a5c49
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 556–561

nativePhysicalGenerateNativeELFBytesDirectUnpacked

Full file
The same executable with its image stored in place, uncompressed: for tests that alter individual command records in the file to exercise the interpreter's record validation.
556def nativePhysicalGenerateNativeELFBytesDirectUnpacked =
557  (lambda unrestricted program : (family NativePhysicalProgram) .
558    (wrapMachineCodeSparseLarge
559      (bytes-append
560        (compiler-native-encode (family X86NativeAssembly) nativePhysicalNativeAssembly)
561        (compiler-native-encode (family NativePhysicalProgram) program))))

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.