- Function prologue
In
assembly language programming, the function prologue is a few lines of code which appear at the beginning of a function, which prepare the stack and registers for use within the function. Similarly, the function epilogue appears at the end of the function, and restores the stack and registers back to the state they were in before the function was called.The prologue and epilogue are not a part of the assembly language itself - rather, they represent a convention used by assembly language
programmer s, andcompiler s of many higher-level languages. Both of them are fairly rigid, having the same form in each function.Prologue
The function prologue typically does the following actions (Note this procedure may differ from one architecture to another):
*Pushes the current base pointer onto the stack, so it can be retrieved later.
*Replaces the base (or frame) pointer with the current stack pointer, so the base pointer now points to the beginning of the new frame.
*Moves the stack pointer further along the stack to make room in the current stack frame for the function's local variables.Note that several possible prologues can be written, resulting in slightly different stack configuration. These differences are acceptable, as long as the programmer or compiler uses the stack in the correct way inside the function.
For example, these three steps may be accomplished in 32-bit
x86 assembly language by the following instructions (using AT&T syntax): pushl %ebp movl %esp, %ebp subl $"n", %espWhere "n" is the size of the local variables, inbyte s, and "l" means long, which occupies 4byte s. The above sequence is typical of the output produced by the GCC compiler.A slightly different prologue is built-in to the
x86 processor, and can be called with theenter
instruction: enter $"n", $0Even more complex prologues can be obtained using different values (other than 0) for the second operand of the
enter
instruction. These prologues push several base/frame pointers to allow for nested functions, as required by languages such as Pascal.Epilogue
The function epilogue reverses the actions of the function prologue and returns control to the calling function. It typically does the following actions (Note this procedure may differ from one architecture to another):
*Replaces the stack pointer with the current base (or frame) pointer, so the stack pointer is restored to its value before the prologue.
*Pops the base pointer off the stack, so it is restored to its value before the prologue.
*Returns to the calling function, by popping the previous frame's program counter off the stack and jumping to it.Note that the given epilogue will reverse the effects of either of the above prologues (either the full one, or the one which uses
enter
).For example, these three steps may be accomplished in 32-bit
x86 assembly language by the following instructions (using AT&T syntax): mov %ebp, %esp pop %ebp retLike the prologue, the
x86 processor contains a built-in instruction which performs part of the epilogue. The following code is equivalent to the above code: leave retTheleave
instruction simply performs themov
andpop
instructions, as outlined above.It is not uncommon for a function to contain multiple epilogues. Every function exit point must either jump to a common epilogue at the end, or contain its own epilogue. Therefore, programmers or compilers often use the combination of
leave
andret
to exit the function at any point. (For example, a C compiler would substitute areturn
statement with aleave
/ret
sequence).ee also
*
Call stack
*Assembly language
*x86 assembly language External links
* [http://www.cs.ucla.edu/~kohler/class/04f-aos/ref/i386/ENTER.htm 80386 Programmer's Reference Manual - ENTER Instruction]
* [http://www.cs.ucla.edu/~kohler/class/04f-aos/ref/i386/LEAVE.htm 80386 Programmer's Reference Manual - LEAVE Instruction]
Wikimedia Foundation. 2010.