AlphaGitHub
Source/Packages

Compiler.MachineX86Native

packages/compiler/src/Compiler/MachineX86Native.alpha

1,314 lines242 declarations56.6 KiBSHA-256 b3ccf0f17d32
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1287–1300

x86EncodeNativeProgram

Full file
1287def x86EncodeNativeProgram : (pi unrestricted program : (family X86NativeProgram) . Bytes) =
1288  (lambda unrestricted program : (family X86NativeProgram) .
1289    (eliminate
1290      X86NativeProgram
1291      (lambda unrestricted value : (family X86NativeProgram) . Bytes)
1292      program
1293      (branch X86NativeProgramEnd . b"")
1294      (branch
1295        X86NativeProgramNext
1296        instruction
1297        tail
1298        encodedTail
1299        .
1300        (bytes-append (x86EncodeNativeInstruction instruction) encodedTail))))

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.