[3] | 1 | #include "../BasicCompiler_Common/common.h"
|
---|
| 2 | #include "opcode.h"
|
---|
| 3 |
|
---|
| 4 | CParameter::CParameter(char *buffer){
|
---|
| 5 | ///////////////////////////
|
---|
| 6 | // パラメータ文字列を整理
|
---|
| 7 | ///////////////////////////
|
---|
| 8 |
|
---|
| 9 | extern HANDLE hHeap;
|
---|
| 10 | int i,i2,i3;
|
---|
| 11 | char temporary[VN_SIZE];
|
---|
| 12 |
|
---|
| 13 | i=0;
|
---|
| 14 | ParmsNum=0;
|
---|
| 15 | while(1){
|
---|
| 16 | if(buffer[i]=='\0') break;
|
---|
| 17 |
|
---|
| 18 | for(i2=0;;i2++,i++){
|
---|
| 19 | if(buffer[i]=='\"'){
|
---|
| 20 | temporary[i2]=buffer[i];
|
---|
| 21 | for(i++,i2++;;i++,i2++){
|
---|
| 22 | temporary[i2]=buffer[i];
|
---|
| 23 | if(buffer[i]=='\"') break;
|
---|
| 24 | }
|
---|
| 25 | continue;
|
---|
| 26 | }
|
---|
| 27 |
|
---|
| 28 | if(buffer[i]=='('){
|
---|
| 29 | i3=GetStringInPare(temporary+i2,buffer+i);
|
---|
| 30 | i2+=i3-1;
|
---|
| 31 | i+=i3-1;
|
---|
| 32 | continue;
|
---|
| 33 | }
|
---|
| 34 | if(buffer[i]=='['){
|
---|
| 35 | i3=GetStringInBracket(temporary+i2,buffer+i);
|
---|
| 36 | i2+=i3-1;
|
---|
| 37 | i+=i3-1;
|
---|
| 38 | continue;
|
---|
| 39 | }
|
---|
| 40 |
|
---|
| 41 | if(buffer[i]==','||buffer[i]=='\0'){
|
---|
| 42 | temporary[i2]=0;
|
---|
| 43 | break;
|
---|
| 44 | }
|
---|
| 45 | temporary[i2]=buffer[i];
|
---|
| 46 | }
|
---|
| 47 |
|
---|
| 48 | Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
|
---|
| 49 | lstrcpy(Parms[ParmsNum],temporary);
|
---|
| 50 | ParmsNum++;
|
---|
| 51 |
|
---|
| 52 | if(buffer[i]==',') i++;
|
---|
| 53 | }
|
---|
| 54 |
|
---|
| 55 | ReturnTypeInfo.type=0;
|
---|
| 56 | ReturnTypeInfo.u.lpIndex=0;
|
---|
| 57 | }
|
---|
| 58 | CParameter::CParameter(PARAMETER_INFO *pParamInfo,int ParmNum){
|
---|
| 59 | int i;
|
---|
| 60 | for(i=0;i<ParmNum;i++){
|
---|
| 61 | Parms[i]=0;
|
---|
| 62 | types[i].type=pParamInfo[i].type;
|
---|
| 63 | types[i].u.lpIndex=pParamInfo[i].u.index;
|
---|
| 64 | }
|
---|
| 65 | this->ParmsNum=ParmNum;
|
---|
| 66 |
|
---|
| 67 | ReturnTypeInfo.type=0;
|
---|
| 68 | ReturnTypeInfo.u.lpIndex=0;
|
---|
| 69 | }
|
---|
| 70 | CParameter::~CParameter(){
|
---|
| 71 | int i2;
|
---|
| 72 |
|
---|
| 73 | //パラメータ文字列を解放
|
---|
| 74 | for(i2=0;i2<ParmsNum;i2++){
|
---|
| 75 | if(Parms[i2]==(char *)-1) continue;
|
---|
| 76 |
|
---|
| 77 | if(Parms[i2]) HeapDefaultFree(Parms[i2]);
|
---|
| 78 | }
|
---|
| 79 | }
|
---|
| 80 |
|
---|
| 81 | void CParameter::SetReturnType(TYPEINFO *pTypeInfo){
|
---|
| 82 | ReturnTypeInfo=*pTypeInfo;
|
---|
| 83 | }
|
---|
| 84 |
|
---|
| 85 | BOOL CParameter::_overload_check(PARAMETER_INFO *ppi,int pi_num,TYPEINFO *pReturnTypeInfo,int overload_level){
|
---|
| 86 | //パラメータを識別してオーバーロードを解決
|
---|
| 87 |
|
---|
| 88 | //パラメータの個数が不一致の場合
|
---|
| 89 | if(pi_num!=ParmsNum) return 0;
|
---|
| 90 |
|
---|
| 91 | int i,type;
|
---|
| 92 | LONG_PTR lpIndex;
|
---|
| 93 | for(i=0;i<pi_num;i++){
|
---|
| 94 | if(Parms[i]){
|
---|
| 95 | TYPEINFO BaseType={ppi[i].type,ppi[i].u.index};
|
---|
| 96 | if(Parms[i][0]==1&&Parms[i][1]==ESC_BYVAL){
|
---|
| 97 | type=NumOpe_GetType(Parms[i]+2,&BaseType,&lpIndex);
|
---|
| 98 | type=MAKE_PTR_TYPE(NATURAL_TYPE(type),PTR_LEVEL(type)-1);
|
---|
| 99 | }
|
---|
| 100 | else{
|
---|
| 101 | type=NumOpe_GetType(Parms[i],&BaseType,&lpIndex);
|
---|
| 102 | }
|
---|
| 103 | }
|
---|
| 104 | else{
|
---|
| 105 | type=types[i].type;
|
---|
| 106 | lpIndex=types[i].u.lpIndex;
|
---|
| 107 | }
|
---|
| 108 |
|
---|
| 109 | if(type!=ppi[i].type){
|
---|
| 110 | if(overload_level==OVERLOAD_LEVEL1){
|
---|
| 111 | return 0;
|
---|
| 112 | }
|
---|
| 113 | else if(overload_level==OVERLOAD_LEVEL2){
|
---|
| 114 | if(!(
|
---|
| 115 | IsWholeNumberType(type)&&IsWholeNumberType(ppi[i].type)||
|
---|
| 116 | IsRealNumberType(type)&&IsRealNumberType(ppi[i].type)
|
---|
| 117 | )) return 0;
|
---|
| 118 | }
|
---|
| 119 | else if(overload_level==OVERLOAD_LEVEL3){
|
---|
| 120 | if(type==DEF_OBJECT||ppi[i].type==DEF_OBJECT) return 0;
|
---|
| 121 | }
|
---|
| 122 | }
|
---|
| 123 | else{
|
---|
| 124 | if(NATURAL_TYPE(type)==DEF_OBJECT){
|
---|
| 125 | if(lpIndex!=ppi[i].u.index) return 0;
|
---|
| 126 | }
|
---|
| 127 | }
|
---|
| 128 | }
|
---|
| 129 |
|
---|
| 130 | if(pReturnTypeInfo){
|
---|
| 131 | //戻り値も比較対象にする
|
---|
| 132 | if(ReturnTypeInfo.type==pReturnTypeInfo->type){
|
---|
| 133 | if(NATURAL_TYPE(ReturnTypeInfo.type)==DEF_OBJECT){
|
---|
| 134 | if(ReturnTypeInfo.u.lpIndex != pReturnTypeInfo->u.lpIndex) return 0;
|
---|
| 135 | }
|
---|
| 136 | }
|
---|
| 137 | else return 0;
|
---|
| 138 | }
|
---|
| 139 |
|
---|
| 140 | return 1;
|
---|
| 141 | }
|
---|
| 142 | SUBINFO *CParameter::OverloadSolutionWithReturnType(char *name,SUBINFO **ppsi,int num){
|
---|
| 143 | int i,sw=0;
|
---|
| 144 | SUBINFO *psi;
|
---|
| 145 | psi=0;
|
---|
| 146 | for(i=0;i<num;i++){
|
---|
| 147 | psi=ppsi[i];
|
---|
| 148 |
|
---|
| 149 | TYPEINFO ReturnTypeInfo;
|
---|
| 150 | ReturnTypeInfo.type=psi->ReturnType;
|
---|
| 151 | ReturnTypeInfo.u.lpIndex=psi->u.ReturnIndex;
|
---|
| 152 |
|
---|
| 153 | //エラーチェック
|
---|
| 154 | if(_overload_check(psi->pParmInfo,psi->ParmNum,&ReturnTypeInfo,OVERLOAD_LEVEL1)){
|
---|
| 155 | if(sw){
|
---|
| 156 | SetError(52,name,cp);
|
---|
| 157 | return 0;
|
---|
| 158 | }
|
---|
| 159 | sw=1;
|
---|
| 160 | break;
|
---|
| 161 | }
|
---|
| 162 | }
|
---|
| 163 |
|
---|
| 164 | if(!sw){
|
---|
| 165 | for(i=0;i<num;i++){
|
---|
| 166 | psi=ppsi[i];
|
---|
| 167 |
|
---|
| 168 | TYPEINFO ReturnTypeInfo;
|
---|
| 169 | ReturnTypeInfo.type=psi->ReturnType;
|
---|
| 170 | ReturnTypeInfo.u.lpIndex=psi->u.ReturnIndex;
|
---|
| 171 |
|
---|
| 172 | //エラーチェック
|
---|
| 173 | if(_overload_check(psi->pParmInfo,psi->ParmNum,&ReturnTypeInfo,OVERLOAD_LEVEL2)){
|
---|
| 174 | if(sw){
|
---|
| 175 | SetError(52,name,cp);
|
---|
| 176 | return 0;
|
---|
| 177 | }
|
---|
| 178 | sw=1;
|
---|
| 179 | break;
|
---|
| 180 | }
|
---|
| 181 | }
|
---|
| 182 | }
|
---|
| 183 |
|
---|
| 184 | if(!sw){
|
---|
| 185 | for(i=0;i<num;i++){
|
---|
| 186 | psi=ppsi[i];
|
---|
| 187 |
|
---|
| 188 | TYPEINFO ReturnTypeInfo;
|
---|
| 189 | ReturnTypeInfo.type=psi->ReturnType;
|
---|
| 190 | ReturnTypeInfo.u.lpIndex=psi->u.ReturnIndex;
|
---|
| 191 |
|
---|
| 192 | //エラーチェック
|
---|
| 193 | if(_overload_check(psi->pParmInfo,psi->ParmNum,&ReturnTypeInfo,OVERLOAD_LEVEL3)){
|
---|
| 194 | if(sw){
|
---|
| 195 | SetError(52,name,cp);
|
---|
| 196 | return 0;
|
---|
| 197 | }
|
---|
| 198 | sw=1;
|
---|
| 199 | break;
|
---|
| 200 | }
|
---|
| 201 | }
|
---|
| 202 | }
|
---|
| 203 |
|
---|
| 204 | if(!sw){
|
---|
| 205 | SetError(52,name,cp);
|
---|
| 206 | return 0;
|
---|
| 207 | }
|
---|
| 208 |
|
---|
| 209 | return psi;
|
---|
| 210 | }
|
---|
| 211 |
|
---|
| 212 | SUBINFO *CParameter::OverloadSolution(char *name,SUBINFO **ppsi,int num){
|
---|
| 213 | int i,sw=0;
|
---|
| 214 | SUBINFO *psi;
|
---|
| 215 | psi=0;
|
---|
| 216 | for(i=0;i<num;i++){
|
---|
| 217 | psi=ppsi[i];
|
---|
| 218 |
|
---|
| 219 | //エラーチェック
|
---|
| 220 | if(_overload_check(psi->pParmInfo,psi->ParmNum,NULL,OVERLOAD_LEVEL1)){
|
---|
| 221 | if(sw){
|
---|
| 222 | return OverloadSolutionWithReturnType(name,ppsi,num);
|
---|
| 223 | }
|
---|
| 224 | sw=1;
|
---|
| 225 | break;
|
---|
| 226 | }
|
---|
| 227 | }
|
---|
| 228 |
|
---|
| 229 | if(!sw){
|
---|
| 230 | for(i=0;i<num;i++){
|
---|
| 231 | psi=ppsi[i];
|
---|
| 232 |
|
---|
| 233 | //エラーチェック
|
---|
| 234 | if(_overload_check(psi->pParmInfo,psi->ParmNum,NULL,OVERLOAD_LEVEL2)){
|
---|
| 235 | if(sw){
|
---|
| 236 | return OverloadSolutionWithReturnType(name,ppsi,num);
|
---|
| 237 | }
|
---|
| 238 | sw=1;
|
---|
| 239 | break;
|
---|
| 240 | }
|
---|
| 241 | }
|
---|
| 242 | }
|
---|
| 243 |
|
---|
| 244 | if(!sw){
|
---|
| 245 | for(i=0;i<num;i++){
|
---|
| 246 | psi=ppsi[i];
|
---|
| 247 |
|
---|
| 248 | //エラーチェック
|
---|
| 249 | if(_overload_check(psi->pParmInfo,psi->ParmNum,NULL,OVERLOAD_LEVEL3)){
|
---|
| 250 | if(sw){
|
---|
| 251 | return OverloadSolutionWithReturnType(name,ppsi,num);
|
---|
| 252 | }
|
---|
| 253 | sw=1;
|
---|
| 254 | break;
|
---|
| 255 | }
|
---|
| 256 | }
|
---|
| 257 | }
|
---|
| 258 |
|
---|
| 259 | if(!sw){
|
---|
| 260 | SUBINFO *temp_psi;
|
---|
| 261 | for(i=0;i<num;i++){
|
---|
| 262 | temp_psi=ppsi[i];
|
---|
| 263 |
|
---|
| 264 | //エラーチェック
|
---|
| 265 | if(temp_psi->ParmNum==this->ParmsNum){
|
---|
| 266 | if(sw){
|
---|
| 267 | sw=0;
|
---|
| 268 | break;
|
---|
| 269 | }
|
---|
| 270 | sw=1;
|
---|
| 271 |
|
---|
| 272 | psi=temp_psi;
|
---|
| 273 | }
|
---|
| 274 | }
|
---|
| 275 | }
|
---|
| 276 |
|
---|
| 277 | if(!sw){
|
---|
| 278 | SetError(52,name,cp);
|
---|
| 279 | return 0;
|
---|
| 280 | }
|
---|
| 281 |
|
---|
| 282 | return psi;
|
---|
| 283 | }
|
---|
| 284 |
|
---|
| 285 | BOOL CParameter::ErrorCheck(char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
|
---|
| 286 | if(ParmsNum>pi_num){
|
---|
| 287 | if(ppi[pi_num-1].type!=DEF_ELLIPSE){
|
---|
| 288 | //パラメータが多すぎるとき
|
---|
| 289 | SetError(10,FuncName,cp);
|
---|
| 290 | return 0;
|
---|
| 291 | }
|
---|
| 292 | }
|
---|
| 293 | else if(ParmsNum<pi_num){
|
---|
| 294 | if(ParmsNum<SecondParmNum){
|
---|
| 295 | if(ppi[ParmsNum].type==DEF_ELLIPSE){
|
---|
| 296 | return 1;
|
---|
| 297 | }
|
---|
| 298 |
|
---|
| 299 | //パラメータが少なすぎるとき
|
---|
| 300 | SetError(10,FuncName,cp);
|
---|
| 301 | return 0;
|
---|
| 302 | }
|
---|
| 303 |
|
---|
| 304 | //省略パラメータに "0" を指定する
|
---|
| 305 | for(;ParmsNum < pi_num;ParmsNum++){
|
---|
| 306 | extern HANDLE hHeap;
|
---|
| 307 | char temporary[64];
|
---|
| 308 | if(ppi[ParmsNum].bByVal) lstrcpy(temporary,"0");
|
---|
| 309 | else sprintf(temporary,"%c%c0",1,ESC_BYVAL);
|
---|
| 310 | Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
|
---|
| 311 | lstrcpy(Parms[ParmsNum],temporary);
|
---|
| 312 | }
|
---|
| 313 | }
|
---|
| 314 |
|
---|
| 315 | return 1;
|
---|
| 316 | }
|
---|
| 317 | void CParameter::MacroParameterSupport(PARAMETER_INFO *ppi){
|
---|
| 318 | int i;
|
---|
| 319 | for(i=0;i<ParmsNum;i++){
|
---|
| 320 | if(Parms[i][0]=='\0'){
|
---|
| 321 | extern HANDLE hHeap;
|
---|
| 322 | char temporary[64];
|
---|
| 323 | if(ppi[i].bByVal) lstrcpy(temporary,"0");
|
---|
| 324 | else sprintf(temporary,"%c%c0",1,ESC_BYVAL);
|
---|
| 325 | HeapDefaultFree(Parms[i]);
|
---|
| 326 | Parms[i]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
|
---|
| 327 | lstrcpy(Parms[i],temporary);
|
---|
| 328 | }
|
---|
| 329 | }
|
---|
| 330 | }
|
---|
[20] | 331 |
|
---|
| 332 | void CParameter::NewTempParameters( char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum ){
|
---|
| 333 | ///////////////////////////////////////////////////////
|
---|
| 334 | // 一時オブジェクトをあらかじめスタックに積んでおく
|
---|
| 335 | ///////////////////////////////////////////////////////
|
---|
| 336 |
|
---|
| 337 | useTempObject = false;
|
---|
| 338 |
|
---|
| 339 | BOOL bEllipse;
|
---|
| 340 | if(pi_num){
|
---|
| 341 | if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
|
---|
| 342 | else bEllipse=0;
|
---|
| 343 | }
|
---|
| 344 | else bEllipse=0;
|
---|
| 345 |
|
---|
| 346 | for(int i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 347 | useTempParameters[i2] = false;
|
---|
| 348 |
|
---|
| 349 | if(bEllipse&&i2<=pi_num-2) bEllipse=0;
|
---|
| 350 |
|
---|
| 351 | if(i2==0&&ppi[i2].name){
|
---|
| 352 | if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
|
---|
| 353 | //オブジェクトメンバの第一パラメータのThisポインタ
|
---|
| 354 | continue;
|
---|
| 355 | }
|
---|
| 356 | }
|
---|
| 357 | if((i2==0||i2==1)&&ppi[i2].name){
|
---|
| 358 | if(lstrcmp(ppi[i2].name,FuncName)==0){
|
---|
| 359 | //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
|
---|
| 360 | continue;
|
---|
| 361 | }
|
---|
| 362 | }
|
---|
| 363 |
|
---|
| 364 | TYPEINFO DummyTypeInfo;
|
---|
| 365 | BOOL bByVal;
|
---|
| 366 | if(bEllipse){
|
---|
| 367 | DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
|
---|
| 368 | bByVal=1;
|
---|
| 369 | }
|
---|
| 370 | else{
|
---|
| 371 | DummyTypeInfo.type=ppi[i2].type;
|
---|
| 372 | DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
|
---|
| 373 | bByVal=ppi[i2].bByVal;
|
---|
| 374 | }
|
---|
| 375 |
|
---|
| 376 |
|
---|
| 377 | if( !bByVal ){
|
---|
| 378 | //ポインタ参照
|
---|
| 379 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 380 | //ポインタ指定
|
---|
| 381 | continue;
|
---|
| 382 | }
|
---|
| 383 |
|
---|
| 384 | LONG_PTR lpVarIndex;
|
---|
| 385 | if( GetVarType( Parms[i2], &lpVarIndex, FALSE ) == -1 ){
|
---|
| 386 | //変数ではないとき
|
---|
| 387 | int reg = REG_RAX;
|
---|
| 388 | int type = NumOpe( ®, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
|
---|
| 389 |
|
---|
| 390 | //スタックフレームへコピー
|
---|
| 391 | StackOffsetOfTempObject[i2] = pobj_sf->push(reg);
|
---|
| 392 |
|
---|
| 393 | useTempParameters[i2] = true;
|
---|
| 394 | useTempObject = true;
|
---|
| 395 |
|
---|
| 396 | types[i2].type = type;
|
---|
| 397 | types[i2].u.lpIndex = lpVarIndex;
|
---|
| 398 | }
|
---|
| 399 | }
|
---|
| 400 | }
|
---|
| 401 | }
|
---|
| 402 | void CParameter::DeleteTempParameters(){
|
---|
| 403 | ///////////////////////////////////////////////////////
|
---|
| 404 | // 一時オブジェクトを破棄
|
---|
| 405 | ///////////////////////////////////////////////////////
|
---|
| 406 | if( !useTempObject ) return;
|
---|
| 407 |
|
---|
| 408 | for(int i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 409 | if( useTempParameters[i2] ){
|
---|
| 410 | //スタックフレームから取得
|
---|
| 411 | pobj_sf->ref(REG_RCX);
|
---|
| 412 |
|
---|
| 413 | //デストラクタを呼び出す
|
---|
| 414 |
|
---|
| 415 | //call destructor
|
---|
| 416 | int i5 = types[i2].u.pobj_Class->DestructorMemberSubIndex;
|
---|
| 417 | op_call( types[i2].u.pobj_Class->ppobj_Method[i5]->psi );
|
---|
| 418 |
|
---|
| 419 | //メモリを解放する
|
---|
| 420 |
|
---|
| 421 | pobj_sf->pop(REG_RCX);
|
---|
| 422 |
|
---|
| 423 | //call free
|
---|
| 424 | extern SUBINFO *pSub_free;
|
---|
| 425 | op_call(pSub_free);
|
---|
| 426 | }
|
---|
| 427 | }
|
---|
| 428 | }
|
---|
| 429 |
|
---|
[3] | 430 | void CParameter::SetObjectParameter(int reg,CClass *pobj_Class,LPSTR Parameter){
|
---|
| 431 | //////////////////////////////////////////////////////
|
---|
| 432 | ///// レジスタ資源のバックアップ
|
---|
| 433 | { BACKUP_REGISTER_RESOURCE
|
---|
| 434 | //////////////////////////////////////////////////////
|
---|
| 435 |
|
---|
| 436 | int object_size;
|
---|
| 437 | object_size=GetSizeOfClass(pobj_Class);
|
---|
| 438 |
|
---|
| 439 | //mov rcx,object_size
|
---|
| 440 | op_mov_RV(sizeof(_int64),REG_RCX,object_size);
|
---|
| 441 |
|
---|
| 442 | //call calloc
|
---|
| 443 | extern SUBINFO *pSub_calloc;
|
---|
| 444 | op_call(pSub_calloc);
|
---|
| 445 |
|
---|
| 446 | //mov r11,rax
|
---|
| 447 | op_mov_RR(REG_R11,REG_RAX);
|
---|
| 448 |
|
---|
| 449 | //mov qword ptr[rsp+offset],r11 ※スタックフレームを利用
|
---|
| 450 | pobj_sf->push(REG_R11);
|
---|
| 451 |
|
---|
| 452 | TYPEINFO BaseType={DEF_OBJECT,(LONG_PTR)pobj_Class};
|
---|
| 453 | TYPEINFO CalcType;
|
---|
| 454 | CalcType.type=NumOpe_GetType(Parameter,&BaseType,&CalcType.u.lpIndex);
|
---|
| 455 |
|
---|
| 456 | if(pobj_Class->CopyConstructorMemberSubIndex!=-1&&
|
---|
| 457 | CalcType.type==DEF_OBJECT&&CalcType.u.pobj_Class==pobj_Class){
|
---|
| 458 | ////////////////////////////////////
|
---|
| 459 | // コピーコンストラクタを呼び出す
|
---|
| 460 | ////////////////////////////////////
|
---|
| 461 |
|
---|
| 462 | BOOL bUseHeap;
|
---|
| 463 | int temp_reg=REG_RDX;
|
---|
| 464 | CalcType.type=NumOpe(&temp_reg,Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
|
---|
| 465 |
|
---|
| 466 | if(bUseHeap){
|
---|
| 467 | //mov r14,rdx
|
---|
| 468 | op_mov_RR(REG_R14,REG_RDX);
|
---|
| 469 | }
|
---|
| 470 |
|
---|
| 471 | //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 472 | pobj_sf->ref(REG_R11);
|
---|
| 473 |
|
---|
| 474 | //mov rcx,this
|
---|
| 475 | op_mov_RR(REG_RCX,REG_R11);
|
---|
| 476 |
|
---|
| 477 | //call constructor
|
---|
| 478 | op_call(pobj_Class->ppobj_Method[pobj_Class->CopyConstructorMemberSubIndex]->psi);
|
---|
| 479 |
|
---|
| 480 |
|
---|
| 481 | if(bUseHeap){
|
---|
| 482 | FreeTempObject(REG_R14,pobj_Class);
|
---|
| 483 | }
|
---|
| 484 | }
|
---|
| 485 | else{
|
---|
| 486 | if(pobj_Class->ConstructorMemberSubIndex!=-1){
|
---|
| 487 | ////////////////////////////////
|
---|
| 488 | // コンストラクタを呼び出す
|
---|
| 489 | ////////////////////////////////
|
---|
| 490 |
|
---|
| 491 | //mov rcx,this
|
---|
| 492 | op_mov_RR(REG_RCX,REG_R11);
|
---|
| 493 |
|
---|
| 494 | //call constructor
|
---|
| 495 | op_call(pobj_Class->ppobj_Method[pobj_Class->ConstructorMemberSubIndex]->psi);
|
---|
| 496 | }
|
---|
| 497 |
|
---|
| 498 |
|
---|
| 499 | BOOL bUseHeap;
|
---|
| 500 | int temp_reg=REG_RAX;
|
---|
| 501 | CalcType.type=NumOpe(&temp_reg,Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
|
---|
| 502 |
|
---|
| 503 |
|
---|
| 504 | //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 505 | pobj_sf->ref(REG_R11);
|
---|
| 506 |
|
---|
| 507 |
|
---|
| 508 | RELATIVE_VAR RelativeVar;
|
---|
| 509 | RelativeVar.bOffsetOffset=0;
|
---|
| 510 | RelativeVar.offset=0;
|
---|
| 511 | RelativeVar.dwKind=VAR_DIRECTMEM;
|
---|
| 512 |
|
---|
| 513 | SetObjectVariableFromRax((LONG_PTR)pobj_Class,CalcType.type,CalcType.u.lpIndex,&RelativeVar,bUseHeap);
|
---|
| 514 |
|
---|
| 515 | }
|
---|
| 516 |
|
---|
| 517 | //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 518 | pobj_sf->pop(REG_R11);
|
---|
| 519 |
|
---|
| 520 | /////////////////////////////////////////////
|
---|
| 521 | ////// レジスタ資源を復元
|
---|
| 522 | RESTORE_REGISTER_RESOURCE
|
---|
| 523 | }////////////////////////////////////////////
|
---|
| 524 |
|
---|
| 525 | //mov reg,r11
|
---|
| 526 | op_mov_RR(reg,REG_R11);
|
---|
| 527 | }
|
---|
[20] | 528 |
|
---|
[3] | 529 | void CParameter::SetParameter(char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
|
---|
| 530 | ///////////////////////////////////////////////////////////
|
---|
| 531 | // パラメータをレジスタ及びスタックフレームにセット
|
---|
| 532 | ///////////////////////////////////////////////////////////
|
---|
| 533 | int i2,i3;
|
---|
| 534 |
|
---|
| 535 | BOOL bEllipse;
|
---|
| 536 | if(pi_num){
|
---|
| 537 | if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
|
---|
| 538 | else bEllipse=0;
|
---|
| 539 | }
|
---|
| 540 | else bEllipse=0;
|
---|
| 541 |
|
---|
| 542 | BOOL bHas_System_LocalThis=0;
|
---|
| 543 | if(ParmsNum>=1){
|
---|
| 544 | if(lstrcmp(ppi[0].name,"_System_LocalThis")==0)
|
---|
| 545 | bHas_System_LocalThis=1;
|
---|
| 546 | }
|
---|
| 547 |
|
---|
[28] | 548 | //戻り値用の変数名を取得
|
---|
| 549 | char *lpszVarNameToReturn;
|
---|
| 550 | if(FuncName[0]==1&&FuncName[1]==ESC_OPERATOR) lpszVarNameToReturn="_System_ReturnValue";
|
---|
| 551 | else lpszVarNameToReturn=FuncName;
|
---|
| 552 |
|
---|
[3] | 553 | //パラメータをレジスタとスタックに格納
|
---|
| 554 | int CalcType;
|
---|
| 555 | LONG_PTR lpCalcIndex;
|
---|
| 556 | BOOL bCalcUseHeap;
|
---|
| 557 | int ParmSize=0;
|
---|
| 558 | int reg,temp_reg;
|
---|
| 559 | RELATIVE_VAR RelativeVar;
|
---|
| 560 | for(i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 561 | if(bEllipse&&i2<=pi_num-2) bEllipse=0;
|
---|
| 562 |
|
---|
| 563 | if(i2==0&&ppi[i2].name){
|
---|
| 564 | if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
|
---|
| 565 | //オブジェクトメンバの第一パラメータのThisポインタ
|
---|
| 566 | continue;
|
---|
| 567 | }
|
---|
| 568 | }
|
---|
| 569 | if((i2==0||i2==1)&&ppi[i2].name){
|
---|
[28] | 570 | if(lstrcmp(ppi[i2].name,lpszVarNameToReturn)==0){
|
---|
[3] | 571 | //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
|
---|
| 572 | continue;
|
---|
| 573 | }
|
---|
| 574 | }
|
---|
| 575 |
|
---|
| 576 | TYPEINFO DummyTypeInfo;
|
---|
| 577 | BOOL bByVal;
|
---|
| 578 | if(bEllipse){
|
---|
| 579 | DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
|
---|
| 580 | bByVal=1;
|
---|
| 581 | }
|
---|
| 582 | else{
|
---|
| 583 | DummyTypeInfo.type=ppi[i2].type;
|
---|
| 584 | DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
|
---|
| 585 | bByVal=ppi[i2].bByVal;
|
---|
| 586 | }
|
---|
| 587 |
|
---|
| 588 | int xmm_temp_sw=0;
|
---|
| 589 | if(IsRealNumberType(DummyTypeInfo.type)&&bByVal){
|
---|
| 590 | //実数型
|
---|
| 591 | if(i2==0) reg=REG_XMM0;
|
---|
| 592 | else if(i2==1) reg=REG_XMM1;
|
---|
| 593 | else if(i2==2) reg=REG_XMM2;
|
---|
| 594 | else if(i2==3) reg=REG_XMM3;
|
---|
| 595 | else{
|
---|
| 596 | reg=REG_XMM0;
|
---|
| 597 | xmm_temp_sw=1;
|
---|
| 598 | }
|
---|
| 599 | }
|
---|
| 600 | else{
|
---|
| 601 | //整数型
|
---|
| 602 | if(i2==0) reg=REG_RCX;
|
---|
| 603 | else if(i2==1) reg=REG_RDX;
|
---|
| 604 | else if(i2==2) reg=REG_R8;
|
---|
| 605 | else if(i2==3) reg=REG_R9;
|
---|
| 606 | else reg=REG_RAX;
|
---|
| 607 | }
|
---|
| 608 |
|
---|
| 609 | if(bByVal==1){
|
---|
| 610 | //値参照
|
---|
| 611 |
|
---|
| 612 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 613 | char temp2[255];
|
---|
| 614 | sprintf(temp2,"%s関数の第%dパラメータ",FuncName,i2+1);
|
---|
| 615 | SetError(19,temp2,cp);
|
---|
| 616 | continue;
|
---|
| 617 | }
|
---|
| 618 |
|
---|
| 619 | if(DummyTypeInfo.type==DEF_OBJECT){
|
---|
| 620 | SetObjectParameter(reg,DummyTypeInfo.u.pobj_Class,Parms[i2]);
|
---|
| 621 | goto next;
|
---|
| 622 | }
|
---|
| 623 |
|
---|
| 624 | temp_reg=reg;
|
---|
| 625 |
|
---|
| 626 | extern LONG_PTR ProcPtr_BaseIndex;
|
---|
| 627 | LONG_PTR back_ProcPtr_BaseIndex;
|
---|
| 628 | back_ProcPtr_BaseIndex=ProcPtr_BaseIndex;
|
---|
| 629 | if(DummyTypeInfo.type==DEF_PTR_PROC) ProcPtr_BaseIndex=DummyTypeInfo.u.lpIndex;
|
---|
| 630 | else ProcPtr_BaseIndex=-1;
|
---|
| 631 |
|
---|
| 632 | CalcType=NumOpe(&temp_reg,Parms[i2],DummyTypeInfo.type,DummyTypeInfo.u.lpIndex,&lpCalcIndex,&bCalcUseHeap);
|
---|
| 633 |
|
---|
| 634 | ProcPtr_BaseIndex=back_ProcPtr_BaseIndex;
|
---|
| 635 |
|
---|
| 636 | if(CalcType==-1) break;
|
---|
| 637 |
|
---|
| 638 | if(CalcType==DEF_OBJECT){
|
---|
| 639 | //キャスト演算子のオーバーロードに対応する
|
---|
| 640 | CallCastOperatorProc(reg,CalcType,lpCalcIndex,bCalcUseHeap,DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
|
---|
| 641 | }
|
---|
| 642 |
|
---|
| 643 |
|
---|
| 644 | if(bEllipse){
|
---|
| 645 | if(IsRealNumberType(CalcType)){
|
---|
| 646 | //整数レジスタへコピー
|
---|
| 647 | //※cdeclの拡張パラメータは実数の場合も汎用レジスタで引渡し
|
---|
| 648 |
|
---|
| 649 | if(0<=i2&&i2<=3){
|
---|
| 650 | if(i2==0) reg=REG_RCX;
|
---|
| 651 | else if(i2==1) reg=REG_RDX;
|
---|
| 652 | else if(i2==2) reg=REG_R8;
|
---|
| 653 | else if(i2==3) reg=REG_R9;
|
---|
| 654 |
|
---|
| 655 | //movd reg,temp_reg
|
---|
| 656 | op_movd_RX(reg,temp_reg);
|
---|
| 657 | }
|
---|
| 658 | }
|
---|
| 659 | else if(IsWholeNumberType(CalcType)){
|
---|
| 660 | //整数型の場合は、64ビットへ拡張する
|
---|
| 661 | ExtendTypeTo64(CalcType,temp_reg);
|
---|
| 662 | }
|
---|
| 663 | }
|
---|
| 664 | else{
|
---|
| 665 | //型チェック
|
---|
| 666 | if(bHas_System_LocalThis) i3=i2-1;
|
---|
| 667 | else i3=i2;
|
---|
| 668 | CheckDifferentType(
|
---|
| 669 | DummyTypeInfo.type,
|
---|
| 670 | DummyTypeInfo.u.lpIndex,
|
---|
| 671 | CalcType,
|
---|
| 672 | lpCalcIndex,
|
---|
| 673 | FuncName,
|
---|
| 674 | i3);
|
---|
| 675 |
|
---|
| 676 |
|
---|
| 677 | if(DummyTypeInfo.type==DEF_DOUBLE){
|
---|
| 678 | //Double型へ変換
|
---|
| 679 | ChangeTypeToXmm_Double(CalcType,reg,temp_reg);
|
---|
| 680 | }
|
---|
| 681 | else if(DummyTypeInfo.type==DEF_SINGLE){
|
---|
| 682 | //Single型へ変換
|
---|
| 683 | ChangeTypeToXmm_Single(CalcType,reg,temp_reg);
|
---|
| 684 | }
|
---|
| 685 | else if(IsWholeNumberType(DummyTypeInfo.type)){
|
---|
| 686 | //実数型 → 整数型
|
---|
| 687 | ChangeTypeToWhole(CalcType,DummyTypeInfo.type,reg,temp_reg);
|
---|
| 688 | }
|
---|
| 689 | }
|
---|
| 690 | }
|
---|
| 691 | else{
|
---|
| 692 | //ポインタ参照
|
---|
| 693 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 694 | //ポインタ指定
|
---|
| 695 |
|
---|
| 696 | temp_reg=reg;
|
---|
| 697 | CalcType=NumOpe(&temp_reg,Parms[i2]+2,0,0,&lpCalcIndex);
|
---|
| 698 | if(CalcType==-1) break;
|
---|
| 699 |
|
---|
| 700 | int ptr_type;
|
---|
| 701 | ptr_type=GetPtrType(DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
|
---|
| 702 |
|
---|
| 703 | //型チェック
|
---|
| 704 | if(bHas_System_LocalThis) i3=i2-1;
|
---|
| 705 | else i3=i2;
|
---|
| 706 | CheckDifferentType(
|
---|
| 707 | ptr_type,
|
---|
| 708 | DummyTypeInfo.u.lpIndex,
|
---|
| 709 | CalcType,
|
---|
| 710 | lpCalcIndex,
|
---|
| 711 | FuncName,
|
---|
| 712 | i3);
|
---|
| 713 |
|
---|
| 714 | if(IsRealNumberType(CalcType)){
|
---|
| 715 | //実数型 → 整数型
|
---|
| 716 | ChangeTypeToWhole(CalcType,DEF_QWORD,reg,temp_reg);
|
---|
| 717 | }
|
---|
| 718 | }
|
---|
| 719 | else{
|
---|
| 720 | //変数のアドレスを取得
|
---|
| 721 | int VarType;
|
---|
| 722 | LONG_PTR lpVarIndex;
|
---|
[20] | 723 | if(GetVarOffset(
|
---|
| 724 | false,
|
---|
| 725 | false,
|
---|
[11] | 726 | Parms[i2],
|
---|
| 727 | &VarType,
|
---|
| 728 | &RelativeVar,
|
---|
[20] | 729 | &lpVarIndex)){
|
---|
[3] | 730 |
|
---|
[20] | 731 | if(DummyTypeInfo.type!=DEF_ANY){
|
---|
| 732 | //型チェックを行う
|
---|
| 733 | if(DummyTypeInfo.type==VarType){
|
---|
| 734 | if(DummyTypeInfo.type==DEF_OBJECT){
|
---|
| 735 | if(DummyTypeInfo.u.lpIndex!=lpVarIndex){
|
---|
| 736 | SetError(11,Parms[i2],cp);
|
---|
| 737 | }
|
---|
| 738 | }
|
---|
| 739 | }
|
---|
| 740 | else if((VarType&FLAG_PTR)&&((VarType^FLAG_PTR)==DummyTypeInfo.type)){
|
---|
| 741 | //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
|
---|
| 742 | }
|
---|
| 743 | else{
|
---|
[3] | 744 | SetError(11,Parms[i2],cp);
|
---|
| 745 | }
|
---|
| 746 | }
|
---|
[20] | 747 |
|
---|
| 748 | //変数アドレスをレジスタにセット
|
---|
| 749 | SetVarPtrToReg(reg,&RelativeVar);
|
---|
| 750 |
|
---|
[3] | 751 | }
|
---|
[20] | 752 | else{
|
---|
| 753 | //一時オブジェクトをコピー
|
---|
[3] | 754 |
|
---|
[20] | 755 | //mov reg, qword ptr[rsp+offset]
|
---|
| 756 | pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
|
---|
| 757 |
|
---|
| 758 | //VarType = NumOpe( ®, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
|
---|
| 759 | }
|
---|
[3] | 760 | }
|
---|
| 761 | }
|
---|
| 762 | next:
|
---|
| 763 | if(reg==REG_RAX){
|
---|
| 764 | //スタックフレームへコピー
|
---|
| 765 | //mov qword ptr[rsp+offset],rax
|
---|
| 766 | op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 767 | }
|
---|
| 768 | else if(xmm_temp_sw){
|
---|
| 769 | //スタックフレームへコピー
|
---|
| 770 |
|
---|
| 771 | //movlpd qword ptr[rsp+offset],xmm0
|
---|
| 772 | op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 773 | }
|
---|
| 774 |
|
---|
| 775 |
|
---|
| 776 | /////////////////////
|
---|
| 777 | // レジスタをロック
|
---|
| 778 | /////////////////////
|
---|
| 779 |
|
---|
| 780 | if(0<=i2&&i2<=3){
|
---|
| 781 | // ※rcx, rdx, r8, r9の場合のみ
|
---|
| 782 | pobj_BlockReg->lock(reg);
|
---|
| 783 | }
|
---|
| 784 | }
|
---|
| 785 |
|
---|
| 786 | //パラメータが収まるだけのスタックフレームを確保
|
---|
| 787 | pobj_sf->parameter_allocate(pi_num*sizeof(_int64)+ sizeof(_int64)/*ret用*/ );
|
---|
| 788 | }
|
---|
| 789 | void CParameter::BackupParameter(int pi_num){
|
---|
| 790 | ///////////////////////////////////////////////////////////
|
---|
| 791 | // スタックフレームに存在する既存のパラメータをバックアップ
|
---|
| 792 | ///////////////////////////////////////////////////////////
|
---|
| 793 | int i2;
|
---|
| 794 |
|
---|
| 795 | for(i2=0;i2<ParmsNum;i2++){
|
---|
| 796 | /////////////////////
|
---|
| 797 | // バックアップ
|
---|
| 798 | /////////////////////
|
---|
| 799 |
|
---|
| 800 | extern CDBLockParms obj_DBLockParms;
|
---|
| 801 | if(obj_DBLockParms.array_LevelCount[i2]){
|
---|
| 802 | //mov r14,qword ptr[rsp+offset]
|
---|
| 803 | op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 804 |
|
---|
| 805 | //mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
|
---|
| 806 | pobj_sf->push(REG_R14);
|
---|
| 807 | }
|
---|
| 808 |
|
---|
| 809 | if(3<i2){
|
---|
| 810 | //スタックフレームをロック
|
---|
| 811 | extern CDBLockParms obj_DBLockParms;
|
---|
| 812 | obj_DBLockParms.lock(i2);
|
---|
| 813 | }
|
---|
| 814 | }
|
---|
| 815 | }
|
---|
| 816 | void CParameter::RestoreParameter(int pi_num){
|
---|
| 817 | ///////////////////////////////////////////////////////////
|
---|
| 818 | // スタックフレームに存在する既存のパラメータを復元
|
---|
| 819 | ///////////////////////////////////////////////////////////
|
---|
| 820 | int i2;
|
---|
| 821 |
|
---|
| 822 | for(i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 823 | /////////////////////
|
---|
| 824 | // 復元
|
---|
| 825 | /////////////////////
|
---|
| 826 |
|
---|
| 827 | if(3<i2){
|
---|
| 828 | //スタックフレームをアンロック
|
---|
| 829 | extern CDBLockParms obj_DBLockParms;
|
---|
| 830 | obj_DBLockParms.unlock(i2);
|
---|
| 831 | }
|
---|
| 832 |
|
---|
| 833 | extern CDBLockParms obj_DBLockParms;
|
---|
| 834 | if(obj_DBLockParms.array_LevelCount[i2]){
|
---|
| 835 | //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 836 | pobj_sf->pop(REG_R14);
|
---|
| 837 |
|
---|
| 838 | //mov qword ptr[rsp+offset],r14
|
---|
| 839 | op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 840 | }
|
---|
| 841 | }
|
---|
| 842 | }
|
---|