4 #if (JITC_ARCNUM == 0x0001)
\r
9 void jitCompPutImm32(struct JitCompWork *w, int i)
\r
11 jitCompPutByte1(w->dst, i & 0xff);
\r
12 jitCompPutByte1(w->dst, (i >> 8) & 0xff);
\r
13 jitCompPutByte1(w->dst, (i >> 16) & 0xff);
\r
14 jitCompPutByte1(w->dst, (i >> 24) & 0xff);
\r
18 int jitCompGetImm32(const unsigned char *src)
\r
20 return (src[0] << 24) | (src[1] << 16) | (src[2] << 8) | src[3];
\r
23 int jitCompGetLabelNum(struct JitCompWork *w, const unsigned char *src)
\r
25 int i = jitCompGetImm32(src);
\r
26 if (i < 0 || i >= w->maxLabels) {
\r
27 w->err = JITC_ERR_LABELNUM;
\r
33 void jitCompA0001_85DispN(struct JitCompWork *w, int disp, int n)
\r
35 disp -= jitCompA0001_EBP128;
\r
36 if (-128 <= disp && disp <= 127) {
\r
37 jitCompPutByte2(w->dst, 0x45 | (n << 3), disp & 0xff);
\r
39 jitCompPutByte1(w->dst, 0x85 | (n << 3));
\r
40 jitCompPutImm32(w, disp);
\r
45 void jitCompA0001_movEbpDispReg32(struct JitCompWork *w, int disp, int reg32)
\r
47 jitCompPutByte1(w->dst, 0x89); /* MOV(mem, reg32); */
\r
48 jitCompA0001_85DispN(w, disp, reg32);
\r
52 void jitCompA0001_movReg32EbpDisp(struct JitCompWork *w, int reg32, int disp)
\r
54 jitCompPutByte1(w->dst, 0x8b); /* MOV(reg32, mem); */
\r
55 jitCompA0001_85DispN(w, disp, reg32);
\r
59 void jitCompA0001_movEaxRxx(struct JitCompWork *w, int rxx)
\r
61 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
63 jitCompPutByte1(w->dst, 0xb8); /* MOV(EAX, ?); */
\r
64 jitCompPutImm32(w, w->r3f);
\r
68 if (rxx >= 0x40 || rxx < 0){
\r
69 w->err = JITC_ERR_REGNUM;
\r
71 jitCompA0001_movReg32EbpDisp(w, 0 /* EAX */, rxx * 4); /* MOV(EAX, [EBP+?]); */
\r
75 void jitCompA0001_movRxxEax(struct JitCompWork *w, int rxx)
\r
77 if (rxx >= 0x40 || rxx < 0){
\r
78 w->err = JITC_ERR_REGNUM;
\r
80 jitCompA0001_movEbpDispReg32(w, rxx * 4, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
84 void jitCompA0001_fixPrefix(struct JitCompWork *w)
\r
86 if (w->prefix != 0) {
\r
87 if (w->dst - w->dst0 > 127){
\r
88 w->err = JITC_ERR_REGNUM;
\r
90 w->dst0[-1] = (unsigned char)((w->dst - w->dst0) & 0xff);
\r
95 void jitCompA0001_checkCompPtr(struct JitCompWork *w, int p0, int p1)
\r
97 if (p0 >= 0x3f || p0 < 0){
\r
98 w->err = JITC_ERR_PREGNUM;
\r
100 if (p1 >= 0x3f || p1 < 0){
\r
101 w->err = JITC_ERR_PREGNUM;
\r
103 /* 比較可能可能なのかのチェックのコードを出力 */ /* 未完成 */
\r
107 void jitCompA000_loadRegCacheAll(struct JitCompWork *w)
\r
109 jitCompA0001_movReg32EbpDisp(w, 3 /* EBX */, 0 * 4); /* EBX = R00; */
\r
110 jitCompA0001_movReg32EbpDisp(w, 1 /* ECX */, 1 * 4); /* ECX = R01; */
\r
111 jitCompA0001_movReg32EbpDisp(w, 2 /* EDX */, 2 * 4); /* EDX = R02; */
\r
115 void jitCompA000_storeRegCacheAll(struct JitCompWork *w)
\r
117 jitCompA0001_movEbpDispReg32(w, 0 * 4, 3 /* EBX */); /* R00 = EBX; */
\r
118 jitCompA0001_movEbpDispReg32(w, 1 * 4, 1 /* ECX */); /* R01 = ECX; */
\r
119 jitCompA0001_movEbpDispReg32(w, 2 * 4, 2 /* EDX */); /* R02 = EDX; */
\r
123 void jitCompA000_loadRegCacheEcx(struct JitCompWork *w)
\r
125 jitCompA0001_movReg32EbpDisp(w, 1 /* ECX */, 1 * 4); /* ECX = R01; */
\r
129 void jitCompA000_storeRegCacheEcx(struct JitCompWork *w)
\r
131 jitCompA0001_movEbpDispReg32(w, 1 * 4, 1 /* ECX */); /* R01 = ECX; */
\r
135 void jitCompA000_loadRegCacheEdx(struct JitCompWork *w)
\r
137 jitCompA0001_movReg32EbpDisp(w, 2 /* EDX */, 2 * 4); /* EDX = R02; */
\r
141 void jitCompA000_storeRegCacheEdx(struct JitCompWork *w)
\r
143 jitCompA0001_movEbpDispReg32(w, 2 * 4, 2 /* EDX */); /* R02 = EDX; */
\r
147 int jitCompA000_selectRegCache(int rxx, int reg)
\r
166 void jitCompA000_loadPRegCacheAll(struct JitCompWork *w)
\r
168 // jitCompA0001_movReg32EbpDisp(w, 5 /* EBP */, 256 + 0 * 32 + 0); /* EBP = P00; */
\r
169 jitCompA0001_movReg32EbpDisp(w, 6 /* ESI */, 256 + 1 * 32 + 0); /* ESI = P01; */
\r
170 jitCompA0001_movReg32EbpDisp(w, 7 /* EDI */, 256 + 2 * 32 + 0); /* EDI = P02; */
\r
174 void jitCompA000_storePRegCacheAll(struct JitCompWork *w)
\r
176 // jitCompA0001_movEbpDispReg32(w, 256 + 0 * 32 + 0, 5 /* EBP */); /* P00 = EBP; */
\r
177 jitCompA0001_movEbpDispReg32(w, 256 + 1 * 32 + 0, 6 /* ESI */); /* P01 = ESI; */
\r
178 jitCompA0001_movEbpDispReg32(w, 256 + 2 * 32 + 0, 7 /* EDI */); /* P02 = EDI; */
\r
182 int jitCompA000_selectPRegCache(int pxx, int reg)
\r
184 // if (pxx == 0) reg = 5; /* EBP */
\r
199 int jitCompA000_convTyp(int t)
\r
203 if (1 <= t && t <= 7){
\r
205 } else if (8 <= t && t <= 13){
\r
207 } else if (14 <= t && t <= 15){
\r
209 } else if (16 <= t && t <= 21){
\r
215 int jitCompA000_dataWidth(int t)
\r
218 if (t == 0x0001) r = 256;
\r
220 if (t == 0x0002 / 2) r = 8;
\r
221 if (t == 0x0004 / 2) r = 16;
\r
222 if (t == 0x0006 / 2) r = 32;
\r
223 if (t == 0x0008 / 2) r = 4;
\r
224 if (t == 0x000a / 2) r = 2;
\r
225 if (t == 0x000c / 2) r = 1;
\r
226 if (t == 0x000e / 2) r = 12;
\r
227 if (t == 0x0010 / 2) r = 20;
\r
228 if (t == 0x0012 / 2) r = 24;
\r
229 if (t == 0x0014 / 2) r = 28;
\r
233 static unsigned char *errfnc;
\r
235 void jitCompA0001_checkType0(struct JitCompWork *w, int pxx, int typ, int ac)
\r
237 if (typ <= 0) { w->err = JITC_ERR_BADTYPE; }
\r
238 if (typ > 0x7f) { w->err = JITC_ERR_INTERNAL; }
\r
239 jitCompA0001_movReg32EbpDisp(w, 0 /* EAX */, 256 + pxx * 32 + 4); /* MOV(EAX, [EBP+?]); */ /* typ */
\r
240 jitCompPutByte3(w->dst, 0x83, 0xf8, typ & 0x7f); /* CMP(EAX, ?); */
\r
241 jitCompPutByte2(w->dst, 0x0f, 0x85); /* JNE */
\r
242 jitCompPutImm32(w, errfnc - (w->dst + 4));
\r
246 void jitCompA0001_checkType(struct JitCompWork *w, int pxx, int typ, int ac)
\r
248 // 将来的にはaliveやアクセス権チェックも入れる
\r
250 jitCompA0001_checkType0(w, pxx, typ, ac);
\r
254 void jitCompA0001_checkLimit(struct JitCompWork *w, int reg, int pxx)
\r
256 jitCompPutByte1(w->dst, 0x3b); /* CMP(reg, [EBP+?]); */
\r
257 jitCompA0001_85DispN(w, 256 + pxx * 32 + 8, reg); /* p0 */
\r
258 jitCompPutByte2(w->dst, 0x0f, 0x82); /* JB */
\r
259 jitCompPutImm32(w, errfnc - (w->dst + 4));
\r
260 jitCompPutByte1(w->dst, 0x3b); /* CMP(reg, [EBP+?]); */
\r
261 jitCompA0001_85DispN(w, 256 + pxx * 32 + 12, reg); /* p1 */
\r
262 jitCompPutByte2(w->dst, 0x0f, 0x83); /* JAE */
\r
263 jitCompPutImm32(w, errfnc - (w->dst + 4));
\r
267 // F5の場合、decoderが対応するalloc-freeを結びつけるのが簡単で、typやlenを指定必須にしてもフロントエンドコードに影響はない.
\r
268 int jitCompiler(unsigned char *dst, unsigned char *dst1, const unsigned char *src, const unsigned char *src1, const unsigned char *src0, HOSECPU_LabelListTag *label, int maxLabels, int level, int debugInfo1, int flags)
\r
270 // For IA-32 (x86, 32-bit)
\r
271 // 本来ならこのレイヤでは文法チェックしない
\r
273 // dst : 現在の書き込みアドレス。
\r
274 // dst1 : 書き込みアドレスの最大値
\r
275 // src : 現在の読み込みアドレス(ヘッダ部は飛ばしてある
\r
276 // src1 : 読み込みアドレスの最大値
\r
277 // src0 : 読み込みバイナリのアドレス
\r
278 struct JitCompWork w;
\r
279 unsigned char *dst00 = dst, *enter0 = NULL, *tmp_ucp;
\r
281 const unsigned char *oldsrc;
\r
282 int timecount = 0, i, j = 0, lastlabel = -1, debugInfo0 = -1;
\r
283 int reg0, reg1, reg2, cmp0reg = -1, cmp0lev = 0;
\r
284 w.dst = w.dst0 = dst;
\r
286 w.maxLabels = maxLabels;
\r
288 if ((flags & JITC_NOSTARTUP) == 0) {
\r
289 jitCompPutByte1(w.dst, 0x60); /* PUSHAD(); */
\r
290 jitCompA000_loadRegCacheAll(&w); /* start-up */
\r
291 jitCompA000_loadPRegCacheAll(&w);
\r
293 if (level <= JITC_LV_SLOWER) {
\r
294 jitCompPutByte2(w.dst, 0x31, 0xc0); /* XOR(EAX, EAX); */
\r
295 jitCompA0001_movEbpDispReg32(&w, 2304 + 0, 0 /* EAX */); /* MOV(debugInfo0, EAX); */
\r
296 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
297 jitCompPutImm32(&w, debugInfo1);
\r
298 jitCompA0001_movEbpDispReg32(&w, 2304 + 4, 0 /* EAX */); /* MOV(debugInfo1, EAX); */
\r
300 while (src < src1) {
\r
301 w.prefix = 0; //0x04 CND 命令で変更される
\r
302 if (w.dst + 256 > dst1) { w.err = JITC_ERR_DST1; goto err_w; } // 書き込み領域が残り256バイト未満ならエラー
\r
304 if (timecount >= 64) {
\r
306 /* 未完成(timeoutチェックコードを入れる) */
\r
308 prefix_continue: // CND命令実行後ここに戻る
\r
311 case 0x00: /* NOP */
\r
312 if (w.prefix != 0) { w.err = JITC_ERR_PREFIX; goto err_w; } // 「条件付きでNOPを実行」するなんて、矛盾している!
\r
315 case 0x01: /* LB */
\r
318 * LB : ラベル設置命令。(6byte)
\r
320 * ・timecount++し、timecountのチェックをする。
\r
322 * ・割り込みがある場合、このタイミングで割り込みを発生させる。
\r
329 if (enter0 == NULL && (src[6] == 0x3c /* 多数のレジスタをスタックに退避 */ || (src[6] == 0xfe/* REMARK */ && src[7] == 0x01 && src[9] == 0x3c))) { //beginFunc()中のLB
\r
330 // LB命令の後に0x3C命令・・・beginFunc()
\r
331 jitCompPutByte1(w.dst, 0xe9); // (x86) JMP rel32 : 次の命令との相対オフセットだけ相対ニアジャンプする
\r
333 jitCompPutImm32(&w, 0); // 飛び相対座標が0 ・・・パイプラインのフラッシュ??
\r
335 if (src[6] == 0x34) { // LBの次の命令がDATA ・・・DAT_SA0(label, typ32, length) ・・・メモリ確保命令
\r
337 jitCompPutByte1(w.dst, 0xe9); // (x86) JMP rel32 : 次の命令との相対オフセットだけ相対ニアジャンプする
\r
338 i = jitCompGetImm32(&src[7]); // type32 を取得
\r
341 i = jitCompA000_convTyp(i);
\r
343 if (i == 2 || i == 3) { j = 1; }
\r
344 if (i == 4 || i == 5) { j = 2; }
\r
345 if (i == 6 || i == 7) { j = 4; }
\r
347 j *= jitCompGetImm32(&src[11]);
\r
348 if (j <= 0) w.err = JITC_ERR_BADTYPE;
\r
349 jitCompPutImm32(&w, j);
\r
350 #if (jitCompA0001_OPTIMIZE_JMP != 0)
\r
351 if (j <= 127 - jitCompA0001_OPTIMIZE_ALIGN) {
\r
353 jitCompPutByte2(w.dst, 0xeb, j);
\r
357 #if (jitCompA0001_OPTIMIZE_ALIGN != 0)
\r
359 i = ((int)w.dst) & (jitCompA0001_OPTIMIZE_ALIGN - 1); /* ALIGNで割ったあまりを計算 */
\r
361 i = jitCompA0001_OPTIMIZE_ALIGN - i;
\r
362 if (i == 1) { jitCompPutByte1(w.dst, 0x90); j += i; } /* NOP(); */
\r
363 if (i == 2) { jitCompPutByte2(w.dst, 0x89, 0xc0); j += i; } /* MOV(EAX, EAX); */
\r
364 if (i == 3) { jitCompPutByte3(w.dst, 0x8d, 0x76, 0x00); j += i; } /* LEA(ESI, [ESI+0]); */
\r
365 if (i == 4) { jitCompPutByte4(w.dst, 0x8d, 0x74, 0x26, 0x00); j += i; } /* LEA(ESI, [ESI*1+0]); */
\r
366 if (i == 5) { jitCompPutByte1(w.dst, 0x0d); jitCompPutImm32(&w, 0); j += i; } /* OR(EAX, 0); */
\r
367 if (i == 6) { jitCompPutByte2(w.dst, 0x8d, 0xb6); jitCompPutImm32(&w, 0); j += i; } /* LEA(ESI, [ESI+0]); */
\r
368 if (i >= 7) { jitCompPutByte3(w.dst, 0x8d, 0xb4, 0x26); jitCompPutImm32(&w, 0); j += 7; } /* LEA(ESI, [ESI*1+0]); */
\r
371 if (src[6] == 0x34) {
\r
372 tmp_ucp[1] = j & 0xff;
\r
373 if (*tmp_ucp == 0xe9) {
\r
374 tmp_ucp[2] = (j >> 8) & 0xff;
\r
375 tmp_ucp[3] = (j >> 16) & 0xff;
\r
376 tmp_ucp[4] = (j >> 24) & 0xff;
\r
379 if ((flags & JITC_PHASE1) == 0) {
\r
380 i = jitCompGetLabelNum(&w, src + 2);
\r
381 //printf("i=%06X %06X\n", i, src-src0);
\r
382 if (label[i].opt != 0 && w.err == 0) { w.err = JITC_ERR_LABELREDEF; goto err_w; }
\r
383 if (w.prefix != 0) { w.err = JITC_ERR_PREFIX; goto err_w; }
\r
384 label[i].opt = src[1] + 1;
\r
385 label[i].typ = 0; /* TYP_CODE */
\r
386 label[i].p = w.dst;
\r
387 label[i].p1 = w.dst + 1;
\r
392 /* 未完成(timeoutチェックコードを入れる) */
\r
395 case 0x02: /* LIMM */
\r
398 * LIMM : 定数即値代入命令(6byte)
\r
403 * ・reg3F は条件比較慣用句指定用&演算命令即値慣用句指定用。よってCND命令の直後では使用できない。
\r
406 if (src[1] == 0x3f && w.prefix != 0) w.err = JITC_ERR_PREFIX; // CND命令の直後でR3Fを書き換えるなんて変だよね
\r
408 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
409 if (src[1] == 0x3f) { // R3Fへの代入は例外敵に、 w.r3f を使用
\r
410 w.r3f = jitCompGetImm32(src + 2);
\r
414 i = jitCompGetImm32(src + 2); // 与えられた即値(第二引数)を取得
\r
416 /* R00-R02 なら EBX, ECX, EDX 、それ以外なら EAX のレジスタIDを reg0 に代入 */
\r
417 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
419 #if (jitCompA0001_OPTIMIZE_MOV != 0)
\r
421 jitCompPutByte2(w.dst, 0x31, 0xc0 | reg0 << 3 | reg0); /* XOR(reg0, reg0); */
\r
422 jitCompA0001_movRxxEax(&w, src[1]);
\r
427 /* reg0 のレジスタに対応したMOV命令を発行 */
\r
428 jitCompPutByte1(w.dst, 0xb8 | reg0); /* MOV(reg0, ?); == 10111000b+wr imm32 */
\r
429 jitCompPutImm32(&w, i);
\r
431 if (reg0 == 0) // R03以降の、レジスタの内容をメモリ上に格納してエミュレートする場合
\r
433 jitCompA0001_movRxxEax(&w, src[1]);
\r
436 case 0x03: /* PLIMM */ /* 未完成(plsまで対応) */
\r
439 * PLIMM : ラベル番号代入命令(6byte)
\r
449 i = jitCompGetLabelNum(&w, src + 2); // Pxxに代入するラベルの番号(第二引数)
\r
450 if ((flags & JITC_PHASE1) != 0 && w.err == 0) { // Phase 1であるならば
\r
451 if (label[i].opt == 0) { w.err = JITC_ERR_LABELNODEF; goto err_w; } // 指定されたラベル番号は存在しない
\r
452 if (src[1] != 0x3f && label[i].opt != 2) { w.err = JITC_ERR_LABELTYP; goto err_w; } //
\r
453 if (src[1] == 0x3f && label[i].typ != 0) { w.err = JITC_ERR_LABELTYP; goto err_w; } // プログラムカウンタに TYP_CODEでない値は代入できない
\r
455 if (src[1] == 0x3f) { // プログラムカウンタへの代入なら
\r
456 if (w.prefix == 0) { // CND命令による条件付きでなければ、即座に移動
\r
457 jitCompPutByte1(w.dst, 0xe9); /* JMP(?); */
\r
459 else { // 直前はCND命令。
\r
466 * いま、dstの末端はJZ命令になっている。 0x0F 0x84 cd
\r
469 // JZのとび先アドレスの書き換え?
\r
470 w.dst[-1] = w.dst[-2] ^ 0xf1; /* 74->85, 75->84 */
\r
476 if ((flags & JITC_PHASE1) != 0 || (((flags & JITC_PHASE1) == 0) && label[i].opt != 0)) // label番号iが確保されていれば (このif文は意味をなさない)
\r
477 j = label[i].p - (w.dst + 4); // j はとび先の相対番地
\r
478 jitCompPutImm32(&w, j); // JMP もしくは JZ 命令のアドレス部を記述
\r
479 #if (jitCompA0001_OPTIMIZE_JMP != 0)
\r
480 if (-128 - 3 <= j && j < 0) {
\r
481 if (w.dst[-5] == 0xe9) {
\r
484 jitCompPutByte1(w.dst, 0xeb); /* JMP(?); */
\r
489 jitCompPutByte1(w.dst, w.dst[1] ^ 0xf0);
\r
491 jitCompPutByte1(w.dst, j & 0xff);
\r
495 else { // プログラムカウンタ以外への代入
\r
497 // 代入先が P01, P02なら ESI, EDI,それ以外ならEAXを指定
\r
498 reg0 = jitCompA000_selectPRegCache(src[1], 0 /* EAX */);
\r
499 jitCompPutByte1(w.dst, 0xb8 | reg0); /* MOV(reg0, ?); */
\r
500 jitCompPutImm32(&w, (int)label[i].p); // ラベルのパスを各レジスタに代入
\r
502 // レジスタへの代入をメモリでエミュレーションする場合は、スタックに積む。
\r
504 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32, 0); /* MOV([EBP+?], EAX); */
\r
506 if (level < JITC_LV_FASTEST) {
\r
507 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 8, reg0); /* MOV([EBP+?], reg0); */ /* p0 */
\r
508 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
509 jitCompPutImm32(&w, label[i].typ);
\r
510 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 4, 0); /* MOV([EBP+?], EAX); */ /* typ */
\r
511 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
512 jitCompPutImm32(&w, (int)label[i].p1);
\r
513 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 12, 0); /* MOV([EBP+?], EAX); */ /* p1 */
\r
514 jitCompPutByte2(w.dst, 0x31, 0xc0); /* XOR(EAX, EAX); */
\r
515 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 16, 0); /* MOV([EBP+?], EAX); */ /* liveSign */
\r
516 jitCompA0001_movReg32EbpDisp(&w, 0, 2320); /* MOV(EAX, ptrCtrl); */
\r
517 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 20, 0); /* MOV([EBP+?], EAX); */ /* pls */
\r
522 case 0x04: /* CND (prefix) */
\r
526 * 与えられたRxxの最下位ビットが1であれば後続の命令を実行、そうでなければ飛ばす。
\r
529 if (src[1] >= 0x40) w.err = JITC_ERR_REGNUM; // R00-R3F 以外のレジスタは比較対象にできない
\r
531 // 比較対象のレジスタがメモリ上にあれば-1, それ以外なら適切なレジスタ番号を返す
\r
532 reg0 = jitCompA000_selectRegCache(src[1], -1 /* mem */);
\r
535 if (reg0 < 0) { //比較対象のレジスタはメモリ上にある
\r
536 jitCompPutByte1(w.dst, 0xf7); /* TEST([EBP+?],1); */
\r
537 jitCompA0001_85DispN(&w, src[1] * 4, 0);
\r
540 jitCompPutByte2(w.dst, 0xf7, 0xc0 | reg0); /* TEST(reg0,1); */
\r
542 jitCompPutImm32(&w, 1);
\r
545 jitCompPutByte2(w.dst, 0x74, 0x00); /* JZ($+2) */
\r
547 if (w.err != 0) goto err_w;
\r
549 w.prefix = 1; // プリフィックスをセット
\r
551 goto prefix_continue;
\r
553 case 0x08: /* LMEM */ /* 完成 */
\r
554 i = jitCompGetImm32(src + 2);
\r
555 if (i == 0x0001) w.err = JITC_ERR_BADTYPE;
\r
556 if (level < JITC_LV_FASTER) {
\r
557 jitCompA0001_checkType(&w, src[6], i, 0); // read
\r
560 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
561 reg1 = jitCompA000_selectPRegCache(src[6], 2 /* EDX */);
\r
562 if (reg0 != 0 /* EAX */ && reg1 == 2 /* EDX */)
\r
563 reg1 = 0; /* EAX */
\r
564 if (reg1 == 2 /* EDX */)
\r
565 jitCompA000_storeRegCacheEdx(&w);
\r
566 if (reg1 <= 3 /* EAX, EDX */)
\r
567 jitCompA0001_movReg32EbpDisp(&w, reg1, 256 + src[6] * 32 + 0); /* MOV(reg1, [EBP+?]); */
\r
568 if (level < JITC_LV_FASTER)
\r
569 jitCompA0001_checkLimit(&w, reg1, src[6]);
\r
570 i = jitCompA000_convTyp(jitCompGetImm32(src + 2));
\r
573 jitCompPutByte3(w.dst, 0x0f, 0xbe, reg0 << 3 | reg1); /* MOVSX(reg0,BYTE [reg1]); */
\r
576 jitCompPutByte3(w.dst, 0x0f, 0xb6, reg0 << 3 | reg1); /* MOVZX(reg0,BYTE [reg1]); */
\r
579 jitCompPutByte3(w.dst, 0x0f, 0xbf, reg0 << 3 | reg1); /* MOVSX(reg0,WORD [reg1]); */
\r
582 jitCompPutByte3(w.dst, 0x0f, 0xb7, reg0 << 3 | reg1); /* MOVZX(reg0,WORD [reg1]); */
\r
586 jitCompPutByte2(w.dst, 0x8b, reg0 << 3 | reg1); /* MOV(reg0, [reg1]); */
\r
589 w.err = JITC_ERR_BADTYPE;
\r
591 if (reg0 == 0 /* EAX */)
\r
592 jitCompA0001_movRxxEax(&w, src[1]);
\r
593 if (reg1 == 2 /* EDX */)
\r
594 jitCompA000_loadRegCacheEdx(&w);
\r
597 case 0x09: /* SMEM */ /* 完成 */
\r
598 i = jitCompGetImm32(src + 2);
\r
599 if (i == 0x0001) w.err = JITC_ERR_BADTYPE;
\r
600 if (level < JITC_LV_FASTER) {
\r
601 jitCompA0001_checkType(&w, src[6], i, 1); // write
\r
604 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
605 reg1 = jitCompA000_selectPRegCache(src[6], 2 /* EDX */);
\r
606 if (reg0 != 0 /* EAX */ && reg1 == 2 /* EDX */)
\r
607 reg1 = 0; /* EAX */
\r
608 if (reg1 == 2 /* EDX */)
\r
609 jitCompA000_storeRegCacheEdx(&w);
\r
610 if (reg1 <= 3 /* EAX, EDX */)
\r
611 jitCompA0001_movReg32EbpDisp(&w, reg1, 256 + src[6] * 32 + 0); /* MOV(reg1, [EBP+?]); */
\r
612 if (level < JITC_LV_FASTER)
\r
613 jitCompA0001_checkLimit(&w, reg1, src[6]);
\r
614 if (reg0 == 0 /* EAX */)
\r
615 jitCompA0001_movEaxRxx(&w, src[1]);
\r
617 i = jitCompA000_convTyp(jitCompGetImm32(src + 2));
\r
621 jitCompPutByte2(w.dst, 0x88, reg0 << 3 | reg1); /* MOV([reg1], BYTE(reg0)); */
\r
625 jitCompPutByte3(w.dst, 0x66, 0x89, reg0 << 3 | reg1); /* MOV([reg1], WORD(reg0)); */
\r
629 jitCompPutByte2(w.dst, 0x89, reg0 << 3 | reg1); /* MOV([reg1], reg0); */
\r
632 w.err = JITC_ERR_BADTYPE;
\r
634 if (reg1 == 2 /* EDX */)
\r
635 jitCompA000_loadRegCacheEdx(&w);
\r
638 case 0x0a: /* PLMEM */ /* 完成 */
\r
639 i = jitCompGetImm32(src + 2);
\r
640 if (i != 0x0001) w.err = JITC_ERR_BADTYPE;
\r
641 if (level < JITC_LV_FASTER) {
\r
642 jitCompA0001_checkType(&w, src[6], i, 0); // read
\r
645 reg0 = jitCompA000_selectPRegCache(src[1], 0 /* EAX */);
\r
646 reg1 = jitCompA000_selectPRegCache(src[6], 2 /* EDX */);
\r
647 // if (reg0 != 0 /* EAX */ && reg1 == 2 /* EDX */) /* これをやってはいけない!(by K, 2013.08.02) */
\r
648 // reg1 = 0; /* EAX */
\r
649 if (reg0 == reg1 && reg0 != 0) { // bugfix: hinted by yao, 2013.09.14. thanks!
\r
650 jitCompA000_storePRegCacheAll(&w);
\r
651 reg1 = 2; /* EDX */
\r
653 if (reg1 == 2 /* EDX */)
\r
654 jitCompA000_storeRegCacheEdx(&w);
\r
655 if (reg1 <= 3 /* EAX, EDX */)
\r
656 jitCompA0001_movReg32EbpDisp(&w, reg1, 256 + src[6] * 32 + 0); /* MOV(reg1, [EBP+?]); */
\r
657 if (level < JITC_LV_FASTER)
\r
658 jitCompA0001_checkLimit(&w, reg1, src[6]);
\r
659 jitCompPutByte2(w.dst, 0x8b, reg0 << 3 | reg1); /* MOV(reg0, [reg1]); */
\r
660 if (reg0 == 0 /* EAX */)
\r
661 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 0, 0); /* MOV([EBP+?], EAX); */
\r
662 for (i = 4; i < 32; i += 4) {
\r
663 jitCompPutByte3(w.dst, 0x8b, 0x40 | reg1, i); /* MOV(EAX, [reg1+?]); */
\r
664 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + i, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
666 if (reg1 == 2 /* EDX */)
\r
667 jitCompA000_loadRegCacheEdx(&w);
\r
670 case 0x0b: /* PSMEM */ /* 完成 */
\r
671 i = jitCompGetImm32(src + 2);
\r
672 if (i != 0x0001) w.err = JITC_ERR_BADTYPE;
\r
673 if (level < JITC_LV_FASTER) {
\r
674 jitCompA0001_checkType(&w, src[6], i, 1); // write
\r
677 reg0 = jitCompA000_selectPRegCache(src[1], 0 /* EAX */);
\r
678 reg1 = jitCompA000_selectPRegCache(src[6], 2 /* EDX */);
\r
679 // if (reg0 != 0 /* EAX */ && reg1 == 2 /* EDX */) /* これをやってはいけない!(by K, 2013.08.02) */
\r
680 // reg1 = 0; /* EAX */
\r
681 if (reg1 == 2 /* EDX */)
\r
682 jitCompA000_storeRegCacheEdx(&w);
\r
683 if (reg1 <= 3 /* EAX, EDX */)
\r
684 jitCompA0001_movReg32EbpDisp(&w, reg1, 256 + src[6] * 32 + 0); /* MOV(reg1, [EBP+?]); */
\r
685 if (level < JITC_LV_FASTER)
\r
686 jitCompA0001_checkLimit(&w, reg1, src[6]);
\r
687 if (reg0 == 0 /* EAX */)
\r
688 jitCompA0001_movReg32EbpDisp(&w, reg0, 256 + src[1] * 32 + 0); /* MOV(reg0, [EBP+?]); */
\r
689 jitCompPutByte2(w.dst, 0x89, reg0 << 3 | reg1); /* MOV([reg1], reg0); */
\r
690 for (i = 4; i < 32; i += 4) {
\r
691 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[1] * 32 + i); /* MOV(EAX, [EBP+?]); */
\r
692 jitCompPutByte3(w.dst, 0x89, 0x40 | reg1, i); /* MOV([reg1+?], EAX); */
\r
694 if (reg1 == 2 /* EDX */)
\r
695 jitCompA000_loadRegCacheEdx(&w);
\r
698 case 0x0e: /* PADD */ /* 完成 */
\r
699 if (level < JITC_LV_FASTER) {
\r
700 jitCompA0001_checkType0(&w, src[6], jitCompGetImm32(src + 2), 2); // other, aliveテストはとりあえずしない.
\r
703 reg0 = jitCompA000_selectPRegCache(src[1], 0 /* EAX */);
\r
704 reg1 = jitCompA000_selectPRegCache(src[6], -1 /* mem */);
\r
705 if (reg1 < 0 /* mem */)
\r
706 jitCompA0001_movReg32EbpDisp(&w, reg0, 256 + src[6] * 32 + 0); /* MOV(reg0, [EBP+?]); */
\r
707 if (reg1 >= 0 && reg0 != reg1) {
\r
708 jitCompPutByte2(w.dst, 0x89, 0xc0 | reg1 << 3 | reg0); /* MOV(reg0, reg1); */
\r
710 i = jitCompGetImm32(src + 2);
\r
715 i = jitCompA000_convTyp(i);
\r
716 if (0x0002 <= i && i <= 0x0007)
\r
717 j = (i - 0x0002) >> 1;
\r
719 if (j < 0) { w.err = JITC_ERR_BADTYPE; goto err_w; }
\r
720 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
721 if (src[7] == 0x3f) {
\r
723 #if (jitCompA0001_USE_R3F_IMM8 != 0)
\r
724 if (-0x80 <= j && j <= 0x7f) {
\r
725 #if (jitCompA0001_USE_R3F_INCDEC != 0)
\r
726 if (j == 1) { jitCompPutByte1(w.dst, 0x40 | reg0); goto padd1; } /* INC */
\r
727 if (j == -1) { jitCompPutByte1(w.dst, 0x48 | reg0); goto padd1; } /* DEC */
\r
729 jitCompPutByte3(w.dst, 0x83, 0xc0 | reg0, j & 0xff); /* ADD(reg0, im8); */
\r
734 jitCompPutByte1(w.dst, 0x05); /* ADD(reg0, ?); */
\r
737 jitCompPutByte2(w.dst, 0x81, 0xc0 | reg0); /* ADD(reg0, ?); */
\r
739 jitCompPutImm32(&w, j);
\r
743 if (src[7] >= 0x40) w.err = JITC_ERR_REGNUM;
\r
745 reg1 = jitCompA000_selectRegCache(src[7], -1 /* mem */);
\r
747 jitCompPutByte2(w.dst, 0x01, 0xc0 | reg1 << 3 | reg0); /* ADD(reg0, reg1); */
\r
750 jitCompPutByte1(w.dst, 0x03); /* ADD(reg0, [EBP+?]); */
\r
751 jitCompA0001_85DispN(&w, src[7] * 4, reg0);
\r
755 reg1 = jitCompA000_selectRegCache(src[7], -1 /* mem */);
\r
756 reg2 = 2; /* EDX */
\r
757 jitCompA000_storeRegCacheEdx(&w);
\r
759 jitCompA0001_movReg32EbpDisp(&w, reg2, src[7] * 4); /* MOV(reg2, [EBP+?]); */
\r
760 if (reg1 >= 0 && reg1 != reg2) {
\r
761 jitCompPutByte2(w.dst, 0x89, 0xc0 | reg1 << 3 | reg2); /* MOV(reg2, reg1); */
\r
763 jitCompPutByte3(w.dst, 0xc1, 0xe0 | reg2, j); /* SHL(reg2, ?); */
\r
764 jitCompPutByte2(w.dst, 0x01, 0xc0 | reg2 << 3 | reg0); /* ADD(reg0, reg2); */
\r
765 jitCompA000_loadRegCacheEdx(&w);
\r
767 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
770 if (reg0 == 0 /* EAX */)
\r
771 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 0, reg0); /* MOV([EBP+?], reg0); */
\r
772 if (src[1] != src[6]) {
\r
773 for (i = 4; i < 32; i += 4) {
\r
774 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[6] * 32 + i); /* MOV(EAX, [EBP+?]); */
\r
775 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + i, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
781 case 0x0f: /* PDIF */ /* 未完成 */
\r
782 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
783 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
784 jitCompA0001_checkCompPtr(&w, src[6], src[7]);
\r
785 jitCompA0001_movReg32EbpDisp(&w, reg0, 256 + src[6] * 32 + 0); /* MOV(reg0, [EBP+?]); */
\r
786 jitCompPutByte1(w.dst, 0x2b); /* SUB(EAX, [EBP+?]); */
\r
787 jitCompA0001_85DispN(&w, 256 + src[7] * 32 + 0, reg0);
\r
788 i = jitCompA000_convTyp(jitCompGetImm32(src + 2));
\r
790 if (0x0002 <= i && i <= 0x0007)
\r
791 j = (i - 0x0002) >> 1;
\r
792 if (j < 0) { w.err = JITC_ERR_BADTYPE; goto err_w; }
\r
794 jitCompPutByte3(w.dst, 0xc1, 0xf8 | reg0, j); /* SAR(reg0,?); */
\r
796 if (reg0 == 0 /* EAX */)
\r
797 jitCompA0001_movRxxEax(&w, src[1]);
\r
798 cmp0reg = src[1]; cmp0lev = 1;
\r
801 case 0x10: /* OR */
\r
802 case 0x11: /* XOR */
\r
803 case 0x12: /* AND */
\r
804 case 0x14: /* ADD */
\r
805 case 0x15: /* SUB */
\r
806 case 0x16: /* MUL */
\r
807 if (src[1] >= 0x3f) w.err = JITC_ERR_REGNUM;
\r
808 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
809 reg1 = jitCompA000_selectRegCache(src[2], -1 /* mem */);
\r
810 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
811 if (src[2] == 0x3f) { // SUBのみ該当.
\r
812 if (*src != 0x15) w.err = JITC_ERR_REGNUM;
\r
813 reg2 = jitCompA000_selectRegCache(src[3], -1 /* mem */);
\r
815 jitCompA000_storeRegCacheAll(&w);
\r
816 jitCompPutByte1(w.dst, 0xb8 | reg0); /* MOV(reg0, ?); */
\r
817 jitCompPutImm32(&w, w.r3f);
\r
818 jitCompPutByte1(w.dst, 0x2b);
\r
819 jitCompA0001_85DispN(&w, src[3] * 4, reg0);
\r
821 jitCompA0001_movRxxEax(&w, src[1]);
\r
826 jitCompA0001_movReg32EbpDisp(&w, reg0, src[2] * 4); /* MOV(reg0, [EBP+?]); */
\r
828 if (reg1 >= 0 && reg0 != reg1) {
\r
829 jitCompPutByte2(w.dst, 0x89, 0xc0 | reg1 << 3 | reg0); /* MOV(reg0, reg1); */
\r
831 if (!(src[0] == 0x10 && src[3] == 0xff)) { // bugfix: hinted by Iris, 2013.06.26. thanks!
\r
836 if (src[0] == 0x16)
\r
839 if (!(src[0] == 0x10 && src[3] == 0xff)) {
\r
840 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
841 if (src[3] == 0x3f) {
\r
842 if (*src == 0x16 && w.r3f == -1) {
\r
843 jitCompPutByte2(w.dst, 0xf7, 0xd8 | reg0); /* NEG(reg0); */
\r
845 jitCompA0001_movRxxEax(&w, src[1]);
\r
848 #if (jitCompA0001_USE_R3F_INCDEC != 0)
\r
849 if ((*src == 0x14 && w.r3f == 1) || (*src == 0x15 && w.r3f == -1)) {
\r
850 jitCompPutByte1(w.dst, 0x40 | reg0); /* INC(reg0); */
\r
852 jitCompA0001_movRxxEax(&w, src[1]);
\r
855 if ((*src == 0x15 && w.r3f == 1) || (*src == 0x14 && w.r3f == -1)) {
\r
856 jitCompPutByte1(w.dst, 0x48 | reg0); /* DEC(reg0); */
\r
858 jitCompA0001_movRxxEax(&w, src[1]);
\r
862 #if (jitCompA0001_USE_R3F_IMM8 != 0)
\r
863 if (-0x80 <= w.r3f && w.r3f <= 0x7f) {
\r
864 if (*src != 0x16) {
\r
865 static unsigned char basic_op_table_im8[] = { 0xc8, 0xf0, 0xe0, 0, 0xc0, 0xe8 };
\r
866 jitCompPutByte3(w.dst, 0x83, basic_op_table_im8[*src - 0x10] | reg0, w.r3f & 0xff);
\r
869 jitCompPutByte3(w.dst, 0x6b, 0xc0 | reg0 << 3 | reg0, w.r3f & 0xff);
\r
872 jitCompA0001_movRxxEax(&w, src[1]);
\r
876 if (reg0 == 0 /* EAX */) {
\r
877 static unsigned char basic_op_table_im32_eax[] = { 0x0d, 0x35, 0x25, 0, 0x05, 0x2d, 0xc0 };
\r
878 if (*src == 0x16) { jitCompPutByte1(w.dst, 0x69); }
\r
879 jitCompPutByte1(w.dst, basic_op_table_im32_eax[*src - 0x10]);
\r
882 if (*src != 0x16) {
\r
883 static unsigned char basic_op_table_im32_reg[] = { 0xc8, 0xf0, 0xe0, 0, 0xc0, 0xe8 };
\r
884 jitCompPutByte2(w.dst, 0x81, basic_op_table_im32_reg[*src - 0x10] | reg0);
\r
887 jitCompPutByte2(w.dst, 0x69, 0xc0 | reg0 << 3 | reg0);
\r
890 jitCompPutImm32(&w, w.r3f);
\r
892 jitCompA0001_movRxxEax(&w, src[1]);
\r
896 reg1 = jitCompA000_selectRegCache(src[3], -1 /* mem */);
\r
897 if (src[3] >= 0x40) w.err = JITC_ERR_REGNUM;
\r
898 if (*src != 0x16) {
\r
900 static unsigned char basic_op_table_rr[] = { 0x09, 0x31, 0x21, 0, 0x01, 0x29 }; /* op(reg,reg); */
\r
901 jitCompPutByte2(w.dst, basic_op_table_rr[*src - 0x10], 0xc0 | reg1 << 3 | reg0);
\r
904 static unsigned char basic_op_table_rm[] = { 0x0b, 0x33, 0x23, 0, 0x03, 0x2b, 0xaf }; /* op(reg,mem); */
\r
905 jitCompPutByte1(w.dst, basic_op_table_rm[*src - 0x10]);
\r
906 jitCompA0001_85DispN(&w, src[3] * 4, reg0);
\r
911 jitCompPutByte3(w.dst, 0x0f, 0xaf, 0xc0 | reg0 << 3 | reg1);
\r
914 jitCompPutByte2(w.dst, 0x0f, 0xaf);
\r
915 jitCompA0001_85DispN(&w, src[3] * 4, reg0);
\r
920 jitCompA0001_movRxxEax(&w, src[1]);
\r
923 case 0x18: /* SHL */
\r
924 case 0x19: /* SAR */
\r
925 if (src[1] >= 0x3f) w.err = JITC_ERR_REGNUM;
\r
926 if (src[3] >= 0x40) w.err = JITC_ERR_REGNUM;
\r
927 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
928 if (src[3] == 0x3f) {
\r
929 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
930 reg1 = jitCompA000_selectRegCache(src[2], -1 /* mem */);
\r
931 if (src[1] >= 0x3f) w.err = JITC_ERR_REGNUM;
\r
933 jitCompA0001_movReg32EbpDisp(&w, reg0, src[2] * 4); /* MOV(reg1, [EBP+?]); */
\r
935 if (reg0 != reg1) {
\r
936 jitCompPutByte2(w.dst, 0x89, 0xc0 | reg1 << 3 | reg0); /* MOV(reg0, reg1); */
\r
939 if (*src == 0x18) { jitCompPutByte3(w.dst, 0xc1, 0xe0 | reg0, w.r3f); } /* SHL(reg0, im8); */
\r
940 if (*src == 0x19) { jitCompPutByte3(w.dst, 0xc1, 0xf8 | reg0, w.r3f); } /* SAR(reg0, im8); */
\r
941 if (reg0 == 0 /* EAX */)
\r
942 jitCompA0001_movRxxEax(&w, src[1]);
\r
948 jitCompA000_storeRegCacheAll(&w); // 手抜き.
\r
949 jitCompA0001_movReg32EbpDisp(&w, 1 /* ECX */, src[3] * 4); /* MOV(ECX, [EBP+?]); */
\r
950 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
951 if (src[2] == 0x3f) {
\r
952 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
953 jitCompPutImm32(&w, w.r3f);
\r
956 jitCompA0001_movEaxRxx(&w, src[2]);
\r
959 jitCompA0001_movEaxRxx(&w, src[2]);
\r
961 if (*src == 0x18) { jitCompPutByte2(w.dst, 0xd3, 0xe0); } /* SHL(EAX, CL); */
\r
962 if (*src == 0x19) { jitCompPutByte2(w.dst, 0xd3, 0xf8); } /* SAR(EAX, CL); */
\r
963 jitCompA0001_movRxxEax(&w, src[1]);
\r
964 jitCompA000_loadRegCacheAll(&w); // 手抜き.
\r
969 case 0x1a: /* DIV */
\r
970 case 0x1b: /* MOD */
\r
971 if (src[1] >= 0x3f) w.err = JITC_ERR_REGNUM;
\r
972 if (src[2] >= 0x40) w.err = JITC_ERR_REGNUM;
\r
973 if (src[3] >= 0x40) w.err = JITC_ERR_REGNUM;
\r
974 jitCompA000_storeRegCacheAll(&w); // 手抜き.
\r
975 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
976 if (src[3] == 0x3f) {
\r
977 jitCompPutByte1(w.dst, 0xb8 | 1); /* MOV(ECX, ?); */
\r
978 jitCompPutImm32(&w, w.r3f);
\r
981 jitCompA0001_movReg32EbpDisp(&w, 1 /* ECX */, src[3] * 4); /* MOV(ECX, [EBP+?]); */
\r
983 if (src[2] == 0x3f) {
\r
984 jitCompPutByte1(w.dst, 0xb8 | 0); /* MOV(EAX, ?); */
\r
985 jitCompPutImm32(&w, w.r3f);
\r
988 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, src[2] * 4); /* MOV(EAX, [EBP+?]); */
\r
991 jitCompA0001_movReg32EbpDisp(&w, 1 /* ECX */, src[3] * 4); /* MOV(ECX, [EBP+?]); */
\r
992 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, src[2] * 4); /* MOV(EAX, [EBP+?]); */
\r
994 jitCompPutByte1(w.dst, 0x99); /* CDQ(); */
\r
995 /* ECXがゼロではないことを確認すべき */
\r
996 jitCompPutByte2(w.dst, 0xf7, 0xf9); /* IDIV(ECX); */
\r
997 if (*src == 0x1a) { jitCompA0001_movEbpDispReg32(&w, src[1] * 4, 0 /* EAX */); }
\r
998 if (*src == 0x1b) { jitCompA0001_movEbpDispReg32(&w, src[1] * 4, 2 /* EDX */); }
\r
999 jitCompA000_loadRegCacheAll(&w); // 手抜き.
\r
1003 case 0x1c: /* PLMT0 */
\r
1004 case 0x1d: /* PLMT1 */
\r
1005 if (src[1] >= 0x40 || src[2] >= 0x40) w.err = JITC_ERR_PREGNUM;
\r
1006 if (level < JITC_LV_FASTEST) {
\r
1008 if (level < JITC_LV_FASTER) {
\r
1009 // typ が一致していることを確認.
\r
1010 // plsとliveSignが一致していることを確認.
\r
1012 // preg1はp0 <= p <= p1 を満たしているか?.
\r
1013 // 新しいp0/p1は古いp0〜p1に適合しているか?.
\r
1018 case 0x1e: /* PCP */ /* 未完成(p1まで完成) */
\r
1019 if (src[1] >= 0x40 || src[2] >= 0x40) w.err = JITC_ERR_PREGNUM;
\r
1020 if (src[2] == 0x3f) w.err = JITC_ERR_PREGNUM;
\r
1021 if (src[1] != 0x3f) {
\r
1022 /* src[2] == 0xff の場合に対応できてない */
\r
1023 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1024 for (i = 0; i < 32; i += 4) {
\r
1025 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[2] * 32 + i); /* MOV(EAX, [EBP+?]); */
\r
1026 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + i, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
1028 jitCompA000_loadPRegCacheAll(&w); // 手抜き.
\r
1031 if (level < JITC_LV_FASTER) {
\r
1032 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[2] * 32 + 4); /* MOV(EAX, [EBP+?]); */ /* typ */
\r
1033 jitCompPutByte3(w.dst, 0x83, 0xf8, 0); /* CMP(EAX, 0); */
\r
1034 jitCompPutByte2(w.dst, 0x0f, 0x85); /* JNE */
\r
1035 jitCompPutImm32(&w, errfnc - (w.dst + 4));
\r
1036 /* セキュリティチェックが足りてない!(aliveとか) */
\r
1038 reg0 = 0; /* EAX */
\r
1039 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1040 jitCompA0001_movReg32EbpDisp(&w, reg0, 256 + src[2] * 32 + 0); /* MOV(EAX, [EBP+?]); */
\r
1041 if (level < JITC_LV_FASTER) {
\r
1042 jitCompPutByte1(w.dst, 0x3b); /* CMP(reg0, [EBP+?]); */
\r
1043 jitCompA0001_85DispN(&w, 256 + src[2] * 32 + 8, reg0); /* p0 */
\r
1044 jitCompPutByte2(w.dst, 0x0f, 0x85); /* JNE */
\r
1045 jitCompPutImm32(&w, errfnc - (w.dst + 4));
\r
1047 jitCompPutByte2(w.dst, 0xff, 0xe0); /* JMP(EAX); */
\r
1051 case 0x1f: /* PCST */
\r
1052 if (jitCompGetImm32(src + 2) == 0) {
\r
1053 if (level < JITC_LV_FASTER)
\r
1054 jitCompA0001_checkType0(&w, src[6], jitCompGetImm32(src + 7), 2);
\r
1055 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1056 for (i = 0; i < 32 - 4; i += 4) {
\r
1057 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[6] * 32 + i); /* MOV(EAX, [EBP+?]); */
\r
1059 jitCompPutByte1(w.dst, 0x0d); /* OR(EAX, ?); */
\r
1060 jitCompPutImm32(&w, 0x80000000);
\r
1062 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + i, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
1064 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
1065 jitCompPutImm32(&w, debugInfo1);
\r
1066 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 28, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
1067 jitCompA000_loadPRegCacheAll(&w); // 手抜き.
\r
1071 if (jitCompGetImm32(src + 7) == 0) {
\r
1072 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1073 for (i = 0; i < 32 - 4; i += 4) {
\r
1074 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[6] * 32 + i); /* MOV(EAX, [EBP+?]); */
\r
1076 jitCompPutByte1(w.dst, 0x25); /* AND(EAX, ?); */
\r
1077 jitCompPutImm32(&w, 0x7fffffff);
\r
1079 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + i, 0 /* EAX */); /* MOV([EBP+?], EAX); */
\r
1081 if (level < JITC_LV_FASTER) {
\r
1082 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[6] * 32 + 28); /* MOV(EAX, [EBP+?]); */
\r
1083 jitCompPutByte1(w.dst, 0x3d); /* CMP(EAX, ?); */
\r
1084 jitCompPutImm32(&w, debugInfo1);
\r
1085 jitCompPutByte2(w.dst, 0x74, 8); /* JE */
\r
1086 jitCompPutByte2(w.dst, 0x31, 0xc0); /* XOR(EAX, EAX); (2) */
\r
1087 jitCompA0001_movEbpDispReg32(&w, 256 + src[1] * 32 + 0, 0 /* EAX */); /* MOV([EBP+?], EAX); (1+1+4) */
\r
1089 jitCompA000_loadPRegCacheAll(&w); // 手抜き.
\r
1093 w.err = JITC_ERR_OPECODE;
\r
1096 case 0x20: /* CMPE */
\r
1097 case 0x21: /* CMPNE */
\r
1098 case 0x22: /* CMPL */
\r
1099 case 0x23: /* CMPGE */
\r
1100 case 0x24: /* CMPLE */
\r
1101 case 0x25: /* CMPG */
\r
1102 case 0x26: /* TSTZ */
\r
1103 case 0x27: /* TSTNZ */
\r
1104 reg0 = jitCompA000_selectRegCache(src[2], 0 /* EAX */);
\r
1105 reg1 = jitCompA000_selectRegCache(src[3], -1 /* mem */);
\r
1106 if (src[1] == 0x3f) {
\r
1108 if (w.prefix != 0) { w.err = JITC_ERR_PREFIX; goto err_w; }
\r
1109 if (src[4] != 0x04 || src[5] != 0x3f || src[6] != 0x03 || src[7] != 0x3f) {
\r
1110 w.err = JITC_ERR_IDIOM; goto err_w;
\r
1114 jitCompA0001_movEaxRxx(&w, src[2]);
\r
1115 #if (jitCompA0001_USE_R3F_IMM32 != 0)
\r
1116 if (src[3] == 0x3f) {
\r
1117 #if (jitCompA0001_OPTIMIZE_CMP != 0)
\r
1118 if ((*src <= 0x25 && w.r3f == 0) || (*src >= 0x26 && w.r3f == -1)) {
\r
1120 if (cmp0reg == src[2]) {
\r
1121 if (cmp0lev >= 1 && (src[0] == 0x20 || src[0] == 0x21 || src[0] == 0x26 || src[0] == 0x27))
\r
1123 if (cmp0lev >= 2 && (src[0] == 0x22 || src[0] == 0x23 || src[0] == 0x24 || src[0] == 0x25))
\r
1127 jitCompPutByte2(w.dst, 0x85, 0xc0 | reg0 << 3 | reg0); /* TEST(reg0, reg0); */
\r
1134 #if (jitCompA0001_USE_R3F_IMM8 != 0)
\r
1135 if (-0x80 <= w.r3f && w.r3f <= 0x7f && *src <= 0x25) {
\r
1136 jitCompPutByte3(w.dst, 0x83, 0xf8 | reg0, w.r3f);
\r
1141 if (*src <= 0x25) { jitCompPutByte1(w.dst, 0x3d); }
\r
1142 if (*src >= 0x26) { jitCompPutByte1(w.dst, 0xa9); }
\r
1145 if (*src <= 0x25) { jitCompPutByte2(w.dst, 0x81, 0xf8 | reg0); }
\r
1146 if (*src >= 0x26) { jitCompPutByte2(w.dst, 0xf7, 0xc0 | reg0); }
\r
1148 jitCompPutImm32(&w, w.r3f);
\r
1152 if (src[3] >= 0x40) w.err = JITC_ERR_PREGNUM;
\r
1154 if (*src <= 0x25) { jitCompPutByte2(w.dst, 0x39, 0xc0 | reg1 << 3 | reg0); }
\r
1155 if (*src >= 0x26) { jitCompPutByte2(w.dst, 0x85, 0xc0 | reg1 << 3 | reg0); }
\r
1158 if (*src <= 0x25) { jitCompPutByte1(w.dst, 0x3b); }
\r
1159 if (*src >= 0x26) { jitCompPutByte1(w.dst, 0x85); }
\r
1160 jitCompA0001_85DispN(&w, src[3] * 4, reg0);
\r
1163 if (w.err != 0) goto err_w;
\r
1164 static unsigned char cmpcc_table0[] = {
\r
1165 0x04, 0x05, 0x0c, 0x0d, 0x0e, 0x0f, 0x04, 0x05, /* CMPcc, TSTcc */
\r
1166 0x04, 0x05, 0x02, 0x03, 0x06, 0x07 /* PCMPcc */
\r
1168 #if (jitCompA0001_USE_R3F_CMPJMP != 0)
\r
1169 if (src[1] == 0x3f) {
\r
1170 /* 特殊構文を利用した最適化 */
\r
1171 jitCompPutByte2(w.dst, 0x0f, 0x80 | cmpcc_table0[*src - 0x20]);
\r
1173 i = jitCompGetLabelNum(&w, src + 2);
\r
1174 if ((flags & JITC_PHASE1) != 0 && w.err != 0) {
\r
1175 if (label[i].opt == 0) { w.err = JITC_ERR_LABELNODEF; goto err_w; }
\r
1176 // if (label[i].typ != 1) { w.err = JITC_ERR_LABELTYP; goto err_w; }
\r
1179 if ((flags & JITC_PHASE1) != 0 || (((flags & JITC_PHASE1) == 0) && label[i].opt != 0))
\r
1180 j = label[i].p - (w.dst + 4);
\r
1181 jitCompPutImm32(&w, j);
\r
1182 #if (jitCompA0001_OPTIMIZE_JMP != 0)
\r
1183 if (-128 - 4 <= j && j < 0) {
\r
1186 jitCompPutByte2(w.dst, w.dst[1] ^ 0xf0, j & 0xff);
\r
1190 if (w.err != 0) goto err_w;
\r
1195 reg0 = jitCompA000_selectRegCache(src[1], 0 /* EAX */);
\r
1196 jitCompPutByte3(w.dst, 0x0f, 0x90 | cmpcc_table0[*src - 0x20], 0xc0 | reg0); /* SETcc(BYTE(reg0)); */
\r
1197 jitCompPutByte3(w.dst, 0x0f, 0xb6, 0xc0 | reg0 << 3 | reg0); /* MOVZX(reg0, BYTE(reg0)); */
\r
1198 jitCompPutByte2(w.dst, 0xf7, 0xd8 | reg0); /* NEG(reg0); */
\r
1200 jitCompA0001_movRxxEax(&w, src[1]);
\r
1205 case 0x28: /* PCMPE */
\r
1206 case 0x29: /* PCMPNE */
\r
1207 case 0x2a: /* PCMPL */
\r
1208 case 0x2b: /* PCMPGE */
\r
1209 case 0x2c: /* PCMPLE */
\r
1210 case 0x2d: /* PCMPG */
\r
1211 if (src[1] == 0x3f) {
\r
1213 if (w.prefix != 0) { w.err = JITC_ERR_PREFIX; goto err_w; }
\r
1214 if (src[4] != 0x04 || src[5] != 0x3f || src[6] != 0x03 || src[7] != 0x3f) {
\r
1215 w.err = JITC_ERR_IDIOM; goto err_w;
\r
1218 if (src[2] >= 0x40) w.err = JITC_ERR_PREGNUM;
\r
1219 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1220 if (src[3] != 0xff)
\r
1221 jitCompA0001_checkCompPtr(&w, src[2], src[3]);
\r
1222 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + src[2] * 32 + 0); /* MOV(EAX, [EBP+?]); */
\r
1223 if (src[3] != 0xff) {
\r
1224 jitCompPutByte1(w.dst, 0x3b); /* CMP(EAX, [EBP+?]); */
\r
1225 jitCompA0001_85DispN(&w, 256 + src[3] * 32 + 0, 0);
\r
1228 /* ヌルポインタとの比較はこれでいいのか?たぶんよくない */
\r
1229 jitCompPutByte3(w.dst, 0x83, 0xf8, 0x00); /* CMP(EAX, 0); */
\r
1234 case 0x30: /* talloc(old:F4) */
\r
1235 case 0x31: /* tfree(old:F5) */
\r
1236 case 0x32: /* malloc(old:F6) */
\r
1237 case 0x33: /* mfree(old:F7) */
\r
1238 jitCompA000_storeRegCacheAll(&w); // 手抜き.
\r
1239 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1240 jitCompPutByte2(w.dst, 0x6a, src[3]); /* PUSH(?); */
\r
1241 jitCompPutByte2(w.dst, 0x6a, src[2]); /* PUSH(?); */
\r
1242 jitCompPutByte2(w.dst, 0x6a, src[1]); /* PUSH(?); */
\r
1243 jitCompPutByte1(w.dst, 0x55); /* PUSH(EBP); */
\r
1244 jitCompPutByte1(w.dst, 0xe8);
\r
1245 if (*src == 0x30) j = ((unsigned char *)&funcf4) - (w.dst + 4);
\r
1246 if (*src == 0x31) j = ((unsigned char *)&funcf5) - (w.dst + 4);
\r
1247 if (*src == 0x32) j = ((unsigned char *)&funcf6) - (w.dst + 4);
\r
1248 if (*src == 0x33) j = ((unsigned char *)&funcf7) - (w.dst + 4);
\r
1249 jitCompPutImm32(&w, j);
\r
1250 jitCompPutByte3(w.dst, 0x83, 0xc4, 0x10); /* ADD(ESP,16); */
\r
1251 jitCompA000_loadRegCacheAll(&w); // 手抜き.
\r
1252 jitCompA000_loadPRegCacheAll(&w); // 手抜き.
\r
1256 case 0x34: /* data (暫定) */
\r
1258 if (w.prefix != 0) { w.err = JITC_ERR_PREFIX; goto err_w; }
\r
1259 int k = jitCompGetImm32(&src[1]), tmpData, bitCount, dataWidth = jitCompA000_dataWidth(k);
\r
1260 if (lastlabel >= 0 && label[lastlabel].typ == 0)
\r
1261 label[lastlabel].typ = k;
\r
1263 i = jitCompA000_convTyp(k);
\r
1264 if (i < 2 || i > 7) { w.err = JITC_ERR_BADTYPE; goto err_w; }
\r
1266 j = jitCompGetImm32(&src[5]);
\r
1272 if (src >= src1) { w.err = JITC_ERR_SRC1; src = oldsrc; goto err_w; }
\r
1273 if (w.dst + 256 > dst1) { w.err = JITC_ERR_DST1; src = oldsrc; goto err_w; }
\r
1275 for (k = 0; k < dataWidth; k++) {
\r
1276 tmpData = tmpData << 1 | ((*src >> bitCount) & 1);
\r
1278 if (bitCount < 0) {
\r
1283 if ((i & 1) == 0 && dataWidth <= 31 && (tmpData >> (dataWidth - 1)) != 0) {
\r
1284 tmpData -= 1 << dataWidth;
\r
1286 if (i == 2 || i == 3) { jitCompPutByte1(w.dst, tmpData & 0xff); }
\r
1287 if (i == 4 || i == 5) { jitCompPutByte2(w.dst, tmpData & 0xff, (tmpData >> 8) & 0xff); }
\r
1288 if (i == 6 || i == 7) { jitCompPutByte4(w.dst, tmpData & 0xff, (tmpData >> 8) & 0xff, (tmpData >> 16) & 0xff, (tmpData >> 24) & 0xff); }
\r
1294 if (src >= src1) { w.err = JITC_ERR_SRC1; src = oldsrc; goto err_w; }
\r
1295 if (w.dst + 256 > dst1) { w.err = JITC_ERR_DST1; src = oldsrc; goto err_w; }
\r
1296 i = jitCompGetImm32(src);
\r
1298 if ((flags & JITC_PHASE1) != 0 && w.err == 0) {
\r
1299 if (label[i].opt == 0) { w.err = JITC_ERR_LABELNODEF; goto err_w; }
\r
1301 jitCompPutImm32(&w, (int)label[i].p);
\r
1302 jitCompPutImm32(&w, label[i].typ);
\r
1303 jitCompPutImm32(&w, (int)label[i].p);
\r
1304 jitCompPutImm32(&w, (int)label[i].p1);
\r
1305 jitCompPutImm32(&w, 0); /* liveSign */
\r
1306 jitCompPutImm32(&w, 2320); /* pls */
\r
1307 jitCompPutImm32(&w, 0);
\r
1308 jitCompPutImm32(&w, 0);
\r
1312 if (lastlabel >= 0 && label[lastlabel].p1 < w.dst)
\r
1313 label[lastlabel].p1 = w.dst;
\r
1316 case 0x3c: /* ENTER */
\r
1317 jitCompA000_storeRegCacheAll(&w); // 手抜き.
\r
1318 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1319 jitCompPutByte2(w.dst, 0x6a, src[6]); /* PUSH(?); */
\r
1320 jitCompPutByte2(w.dst, 0x6a, src[5]); /* PUSH(?); */
\r
1321 jitCompPutByte2(w.dst, 0x6a, src[4] & 0x0f); /* PUSH(?); */
\r
1322 jitCompPutByte2(w.dst, 0x6a, (src[4] >> 4) & 0x0f); /* PUSH(?); */
\r
1323 jitCompPutByte2(w.dst, 0x6a, src[3]); /* PUSH(?); */
\r
1324 jitCompPutByte2(w.dst, 0x6a, src[2]); /* PUSH(?); */
\r
1325 jitCompPutByte2(w.dst, 0x6a, src[1]); /* PUSH(?); */
\r
1326 jitCompPutByte1(w.dst, 0x55); /* PUSH(EBP); */
\r
1327 jitCompPutByte1(w.dst, 0xe8);
\r
1328 j = ((unsigned char *)&func3c) - (w.dst + 4);
\r
1329 jitCompPutImm32(&w, j);
\r
1330 jitCompPutByte3(w.dst, 0x83, 0xc4, 0x20); /* ADD(ESP,32); */
\r
1331 jitCompA000_loadRegCacheAll(&w); // 手抜き.
\r
1332 jitCompA000_loadPRegCacheAll(&w); // 手抜き.
\r
1336 case 0x3d: /* LEAVE */
\r
1337 jitCompA000_storeRegCacheAll(&w); // 手抜き.
\r
1338 jitCompA000_storePRegCacheAll(&w); // 手抜き.
\r
1339 jitCompPutByte2(w.dst, 0x6a, src[6]); /* PUSH(?); */
\r
1340 jitCompPutByte2(w.dst, 0x6a, src[5]); /* PUSH(?); */
\r
1341 jitCompPutByte2(w.dst, 0x6a, src[4] & 0x0f); /* PUSH(?); */
\r
1342 jitCompPutByte2(w.dst, 0x6a, (src[4] >> 4) & 0x0f); /* PUSH(?); */
\r
1343 jitCompPutByte2(w.dst, 0x6a, src[3]); /* PUSH(?); */
\r
1344 jitCompPutByte2(w.dst, 0x6a, src[2]); /* PUSH(?); */
\r
1345 jitCompPutByte2(w.dst, 0x6a, src[1]); /* PUSH(?); */
\r
1346 jitCompPutByte1(w.dst, 0x55); /* PUSH(EBP); */
\r
1347 jitCompPutByte1(w.dst, 0xe8);
\r
1348 j = ((unsigned char *)&func3d) - (w.dst + 4);
\r
1349 jitCompPutImm32(&w, j);
\r
1350 jitCompPutByte3(w.dst, 0x83, 0xc4, 0x20); /* ADD(ESP,32); */
\r
1351 jitCompA000_loadRegCacheAll(&w); // 手抜き.
\r
1352 jitCompA000_loadPRegCacheAll(&w); // 手抜き.
\r
1356 case 0xfe: /* remark */
\r
1357 if (src[1] == 0x01 && src[2] == 0x00) { // DBGINFO1
\r
1358 if (level <= JITC_LV_SLOWER) {
\r
1359 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
1360 jitCompPutImm32(&w, debugInfo1);
\r
1361 jitCompA0001_movEbpDispReg32(&w, 2304 + 4, 0 /* EAX */); /* MOV(debugInfo1, EAX); */
\r
1364 if (src[1] == 0x01 && src[2] == 0x03) { // DBGINFO1CLR
\r
1365 if (level <= JITC_LV_SLOWER) {
\r
1366 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
1367 jitCompPutImm32(&w, -1);
\r
1368 jitCompA0001_movEbpDispReg32(&w, 2304 + 4, 0 /* EAX */); /* MOV(debugInfo1, EAX); */
\r
1371 if (src[1] == 0x05 && src[2] == 0x00) { // DBGINFO0
\r
1372 if (level <= JITC_LV_SLOWEST) {
\r
1373 debugInfo0 = jitCompGetImm32(src + 3);
\r
1374 // jitCompPutByte1(w.dst, 0xbf); /* MOV(EDI, ?); */
\r
1375 // jitCompPutImm32(&w, debugInfo0);
\r
1376 jitCompPutByte1(w.dst, 0xb8); /* MOV(EAX, ?); */
\r
1377 jitCompPutImm32(&w, debugInfo0);
\r
1378 jitCompA0001_movEbpDispReg32(&w, 2304 + 0, 0 /* EAX */); /* MOV(debugInfo0, EAX); */
\r
1384 w.err = JITC_ERR_OPECODE;
\r
1387 if (w.err != 0) goto err_w;
\r
1388 jitCompA0001_fixPrefix(&w);
\r
1389 if (w.err != 0) goto err_w;
\r
1390 src += jitCompCmdLen(src);
\r
1392 if (enter0 != NULL) {
\r
1393 j = w.dst - (enter0 + 4);
\r
1394 enter0[0] = j & 0xff;
\r
1395 enter0[1] = (j >> 8) & 0xff;
\r
1396 enter0[2] = (j >> 16) & 0xff;
\r
1397 enter0[3] = (j >> 24) & 0xff;
\r
1399 if ((flags & JITC_NOSTARTUP) == 0) {
\r
1400 jitCompA000_storeRegCacheAll(&w);
\r
1401 jitCompA000_storePRegCacheAll(&w);
\r
1402 jitCompPutByte1(w.dst, 0x61); /* POPAD(); */
\r
1404 if ((flags & JITC_PHASE1) != 0)
\r
1405 return w.dst - dst00;
\r
1409 if ((w.err & JITC_ERR_PHASE0ONLY) != 0) {
\r
1410 if ((flags & JITC_PHASE1) == 0)
\r
1411 w.err &= ~JITC_ERR_PHASE0ONLY;
\r
1413 if (w.err == (JITC_ERR_MASK & JITC_ERR_REGNUM)) errmsg = "reg-number error";
\r
1414 if (w.err == (JITC_ERR_MASK & JITC_ERR_DST1)) errmsg = "dst1 error";
\r
1415 if (w.err == (JITC_ERR_MASK & JITC_ERR_OPECODE)) errmsg = "opecode error";
\r
1416 if (w.err == (JITC_ERR_MASK & JITC_ERR_LABELNUM)) errmsg = "label number too large";
\r
1417 if (w.err == (JITC_ERR_MASK & JITC_ERR_LABELREDEF)) errmsg = "label redefine";
\r
1418 if (w.err == (JITC_ERR_MASK & JITC_ERR_PREFIX)) { errmsg = "prefix redefine"; w.dst -= 2; }
\r
1419 if (w.err == (JITC_ERR_MASK & JITC_ERR_LABELNODEF)) errmsg = "label not defined";
\r
1420 if (w.err == (JITC_ERR_MASK & JITC_ERR_LABELTYP)) errmsg = "label type error";
\r
1421 if (w.err == (JITC_ERR_MASK & JITC_ERR_IDIOM)) errmsg = "idiom error";
\r
1422 if (w.err == (JITC_ERR_MASK & JITC_ERR_PREGNUM)) errmsg = "preg-number error";
\r
1423 if (w.err == (JITC_ERR_MASK & JITC_ERR_SRC1)) errmsg = "src1 error";
\r
1424 if (w.err == (JITC_ERR_MASK & JITC_ERR_BADTYPE)) errmsg = "bad type code";
\r
1425 if (w.err == (JITC_ERR_MASK & JITC_ERR_PREFIXFAR)) errmsg = "prefix internal error";
\r
1426 if (w.err == (JITC_ERR_MASK & JITC_ERR_INTERNAL)) errmsg = "general internal error";
\r
1427 if (*errmsg != '\0') {
\r
1428 fprintf(stderr, "JITC: %s at %06X (debugInfo0=%d)\n ", errmsg, src - src0, debugInfo0);
\r
1429 for (i = 0; i < 16; i++)
\r
1430 fprintf(stderr, "%02X ", src[i]);
\r
1431 static char *table[0x30] = {
\r
1432 "NOP", "LB", "LIMM", "PLIMM", "CND", "??", "??", "??",
\r
1433 "LMEM", "SMEM", "PLMEM", "PSMEM", "LEA", "??", "PADD", "PDIF",
\r
1434 "CP/OR", "XOR", "AND", "??", "ADD", "SUB", "MUL", "??",
\r
1435 "SHL", "SAR", "DIV", "MOD", "PLMT0", "PLMT1", "PCP", "PCST",
\r
1436 "CMPE", "CMPNE", "CMPL", "CMPGE", "CMPLE", "CMPG", "TSTZ", "TSTNZ",
\r
1437 "PCMPE", "PCMPNE", "PCMPL", "PCMPGE", "PCMPLE", "PCMPG", "??", "EXT" };
\r
1439 if (*src < 0x30) errmsg = table[*src];
\r
1440 fprintf(stderr, "(%s)\n", errmsg);
\r
1445 unsigned char *jitCompCallFunc(unsigned char *dst, void *func)
\r
1447 struct JitCompWork w;
\r
1449 jitCompA000_storeRegCacheAll(&w);
\r
1450 jitCompA000_storePRegCacheAll(&w);
\r
1451 jitCompPutByte1(w.dst, 0x60); /* PUSHAD(); */
\r
1452 jitCompPutByte1(w.dst, 0x50); /* PUSH(EAX); */ /* for 16byte-align(win32では不要なのだけど、MacOSには必要らしい) */
\r
1453 jitCompPutByte1(w.dst, 0x55); /* PUSH(EBP); */
\r
1454 jitCompPutByte1(w.dst, 0xe8); /* CALL(func); */
\r
1455 int j = ((unsigned char *)func) - (w.dst + 4);
\r
1457 //この関数の中では結局w->dstしか参照していない
\r
1458 jitCompPutImm32(&w, j);
\r
1460 jitCompPutByte1(w.dst, 0x58); /* POP(EAX); */ /* (win32では不要なのだけど、MacOSには必要らしい) */
\r
1461 jitCompPutByte1(w.dst, 0x58); /* POP(EAX); */
\r
1462 jitCompPutByte1(w.dst, 0x61); /* POPAD(); */
\r
1463 jitCompA000_loadRegCacheAll(&w);
\r
1464 jitCompA000_loadPRegCacheAll(&w);
\r
1465 jitCompA0001_movReg32EbpDisp(&w, 0 /* EAX */, 256 + 0x30 * 32 + 0); /* MOV(EAX, [EBP+?]); */
\r
1466 jitCompPutByte2(w.dst, 0xff, 0xe0); /* JMP(EAX); */
\r
1470 unsigned char *jitCompInit(unsigned char *dst)
\r
1473 return jitCompCallFunc(dst, &errHndl);
\r
1476 void func3c(char *ebp, int opt, int r1, int p1, int lenR, int lenP, int r0, int p0)
\r
1478 HOSECPU_RuntimeEnvironment *r = (HOSECPU_RuntimeEnvironment *) (ebp - jitCompA0001_EBP128);
\r
1480 HOSECPU_PointerRegisterEntry *pp;
\r
1481 if (r->junkStack + 2048 > r->junkStack1) (*(r->errHndl))(r);
\r
1482 pi = (void *)r->junkStack; r->junkStack += r1 * 4;
\r
1483 for (i = 0; i < r1; i++)
\r
1484 pi[i] = r->ireg[i];
\r
1485 pp = (void *)r->junkStack; r->junkStack += p1 * 32;
\r
1486 for (i = 0; i < p1; i++)
\r
1487 pp[i] = r->preg[i];
\r
1488 pp = (void *)r->junkStack; r->junkStack += 32;
\r
1489 *pp = r->preg[0x30];
\r
1490 pi = (void *)r->junkStack; r->junkStack += 4;
\r
1491 *pi = opt << 16 | r1 << 8 | p1;
\r
1492 for (i = 0; i < lenR; i++)
\r
1493 r->ireg[r0 + i] = r->ireg[0x30 + i];
\r
1494 for (i = 0; i < lenP; i++)
\r
1495 r->preg[p0 + i] = r->preg[0x31 + i];
\r
1499 void func3d(char *ebp, int opt, int r1, int p1, int lenR, int lenP, int r0, int p0)
\r
1501 HOSECPU_RuntimeEnvironment *r = (HOSECPU_RuntimeEnvironment *) (ebp - jitCompA0001_EBP128);
\r
1503 r->junkStack -= 4;
\r
1504 r->junkStack -= 32;
\r
1505 HOSECPU_PointerRegisterEntry *pp = (void *)r->junkStack;
\r
1506 r->preg[0x30] = *pp;
\r
1507 r->junkStack -= p1 * 32; pp = (void *)r->junkStack;
\r
1508 for (i = 0; i < p1; i++)
\r
1509 r->preg[i] = pp[i];
\r
1510 r->junkStack -= r1 * 4; int *pi = (void *)r->junkStack;
\r
1511 for (i = 0; i < r1; i++)
\r
1512 r->ireg[i] = pi[i];
\r
1516 void funcf4(char *ebp, int pxx, int typ, int len)
\r
1518 HOSECPU_RuntimeEnvironment *r = (HOSECPU_RuntimeEnvironment *) (ebp - jitCompA0001_EBP128);
\r
1519 int width = jitCompA000_dataWidth(jitCompA000_convTyp(r->ireg[typ])) >> 3;
\r
1520 if (width < 0 || r->ireg[len] < 0)
\r
1521 (*(r->errHndl))(r);
\r
1522 void *p = r->junkStack;
\r
1523 if (r->junkStack + width * r->ireg[len] + 256 > r->junkStack1) (*(r->errHndl))(r);
\r
1524 r->junkStack += width * r->ireg[len];
\r
1525 r->preg[pxx].p = p;
\r
1526 r->preg[pxx].typ = r->ireg[typ];
\r
1527 r->preg[pxx].p0 = p;
\r
1528 r->preg[pxx].p1 = (void *)r->junkStack;
\r
1529 int *pi = (int *)r->junkStack;
\r
1530 *pi = width * r->ireg[len];
\r
1531 r->junkStack += sizeof (int);
\r
1532 if (r->ireg[typ] == 1) {
\r
1533 int i, i1 = (width * r->ireg[len]) >> 2;
\r
1535 for (i = 0; i < i1; i++)
\r
1541 void funcf5(char *ebp, int pxx, int typ, int len)
\r
1544 HOSECPU_RuntimeEnvironment *r = (HOSECPU_RuntimeEnvironment *) (ebp - jitCompA0001_EBP128);
\r
1545 r->junkStack -= sizeof (int);
\r
1546 int *pi = (int *)r->junkStack;
\r
1547 r->junkStack -= *pi;
\r
1549 int width = jitCompA000_dataWidth(r->ireg[typ]);
\r
1550 void *p = r->junkStack;
\r
1551 r->junkStack -= width * r->ireg[len];
\r
1556 void funcf6(char *ebp, int pxx, int typ, int len)
\r
1558 HOSECPU_RuntimeEnvironment *r = (HOSECPU_RuntimeEnvironment *) (ebp - jitCompA0001_EBP128);
\r
1559 int width = jitCompA000_dataWidth(jitCompA000_convTyp(r->ireg[typ])) >> 3;
\r
1560 if (width < 0 || r->ireg[len] < 0)
\r
1561 (*(r->errHndl))(r);
\r
1562 void *p = malloc(width * r->ireg[len]);
\r
1563 r->preg[pxx].p = p;
\r
1564 r->preg[pxx].typ = r->ireg[typ];
\r
1565 r->preg[pxx].p0 = p;
\r
1566 r->preg[pxx].p1 = (unsigned char *)p + width * r->ireg[len];
\r
1567 if (r->ireg[typ] == 1) {
\r
1568 int i, i1 = (width * r->ireg[len]) >> 2, *pi;
\r
1570 for (i = 0; i < i1; i++)
\r
1572 for (i = 1; i < i1; i += 8)
\r
1578 void funcf7(char *ebp, int pxx, int typ, int len)
\r
1580 // typとlenはダミーで参照されない
\r
1581 HOSECPU_RuntimeEnvironment *r = (HOSECPU_RuntimeEnvironment *) (ebp - jitCompA0001_EBP128);
\r
1582 free(r->preg[pxx].p);
\r
1586 void errHndl(HOSECPU_RuntimeEnvironment *r)
\r
1588 r = (HOSECPU_RuntimeEnvironment *) (((char *)r) - jitCompA0001_EBP128);
\r
1589 (*(r->errHndl))(r);
\r
1594 * jitcの出力コードをひとまとめにする関数を作成しその中身をjitCompile()で生成
\r
1596 * qq : 出力バイナリの書き込み位置のアドレスへの参照(書き込み位置を呼び出しに反映させるため参照渡しにする)
\r
1597 * q1 : 出力バイナリの書き込み位置のアドレスの最大値
\r
1598 * p0 : (*.ose)バイナリの読み込み位置のアドレス(ヘッダ部除去済)
\r
1599 * p1 : (*.ose)バイナリの読み込み位置の取りうる最大値
\r
1600 * (ただし、「確保したメモリ」の最大値なのでこれより手前にゴミデータが入っているかもしれない)
\r
1602 * ret=2 : jitコンパイルエラー
\r
1604 int jitc0(unsigned char **qq, unsigned char *q1, const unsigned char *p0, const unsigned char *p1, int level, HOSECPU_LabelListTag *label)
\r
1606 unsigned char *q = *qq;
\r
1607 if (p0[0] != 0x05 || p0[1] != SIGN1) // OSECPUのヘッダ (05E1) を確認
\r
1610 *q++ = 0x55; /* PUSH(EBP); */
\r
1611 *q++ = 0x8b; *q++ = 0x6c; *q++ = 0x24; *q++ = 0x08; /* MOV(EBP,[ESP+8]); */
\r
1614 for (i = 0; i < JITC_MAXLABELS; i++)
\r
1617 // 以下のjitCompile()呼び出しでは第二引数をq1-2にした方がよいのではないか?
\r
1618 i = jitCompiler(q, q1, p0 + 2, p1, p0, label, JITC_MAXLABELS, level, di1_serial, 0);
\r
1619 if (i != 0) return 2;
\r
1620 i = jitCompiler(q, q1, p0 + 2, p1, p0, label, JITC_MAXLABELS, level, di1_serial, JITC_PHASE1 + 0);
\r
1621 if (i < 0) return 2;
\r
1624 *q++ = 0x5d; /* POP(EBP); */
\r
1625 *q++ = 0xc3; /* RET(); */
\r
1631 #if (USE_DEBUGGER != 0)
\r
1633 int dbgrGetRegNum(const char *p)
\r
1636 if (p[2] <= ' ') {
\r
1639 if (i > 9) i -= 'A' - '0' - 10;
\r
1640 if (j > 9) j -= 'A' - '0' - 10;
\r
1641 if (0 <= i && i <= 15 && 0 <= j && j <= 15)
\r
1647 void dbgrMain(HOSECPU_RuntimeEnvironment *r)
\r
1649 if (r->dbgr == 0) return;
\r
1653 printf("\ndbgr>");
\r
1654 p = fgets(cmd, 64, stdin);
\r
1655 if (p == NULL) break;
\r
1656 if (cmd[0] == '\0') continue;
\r
1657 if (cmd[0] == 'q' && cmd[1] <= ' ') break;
\r
1658 if (cmd[0] == 'p' && cmd[1] <= ' ' && cmd[1] != '\0') {
\r
1660 while (*p <= ' ' && *p != '\0') p++;
\r
1662 i = dbgrGetRegNum(p + 1);
\r
1663 if (0 <= i && i <= 0x3f) {
\r
1664 printf("R%02X = 0x%08X = %d\n", i, r->ireg[i], r->ireg[i]);
\r
1667 puts("register name error");
\r
1671 i = dbgrGetRegNum(p + 1);
\r
1672 if (0 <= i && i <= 0x3f) {
\r
1674 if (0 <= r->preg[i].typ && r->preg[i].typ <= 0x15) {
\r
1675 static char *typName[] = {
\r
1676 "T_CODE", "T_VPTR", "T_SINT8", "T_UINT8",
\r
1677 "T_SINT16", "T_UINT16", "T_SINT32", "T_UINT32",
\r
1678 "T_SINT4", "T_UINT4", "T_SINT2", "T_UINT2",
\r
1679 "T_SINT1", "T_UINT1", "T_SINT12", "T_UINT12",
\r
1680 "T_SINT20", "T_UINT20", "T_SINT24", "T_UINT24",
\r
1681 "T_SINT28", "T_UINT28"
\r
1683 p = typName[r->preg[i].typ];
\r
1685 printf("P%02X:\n type = %s(%04X), (origin-ptr) = 0x%08X\n", i, p, r->preg[i].typ, (unsigned int)(r->preg[i].p0));
\r
1686 if (r->preg[i].p != NULL && r->preg[i].p0 != NULL) {
\r
1687 j = jitCompA000_dataWidth(jitCompA000_convTyp(r->preg[i].typ)) >> 3;
\r
1688 if (j <= 0) j = 1;
\r
1689 k = (r->preg[i].p1 - r->preg[i].p0) / j;
\r
1690 printf(" size = 0x%08X = %d\n", k, k);
\r
1691 k = (r->preg[i].p - r->preg[i].p0) / j;
\r
1692 printf(" pos = 0x%08X = %d\n", k, k);
\r
1695 puts(" null pointer");
\r
1699 puts("register name error");
\r
1703 puts("command error");
\r