What happens in assembly language when you call a method/function?

Question

If I have a program in C++/C that (language doesn't matter much, just needed to illustrate a concept):

#include <iostream>    

void foo() {
    printf("in foo");
}

int main() {
    foo();
    return 0;
}

What happens in the assembly? I'm not actually looking for assembly code as I haven't gotten that far in it yet, but what's the basic principle?

Answer 1

In general, this is what happens:

1. Arguments to the function are stored on the stack. In platform specific order.
2. Location for return value is "allocated" on the stack
3. The return address for the function is also stored in the stack or in a special purpose CPU register.
4. The function (or actually, the address of the function) is called, either through a CPU specific call instruction or through a normal jmp or br instruction (jump/branch)
5. The function reads the arguments (if any) from the stack and the runs the function code
6. Return value from function is stored in the specified location (stack or special purpose CPU register)
7. Execution jumps back to the caller and the stack is cleared (by restoring the stack pointer to its initial value).

The details of the above vary from platform to platform and even from compiler to compiler (see e.g. STDCALL vs CDECL calling conventions). For instance, in some cases, CPU registers are used instead of storing stuff on the stack. The general idea is the same though