x64 asm ¿cómo configurar un puntero de función a una función _cdecl C y llamarlo?
Frecuentes
Visto 2,080 equipos
2
I'm trying to do something pretty basic in x64 asm:
Have an asm function which take a function pointer and sets this in a variable. This function is called from C code.
Have another asm function which calls the function pointer if not null, this function pointer is also a C function (as as set by the function in 1).
Here is what I have so far for the C side of things:
extern "C" void _asm_set_func_ptr(void* ptr);
void _cdecl c_call_back()
{
}
void init()
{
_asm_set_func_ptr(c_call_back);
}
And the asm side:
.DATA
g_pFuncPtr QWORD 0
.CODE ;Indicates the start of a code segment.
_asm_set_func_ptr PROC fPtr:QWORD
mov [rsp+qword ptr 8], rcx
mov rax, [rsp+qword ptr 8]
mov g_pFuncPtr, rax
ret
_asm_set_func_ptr ENDP
_asm_func PROC
push RBX
push RBP
push RDI
push RSI
push RSP
push R12
push R13
push R14
push R15
CMP g_pFuncPtr, 0
JE SkipCall
MOV RAX, [ g_pFuncPtr ];
CALL RAX;
SkipCall:
pop RBX
pop RBP
pop RDI
pop RSI
pop RSP
pop R12
pop R13
pop R14
pop R15
ret
_asm_func ENDP
But it seems I damage the stack after calling _asm_set_func_ptr(), also I'm not sure if how I call g_pFuncPtr in _asm_func is correct? What is wrong with my code? I'm building this with VS2013 MASM64.
2 Respuestas
3
First, you generally need to pop the registers in the reverse order in which you push them, i.e.:
push RBX
, push RBP
... push R15
-> pop R15
... pop RSI
, pop RBX
, ret
. This will definitely break the caller of _asm_func
.
Next you should look at the Convención de llamadas de Windows x64 what all is necessary to make proper function calls. It is very important to get all the requirements right, otherwise things can break and even very late in some else's code, which is not the greatest thing to debug.
For example, you don't need to save all registers. If the callback function destroys them, it will save and restore them itself. So no pushing and popping is necessary there, RAX
can be invalidated anyway, no argument is being passed in it.
But then note this part:
In the Microsoft x64 calling convention, it's the caller's responsibility to allocate 32 bytes of "shadow space" on the stack right before calling the function (regardless of the actual number of parameters used), and to pop the stack after the call.
Entonces deberías hacer SUB ESP, 32
before your code, then ADD ESP, 32
antes de RET
.
There is also the requirement for "stack aligned on 16 bytes", but you don't currently need to address that, because "8 bytes of return address + 32 bytes of shadow space + 8 bytes of next return address" is aligned on 16 bytes.
Additionally, the Windows x64 ABI has also strict requirements on exception handling and correct unwinding. As Raymond pointed out in the comment, because your function is not a leaf one (calls other functions), you need to provide a proper prologue and epilogue instead -- see aquí.
The temporary saving of RCX
al comienzo de _asm_set_func_ptr
es innecesario
Otherwise I don't see any problems there, though.
Finally, semicolons ;
are not needed at end of lines in assembler files.
contestado el 28 de mayo de 14 a las 15:05
1
You're pushing a lot of registers before checking g_pFuncPtr, but you're not popping them back off the stack if it's not been set. If you push something onto the stack & then don't make the call and don't pop them back, your stack will fill up fast.
You MUST pop registers in the opposite order of pushing them, or you'll get back the wrong registers.
Last, don't waste time & CPU cycles pushing them at all unless you have something to do with them:
CMP g_pFuncPtr, 0
JE SkipCall
PUSH RBX
PUSH RBP
PUSH RDI
PUSH RSI
PUSH RSP
PUSH R12
PUSH R13
PUSH R14
PUSH R15
MOV RAX, [ g_pFuncPtr ];
CALL RAX;
POP R15
POP R14
POP R13
POP R12
POP RSP
POP RSI
POP RDI
POP RBP
POP RBX
SkipCall:
ret
... and please - please... do read up on setting up stack frames and managing stack frames inside calls. C calls and ASM calls handle stack frames very differently from each other.
contestado el 28 de mayo de 14 a las 12:05
Mmmmmmm... in the attic, from when I was first learning to write assembly-language (MASM) TSRs with C and Pascal calling conventions for DOS... back in the 1990s... This looks (at first glance) to be a pretty good starting point: en.wikibooks.org/wiki/X86_Disassembly/… Esto también: csee.umbc.edu/~chang/cs313.s02/stack.shtml - TDhofstetter
But this only seems to relate to 32bit? 64bit's ABI seems to be totally different - Paulm
Different register names, larger registers, but stack frame handling technique is exactly the same. The stack on every CPU grows downwards while the heap grows upwards, C/C++ calls expect arguments to be in the same order on the stack (but their locations will be a little different because the registers are larger), return handling technique is the same, everything PUSHED (and not POPPED by the called function) still needs to get POPPED in reverse order, C & PASCAL calling conventions are still radically different each other; ASM usually uses PASCAL style because it's faster & cheaper. - TDhofstetter
But in x64 there is only one calling convention? - Paulm
No es la respuesta que estás buscando? Examinar otras preguntas etiquetadas c++ c assembly masm or haz tu propia pregunta.
Since your function is not a leaf function, you also need to declare prologue and epilogue codes so the right thing happens if an exception is taken. - Raymond Chen