[3] | 1 | #include "../BasicCompiler_Common/common.h"
|
---|
| 2 | #include "opcode.h"
|
---|
| 3 |
|
---|
[64] | 4 | int CParameter::NewTempParameters( const char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum ){
|
---|
[20] | 5 | ///////////////////////////////////////////////////////
|
---|
| 6 | // 一時オブジェクトをあらかじめスタックに積んでおく
|
---|
| 7 | ///////////////////////////////////////////////////////
|
---|
| 8 |
|
---|
| 9 | useTempObject = false;
|
---|
| 10 |
|
---|
[64] | 11 | //一時参照の数
|
---|
[20] | 12 | nCountOfTempObjects = 0;
|
---|
| 13 |
|
---|
| 14 | BOOL bEllipse;
|
---|
| 15 | if(pi_num){
|
---|
| 16 | if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
|
---|
| 17 | else bEllipse=0;
|
---|
| 18 | }
|
---|
| 19 | else bEllipse=0;
|
---|
| 20 |
|
---|
| 21 | for(int i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 22 | useTempParameters[i2] = false;
|
---|
| 23 |
|
---|
| 24 | if(bEllipse&&i2<=pi_num-2) bEllipse=0;
|
---|
| 25 |
|
---|
| 26 | if(i2==0&&ppi[i2].name){
|
---|
| 27 | if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
|
---|
| 28 | //オブジェクトメンバの第一パラメータのThisポインタ
|
---|
| 29 | continue;
|
---|
| 30 | }
|
---|
| 31 | }
|
---|
| 32 | if((i2==0||i2==1)&&ppi[i2].name){
|
---|
| 33 | if(lstrcmp(ppi[i2].name,FuncName)==0){
|
---|
| 34 | //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
|
---|
| 35 | continue;
|
---|
| 36 | }
|
---|
| 37 | }
|
---|
| 38 |
|
---|
| 39 | TYPEINFO DummyTypeInfo;
|
---|
| 40 | BOOL bByVal;
|
---|
| 41 | if(bEllipse){
|
---|
| 42 | DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
|
---|
| 43 | bByVal=1;
|
---|
| 44 | }
|
---|
| 45 | else{
|
---|
| 46 | DummyTypeInfo.type=ppi[i2].type;
|
---|
| 47 | DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
|
---|
| 48 | bByVal=ppi[i2].bByVal;
|
---|
| 49 | }
|
---|
| 50 |
|
---|
| 51 |
|
---|
| 52 | if( !bByVal ){
|
---|
| 53 | //ポインタ参照
|
---|
| 54 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 55 | //ポインタ指定
|
---|
| 56 | continue;
|
---|
| 57 | }
|
---|
| 58 |
|
---|
| 59 | LONG_PTR lpVarIndex;
|
---|
| 60 | if( GetVarType( Parms[i2], &lpVarIndex, FALSE ) == -1 ){
|
---|
| 61 | //変数ではないとき
|
---|
| 62 | int reg = REG_RAX;
|
---|
| 63 | int type = NumOpe( Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
|
---|
| 64 | //↑ここでスタックに積む
|
---|
| 65 |
|
---|
[64] | 66 | nCountOfTempObjects++;
|
---|
| 67 |
|
---|
| 68 | if( type == DEF_OBJECT ){
|
---|
| 69 | //一時参照を作成
|
---|
| 70 |
|
---|
| 71 | //push esp
|
---|
| 72 | op_push( REG_ESP );
|
---|
| 73 |
|
---|
| 74 | nCountOfTempObjects++;
|
---|
| 75 | }
|
---|
| 76 |
|
---|
[45] | 77 | bool result = CheckDifferentType(
|
---|
| 78 | DummyTypeInfo.type,
|
---|
| 79 | DummyTypeInfo.u.lpIndex,
|
---|
| 80 | type,
|
---|
| 81 | lpVarIndex,
|
---|
| 82 | FuncName,
|
---|
| 83 | i2);
|
---|
[20] | 84 |
|
---|
[45] | 85 | if( result ){
|
---|
| 86 | useTempParameters[i2] = true;
|
---|
| 87 | useTempObject = true;
|
---|
[20] | 88 |
|
---|
[45] | 89 | types[i2].type = type;
|
---|
| 90 | types[i2].u.lpIndex = lpVarIndex;
|
---|
| 91 | }
|
---|
[20] | 92 | }
|
---|
| 93 | }
|
---|
| 94 | }
|
---|
[64] | 95 |
|
---|
| 96 | return nCountOfTempObjects * PTR_SIZE;
|
---|
[20] | 97 | }
|
---|
[64] | 98 |
|
---|
[20] | 99 | void CParameter::DeleteTempParameters(){
|
---|
| 100 | ///////////////////////////////////////////////////////
|
---|
| 101 | // 一時オブジェクトを破棄
|
---|
| 102 | ///////////////////////////////////////////////////////
|
---|
| 103 | if( !useTempObject ) return;
|
---|
| 104 |
|
---|
| 105 | for(int i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 106 | if( useTempParameters[i2] ){
|
---|
[64] | 107 | if( types[i2].type == DEF_STRUCT ){
|
---|
| 108 | // 構造体の一時メモリ
|
---|
[20] | 109 |
|
---|
[64] | 110 | //メモリを解放する
|
---|
[20] | 111 |
|
---|
[64] | 112 | //call free
|
---|
| 113 | extern SUBINFO *pSub_free;
|
---|
| 114 | op_call(pSub_free);
|
---|
[45] | 115 | }
|
---|
[64] | 116 | else if( types[i2].type == DEF_OBJECT ){
|
---|
| 117 | op_pop( REG_NON );
|
---|
| 118 | op_pop( REG_NON );
|
---|
| 119 | }
|
---|
| 120 | else{
|
---|
| 121 | SetError(300,NULL,cp);
|
---|
| 122 | }
|
---|
[20] | 123 |
|
---|
| 124 | }
|
---|
| 125 | }
|
---|
| 126 | }
|
---|
| 127 |
|
---|
[64] | 128 | void CParameter::SetStructParameter(CClass *pobj_Class,LPSTR Parameter){
|
---|
[63] | 129 | int object_size = pobj_Class->GetSize();
|
---|
[3] | 130 |
|
---|
| 131 | //push object_size
|
---|
| 132 | op_push_value(object_size);
|
---|
| 133 |
|
---|
| 134 | //call calloc
|
---|
| 135 | extern SUBINFO *pSub_calloc;
|
---|
| 136 | op_call(pSub_calloc);
|
---|
| 137 |
|
---|
| 138 | //push eax
|
---|
| 139 | op_push(REG_EAX);
|
---|
| 140 |
|
---|
| 141 |
|
---|
[64] | 142 | TYPEINFO BaseType={DEF_STRUCT,(LONG_PTR)pobj_Class};
|
---|
[3] | 143 | TYPEINFO CalcType;
|
---|
| 144 | CalcType.type=NumOpe_GetType(Parameter,&BaseType,&CalcType.u.lpIndex);
|
---|
| 145 |
|
---|
[64] | 146 | /*
|
---|
| 147 | TODO: 消す
|
---|
[51] | 148 | if( pobj_Class->GetCopyConstructorMethod()
|
---|
| 149 | && CalcType.type==DEF_OBJECT&&CalcType.u.pobj_Class==pobj_Class){
|
---|
[3] | 150 | ////////////////////////////////////
|
---|
| 151 | // コピーコンストラクタを呼び出す
|
---|
| 152 | ////////////////////////////////////
|
---|
| 153 |
|
---|
| 154 | //push eax
|
---|
| 155 | op_push(REG_EAX);
|
---|
| 156 |
|
---|
| 157 | BOOL bUseHeap;
|
---|
| 158 | CalcType.type=NumOpe(Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
|
---|
| 159 |
|
---|
| 160 | //pop ecx
|
---|
| 161 | op_pop(REG_ECX);
|
---|
| 162 |
|
---|
| 163 | //pop eax
|
---|
| 164 | op_pop(REG_EAX);
|
---|
| 165 |
|
---|
| 166 | if(bUseHeap){
|
---|
| 167 | //※解放用に退避
|
---|
| 168 | //mov esi,ecx
|
---|
| 169 | op_mov_RR(REG_ESI,REG_ECX);
|
---|
| 170 | }
|
---|
| 171 |
|
---|
| 172 | //push ecx
|
---|
| 173 | op_push(REG_ECX);
|
---|
| 174 |
|
---|
| 175 | //push eax
|
---|
| 176 | op_push(REG_EAX);
|
---|
| 177 |
|
---|
| 178 | //call constructor
|
---|
[51] | 179 | op_call(pobj_Class->GetCopyConstructorMethod()->psi);
|
---|
[3] | 180 |
|
---|
| 181 |
|
---|
| 182 | if(bUseHeap){
|
---|
| 183 | FreeTempObject(REG_ESI,pobj_Class);
|
---|
| 184 | }
|
---|
| 185 | }
|
---|
[64] | 186 | else{*/
|
---|
| 187 |
|
---|
| 188 |
|
---|
[3] | 189 | //push eax
|
---|
| 190 | op_push(REG_EAX);
|
---|
| 191 |
|
---|
[64] | 192 | /*
|
---|
| 193 | TODO: 消す
|
---|
[51] | 194 | if( pobj_Class->GetConstructorMethod() ){
|
---|
[3] | 195 | ////////////////////////////////
|
---|
| 196 | // コンストラクタを呼び出す
|
---|
| 197 | ////////////////////////////////
|
---|
| 198 |
|
---|
| 199 | //push this
|
---|
| 200 | op_push(REG_EAX);
|
---|
| 201 |
|
---|
| 202 | //call constructor
|
---|
[51] | 203 | op_call(pobj_Class->GetConstructorMethod()->psi);
|
---|
[3] | 204 | }
|
---|
[64] | 205 | */
|
---|
[3] | 206 |
|
---|
| 207 | BOOL bUseHeap;
|
---|
[64] | 208 | CalcType.type=NumOpe(Parameter,DEF_STRUCT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
|
---|
[3] | 209 |
|
---|
| 210 |
|
---|
| 211 |
|
---|
[64] | 212 | SetStructVariable((LONG_PTR)pobj_Class,CalcType.type,CalcType.u.lpIndex,bUseHeap);
|
---|
| 213 | //}
|
---|
[3] | 214 | }
|
---|
| 215 |
|
---|
[46] | 216 | int CParameter::SetParameter(const char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
|
---|
[3] | 217 | ///////////////////////////////////////////////////////////
|
---|
| 218 | // パラメータをレジスタ及びスタックフレームにセット
|
---|
| 219 | ///////////////////////////////////////////////////////////
|
---|
| 220 | int i2,i3;
|
---|
| 221 |
|
---|
| 222 | BOOL bEllipse;
|
---|
| 223 | if(pi_num){
|
---|
| 224 | if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
|
---|
| 225 | else bEllipse=0;
|
---|
| 226 | }
|
---|
| 227 | else bEllipse=0;
|
---|
| 228 |
|
---|
| 229 | BOOL bHas_System_LocalThis=0;
|
---|
| 230 | if(ParmsNum>=1){
|
---|
| 231 | if(lstrcmp(ppi[0].name,"_System_LocalThis")==0)
|
---|
| 232 | bHas_System_LocalThis=1;
|
---|
| 233 | }
|
---|
| 234 |
|
---|
[28] | 235 | //戻り値用の変数名を取得
|
---|
[46] | 236 | const char *lpszVarNameToReturn = (FuncName[0]==1&&FuncName[1]==ESC_OPERATOR)?"_System_ReturnValue":FuncName;
|
---|
[28] | 237 |
|
---|
[3] | 238 | //パラメータをレジスタとスタックに格納
|
---|
| 239 | int CalcType;
|
---|
| 240 | LONG_PTR lpCalcIndex;
|
---|
| 241 | BOOL bCalcUseHeap;
|
---|
| 242 | int ParmSize=0;
|
---|
| 243 | RELATIVE_VAR RelativeVar;
|
---|
[20] | 244 | int nCountOfNowTempObjects = 0;
|
---|
[3] | 245 | for(i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 246 | if(bEllipse&&i2<=pi_num-2) bEllipse=0;
|
---|
| 247 |
|
---|
| 248 | if(i2==0&&ppi[i2].name){
|
---|
| 249 | if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
|
---|
| 250 | //オブジェクトメンバの第一パラメータのThisポインタ
|
---|
| 251 | continue;
|
---|
| 252 | }
|
---|
| 253 | }
|
---|
| 254 | if((i2==0||i2==1)&&ppi[i2].name){
|
---|
[28] | 255 | if(lstrcmp(ppi[i2].name,lpszVarNameToReturn)==0){
|
---|
[3] | 256 | //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
|
---|
| 257 | continue;
|
---|
| 258 | }
|
---|
| 259 | }
|
---|
| 260 |
|
---|
| 261 | TYPEINFO DummyTypeInfo;
|
---|
| 262 | BOOL bByVal;
|
---|
| 263 | if(bEllipse){
|
---|
| 264 | DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
|
---|
| 265 | bByVal=1;
|
---|
| 266 | }
|
---|
| 267 | else{
|
---|
| 268 | DummyTypeInfo.type=ppi[i2].type;
|
---|
| 269 | DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
|
---|
| 270 | bByVal=ppi[i2].bByVal;
|
---|
| 271 | }
|
---|
| 272 |
|
---|
| 273 | if(bByVal==1){
|
---|
| 274 | //値参照
|
---|
| 275 |
|
---|
| 276 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 277 | char temp2[255];
|
---|
| 278 | sprintf(temp2,"%s関数の第%dパラメータ",FuncName,i2+1);
|
---|
| 279 | SetError(19,temp2,cp);
|
---|
| 280 | continue;
|
---|
| 281 | }
|
---|
| 282 |
|
---|
[64] | 283 | if(DummyTypeInfo.type==DEF_STRUCT){
|
---|
| 284 | SetStructParameter(DummyTypeInfo.u.pobj_Class,Parms[i2]);
|
---|
[3] | 285 | goto next;
|
---|
| 286 | }
|
---|
| 287 |
|
---|
| 288 |
|
---|
| 289 | extern LONG_PTR ProcPtr_BaseIndex;
|
---|
| 290 | LONG_PTR back_ProcPtr_BaseIndex;
|
---|
| 291 | back_ProcPtr_BaseIndex=ProcPtr_BaseIndex;
|
---|
| 292 | if(DummyTypeInfo.type==DEF_PTR_PROC) ProcPtr_BaseIndex=DummyTypeInfo.u.lpIndex;
|
---|
| 293 | else ProcPtr_BaseIndex=-1;
|
---|
| 294 |
|
---|
| 295 | CalcType=NumOpe(Parms[i2],DummyTypeInfo.type,DummyTypeInfo.u.lpIndex,&lpCalcIndex,&bCalcUseHeap);
|
---|
| 296 |
|
---|
| 297 | ProcPtr_BaseIndex=back_ProcPtr_BaseIndex;
|
---|
| 298 |
|
---|
| 299 | if(CalcType==-1) break;
|
---|
| 300 |
|
---|
| 301 | if(CalcType==DEF_OBJECT){
|
---|
[64] | 302 | if( DummyTypeInfo.type != DEF_OBJECT
|
---|
| 303 | ||
|
---|
| 304 | DummyTypeInfo.type == DEF_OBJECT &&
|
---|
| 305 | !DummyTypeInfo.u.pobj_Class->IsEqualsOrSubClass( (CClass *)lpCalcIndex ) ){
|
---|
| 306 | //キャスト演算子のオーバーロードに対応する
|
---|
| 307 | CallCastOperatorProc(CalcType,lpCalcIndex,bCalcUseHeap,DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
|
---|
| 308 | }
|
---|
[3] | 309 | }
|
---|
| 310 |
|
---|
| 311 | if(!bEllipse){
|
---|
| 312 | //型チェック
|
---|
| 313 | if(bHas_System_LocalThis) i3=i2-1;
|
---|
| 314 | else i3=i2;
|
---|
| 315 | CheckDifferentType(
|
---|
| 316 | DummyTypeInfo.type,
|
---|
| 317 | DummyTypeInfo.u.lpIndex,
|
---|
| 318 | CalcType,
|
---|
| 319 | lpCalcIndex,
|
---|
| 320 | FuncName,
|
---|
| 321 | i3);
|
---|
| 322 | }
|
---|
| 323 |
|
---|
| 324 | if(DummyTypeInfo.type==DEF_DOUBLE){
|
---|
| 325 | ChangeTypeToDouble(CalcType);
|
---|
| 326 | ParmSize+=sizeof(long)*2;
|
---|
| 327 | }
|
---|
| 328 | else if(DummyTypeInfo.type==DEF_SINGLE){
|
---|
| 329 | ChangeTypeToSingle(CalcType);
|
---|
| 330 | ParmSize+=sizeof(long);
|
---|
| 331 | }
|
---|
| 332 | else if(DummyTypeInfo.type==DEF_INT64||DummyTypeInfo.type==DEF_QWORD){
|
---|
| 333 | ChangeTypeToInt64(CalcType);
|
---|
| 334 | ParmSize+=sizeof(long)*2;
|
---|
| 335 | }
|
---|
[64] | 336 | else if(DummyTypeInfo.type==DEF_LONG||DummyTypeInfo.type==DEF_DWORD||DummyTypeInfo.type==DEF_OBJECT||DummyTypeInfo.type==DEF_STRUCT||
|
---|
[3] | 337 | (IsPtrType(DummyTypeInfo.type)/*&&DummyTypeInfo.type!=DEF_PTR_VOID&&DummyTypeInfo.type!=DEF_PTR_BYTE*/)){
|
---|
| 338 | ChangeTypeToLong(CalcType);
|
---|
| 339 | ParmSize+=sizeof(long);
|
---|
| 340 | }
|
---|
[55] | 341 | else if(DummyTypeInfo.type==DEF_INTEGER||DummyTypeInfo.type==DEF_WORD || (isUnicode&&DummyTypeInfo.type==DEF_CHAR)){
|
---|
[3] | 342 | ChangeTypeToInteger(CalcType);
|
---|
| 343 | ParmSize+=sizeof(long);
|
---|
| 344 | }
|
---|
[55] | 345 | else if(DummyTypeInfo.type==DEF_SBYTE||DummyTypeInfo.type==DEF_BYTE||DummyTypeInfo.type==DEF_BOOLEAN || (isUnicode==false&&DummyTypeInfo.type==DEF_CHAR)){
|
---|
[3] | 346 | ChangeTypeToByte(CalcType);
|
---|
| 347 | ParmSize+=sizeof(long);
|
---|
| 348 | }
|
---|
| 349 | else{
|
---|
| 350 | SetError(300,NULL,cp);
|
---|
| 351 | }
|
---|
| 352 | }
|
---|
| 353 | else{
|
---|
| 354 | //ポインタ参照
|
---|
| 355 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 356 | //ポインタ指定
|
---|
| 357 | i3=NumOpe(Parms[i2]+2,0,0,0);
|
---|
| 358 |
|
---|
| 359 | ChangeTypeToLong(i3);
|
---|
| 360 | }
|
---|
| 361 | else{
|
---|
[64] | 362 | if( useTempParameters[i2] ){
|
---|
| 363 | //一時オブジェクトをコピー
|
---|
[20] | 364 |
|
---|
[64] | 365 | if( types[i2].type == DEF_OBJECT ){
|
---|
| 366 | // 一時参照のための領域を考慮する
|
---|
| 367 | nCountOfNowTempObjects++;
|
---|
| 368 | }
|
---|
[20] | 369 |
|
---|
[64] | 370 | nCountOfNowTempObjects++;
|
---|
[3] | 371 |
|
---|
[20] | 372 | //mov eax, dword ptr[esp+offset]
|
---|
| 373 | op_mov_RM(
|
---|
| 374 | sizeof(long),
|
---|
| 375 | REG_EAX,
|
---|
| 376 | REG_ESP,
|
---|
[64] | 377 | ( ( ParmsNum - i2 - 1 ) + ( nCountOfTempObjects - nCountOfNowTempObjects ) ) * PTR_SIZE,
|
---|
[20] | 378 | MOD_BASE_DISP32 );
|
---|
[3] | 379 |
|
---|
[20] | 380 | //push eax
|
---|
| 381 | op_push(REG_EAX);
|
---|
[64] | 382 | }
|
---|
| 383 | else{
|
---|
| 384 | //変数のアドレスを取得
|
---|
| 385 | int VarType;
|
---|
| 386 | LONG_PTR lpVarIndex;
|
---|
| 387 | if(GetVarOffset(
|
---|
| 388 | false,
|
---|
| 389 | false,
|
---|
| 390 | Parms[i2],
|
---|
| 391 | &VarType,
|
---|
| 392 | &RelativeVar,
|
---|
| 393 | &lpVarIndex)){
|
---|
| 394 | if(DummyTypeInfo.type!=DEF_ANY){
|
---|
| 395 | //型チェックを行う
|
---|
| 396 | if(DummyTypeInfo.type==VarType){
|
---|
| 397 | if(DummyTypeInfo.type==DEF_OBJECT){
|
---|
| 398 | if( !DummyTypeInfo.u.pobj_Class->IsEqualsOrSubClass( (CClass *)lpVarIndex ) ){
|
---|
| 399 | SetError(11,Parms[i2],cp);
|
---|
| 400 | }
|
---|
| 401 | }
|
---|
| 402 | else if(DummyTypeInfo.type==DEF_STRUCT){
|
---|
| 403 | if( !DummyTypeInfo.u.pobj_Class->IsEquals( (CClass *)lpVarIndex ) ){
|
---|
| 404 | SetError(11,Parms[i2],cp);
|
---|
| 405 | }
|
---|
| 406 | }
|
---|
| 407 | }
|
---|
| 408 | else if((VarType&FLAG_PTR)&&((int)(VarType^FLAG_PTR)==DummyTypeInfo.type)){
|
---|
| 409 | //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
|
---|
| 410 | }
|
---|
| 411 | else{
|
---|
| 412 | SetError(11,Parms[i2],cp);
|
---|
| 413 | }
|
---|
| 414 | }
|
---|
[20] | 415 |
|
---|
[64] | 416 | //変数アドレスをレジスタにセット
|
---|
| 417 | SetVarPtrToEax(&RelativeVar);
|
---|
| 418 |
|
---|
| 419 | //push eax
|
---|
| 420 | op_push(REG_EAX);
|
---|
| 421 | }
|
---|
[20] | 422 | }
|
---|
[3] | 423 | }
|
---|
| 424 |
|
---|
| 425 | ParmSize+=PTR_SIZE;
|
---|
| 426 | }
|
---|
| 427 |
|
---|
| 428 | next:;
|
---|
| 429 | }
|
---|
| 430 |
|
---|
| 431 | return ParmSize;
|
---|
| 432 | }
|
---|