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