AlphaGitHub
Source/Packages

Compiler.Codegen

packages/compiler/src/Compiler/Codegen.alpha

410 lines35 declarations12.1 KiBSHA-256 cd1660b56b4a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 46–71

codegenExitTail

Full file
46def codegenExitTail :
47  (family X86Program codegenExitArgumentState codegenExitState x86OneSystemCall) =
48  (constructor
49    X86Program
50    X86ProgramPureNext
51    codegenExitArgumentState
52    codegenExitState
53    codegenExitState
54    x86OneSystemCall
55    (constructor
56      X86Instruction
57      X86MoveEAXImmediate32
58      x86UndefinedClass
59      x86Word64Class
60      x86UndefinedClass
61      x86UndefinedClass
62      (x86Immediate32 (byte 60)))
63    (constructor
64      X86Program
65      X86ProgramSystemCallNext
66      codegenExitState
67      codegenExitState
68      codegenExitState
69      x86NoEffects
70      (constructor X86Instruction X86SystemCall x86Word64Class x86UndefinedClass x86UndefinedClass)
71      (constructor X86Program X86ProgramEnd codegenExitState)))

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.