Function GenCodeCmdCallPtr

NULLC/CodeGen_X86.cpp:2037–2117

}

void GenCodeCmdCallPtr(VMCmd cmd)
{
	EMIT_COMMENT("CALLPTR");

	EMIT_OP_REG_RPTR(o_mov, rECX, sDWORD, rESP, cmd.argument);
	EMIT_OP_REG_RPTR(o_mov, rEAX, sNONE, rECX, 8, rNONE, (unsigned int)(uintptr_t)x86FuncAddr + 4);

	EMIT_OP_REG_REG(o_test, rECX, rECX);
	EMIT_OP_LABEL(o_jnz, aluLabels + 1);
#ifdef __linux
	// call siglongjmp(target_env, EXCEPTION_INVALID_FUNCTION);
	EMIT_OP_NUM(o_push, EXCEPTION_INVALID_FUNCTION);
	EMIT_OP_NUM(o_push, nullcJmpTarget);
	EMIT_OP_RPTR(o_call, sDWORD, rNONE, 1, rNONE, (unsigned)(intptr_t)&siglongjmpPtr);
#else
	EMIT_OP_REG_NUM(o_mov, rECX, 0xDEADBEEF);
	EMIT_OP_NUM(o_int, 3);
#endif
	EMIT_LABEL(aluLabels + 1);

	assert(cmd.argument >= 4);
	EMIT_OP_REG_REG(o_test, rEAX, rEAX);
	EMIT_OP_LABEL(o_jz, aluLabels);

	// external function call
	{
		EMIT_OP_ADDR_REG(o_mov, sDWORD, paramBase-12, rEDI);
		EMIT_OP_ADDR_REG(o_mov, sDWORD, paramBase-8, rESP);
		EMIT_OP_RPTR(o_call, sNONE, rECX, 8, rNONE, (unsigned int)(uintptr_t)x86FuncAddr);	// Index array of function addresses
	 
		static int continueLabel = 0;
		EMIT_OP_REG_ADDR(o_mov, rECX, sDWORD, (int)(intptr_t)x86Continue);
		EMIT_OP_REG_REG(o_test, rECX, rECX);
		EMIT_OP_LABEL(o_jnz, aluLabels + 3);
#ifdef __linux
		// call siglongjmp(target_env, EXCEPTION_STOP_EXECUTION);
		EMIT_OP_NUM(o_push, EXCEPTION_STOP_EXECUTION);
		EMIT_OP_NUM(o_push, nullcJmpTarget);
		EMIT_OP_RPTR(o_call, sDWORD, rNONE, 1, rNONE, (unsigned)(intptr_t)&siglongjmpPtr);
#else
		EMIT_OP_REG_REG(o_mov, rECX, rESP); // esp is very likely to contain neither 0 or ~0, so we can distinguish
		EMIT_OP(o_int);						// array out of bounds and function with no return errors from this one
#endif
		EMIT_LABEL(aluLabels + 3);
	 
		EMIT_OP_REG_NUM(o_add, rESP, cmd.argument + 4);
		if(cmd.helper == (bitRetSimple | OTYPE_INT))
		{
			EMIT_OP_REG(o_push, rEAX);
		}else if(cmd.helper == (bitRetSimple | OTYPE_DOUBLE)){
			EMIT_OP_REG(o_push, rEAX);
			EMIT_OP_REG(o_push, rEAX);
			EMIT_OP_RPTR(o_fstp, sQWORD, rESP, 0);
		}else if(cmd.helper == (bitRetSimple | OTYPE_LONG)){
			EMIT_OP_REG(o_push, rEDX);
			EMIT_OP_REG(o_push, rEAX);
		}