sourcepawn/vm/jit/x86/opcode_helpers.cpp
author David Anderson <dvander@alliedmods.net>
Thu Oct 12 00:27:18 2006 +0000 (2006-10-12)
changeset 113 75b928da1ef1
parent 112 ae7af70e0f27
child 120 3bf4063e2e69
permissions -rw-r--r--
changed error defines to have "ERROR" instead of "ERR"
added and verified sysreq.c which is generated on -O0
dvander@70
     1
#include <limits.h>
dvander@70
     2
#include <string.h>
dvander@70
     3
#include "jit_x86.h"
dvander@70
     4
#include "opcode_helpers.h"
dvander@70
     5
#include "x86_macros.h"
dvander@70
     6
dvander@113
     7
#define NUM_INFO_PARAMS	6
dvander@105
     8
dvander@93
     9
jitoffs_t Write_Execute_Function(JitWriter *jit)
dvander@73
    10
{
dvander@73
    11
	/** 
dvander@73
    12
	 * The variables we're passed in:
dvander@73
    13
	 *  sp_context_t *ctx, uint32_t code_idx, cell_t *result
dvander@73
    14
	 */
dvander@73
    15
dvander@74
    16
	/**
dvander@74
    17
	 * !NOTE!
dvander@74
    18
	 * Currently, we do not accept ctx->frm as the new frame pointer.
dvander@74
    19
	 * Instead, we copy the frame from the stack pointer.
dvander@74
    20
	 * This is because we do not support resuming or sleeping!
dvander@74
    21
	 */
dvander@73
    22
dvander@74
    23
	//push ebp
dvander@74
    24
	//mov ebp, esp
dvander@74
    25
	IA32_Push_Reg(jit, REG_EBP);
dvander@74
    26
	IA32_Mov_Reg_Rm(jit, REG_EBP, REG_ESP, MOD_REG);
dvander@74
    27
dvander@74
    28
	//push esi
dvander@74
    29
	//push edi
dvander@74
    30
	//push ebx
dvander@74
    31
	IA32_Push_Reg(jit, REG_ESI);
dvander@74
    32
	IA32_Push_Reg(jit, REG_EDI);
dvander@74
    33
	IA32_Push_Reg(jit, REG_EBX);
dvander@74
    34
dvander@105
    35
	//sub esp, 4*n	- reserve info array
dvander@74
    36
	//mov esi, esp	- save info pointer
dvander@105
    37
	IA32_Sub_Rm_Imm8(jit, REG_ESP, 4*NUM_INFO_PARAMS, MOD_REG);
dvander@74
    38
	IA32_Mov_Reg_Rm(jit, AMX_REG_INFO, REG_ESP, MOD_REG);
dvander@74
    39
dvander@83
    40
	/* Initial memory setup */
dvander@83
    41
	//mov eax, [ebp+16]		- get result pointer
dvander@83
    42
	//mov [esi+8], eax		- store into info pointer
dvander@74
    43
	//mov eax, [ebp+8]		- get context
dvander@74
    44
	//mov [esi+12], eax		- store context into info pointer
dvander@74
    45
	//mov ecx, [eax+<offs>]	- get heap pointer
dvander@74
    46
	//mov [esi+4], ecx		- store heap into info pointer
dvander@105
    47
	//mov ebp, [eax+<offs>]	- get data pointer
dvander@83
    48
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EAX, REG_EBP, 16);
dvander@83
    49
	IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_INFO, REG_EAX, AMX_INFO_RETVAL);
dvander@74
    50
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EAX, REG_EBP, 8);
dvander@83
    51
	IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_INFO, REG_EAX, AMX_INFO_CONTEXT);
dvander@74
    52
	IA32_Mov_Reg_Rm_Disp8(jit, REG_ECX, REG_EAX, offsetof(sp_context_t, hp));
dvander@83
    53
	IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_INFO, REG_ECX, AMX_INFO_HEAP);
dvander@74
    54
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_DAT, REG_EAX, offsetof(sp_context_t, data));
dvander@74
    55
dvander@83
    56
	/* Frame setup */
dvander@105
    57
	//mov edi, [eax+<offs>]	- get stack pointer
dvander@105
    58
	//add edi, ebp			- relocate to data section
dvander@105
    59
	//mov ebx, edi			- copy sp to frm
dvander@75
    60
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_STK, REG_EAX, offsetof(sp_context_t, sp));
dvander@105
    61
	IA32_Add_Rm_Reg(jit, AMX_REG_STK, AMX_REG_DAT, MOD_REG);
dvander@75
    62
	IA32_Mov_Reg_Rm(jit, AMX_REG_FRM, AMX_REG_STK, MOD_REG);
dvander@75
    63
dvander@83
    64
	/* Info memory setup */
dvander@105
    65
	//mov ecx, [eax+<offs>] - copy memsize to temp var
dvander@105
    66
	//mov [esi+x], ecx		- store unrelocated
dvander@105
    67
	//add ecx, ebp			- relocate
dvander@105
    68
	//mov [esi+x], ecx		- store relocated
dvander@105
    69
	IA32_Mov_Reg_Rm_Disp8(jit, REG_ECX, REG_EAX, offsetof(sp_context_t, memory));
dvander@105
    70
	IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_INFO, REG_ECX, AMX_INFO_STACKTOP_U);
dvander@105
    71
	IA32_Add_Reg_Rm(jit, AMX_REG_TMP, AMX_REG_DAT, MOD_REG);
dvander@83
    72
	IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_INFO, REG_ECX, AMX_INFO_STACKTOP);
dvander@75
    73
dvander@83
    74
	/* Remaining needed vars */
dvander@105
    75
	//mov ecx, [esp+(4*(NUM_INFO_PARAMS+3))+12] - get code index (normally esp+12, but we have another array on the stack)
dvander@105
    76
	//add ecx, [eax+<offs>]   - add code base to index
dvander@105
    77
	IA32_Mov_Reg_Esp_Disp8(jit, REG_ECX, 12+(4*(NUM_INFO_PARAMS+3)));
dvander@93
    78
	IA32_Add_Reg_Rm_Disp8(jit, REG_ECX, REG_EAX, offsetof(sp_context_t, codebase));
dvander@74
    79
dvander@74
    80
	/* by now, everything is set up, so we can call into the plugin */
dvander@74
    81
	//call ecx
dvander@86
    82
	IA32_Call_Reg(jit, REG_ECX);
dvander@74
    83
dvander@74
    84
	/* if the code flow gets to here, there was a normal return */
dvander@105
    85
	//mov ecx, [esi+8]		- get retval pointer
dvander@105
    86
	//mov [ecx], eax		- store retval from PRI
dvander@113
    87
	//mov eax, SP_ERROR_NONE	- set no error
dvander@105
    88
	IA32_Mov_Reg_Rm_Disp8(jit, REG_ECX, AMX_REG_INFO, AMX_INFO_RETVAL);
dvander@105
    89
	IA32_Mov_Rm_Reg(jit, REG_ECX, AMX_REG_PRI, MOD_MEM_REG);
dvander@113
    90
	IA32_Mov_Reg_Imm32(jit, REG_EAX, SP_ERROR_NONE);
dvander@74
    91
dvander@75
    92
	/* save where error checking/halting functions should go to */
dvander@105
    93
	jitoffs_t offs_return = jit->get_outputpos();
dvander@105
    94
	//mov esp, esi			- restore stack pointer
dvander@105
    95
	IA32_Mov_Reg_Rm(jit, REG_ESP, REG_ESI, MOD_REG);
dvander@74
    96
dvander@105
    97
	/* _FOR NOW_ ...
dvander@105
    98
	 * We are going to restore SP, HP, and FRM for now.  This is for 
dvander@105
    99
     * debugging only, to check for alignment errors.  As such:
dvander@105
   100
	 * :TODO: probably remove this.
dvander@74
   101
	 */
dvander@105
   102
	//mov ecx, [esi+context]
dvander@105
   103
	//sub edi, ebp
dvander@105
   104
	//mov edx, [esi+heap]
dvander@105
   105
	//mov [ecx+sp], edi
dvander@105
   106
	//mov [ecx+hp], edx
dvander@105
   107
	IA32_Mov_Reg_Rm_Disp8(jit, REG_ECX, REG_ESI, AMX_INFO_CONTEXT);
dvander@105
   108
	IA32_Sub_Reg_Rm(jit, REG_EDI, REG_EBP, MOD_REG);
dvander@105
   109
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EDX, REG_ESI, AMX_INFO_HEAP);
dvander@105
   110
	IA32_Mov_Rm_Reg_Disp8(jit, REG_ECX, REG_EDI, offsetof(sp_context_t, sp));
dvander@105
   111
	IA32_Mov_Rm_Reg(jit, REG_ECX, REG_EDX, MOD_REG);
dvander@74
   112
dvander@105
   113
	//add esp, 4*NUM_INFO_PARAMS
dvander@74
   114
	//pop ebx
dvander@74
   115
	//pop edi
dvander@74
   116
	//pop esi
dvander@74
   117
	//pop ebp
dvander@74
   118
	//ret
dvander@105
   119
	IA32_Add_Rm_Imm8(jit, REG_ESP, 4*NUM_INFO_PARAMS, MOD_REG);
dvander@74
   120
	IA32_Pop_Reg(jit, REG_EBX);
dvander@74
   121
	IA32_Pop_Reg(jit, REG_EDI);
dvander@74
   122
	IA32_Pop_Reg(jit, REG_ESI);
dvander@74
   123
	IA32_Pop_Reg(jit, REG_EBP);
dvander@74
   124
	IA32_Return(jit);
dvander@74
   125
dvander@74
   126
	return offs_return;
dvander@73
   127
}
dvander@73
   128
dvander@86
   129
void Write_BreakDebug(JitWriter *jit)
dvander@86
   130
{
dvander@86
   131
	//push ecx
dvander@86
   132
	//mov ecx, [esi+ctx]
dvander@86
   133
	//cmp [ecx+dbreak], 0
dvander@86
   134
	//jnz :nocall
dvander@86
   135
	IA32_Push_Reg(jit, AMX_REG_TMP);
dvander@86
   136
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_CONTEXT);
faluco@97
   137
	IA32_Cmp_Rm_Disp8_Imm8(jit, AMX_REG_TMP, offsetof(sp_context_t, dbreak), 0);
dvander@86
   138
	jitoffs_t jmp = IA32_Jump_Cond_Imm8(jit, CC_NZ, 0);
dvander@86
   139
dvander@86
   140
	//pushad
dvander@86
   141
	IA32_Pushad(jit);
dvander@86
   142
dvander@86
   143
	//push [esi+frm]
dvander@86
   144
	//push [ecx+context]
dvander@86
   145
	//mov ecx, [ecx+dbreak]
dvander@86
   146
	//call ecx
dvander@86
   147
	//add esp, 8
dvander@86
   148
	//popad
faluco@97
   149
	IA32_Push_Rm_Disp8(jit, AMX_REG_INFO, AMX_INFO_FRAME); //:TODO: move to regs and push? and dont disp for 0
dvander@86
   150
	IA32_Push_Rm_Disp8(jit, AMX_REG_TMP, offsetof(sp_context_t, context));
dvander@86
   151
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_TMP, offsetof(sp_context_t, dbreak));
dvander@86
   152
	IA32_Call_Reg(jit, AMX_REG_TMP);
dvander@86
   153
	IA32_Add_Rm_Imm8(jit, REG_ESP, 4*2, MOD_REG);
dvander@86
   154
	IA32_Popad(jit);
dvander@86
   155
dvander@86
   156
	//:nocall
dvander@86
   157
	IA32_Send_Jump8_Here(jit, jmp);
dvander@86
   158
	IA32_Add_Rm_Imm8(jit, REG_ESP, 4*1, MOD_REG);
dvander@86
   159
	IA32_Return(jit);
dvander@86
   160
}
dvander@86
   161
dvander@112
   162
void Write_GetError(JitWriter *jit)
dvander@75
   163
{
dvander@75
   164
	CompData *data = (CompData *)jit->data;
dvander@75
   165
dvander@112
   166
	//mov eax, [esi+info.context]
dvander@112
   167
	//mov eax, [eax+ctx.error]
dvander@112
   168
	//jmp [jit_return]
dvander@112
   169
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EAX, AMX_REG_INFO, AMX_INFO_CONTEXT);
dvander@112
   170
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EAX, REG_EAX, offsetof(sp_context_t, err));
dvander@112
   171
	IA32_Jump_Imm32_Abs(jit, data->jit_return);
dvander@112
   172
}
dvander@112
   173
dvander@112
   174
void Write_SetError(JitWriter *jit, int error)
dvander@112
   175
{
dvander@112
   176
	CompData *data = (CompData *)jit->data;
dvander@112
   177
dvander@75
   178
	//mov eax, <error>
dvander@112
   179
	//jmp [jit_return]
dvander@75
   180
	IA32_Mov_Reg_Imm32(jit, REG_EAX, error);
dvander@112
   181
	IA32_Jump_Imm32_Abs(jit, data->jit_return);
dvander@75
   182
}
dvander@75
   183
faluco@81
   184
void Write_Check_DivZero(JitWriter *jit, jit_uint8_t reg)
faluco@81
   185
{
faluco@81
   186
	//test reg, reg
dvander@105
   187
	//jz :error
faluco@81
   188
	IA32_Test_Rm_Reg(jit, reg, reg, MOD_REG);
dvander@105
   189
	IA32_Jump_Cond_Imm32_Abs(jit, CC_Z, ((CompData *)jit->data)->jit_error_divzero);
dvander@105
   190
}
dvander@105
   191
dvander@105
   192
void Write_CheckHeap_Min(JitWriter *jit)
dvander@105
   193
{
dvander@105
   194
	/* Check if the stack went beyond the heap low.
dvander@105
   195
	 * This usually means there was a compiler error.
dvander@105
   196
	 * NOTE: Special optimization here.
dvander@105
   197
	 * The heap low is always known ahead of time! :)
dvander@105
   198
	 */
dvander@105
   199
	CompData *data = (CompData *)jit->data;
dvander@105
   200
	//cmp [esi+info.heap], <heaplow>
dvander@105
   201
	//jb :error
dvander@105
   202
	IA32_Cmp_Rm_Imm32_Disp8(jit, AMX_REG_INFO, AMX_INFO_HEAP, data->plugin->data_size);
dvander@105
   203
	IA32_Jump_Cond_Imm32_Abs(jit, CC_B, data->jit_error_heapmin);
dvander@105
   204
}
faluco@81
   205
dvander@105
   206
void Write_CheckHeap_Low(JitWriter *jit)
dvander@105
   207
{
dvander@105
   208
	/* Check if the heap is trying to grow beyond the stack.
dvander@105
   209
	 */
dvander@105
   210
	//mov ecx, [esi+info.heap]
dvander@105
   211
	//lea ecx, [ebp+ecx+STACK_MARGIN]
dvander@105
   212
	//cmp ecx, edi
dvander@105
   213
	//ja :error		; I think this is right
dvander@105
   214
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_HEAP);
dvander@105
   215
	IA32_Lea_Reg_DispRegMultImm8(jit, AMX_REG_TMP, AMX_REG_DAT, AMX_REG_TMP, NOSCALE, STACK_MARGIN);
dvander@105
   216
	IA32_Cmp_Reg_Rm(jit, AMX_REG_TMP, AMX_REG_STK, MOD_REG);
dvander@105
   217
	IA32_Jump_Cond_Imm32_Abs(jit, CC_A, ((CompData *)jit->data)->jit_error_heaplow);
faluco@81
   218
}
dvander@105
   219
dvander@105
   220
void Write_CheckStack_Min(JitWriter *jit)
dvander@105
   221
{
dvander@105
   222
	/* Check if the stack went beyond the stack top
dvander@105
   223
	 * This usually means there was a compiler error.
dvander@105
   224
	 */
dvander@105
   225
	//cmp edi, [esi+info.stacktop]
dvander@105
   226
	//jae :error
dvander@105
   227
	IA32_Cmp_Reg_Rm_Disp8(jit, AMX_REG_STK, AMX_REG_INFO, AMX_INFO_STACKTOP);
dvander@105
   228
	IA32_Jump_Cond_Imm32_Abs(jit, CC_AE, ((CompData *)jit->data)->jit_error_stackmin);
dvander@105
   229
}
dvander@105
   230
dvander@105
   231
void Write_CheckStack_Low(JitWriter *jit)
dvander@105
   232
{
dvander@105
   233
	/* Check if the stack went beyond the heap boundary.
dvander@105
   234
	 * Unfortunately this one isn't as quick as the other check.
dvander@105
   235
	 * The stack margin check is important for sysreq.n having space.
dvander@105
   236
	 */
dvander@105
   237
	//mov ecx, [esi+info.heap]
dvander@105
   238
	//lea ecx, [ebp+ecx+STACK_MARGIN]
dvander@105
   239
	//cmp edi, ecx
dvander@105
   240
	//jb :error		; I think this is right
dvander@105
   241
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_HEAP);
dvander@105
   242
	IA32_Lea_Reg_DispRegMultImm8(jit, AMX_REG_TMP, AMX_REG_DAT, AMX_REG_TMP, NOSCALE, STACK_MARGIN);
dvander@105
   243
	IA32_Cmp_Reg_Rm(jit, AMX_REG_STK, AMX_REG_TMP, MOD_REG);
dvander@105
   244
	IA32_Jump_Cond_Imm32_Abs(jit, CC_B, ((CompData *)jit->data)->jit_error_stacklow);
dvander@105
   245
}
dvander@105
   246
dvander@105
   247
void Write_Check_VerifyAddr(JitWriter *jit, jit_uint8_t reg)
dvander@75
   248
{
dvander@75
   249
	CompData *data = (CompData *)jit->data;
dvander@75
   250
dvander@75
   251
	/* :TODO: Should this be checking for below heaplow?
dvander@75
   252
	 * The old JIT did not.
dvander@75
   253
	 */
dvander@75
   254
dvander@75
   255
	bool call = false;
dvander@75
   256
	if (!(data->inline_level & JIT_INLINE_ERRORCHECKS))
dvander@75
   257
	{
dvander@75
   258
		/* If we're not in the initial generation phase,
dvander@75
   259
		 * Write a call to the actual routine instead.
dvander@75
   260
		 */
dvander@105
   261
		if ((reg == REG_EAX) && data->jit_verify_addr_eax)
dvander@75
   262
		{
dvander@75
   263
			jitoffs_t call = IA32_Call_Imm32(jit, 0);
dvander@105
   264
			IA32_Write_Jump32(jit, call, data->jit_verify_addr_eax);
dvander@105
   265
			return;
dvander@105
   266
		} else if ((reg == REG_EDX) && data->jit_verify_addr_edx) {
dvander@105
   267
			jitoffs_t call = IA32_Call_Imm32(jit, 0);
dvander@105
   268
			IA32_Write_Jump32(jit, call, data->jit_verify_addr_edx);
dvander@75
   269
			return;
dvander@75
   270
		}
dvander@75
   271
		call = true;
dvander@75
   272
	}
dvander@75
   273
dvander@105
   274
	/** 
dvander@105
   275
	 * :TODO: If we can't find a nicer way of doing this,
dvander@105
   276
	 *  then scrap it on high optimizations.  The second portion is not needed at all!
dvander@105
   277
	 */
dvander@105
   278
dvander@105
   279
	/* Part 1: Check if we're in the memory bounds */
dvander@105
   280
	//cmp <reg>, [esi+info.stpu]
dvander@105
   281
	//jae :error
dvander@105
   282
	IA32_Cmp_Reg_Rm_Disp8(jit, reg, AMX_REG_INFO, AMX_INFO_STACKTOP_U);
dvander@105
   283
	IA32_Jump_Cond_Imm32_Abs(jit, CC_AE, ((CompData *)jit->data)->jit_error_memaccess);
dvander@105
   284
dvander@105
   285
	/* Part 2: Check if we're in the invalid region between HP and SP */
dvander@105
   286
	jitoffs_t jmp;
dvander@105
   287
	//cmp <reg>, [esi+info.heap]
dvander@105
   288
	//jb :continue
dvander@105
   289
	//lea ecx, [ebp+<reg>]
dvander@105
   290
	//cmp edi, ecx
dvander@105
   291
	//jb :error
dvander@105
   292
	//:continue
dvander@75
   293
	IA32_Cmp_Reg_Rm_Disp8(jit, reg, AMX_REG_INFO, AMX_INFO_HEAP);
dvander@105
   294
	jmp = IA32_Jump_Cond_Imm8(jit, CC_B, 0);
dvander@105
   295
	IA32_Lea_Reg_DispRegMultImm8(jit, AMX_REG_TMP, AMX_REG_DAT, reg, NOSCALE, 0);
dvander@105
   296
	IA32_Cmp_Reg_Rm(jit, AMX_REG_TMP, AMX_REG_STK, MOD_REG);
dvander@105
   297
	IA32_Jump_Cond_Imm32_Abs(jit, CC_B, ((CompData *)jit->data)->jit_error_memaccess);
dvander@105
   298
	IA32_Send_Jump8_Here(jit, jmp);
dvander@105
   299
dvander@75
   300
	if (call)
dvander@75
   301
	{
dvander@75
   302
		IA32_Return(jit);
dvander@75
   303
	}
dvander@75
   304
}
dvander@75
   305
dvander@70
   306
void Macro_PushN_Addr(JitWriter *jit, int i)
dvander@70
   307
{
dvander@70
   308
	//push eax
faluco@97
   309
	//mov eax, [esi+frm]
dvander@70
   310
	//loop i times:
dvander@70
   311
	// lea ecx, [eax+<val>]
faluco@97
   312
	// mov [edi-4*i], ecx
faluco@97
   313
	//sub edi, 4*N
dvander@70
   314
	//pop eax
dvander@70
   315
dvander@70
   316
	cell_t val;
dvander@70
   317
	int n = 1;
dvander@70
   318
	IA32_Push_Reg(jit, AMX_REG_PRI);
faluco@97
   319
	IA32_Mov_Reg_Rm(jit, AMX_REG_PRI, AMX_REG_INFO, MOD_MEM_REG);
dvander@70
   320
	do
dvander@70
   321
	{
dvander@70
   322
		val = jit->read_cell();
dvander@70
   323
		if (val < SCHAR_MAX && val > SCHAR_MIN)
dvander@70
   324
			IA32_Lea_DispRegImm8(jit, AMX_REG_TMP, AMX_REG_PRI, (jit_int8_t)val);
dvander@70
   325
		else
dvander@70
   326
			IA32_Lea_DispRegImm32(jit, AMX_REG_TMP, AMX_REG_PRI, val);
dvander@70
   327
		IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, AMX_REG_TMP, -4*n);
dvander@70
   328
	} while (n++ < i);
dvander@70
   329
	IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
dvander@70
   330
	IA32_Pop_Reg(jit, AMX_REG_PRI);
dvander@70
   331
}
dvander@70
   332
dvander@70
   333
void Macro_PushN_S(JitWriter *jit, int i)
dvander@70
   334
{
dvander@70
   335
	//loop i times:
dvander@70
   336
	// mov ecx, [ebx+<val>]
faluco@97
   337
	// mov [edi-4*i], ecx
faluco@97
   338
	//sub edi, 4*N
dvander@70
   339
dvander@70
   340
	cell_t val;
dvander@70
   341
	int n = 1;
dvander@70
   342
	do 
dvander@70
   343
	{
dvander@70
   344
		val = jit->read_cell();
dvander@70
   345
		if (val < SCHAR_MAX && val > SCHAR_MIN)
dvander@70
   346
			IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_FRM, (jit_int8_t)val);
dvander@70
   347
		else
dvander@70
   348
			IA32_Mov_Reg_Rm_Disp32(jit, AMX_REG_TMP, AMX_REG_FRM, val);
dvander@70
   349
		IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, AMX_REG_TMP, -4*n);
dvander@70
   350
	} while (n++ < i);
dvander@70
   351
	IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
dvander@70
   352
}
dvander@70
   353
dvander@70
   354
void Macro_PushN_C(JitWriter *jit, int i)
dvander@70
   355
{
dvander@70
   356
	//loop i times:
faluco@97
   357
	// mov [edi-4*i], <val>
faluco@97
   358
	//sub edi, 4*N
dvander@70
   359
dvander@70
   360
	int n = 1;
dvander@70
   361
	do 
dvander@70
   362
	{
dvander@70
   363
		IA32_Mov_Rm_Imm32_Disp8(jit, AMX_REG_STK, jit->read_cell(), -4*n);
dvander@70
   364
	} while (n++ < i);
dvander@70
   365
	IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
dvander@70
   366
}
dvander@70
   367
dvander@70
   368
void Macro_PushN(JitWriter *jit, int i)
dvander@70
   369
{
dvander@70
   370
	//loop i times:
faluco@97
   371
	// mov ecx, [ebp+<val>]
faluco@97
   372
	// mov [edi-4*i], ecx
faluco@97
   373
	//sub edi, 4*N
dvander@70
   374
dvander@70
   375
	cell_t val;
dvander@70
   376
	int n = 1;
dvander@70
   377
	do 
dvander@70
   378
	{
dvander@70
   379
		val = jit->read_cell();
dvander@70
   380
		if (val < SCHAR_MAX && val > SCHAR_MIN)
dvander@70
   381
			IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_DAT, (jit_int8_t)val);
dvander@70
   382
		else
dvander@70
   383
			IA32_Mov_Reg_Rm_Disp32(jit, AMX_REG_TMP, AMX_REG_DAT, val);
dvander@70
   384
		IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, AMX_REG_TMP, -4*n);
dvander@70
   385
	} while (n++ < i);
dvander@70
   386
	IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
dvander@70
   387
}
dvander@70
   388
dvander@113
   389
void WriteOp_Sysreq_C_Function(JitWriter *jit)
dvander@113
   390
{
dvander@113
   391
	/* The small daddy of the big daddy of opcodes.
dvander@113
   392
	 * ecx - native index
dvander@113
   393
	 */
dvander@113
   394
	CompData *data = (CompData *)jit->data;
dvander@113
   395
dvander@113
   396
	/* save registers we will need */
dvander@113
   397
	//push edx
dvander@113
   398
	IA32_Push_Reg(jit, AMX_REG_ALT);
dvander@113
   399
dvander@113
   400
	/* push some callback stuff */
dvander@113
   401
	//push edi		; stack
dvander@113
   402
	//push ecx		; native index
dvander@113
   403
	IA32_Push_Reg(jit, AMX_REG_STK);
dvander@113
   404
	IA32_Push_Reg(jit, REG_ECX);
dvander@113
   405
dvander@113
   406
	/* Relocate stack, heap, frm information, then store back */
dvander@113
   407
	//sub edi, ebp
dvander@113
   408
	//mov ecx, [esi+hea]
dvander@113
   409
	//mov eax, [esi+context]
dvander@113
   410
	//mov [eax+hp], ecx
dvander@113
   411
	//mov [eax+sp], edi
dvander@113
   412
	//mov ecx, [esi+frm]
dvander@113
   413
	//mov [eax+frm], ecx
dvander@113
   414
	IA32_Sub_Rm_Reg(jit, AMX_REG_STK, AMX_REG_DAT, MOD_REG);
dvander@113
   415
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_HEAP);
dvander@113
   416
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EAX, AMX_REG_INFO, AMX_INFO_CONTEXT);
dvander@113
   417
	IA32_Mov_Rm_Reg_Disp8(jit, REG_EAX, AMX_REG_TMP, offsetof(sp_context_t, hp));
dvander@113
   418
	IA32_Mov_Rm_Reg_Disp8(jit, REG_EAX, AMX_REG_STK, offsetof(sp_context_t, sp));
dvander@113
   419
	IA32_Mov_Reg_Rm(jit, AMX_REG_TMP, AMX_INFO_FRM, MOD_REG);
dvander@113
   420
	IA32_Mov_Rm_Reg_Disp8(jit, REG_EAX, AMX_REG_TMP, offsetof(sp_context_t, frm));
dvander@113
   421
dvander@113
   422
	/* finally, push the last parameter and make the call */
dvander@113
   423
	//push eax		; context
dvander@113
   424
	//call NativeCallback
dvander@113
   425
	IA32_Push_Reg(jit, REG_EAX);
dvander@113
   426
	jitoffs_t call = IA32_Call_Imm32(jit, 0);
dvander@113
   427
	if (!data->debug)
dvander@113
   428
	{
dvander@113
   429
		IA32_Write_Jump32_Abs(jit, call, NativeCallback);
dvander@113
   430
	} else {
dvander@113
   431
		IA32_Write_Jump32_Abs(jit, call, NativeCallback_Debug);
dvander@113
   432
	}
dvander@113
   433
dvander@113
   434
	/* Test for error */
dvander@113
   435
	//mov ecx, [esi+context]
dvander@113
   436
	//cmp [ecx+err], 0
dvander@113
   437
	//jnz :error
dvander@113
   438
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_CONTEXT);
dvander@113
   439
	IA32_Cmp_Rm_Imm32_Disp8(jit, AMX_REG_TMP, offsetof(sp_context_t, err), 0);
dvander@113
   440
	IA32_Jump_Cond_Imm32_Abs(jit, CC_NZ, data->jit_extern_error);
dvander@113
   441
dvander@113
   442
	/* restore what we damaged */
dvander@113
   443
	//add esp, 4*3
dvander@113
   444
	//add edi, ebp
dvander@113
   445
	//pop edx
dvander@113
   446
	IA32_Add_Rm_Imm8(jit, REG_ESP, 4*3, MOD_REG);
dvander@113
   447
	IA32_Add_Rm_Reg(jit, AMX_REG_STK, AMX_REG_DAT, MOD_REG);
dvander@113
   448
	IA32_Pop_Reg(jit, AMX_REG_ALT);
dvander@113
   449
dvander@113
   450
	//ret
dvander@113
   451
	IA32_Return(jit);
dvander@113
   452
}
dvander@113
   453
dvander@105
   454
void WriteOp_Sysreq_N_Function(JitWriter *jit)
dvander@105
   455
{
dvander@105
   456
	/* The big daddy of opcodes.
dvander@105
   457
	 * eax - num_params
dvander@105
   458
	 * ecx - native index
dvander@105
   459
	 */
dvander@105
   460
	CompData *data = (CompData *)jit->data;
dvander@105
   461
dvander@105
   462
	/* store the number of parameters on the stack */
dvander@105
   463
	//mov [edi-4], eax
dvander@105
   464
	//sub edi, 4
dvander@105
   465
	IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, REG_EAX, -4);
dvander@105
   466
	IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4, MOD_REG);
dvander@105
   467
dvander@105
   468
	/* save registers we will need */
dvander@105
   469
	//push eax	; num_params for stack popping
dvander@105
   470
	//push edx
dvander@105
   471
	IA32_Push_Reg(jit, REG_EAX);
dvander@105
   472
	IA32_Push_Reg(jit, AMX_REG_ALT);
dvander@105
   473
dvander@105
   474
	/* push some callback stuff */
dvander@105
   475
	//push edi		; stack
dvander@105
   476
	//push ecx		; native index
dvander@105
   477
	IA32_Push_Reg(jit, AMX_REG_STK);
dvander@105
   478
	IA32_Push_Reg(jit, REG_ECX);
dvander@105
   479
dvander@105
   480
	/* Relocate stack, heap, frm information, then store back */
dvander@105
   481
	//sub edi, ebp
dvander@105
   482
	//mov ecx, [esi+hea]
dvander@105
   483
	//mov eax, [esi+context]
dvander@105
   484
	//mov [eax+hp], ecx
dvander@105
   485
	//mov [eax+sp], edi
dvander@105
   486
	//mov ecx, [esi+frm]
dvander@105
   487
	//mov [eax+frm], ecx
dvander@105
   488
	IA32_Sub_Rm_Reg(jit, AMX_REG_STK, AMX_REG_DAT, MOD_REG);
dvander@105
   489
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_HEAP);
dvander@105
   490
	IA32_Mov_Reg_Rm_Disp8(jit, REG_EAX, AMX_REG_INFO, AMX_INFO_CONTEXT);
dvander@105
   491
	IA32_Mov_Rm_Reg_Disp8(jit, REG_EAX, AMX_REG_TMP, offsetof(sp_context_t, hp));
dvander@105
   492
	IA32_Mov_Rm_Reg_Disp8(jit, REG_EAX, AMX_REG_STK, offsetof(sp_context_t, sp));
dvander@105
   493
	IA32_Mov_Reg_Rm(jit, AMX_REG_TMP, AMX_INFO_FRM, MOD_REG);
dvander@105
   494
	IA32_Mov_Rm_Reg_Disp8(jit, REG_EAX, AMX_REG_TMP, offsetof(sp_context_t, frm));
dvander@105
   495
dvander@105
   496
	/* finally, push the last parameter and make the call */
dvander@105
   497
	//push eax		; context
dvander@105
   498
	//call NativeCallback
dvander@105
   499
	IA32_Push_Reg(jit, REG_EAX);
dvander@105
   500
	jitoffs_t call = IA32_Call_Imm32(jit, 0);
dvander@113
   501
	if (!data->debug)
dvander@113
   502
	{
dvander@113
   503
		IA32_Write_Jump32_Abs(jit, call, NativeCallback);
dvander@113
   504
	} else {
dvander@113
   505
		IA32_Write_Jump32_Abs(jit, call, NativeCallback_Debug);
dvander@113
   506
	}
dvander@112
   507
dvander@112
   508
	/* Test for error */
dvander@112
   509
	//mov ecx, [esi+context]
dvander@112
   510
	//cmp [ecx+err], 0
dvander@112
   511
	//jnz :error
dvander@112
   512
	IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_INFO, AMX_INFO_CONTEXT);
dvander@112
   513
	IA32_Cmp_Rm_Imm32_Disp8(jit, AMX_REG_TMP, offsetof(sp_context_t, err), 0);
dvander@112
   514
	IA32_Jump_Cond_Imm32_Abs(jit, CC_NZ, data->jit_extern_error);
dvander@105
   515
dvander@105
   516
	/* restore what we damaged */
dvander@105
   517
	//add esp, 4*3
dvander@105
   518
	//add edi, ebp
dvander@105
   519
	//pop edx
dvander@105
   520
	//pop ecx	; num_params
dvander@105
   521
	IA32_Add_Rm_Imm8(jit, REG_ESP, 4*3, MOD_REG);
dvander@105
   522
	IA32_Add_Rm_Reg(jit, AMX_REG_STK, AMX_REG_DAT, MOD_REG);
dvander@105
   523
	IA32_Pop_Reg(jit, AMX_REG_ALT);
dvander@105
   524
	IA32_Pop_Reg(jit, REG_ECX);
dvander@105
   525
dvander@105
   526
	/* pop the AMX stack.  do not check the margins.
dvander@105
   527
	 * Note that this is not a true macro - we don't bother to
dvander@105
   528
	 * set ALT here because nothing will be using it.
dvander@105
   529
	 */
dvander@105
   530
	//lea edi, [edi+ecx*4+4]
dvander@105
   531
	IA32_Lea_Reg_DispRegMultImm8(jit, AMX_REG_STK, AMX_REG_STK, REG_ECX, SCALE4, 4);
dvander@105
   532
dvander@105
   533
	//ret
dvander@105
   534
	IA32_Return(jit);
dvander@105
   535
}
dvander@105
   536