source: dev/trunk/abdev/BasicCompiler32/Compile_Statement.cpp@ 243

Last change on this file since 243 was 243, checked in by dai_9181, 17 years ago
File size: 31.4 KB
Line 
1#include "stdafx.h"
2
3#include <jenga/include/smoothie/LexicalAnalysis.h>
4
5#include <LexicalScopingImpl.h>
6#include <Compiler.h>
7
8#include "../BasicCompiler_Common/common.h"
9#include "Opcode.h"
10
11void OpcodeOthers( const char *Command ){
12 int i,i2;
13
14 char leftTerm[8192];
15 int lastParePos = 0;
16 for(i=0;;i++){
17 if(Command[i]=='\"'){
18 //ダブルクォートは不正なのでエラー扱い
19 leftTerm[i]=0;
20 SetError(3,leftTerm,cp);
21 return;
22 }
23
24 if(Command[i]=='('){
25 lastParePos = i;
26 i2=GetStringInPare(leftTerm+i,Command+i);
27 i+=i2-1;
28 continue;
29 }
30 if(Command[i]=='['){
31 i2=GetStringInBracket(leftTerm+i,Command+i);
32 i+=i2-1;
33 continue;
34 }
35 if(Command[i]=='\0'){
36 leftTerm[i] = 0;
37 break;
38 }
39
40 if( IsNumCalcMark( Command, i ) ){
41 leftTerm[i] = 0;
42 break;
43 }
44
45 leftTerm[i]=Command[i];
46 }
47 if(!(
48 IsVariableTopChar(leftTerm[0])||
49 leftTerm[0]=='.'||
50 (leftTerm[0]==1&&leftTerm[1]==ESC_PSMEM)
51 )){
52 SetError(1,NULL,cp);
53 return;
54 }
55
56
57 if(Command[i]=='\0' && lastParePos == 0){
58 //////////////////////////////
59 // パラメータ無しのマクロ検索
60 //////////////////////////////
61
62 const UserProc *pUserProc = GetSubHash(Command);
63
64 //GetSubHash内でエラー提示が行われた場合
65 if(pUserProc==(UserProc *)-1) return;
66
67 if(pUserProc==0){
68 char temporary[VN_SIZE];
69 lstrcpy(temporary,Command);
70
71 CharUpper(temporary);
72 pUserProc=GetSubHash(temporary);
73
74 //GetSubHash内でエラー提示が行われた場合
75 if(pUserProc==(UserProc *)-1) return;
76 }
77
78 if(pUserProc){
79 if( !pUserProc->IsMacro() ){
80 SetError(10,Command,cp);
81 }
82
83 Opcode_CallProc("",pUserProc,0,"",0);
84
85 return;
86 }
87 }
88 else if(IsNumCalcMark(Command,i)){
89 //代入演算
90 OpcodeCalc(Command);
91 return;
92 }
93
94
95 Type resultType;
96 bool isLiteral;
97 BOOL bUseHeap;
98 bool result = TermOpe( leftTerm, Type(), resultType, isLiteral, &bUseHeap, false, NULL, true );
99 if( result ){
100
101 /////////////////////
102 // 戻り値の処理
103 /////////////////////
104
105 if( resultType.IsReal() ){
106 //fstp st(0)
107 compiler.codeGenerator.PutOld(
108 (char)0xDD,
109 (char)0xD8
110 );
111 }
112 else if( resultType.IsStruct() ){
113 //mov ebx,eax
114 compiler.codeGenerator.op_mov_RR(REG_EBX,REG_EAX);
115
116 FreeTempObject(REG_EBX,&resultType.GetClass());
117 }
118
119 //成功
120 return;
121 }
122
123 // 失敗
124 SetError(1, NULL,cp);
125}
126
127void OpcodeIf(char *Parameter){
128 int i,i2;
129 Type tempType;
130
131 for(i=0;;i++){
132 if(Parameter[i]=='\0'){
133 SetError(21,NULL,cp);
134 return;
135 }
136 if(Parameter[i]==1&&Parameter[i+1]==ESC_THEN){
137 Parameter[i]=0;
138 break;
139 }
140 }
141
142 CodeGenerator::PertialSchedule *pIfPertialSchedule = NULL;
143 if( !NumOpe(Parameter,Type(),tempType) ){
144 //NumOpe内でエラー
145 }
146 else if( tempType.IsDouble() ){
147 //fld qword ptr[esp]
148 compiler.codeGenerator.op_fld_ptr_esp(DEF_DOUBLE);
149
150 //push 0
151 compiler.codeGenerator.op_push_V(0);
152
153 //fild dword ptr[esp]
154 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
155
156 //add esp,sizeof(double)+sizeof(long)
157 compiler.codeGenerator.op_add_esp(sizeof(double)+sizeof(long));
158
159 //fcompp
160 compiler.codeGenerator.op_fcompp();
161
162 //fnstsw ax
163 compiler.codeGenerator.op_fnstsw_ax();
164
165 //test ah,40
166 compiler.codeGenerator.op_test_ah( (char)0x40 );
167
168 //jne (endif、または else まで)
169 pIfPertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(long), true );
170 }
171 else if( tempType.IsSingle() ){
172 //fld dword ptr[esp]
173 compiler.codeGenerator.op_fld_ptr_esp(DEF_SINGLE);
174
175 //push 0
176 compiler.codeGenerator.op_push_V(0);
177
178 //fild dword ptr[esp]
179 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
180
181 //add esp,sizeof(float)+sizeof(long)
182 compiler.codeGenerator.op_add_esp(sizeof(float)+sizeof(long));
183
184 //fcompp
185 compiler.codeGenerator.op_fcompp();
186
187 //fnstsw ax
188 compiler.codeGenerator.op_fnstsw_ax();
189
190 //test ah,40
191 compiler.codeGenerator.op_test_ah( (char)0x40 );
192
193 //jne (endif、または else まで)
194 pIfPertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(long), true );
195 }
196 else if( tempType.Is64() ){
197 //64ビット型
198
199 //pop eax
200 compiler.codeGenerator.op_pop(REG_EAX);
201
202 //pop ebx
203 compiler.codeGenerator.op_pop(REG_EBX);
204
205 //cmp eax,0
206 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
207
208 //jne
209 CodeGenerator::PertialSchedule *pTempPertialSchedule1 = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
210
211 //cmp ebx,0
212 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EBX, 0 );
213
214 //jne
215 CodeGenerator::PertialSchedule *pTempPertialSchedule2 = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
216
217 //jmp (endif、または else までジャンプ)
218 pIfPertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(long), true );
219
220 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule1 );
221 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule2 );
222 }
223 else{
224 //32ビット型
225
226 //pop eax
227 compiler.codeGenerator.op_pop(REG_EAX);
228
229 //cmp eax,0
230 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
231
232 //je (endif、または else まで条件ジャンプ)
233 pIfPertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(long), true );
234 }
235
236
237 /////////////////////////
238 // If内をコード化
239 /////////////////////////
240
241 //レキシカルスコープをレベルアップ
242 GetLexicalScopes().Start( obp, SCOPE_TYPE_IF );
243
244 i2=CompileBuffer(ESC_ENDIF,0);
245
246 //レキシカルスコープをレベルダウン
247 GetLexicalScopes().End();
248
249
250 if( pIfPertialSchedule == NULL ) return;
251
252 if(i2==ESC_ELSE){
253 //jmp (endifまで)
254 CodeGenerator::PertialSchedule *pTempPertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(long), true );
255
256 compiler.codeGenerator.opfix_JmpPertialSchedule( pIfPertialSchedule );
257
258
259 /////////////////////////
260 // Else内をコード化
261 /////////////////////////
262
263 //レキシカルスコープをレベルアップ
264 GetLexicalScopes().Start( obp, SCOPE_TYPE_IF );
265
266 CompileBuffer(ESC_ENDIF,0);
267
268 //レキシカルスコープをレベルダウン
269 GetLexicalScopes().End();
270
271
272 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule );
273 }
274 else{
275 compiler.codeGenerator.opfix_JmpPertialSchedule( pIfPertialSchedule );
276 }
277}
278
279int GetLabelAddress(char *LabelName,int LineNum){
280 extern int MaxLabelNum;
281 extern LABEL *pLabelNames;
282 int i;
283
284 if(LabelName){
285 for(i=0;i<MaxLabelNum;i++){
286 if(pLabelNames[i].pName){
287 if(lstrcmp(LabelName,pLabelNames[i].pName)==0) return pLabelNames[i].address;
288 }
289 }
290 }
291 else{
292 for(i=0;i<MaxLabelNum;i++){
293 if(pLabelNames[i].pName==0){
294 if(LineNum==pLabelNames[i].line) return pLabelNames[i].address;
295 }
296 }
297 }
298 return -1;
299}
300void OpcodeGoto(char *Parameter){
301 extern HANDLE hHeap;
302 extern GOTOLABELSCHEDULE *pGotoLabelSchedule;
303 extern int GotoLabelScheduleNum;
304 int i,LineNum;
305
306 if(Parameter[0]=='*'){
307 i=GetLabelAddress(Parameter+1,0);
308
309 //jmp ...
310 OpBuffer[obp++]=(char)0xE9;
311 if(i==-1){
312 pGotoLabelSchedule=(GOTOLABELSCHEDULE *)HeapReAlloc(hHeap,0,pGotoLabelSchedule,(GotoLabelScheduleNum+1)*sizeof(GOTOLABELSCHEDULE));
313 pGotoLabelSchedule[GotoLabelScheduleNum].pName=(char *)HeapAlloc(hHeap,0,lstrlen(Parameter+1)+1);
314 lstrcpy(pGotoLabelSchedule[GotoLabelScheduleNum].pName,Parameter+1);
315 pGotoLabelSchedule[GotoLabelScheduleNum].pos=obp;
316 pGotoLabelSchedule[GotoLabelScheduleNum].now_cp=cp;
317 GotoLabelScheduleNum++;
318 }
319 *((long *)(OpBuffer+obp))=i-(obp+sizeof(long));
320 obp+=sizeof(long);
321 }
322 else{
323 LineNum=atoi(Parameter);
324 i=GetLabelAddress(0,LineNum);
325
326 //jmp ...
327 OpBuffer[obp++]=(char)0xE9;
328 if(i==-1){
329 pGotoLabelSchedule=(GOTOLABELSCHEDULE *)HeapReAlloc(hHeap,0,pGotoLabelSchedule,(GotoLabelScheduleNum+1)*sizeof(GOTOLABELSCHEDULE));
330 pGotoLabelSchedule[GotoLabelScheduleNum].pName=0;
331 pGotoLabelSchedule[GotoLabelScheduleNum].line=LineNum;
332 pGotoLabelSchedule[GotoLabelScheduleNum].pos=obp;
333 pGotoLabelSchedule[GotoLabelScheduleNum].now_cp=cp;
334 GotoLabelScheduleNum++;
335 }
336 *((long *)(OpBuffer+obp))=i-(obp+sizeof(long));
337 obp+=sizeof(long);
338 }
339}
340void OpcodeWhile(char *Parameter){
341 extern HANDLE hHeap;
342
343 //Continueアドレスのバックアップとセット
344 compiler.codeGenerator.ContinueAreaBegin();
345
346 if(!Parameter[0]) SetError(10,"While",cp);
347
348 CodeGenerator::PertialSchedule *pWhilePertialSchedule = NULL;
349 Type tempType;
350 if( !NumOpe(Parameter,Type(),tempType) ){
351 //ダミー
352 }
353 else if( tempType.IsDouble() ){
354 //fld qword ptr[esp]
355 compiler.codeGenerator.op_fld_ptr_esp(DEF_DOUBLE);
356
357 //push 0
358 compiler.codeGenerator.op_push_V(0);
359
360 //fild dword ptr[esp]
361 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
362
363 //add esp,sizeof(double)+sizeof(long)
364 compiler.codeGenerator.op_add_esp(sizeof(double)+sizeof(long));
365
366 //fcompp
367 compiler.codeGenerator.op_fcompp();
368
369 //fnstsw ax
370 compiler.codeGenerator.op_fnstsw_ax();
371
372 //test ah,40
373 compiler.codeGenerator.op_test_ah( (char)0x40 );
374
375 //jne (Wend まで)
376 pWhilePertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(long), true );
377 }
378 else if( tempType.IsSingle() ){
379 //fld dword ptr[esp]
380 compiler.codeGenerator.op_fld_ptr_esp(DEF_SINGLE);
381
382 //push 0
383 compiler.codeGenerator.op_push_V(0);
384
385 //fild dword ptr[esp]
386 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
387
388 //add esp,sizeof(float)+sizeof(long)
389 compiler.codeGenerator.op_add_esp(sizeof(float)+sizeof(long));
390
391 //fcompp
392 compiler.codeGenerator.op_fcompp();
393
394 //fnstsw ax
395 compiler.codeGenerator.op_fnstsw_ax();
396
397 //test ah,40h
398 compiler.codeGenerator.op_test_ah( (char)0x40 );
399
400 //jne (Wend まで)
401 pWhilePertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(long), true );
402 }
403 else if( tempType.Is64() ){
404 //64ビット型
405
406 //pop eax
407 compiler.codeGenerator.op_pop(REG_EAX);
408
409 //pop ebx
410 compiler.codeGenerator.op_pop(REG_EBX);
411
412 //cmp eax,0
413 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
414
415 //jne
416 CodeGenerator::PertialSchedule *pTempPertialSchedule1 = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
417
418 //cmp ebx,0
419 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EBX, 0 );
420
421 //jne
422 CodeGenerator::PertialSchedule *pTempPertialSchedule2 = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
423
424 //jmp (Wendまでジャンプ)
425 pWhilePertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(long), true );
426
427 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule1 );
428 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule2 );
429 }
430 else{
431 //その他整数型
432
433 //pop eax
434 compiler.codeGenerator.op_pop(REG_EAX);
435
436 //cmp eax,0
437 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
438
439 //je (Wend まで)
440 pWhilePertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(long), true );
441 }
442
443 //レキシカルスコープをレベルアップ
444 GetLexicalScopes().Start( obp, SCOPE_TYPE_WHILE );
445
446 //While内をコンパイル
447 CompileBuffer(0,COM_WEND);
448
449 GetLexicalScopes().CallDestructorsOfScopeEnd();
450
451 //jmp ...
452 compiler.codeGenerator.op_jmp_continue();
453
454 //レキシカルスコープをレベルダウン
455 GetLexicalScopes().End();
456
457 if( pWhilePertialSchedule )
458 {
459 compiler.codeGenerator.opfix_JmpPertialSchedule( pWhilePertialSchedule );
460 }
461
462 compiler.codeGenerator.ContinueAreaEnd();
463}
464
465char szNextVariable[VN_SIZE];
466void OpcodeFor(char *Parameter){
467 extern HANDLE hHeap;
468 int i,i2;
469 char temporary[VN_SIZE],variable[VN_SIZE],JudgeNum[VN_SIZE],StepNum[VN_SIZE];
470
471 //第1パラメータを取得
472 i=GetOneParameter(Parameter,0,temporary);
473 if(!Parameter[i]){
474 SetError(12,"For",cp);
475 goto ErrorStep;
476 }
477
478 for(i2=0;;i2++){
479 if(temporary[i2]=='='){
480 variable[i2]=0;
481
482 //カウンタ初期化
483 OpcodeCalc(temporary);
484 break;
485 }
486 if(temporary[i2]=='\0'){
487 SetError(12,"For",cp);
488 goto ErrorStep;
489 }
490 variable[i2]=temporary[i2];
491 }
492
493 //jmp ...
494 CodeGenerator::PertialSchedule *pTempPertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(long), true );
495
496 //Continueアドレスのバックアップとセット
497 compiler.codeGenerator.ContinueAreaBegin();
498
499 //第2パラメータを取得(to~)
500 i=GetOneParameter(Parameter,i,JudgeNum);
501
502 //第3パラメータを取得(step~)
503 if(Parameter[i]){
504 i=GetOneParameter(Parameter,i,StepNum);
505 if(Parameter[i]) SetError(12,"For",cp);
506 }
507 else lstrcpy(StepNum,"1");
508
509 //カウンタを増加させる
510 sprintf(temporary,"%s=(%s)+(%s)",variable,variable,StepNum);
511 OpcodeCalc(temporary);
512
513 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule );
514
515 //増加か減少かを区別する
516 sprintf(temporary,"(%s)>=0",StepNum);
517 NumOpe(temporary,Type(),Type());
518
519 //pop eax
520 compiler.codeGenerator.op_pop(REG_EAX);
521
522 //cmp eax,0
523 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
524
525 //je [カウンタ減少の場合の判定]
526 pTempPertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(long), true );
527
528 //判定(カウンタ増加の場合)
529 sprintf(temporary,"%s<=(%s)",variable,JudgeNum);
530 NumOpe(temporary,Type(),Type());
531
532 //pop eax
533 compiler.codeGenerator.op_pop(REG_EAX);
534
535 //jmp [カウンタ減少の場合の判定を飛び越す]
536 CodeGenerator::PertialSchedule *pTempPertialSchedule2 = compiler.codeGenerator.op_jmp( 0, sizeof(long), true );
537
538 //jeジャンプ先のオフセット値
539 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule );
540
541 //判定(カウンタ減少の場合)
542 sprintf(temporary,"%s>=(%s)",variable,JudgeNum);
543 NumOpe(temporary,Type(),Type());
544
545 //pop eax
546 compiler.codeGenerator.op_pop(REG_EAX);
547
548 //jmpジャンプ先のオフセット値
549 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule2 );
550
551 //cmp eax,0
552 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
553
554ErrorStep:
555
556 //je ...
557 pTempPertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(long), true );
558
559 //レキシカルスコープをレベルアップ
560 GetLexicalScopes().Start( obp, SCOPE_TYPE_FOR );
561
562 //For内をコンパイル
563 CompileBuffer(0,COM_NEXT);
564
565 GetLexicalScopes().CallDestructorsOfScopeEnd();
566
567 if(szNextVariable[0]){
568 if(lstrcmp(szNextVariable,variable)!=0){
569 SetError(55,szNextVariable,cp);
570 }
571 }
572
573 //jmp ...
574 compiler.codeGenerator.op_jmp_continue();
575
576 //レキシカルスコープをレベルダウン
577 GetLexicalScopes().End();
578
579 //jeジャンプ先のオフセット値
580 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule );
581
582 //Continueアドレスを復元
583 compiler.codeGenerator.ContinueAreaEnd();
584}
585
586void OpcodeDo(char *Parameter){
587 extern HANDLE hHeap;
588 int i,i2,i3,i4;
589
590 if(Parameter[0]) SetError(10,"Do",cp);
591
592 //Continueアドレスのバックアップとセット
593 compiler.codeGenerator.ContinueAreaBegin();
594
595 //レキシカルスコープをレベルアップ
596 GetLexicalScopes().Start( obp, SCOPE_TYPE_DO );
597
598 //Do内をコンパイル
599 CompileBuffer(0,COM_LOOP);
600
601 GetLexicalScopes().CallDestructorsOfScopeEnd();
602
603 CodeGenerator::PertialSchedule *pDoPertialSchedule = NULL;
604
605 extern char *basbuf;
606 char temporary[VN_SIZE];
607 for(i=cp-1;;i--){
608 if(IsCommandDelimitation(basbuf[i])){
609 i+=3;
610 if(!(basbuf[i]=='0'||basbuf[i]=='1')){
611 //無条件ループ
612 break;
613 }
614 i3=i;
615
616 for(i+=2,i2=0;;i++,i2++){
617 if(IsCommandDelimitation(basbuf[i])){
618 temporary[i2]=0;
619 break;
620 }
621 temporary[i2]=basbuf[i];
622 }
623
624 Type tempType;
625 NumOpe(temporary,Type(),tempType);
626
627 if( tempType.IsDouble() ){
628 //fld qword ptr[esp]
629 compiler.codeGenerator.op_fld_ptr_esp(DEF_DOUBLE);
630
631 //push 0
632 compiler.codeGenerator.op_push_V(0);
633
634 //fild dword ptr[esp]
635 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
636
637 //add esp,sizeof(double)+sizeof(long)
638 compiler.codeGenerator.op_add_esp(sizeof(double)+sizeof(long));
639
640 //fcompp
641 compiler.codeGenerator.op_fcompp();
642
643 //fnstsw ax
644 compiler.codeGenerator.op_fnstsw_ax();
645
646 //test ah,40
647 compiler.codeGenerator.op_test_ah( (char)0x40 );
648
649 if(basbuf[i3]=='0'){
650 //While
651
652 //jne 5(ループ終了)
653 pDoPertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
654 }
655 else if(basbuf[i3]=='1'){
656 //Until
657
658 //je 5(ループ終了)
659 pDoPertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(char), true );
660 }
661 }
662 else if( tempType.IsSingle() ){
663 //fld dword ptr[esp]
664 compiler.codeGenerator.op_fld_ptr_esp(DEF_SINGLE);
665
666 //push 0
667 compiler.codeGenerator.op_push_V(0);
668
669 //fild dword ptr[esp]
670 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
671
672 //add esp,sizeof(float)+sizeof(long)
673 compiler.codeGenerator.op_add_esp(sizeof(float)+sizeof(long));
674
675 //fcompp
676 compiler.codeGenerator.op_fcompp();
677
678 //fnstsw ax
679 compiler.codeGenerator.op_fnstsw_ax();
680
681 //test ah,40
682 compiler.codeGenerator.op_test_ah( (char)0x40 );
683
684 if(basbuf[i3]=='0'){
685 //While
686
687 //jne 5(ループ終了)
688 pDoPertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
689 }
690 else if(basbuf[i3]=='1'){
691 //Until
692
693 //je 5(ループ終了)
694 pDoPertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(char), true );
695 }
696 }
697 else if( tempType.Is64() ){
698 //64ビット型
699
700 //pop eax
701 compiler.codeGenerator.op_pop(REG_EAX);
702
703 //pop ebx
704 compiler.codeGenerator.op_pop(REG_EBX);
705
706 //cmp eax,0
707 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
708
709 //jne
710 OpBuffer[obp++]=(char)0x0F;
711 OpBuffer[obp++]=(char)0x85;
712 obp+=sizeof(long);
713 i2=obp;
714
715
716 //cmp ebx,0
717 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EBX, 0 );
718
719 //jne
720 OpBuffer[obp++]=(char)0x0F;
721 OpBuffer[obp++]=(char)0x85;
722 obp+=sizeof(long);
723 i4=obp;
724
725
726 if(basbuf[i3]=='0'){
727 //While
728
729 //jmp 5(ループ終了)
730 pDoPertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(char), true );
731
732 *((long *)(OpBuffer+i2-sizeof(long)))=obp-i2;
733 *((long *)(OpBuffer+i4-sizeof(long)))=obp-i4;
734 }
735 else if(basbuf[i3]=='1'){
736 //Until
737
738 //jmp 2(ループを続ける)
739 OpBuffer[obp++]=(char)0xEB;
740 OpBuffer[obp++]=(char)0x02;
741
742 *((long *)(OpBuffer+i2-sizeof(long)))=obp-i2;
743 *((long *)(OpBuffer+i4-sizeof(long)))=obp-i4;
744
745 //jmp 5(ループ終了)
746 pDoPertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(char), true );
747 }
748 }
749 else{
750 //pop eax
751 compiler.codeGenerator.op_pop(REG_EAX);
752
753 //cmp eax,0
754 compiler.codeGenerator.op_cmp_value( sizeof(long), REG_EAX, 0 );
755
756 if(basbuf[i3]=='0'){
757 //While
758
759 //je 5(ループ終了)
760 pDoPertialSchedule = compiler.codeGenerator.op_je( 0, sizeof(char), true );
761 }
762 else if(basbuf[i3]=='1'){
763 //Until
764
765 //jne 5(ループ終了)
766 pDoPertialSchedule = compiler.codeGenerator.op_jne( 0, sizeof(char), true );
767 }
768 }
769 break;
770 }
771 }
772
773 //jmp ...
774 compiler.codeGenerator.op_jmp_continue();
775
776 if( pDoPertialSchedule )
777 {
778 compiler.codeGenerator.opfix_JmpPertialSchedule( pDoPertialSchedule );
779 }
780
781 //jmp ...
782 CodeGenerator::PertialSchedule *pTempPertialSchedule = compiler.codeGenerator.op_jmp( 0, sizeof(long), true );
783
784 //レキシカルスコープをレベルダウン
785 GetLexicalScopes().End();
786
787 //jmpジャンプ先のオフセット値
788 compiler.codeGenerator.opfix_JmpPertialSchedule( pTempPertialSchedule );
789
790 //Continueアドレスを復元
791 compiler.codeGenerator.ContinueAreaEnd();
792}
793void OpcodeContinue(void){
794 //jmp ...(Continue addr)
795 compiler.codeGenerator.op_jmp_continue();
796}
797
798void OpcodeExitSub(void){
799 extern DWORD *pExitSubSchedule;
800 extern int ExitSubScheduleNum;
801 extern HANDLE hHeap;
802
803 if( UserProc::IsGlobalAreaCompiling() ){
804 SetError(12,"Exit Sub/Function",cp);
805 return;
806 }
807
808 //未解放のローカルオブジェクトのデストラクタを呼び出す
809 GetLexicalScopes().CallDestructorsOfReturn();
810
811 //jmp ...(End Sub/Function)
812 OpBuffer[obp++]=(char)0xE9;
813
814 pExitSubSchedule=(DWORD *)HeapReAlloc(hHeap,0,pExitSubSchedule,(ExitSubScheduleNum+1)*sizeof(DWORD));
815 pExitSubSchedule[ExitSubScheduleNum]=obp;
816 ExitSubScheduleNum++;
817
818 obp+=sizeof(long);
819}
820
821void AddCaseSchedule(void){
822 extern DWORD *pCaseSchedule;
823 extern int CaseScheduleNum;
824 extern HANDLE hHeap;
825
826 pCaseSchedule=(DWORD *)HeapReAlloc(hHeap,0,pCaseSchedule,(CaseScheduleNum+1)*sizeof(DWORD));
827 pCaseSchedule[CaseScheduleNum]=obp;
828 CaseScheduleNum++;
829}
830
831int CaseTypeSize;
832void OpcodeSelect(const char *lpszParms){
833 extern DWORD *pCaseSchedule;
834 extern int CaseScheduleNum;
835 extern int NowCaseSchedule;
836 extern int CaseTypeSize;
837 extern HANDLE hHeap;
838 extern char *basbuf;
839 int i,i2,i3,sw,NowCaseCp;
840 char temporary[VN_SIZE];
841
842 DWORD *temp_pCaseSchedule;
843 int temp_CaseScheduleNum;
844 int temp_NowCaseSchedule;
845 int temp_CaseTypeSize;
846
847 temp_pCaseSchedule=pCaseSchedule;
848 temp_CaseScheduleNum=CaseScheduleNum;
849 temp_NowCaseSchedule=NowCaseSchedule;
850 temp_CaseTypeSize=CaseTypeSize;
851 pCaseSchedule=(DWORD *)HeapAlloc(hHeap,0,1);
852 CaseScheduleNum=0;
853 NowCaseSchedule=0;
854
855 Type type1;
856 if( !NumOpe(lpszParms,Type(), type1 ) ){
857 return;
858 }
859
860 CaseTypeSize = type1.GetSize();
861 if( CaseTypeSize < sizeof(long) ){
862 CaseTypeSize=sizeof(long);
863 }
864
865 for(i=cp,sw=0;;i++){
866 if(basbuf[i]=='\0'){
867 HeapDefaultFree(pCaseSchedule);
868 pCaseSchedule=temp_pCaseSchedule;
869 CaseScheduleNum=temp_CaseScheduleNum;
870 NowCaseSchedule=temp_NowCaseSchedule;
871 CaseTypeSize=temp_CaseTypeSize;
872 SetError(22,"Select",cp);
873 return;
874 }
875 if(basbuf[i]==1&&basbuf[i+1]==ESC_SELECTCASE){
876 for(i2=0;;i++){
877 if(basbuf[i]==1&&basbuf[i+1]==ESC_SELECTCASE) i2++;
878 if(basbuf[i]==1&&basbuf[i+1]==ESC_ENDSELECT){
879 i2--;
880 if(i2==0) break;
881 }
882 }
883 continue;
884 }
885 if(basbuf[i]==1&&basbuf[i+1]==ESC_ENDSELECT){
886 if(sw==0){
887 //add esp,CaseTypeSize
888 compiler.codeGenerator.op_add_esp(CaseTypeSize);
889 }
890 break;
891 }
892 if(basbuf[i]==1&&basbuf[i+1]==ESC_CASE){
893 NowCaseCp=i;
894
895 i++;
896 while(1){
897 for(i++,i2=0;;i++,i2++){
898 if(basbuf[i]=='\"'){
899 i3=GetStringInQuotation(temporary+i2,basbuf+i);
900 i+=i3-1;
901 i2+=i3-1;
902 continue;
903 }
904 if(basbuf[i]=='('){
905 i3=GetStringInPare(temporary+i2,basbuf+i);
906 i+=i3-1;
907 i2+=i3-1;
908 continue;
909 }
910 if(basbuf[i]=='['){
911 i3=GetStringInBracket(temporary+i2,basbuf+i);
912 i+=i3-1;
913 i2+=i3-1;
914 continue;
915 }
916
917 if(IsCommandDelimitation(basbuf[i])){
918 temporary[i2]=0;
919 break;
920 }
921 if(basbuf[i]==','){
922 temporary[i2]=0;
923 break;
924 }
925
926 temporary[i2]=basbuf[i];
927 }
928
929 //エラー用
930 i2=cp;
931 cp=NowCaseCp;
932
933 Type type2;
934 if( !NumOpe(temporary,type1,type2) ){
935 return;
936 }
937
938 cp=i2;
939
940 if(type1.IsObject()){
941 std::vector<const UserProc *> subs;
942 type1.GetClass().GetMethods().Enum( CALC_EQUAL, subs );
943 if( subs.size() == 0 ){
944 return;
945 }
946
947 Parameters params;
948 params.push_back( new Parameter( "", Type( type2 ) ) );
949
950 //オーバーロードを解決
951 const UserProc *pUserProc = OverloadSolution("==",subs, params, NULL);
952
953 delete params[0];
954
955 if(!pUserProc){
956 //エラー
957 return;
958 }
959
960
961 //pop edx
962 compiler.codeGenerator.op_pop(REG_EDX);
963
964 //mov ecx,dword ptr[esp]
965 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_ECX,REG_ESP,0,MOD_BASE);
966
967 //push edx
968 compiler.codeGenerator.op_push(REG_EDX);
969
970 //push ecx
971 compiler.codeGenerator.op_push(REG_ECX);
972
973 //call operator_proc ※ ==演算子
974 compiler.codeGenerator.op_call(pUserProc);
975
976 //test eax,eax
977 compiler.codeGenerator.op_test(REG_EAX,REG_EAX);
978
979 //jne ...
980 OpBuffer[obp++]=(char)0x0F;
981 OpBuffer[obp++]=(char)0x85;
982 AddCaseSchedule();
983 obp+=sizeof(long);
984 }
985 else if(type1.IsDouble()){
986 ChangeTypeToDouble(type2.GetBasicType());
987
988 //fld qword ptr[esp]
989 compiler.codeGenerator.op_fld_ptr_esp(DEF_DOUBLE);
990
991 //add esp,CaseTypeSize
992 compiler.codeGenerator.op_add_esp(CaseTypeSize);
993
994 //fld qword ptr[esp]
995 compiler.codeGenerator.op_fld_ptr_esp(DEF_DOUBLE);
996
997 //fcompp
998 compiler.codeGenerator.op_fcompp();
999
1000 //fnstsw ax
1001 compiler.codeGenerator.op_fnstsw_ax();
1002
1003 //test ah,40
1004 compiler.codeGenerator.op_test_ah( (char)0x40 );
1005
1006 //jne ...
1007 OpBuffer[obp++]=(char)0x0F;
1008 OpBuffer[obp++]=(char)0x85;
1009 AddCaseSchedule();
1010 obp+=sizeof(long);
1011 }
1012 else if(type1.IsSingle()){
1013 ChangeTypeToSingle(type2.GetBasicType());
1014
1015 //fld dword ptr[esp]
1016 compiler.codeGenerator.op_fld_ptr_esp(DEF_SINGLE);
1017
1018 //add esp,CaseTypeSize
1019 compiler.codeGenerator.op_add_esp(CaseTypeSize);
1020
1021 //fld dword ptr[esp]
1022 compiler.codeGenerator.op_fld_ptr_esp(DEF_SINGLE);
1023
1024 //fcompp
1025 compiler.codeGenerator.op_fcompp();
1026
1027 //fnstsw ax
1028 compiler.codeGenerator.op_fnstsw_ax();
1029
1030 //test ah,40
1031 compiler.codeGenerator.op_test_ah( (char)0x40 );
1032
1033 //jne ...
1034 OpBuffer[obp++]=(char)0x0F;
1035 OpBuffer[obp++]=(char)0x85;
1036 AddCaseSchedule();
1037 obp+=sizeof(long);
1038 }
1039 else{
1040 //その他整数型
1041
1042 //pop ebx
1043 compiler.codeGenerator.op_pop(REG_EBX);
1044
1045 //mov eax,dword ptr[esp]
1046 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EAX, REG_ESP, 0, MOD_BASE );
1047
1048 //cmp eax,ebx
1049 compiler.codeGenerator.op_cmp_RR( REG_EAX, REG_EBX );
1050
1051 //je ...
1052 OpBuffer[obp++]=(char)0x0F;
1053 OpBuffer[obp++]=(char)0x84;
1054 AddCaseSchedule();
1055 obp+=sizeof(long);
1056 }
1057
1058 if(basbuf[i]!=',') break;
1059 }
1060 }
1061 if(basbuf[i]==1&&basbuf[i+1]==ESC_CASEELSE){
1062 sw=1;
1063
1064 //jmp ...
1065 OpBuffer[obp++]=(char)0xE9;
1066 AddCaseSchedule();
1067 obp+=sizeof(long);
1068 }
1069 }
1070
1071 //レキシカルスコープをレベルアップ
1072 GetLexicalScopes().Start( obp, SCOPE_TYPE_SELECT );
1073
1074 //Select Case内をコンパイル
1075 CompileBuffer(ESC_ENDSELECT,0);
1076
1077 //jmp EndSelect
1078 OpBuffer[obp++]=(char)0xE9;
1079 AddCaseSchedule();
1080 obp+=sizeof(long);
1081
1082 //最終スケジュール
1083 for(i=NowCaseSchedule;i<CaseScheduleNum;i++){
1084 *(long *)(OpBuffer+pCaseSchedule[i])=obp-(pCaseSchedule[i]+sizeof(long));
1085 }
1086 HeapDefaultFree(pCaseSchedule);
1087
1088 //レキシカルスコープをレベルダウン
1089 GetLexicalScopes().End();
1090
1091 pCaseSchedule=temp_pCaseSchedule;
1092 CaseScheduleNum=temp_CaseScheduleNum;
1093 NowCaseSchedule=temp_NowCaseSchedule;
1094 CaseTypeSize=temp_CaseTypeSize;
1095}
1096void OpcodeCase(char *Parameter){
1097 extern DWORD *pCaseSchedule;
1098 extern int NowCaseSchedule;
1099 extern int CaseTypeSize;
1100 int i;
1101
1102 if(!pCaseSchedule){
1103 SetError(30,"Case",cp);
1104 return;
1105 }
1106
1107 //jmp EndSelect
1108 OpBuffer[obp++]=(char)0xE9;
1109 AddCaseSchedule();
1110 obp+=sizeof(long);
1111
1112 i=0;
1113 while(1){
1114 //Caseスケジュール
1115 *(long *)(OpBuffer+pCaseSchedule[NowCaseSchedule])=obp-(pCaseSchedule[NowCaseSchedule]+sizeof(long));
1116 NowCaseSchedule++;
1117
1118 i=JumpOneParameter(Parameter,i);
1119 if(Parameter[i]=='\0') break;
1120 }
1121
1122 //add esp,CaseTypeSize
1123 compiler.codeGenerator.op_add_esp(CaseTypeSize);
1124}
1125
1126void OpcodeGosub(char *Parameter){
1127 extern HANDLE hHeap;
1128 extern GOTOLABELSCHEDULE *pGotoLabelSchedule;
1129 extern int GotoLabelScheduleNum;
1130 int i,LineNum;
1131
1132 if(Parameter[0]=='*'){
1133 i=GetLabelAddress(Parameter+1,0);
1134
1135 //call ...
1136 OpBuffer[obp++]=(char)0xE8;
1137 if(i==-1){
1138 pGotoLabelSchedule=(GOTOLABELSCHEDULE *)HeapReAlloc(hHeap,0,pGotoLabelSchedule,(GotoLabelScheduleNum+1)*sizeof(GOTOLABELSCHEDULE));
1139 pGotoLabelSchedule[GotoLabelScheduleNum].pName=(char *)HeapAlloc(hHeap,0,lstrlen(Parameter+1)+1);
1140 lstrcpy(pGotoLabelSchedule[GotoLabelScheduleNum].pName,Parameter+1);
1141 pGotoLabelSchedule[GotoLabelScheduleNum].pos=obp;
1142 pGotoLabelSchedule[GotoLabelScheduleNum].now_cp=cp;
1143 GotoLabelScheduleNum++;
1144 }
1145 *((long *)(OpBuffer+obp))=i-(obp+sizeof(long));
1146 obp+=sizeof(long);
1147 }
1148 else{
1149 LineNum=atoi(Parameter);
1150 i=GetLabelAddress(0,LineNum);
1151
1152 //call ...
1153 OpBuffer[obp++]=(char)0xE8;
1154 if(i==-1){
1155 pGotoLabelSchedule=(GOTOLABELSCHEDULE *)HeapReAlloc(hHeap,0,pGotoLabelSchedule,(GotoLabelScheduleNum+1)*sizeof(GOTOLABELSCHEDULE));
1156 pGotoLabelSchedule[GotoLabelScheduleNum].pName=0;
1157 pGotoLabelSchedule[GotoLabelScheduleNum].line=LineNum;
1158 pGotoLabelSchedule[GotoLabelScheduleNum].pos=obp;
1159 pGotoLabelSchedule[GotoLabelScheduleNum].now_cp=cp;
1160 GotoLabelScheduleNum++;
1161 }
1162 *((long *)(OpBuffer+obp))=i-(obp+sizeof(long));
1163 obp+=sizeof(long);
1164 }
1165}
1166void OpcodeReturn(char *Parameter){
1167 if( UserProc::IsGlobalAreaCompiling() ){
1168 //Gosub~Returnとして扱う
1169
1170 //ret
1171 compiler.codeGenerator.op_ret();
1172 }
1173 else{
1174 //戻り値をセット
1175 if(Parameter[0]){
1176 const UserProc &proc = UserProc::CompilingUserProc();
1177
1178 const char *temp = "_System_ReturnValue";
1179 if(proc.GetName()[0]==1&&proc.GetName()[1]==ESC_OPERATOR)
1180 {
1181 }
1182 else{
1183 temp=proc.GetName().c_str();
1184 }
1185
1186 char temporary[VN_SIZE];
1187 sprintf(temporary,"%s=%s",temp,Parameter);
1188 OpcodeCalc(temporary);
1189 }
1190
1191 //プロシージャを抜け出す(C言語のreturnと同様の処理を行う)
1192 OpcodeExitSub();
1193 }
1194}
1195
1196
1197////////////
1198// ポインタ
1199
1200void OpcodeSetPtrData(char *Parameter,int type){
1201 int i;
1202 char temporary[VN_SIZE];
1203
1204 if(Parameter[0]=='('){
1205 i=JumpStringInPare(Parameter,1);
1206 if(Parameter[i+1]=='\0'){
1207 for(i=0;;i++){
1208 Parameter[i]=Parameter[i+1];
1209 if(Parameter[i]=='\0') break;
1210 }
1211 Parameter[i-1]=0;
1212 }
1213 }
1214
1215 //第1パラメータを取得
1216 i=GetOneParameter(Parameter,0,temporary);
1217 if(!Parameter[i]){
1218 SetError(1,NULL,cp);
1219 return;
1220 }
1221
1222 Type resultType;
1223 if( !NumOpe(temporary,Type(),resultType) ){
1224 return;
1225 }
1226 if(!resultType.IsWhole()){
1227 SetError(11,Parameter,cp);
1228 return;
1229 }
1230
1231 ChangeTypeToLong( resultType.GetBasicType() );
1232
1233 //第2パラメータを取得
1234 i=GetOneParameter(Parameter,i,temporary);
1235 if(Parameter[i]){
1236 SetError(1,NULL,cp);
1237 return;
1238 }
1239
1240 if( !NumOpe(temporary,Type(),resultType) ){
1241 return;
1242 }
1243
1244 if(type==DEF_DOUBLE){
1245 ChangeTypeToDouble_ToFpuReg( resultType.GetBasicType() );
1246
1247 //pop eax
1248 compiler.codeGenerator.op_pop(REG_EAX);
1249
1250 //fstp qword ptr[eax]
1251 compiler.codeGenerator.PutOld(
1252 (char)0xDD,
1253 (char)0x18
1254 );
1255 }
1256 else if(type==DEF_SINGLE){
1257 ChangeTypeToSingle( resultType.GetBasicType() );
1258
1259 //pop ebx
1260 compiler.codeGenerator.op_pop(REG_EBX);
1261
1262 //pop eax
1263 compiler.codeGenerator.op_pop(REG_EAX);
1264
1265 //mov dword ptr[eax],ebx
1266 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_EBX, REG_EAX, 0, MOD_BASE );
1267 }
1268 else if(type==DEF_QWORD){
1269 ChangeTypeToInt64( resultType.GetBasicType() );
1270
1271 //pop ecx
1272 compiler.codeGenerator.op_pop(REG_ECX);
1273
1274 //pop ebx
1275 compiler.codeGenerator.op_pop(REG_EBX);
1276
1277 //pop eax
1278 compiler.codeGenerator.op_pop(REG_EAX);
1279
1280 //mov dword ptr[eax],ecx
1281 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
1282
1283 //mov dword ptr[eax+sizeof(long)],ebx
1284 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_EBX, REG_EAX, 0x04, MOD_BASE_DISP8 );
1285 }
1286 else if(type==DEF_DWORD){
1287 ChangeTypeToLong( resultType.GetBasicType() );
1288
1289 //pop ebx
1290 compiler.codeGenerator.op_pop(REG_EBX);
1291
1292 //pop eax
1293 compiler.codeGenerator.op_pop(REG_EAX);
1294
1295 //mov dword ptr[eax],ebx
1296 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_EBX, REG_EAX, 0, MOD_BASE );
1297 }
1298 else if(type==DEF_WORD){
1299 ChangeTypeToLong( resultType.GetBasicType() );
1300
1301 //pop ebx
1302 compiler.codeGenerator.op_pop(REG_EBX);
1303
1304 //pop eax
1305 compiler.codeGenerator.op_pop(REG_EAX);
1306
1307 //mov word ptr[eax],bx
1308 compiler.codeGenerator.op_mov_MR( sizeof(short), REG_EBX, REG_EAX, 0, MOD_BASE );
1309 }
1310 else if(type==DEF_BYTE){
1311 ChangeTypeToLong( resultType.GetBasicType() );
1312
1313 //pop ebx
1314 compiler.codeGenerator.op_pop(REG_EBX);
1315
1316 //pop eax
1317 compiler.codeGenerator.op_pop(REG_EAX);
1318
1319 //mov byte ptr[eax],bl
1320 compiler.codeGenerator.op_mov_MR( sizeof(char), REG_EBX, REG_EAX, 0, MOD_BASE );
1321 }
1322}
Note: See TracBrowser for help on using the repository browser.