Whole-program publication path. The NativePhysicalProgram remains a
checked Alpha value, while the compiler lowers its constructor tree to the
ALPXPHY2 records in one backend operation. This is semantically the fast
image encoder above (including the inert 64-byte zero digest), but avoids
interpreting thousands of byte-building eliminators during compilation.
517def nativePhysicalGenerateNativeELFBytesDirect =
518 (lambda unrestricted program : (family NativePhysicalProgram) .
519 (wrapMachineCodeSparseLarge
520 (bytes-append
521 (compiler-native-encode
522 (family X86NativeAssembly)
523 nativePhysicalNativeAssembly)
524 (compiler-native-encode
525 (family NativePhysicalProgram)
526 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.