[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 | }
|
---|
| 331 | void CParameter::SetObjectParameter(int reg,CClass *pobj_Class,LPSTR Parameter){
|
---|
| 332 | //////////////////////////////////////////////////////
|
---|
| 333 | ///// レジスタ資源のバックアップ
|
---|
| 334 | { BACKUP_REGISTER_RESOURCE
|
---|
| 335 | //////////////////////////////////////////////////////
|
---|
| 336 |
|
---|
| 337 | int object_size;
|
---|
| 338 | object_size=GetSizeOfClass(pobj_Class);
|
---|
| 339 |
|
---|
| 340 | //mov rcx,object_size
|
---|
| 341 | op_mov_RV(sizeof(_int64),REG_RCX,object_size);
|
---|
| 342 |
|
---|
| 343 | //call calloc
|
---|
| 344 | extern SUBINFO *pSub_calloc;
|
---|
| 345 | op_call(pSub_calloc);
|
---|
| 346 |
|
---|
| 347 | //mov r11,rax
|
---|
| 348 | op_mov_RR(REG_R11,REG_RAX);
|
---|
| 349 |
|
---|
| 350 | //mov qword ptr[rsp+offset],r11 ※スタックフレームを利用
|
---|
| 351 | pobj_sf->push(REG_R11);
|
---|
| 352 |
|
---|
| 353 | TYPEINFO BaseType={DEF_OBJECT,(LONG_PTR)pobj_Class};
|
---|
| 354 | TYPEINFO CalcType;
|
---|
| 355 | CalcType.type=NumOpe_GetType(Parameter,&BaseType,&CalcType.u.lpIndex);
|
---|
| 356 |
|
---|
| 357 | if(pobj_Class->CopyConstructorMemberSubIndex!=-1&&
|
---|
| 358 | CalcType.type==DEF_OBJECT&&CalcType.u.pobj_Class==pobj_Class){
|
---|
| 359 | ////////////////////////////////////
|
---|
| 360 | // コピーコンストラクタを呼び出す
|
---|
| 361 | ////////////////////////////////////
|
---|
| 362 |
|
---|
| 363 | BOOL bUseHeap;
|
---|
| 364 | int temp_reg=REG_RDX;
|
---|
| 365 | CalcType.type=NumOpe(&temp_reg,Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
|
---|
| 366 |
|
---|
| 367 | if(bUseHeap){
|
---|
| 368 | //mov r14,rdx
|
---|
| 369 | op_mov_RR(REG_R14,REG_RDX);
|
---|
| 370 | }
|
---|
| 371 |
|
---|
| 372 | //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 373 | pobj_sf->ref(REG_R11);
|
---|
| 374 |
|
---|
| 375 | //mov rcx,this
|
---|
| 376 | op_mov_RR(REG_RCX,REG_R11);
|
---|
| 377 |
|
---|
| 378 | //call constructor
|
---|
| 379 | op_call(pobj_Class->ppobj_Method[pobj_Class->CopyConstructorMemberSubIndex]->psi);
|
---|
| 380 |
|
---|
| 381 |
|
---|
| 382 | if(bUseHeap){
|
---|
| 383 | FreeTempObject(REG_R14,pobj_Class);
|
---|
| 384 | }
|
---|
| 385 | }
|
---|
| 386 | else{
|
---|
| 387 | if(pobj_Class->ConstructorMemberSubIndex!=-1){
|
---|
| 388 | ////////////////////////////////
|
---|
| 389 | // コンストラクタを呼び出す
|
---|
| 390 | ////////////////////////////////
|
---|
| 391 |
|
---|
| 392 | //mov rcx,this
|
---|
| 393 | op_mov_RR(REG_RCX,REG_R11);
|
---|
| 394 |
|
---|
| 395 | //call constructor
|
---|
| 396 | op_call(pobj_Class->ppobj_Method[pobj_Class->ConstructorMemberSubIndex]->psi);
|
---|
| 397 | }
|
---|
| 398 |
|
---|
| 399 |
|
---|
| 400 | BOOL bUseHeap;
|
---|
| 401 | int temp_reg=REG_RAX;
|
---|
| 402 | CalcType.type=NumOpe(&temp_reg,Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
|
---|
| 403 |
|
---|
| 404 |
|
---|
| 405 | //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 406 | pobj_sf->ref(REG_R11);
|
---|
| 407 |
|
---|
| 408 |
|
---|
| 409 | RELATIVE_VAR RelativeVar;
|
---|
| 410 | RelativeVar.bOffsetOffset=0;
|
---|
| 411 | RelativeVar.offset=0;
|
---|
| 412 | RelativeVar.dwKind=VAR_DIRECTMEM;
|
---|
| 413 |
|
---|
| 414 | SetObjectVariableFromRax((LONG_PTR)pobj_Class,CalcType.type,CalcType.u.lpIndex,&RelativeVar,bUseHeap);
|
---|
| 415 |
|
---|
| 416 | }
|
---|
| 417 |
|
---|
| 418 | //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 419 | pobj_sf->pop(REG_R11);
|
---|
| 420 |
|
---|
| 421 | /////////////////////////////////////////////
|
---|
| 422 | ////// レジスタ資源を復元
|
---|
| 423 | RESTORE_REGISTER_RESOURCE
|
---|
| 424 | }////////////////////////////////////////////
|
---|
| 425 |
|
---|
| 426 | //mov reg,r11
|
---|
| 427 | op_mov_RR(reg,REG_R11);
|
---|
| 428 | }
|
---|
| 429 | void CParameter::SetParameter(char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
|
---|
| 430 | ///////////////////////////////////////////////////////////
|
---|
| 431 | // パラメータをレジスタ及びスタックフレームにセット
|
---|
| 432 | ///////////////////////////////////////////////////////////
|
---|
| 433 | int i2,i3;
|
---|
| 434 |
|
---|
| 435 | BOOL bEllipse;
|
---|
| 436 | if(pi_num){
|
---|
| 437 | if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
|
---|
| 438 | else bEllipse=0;
|
---|
| 439 | }
|
---|
| 440 | else bEllipse=0;
|
---|
| 441 |
|
---|
| 442 | BOOL bHas_System_LocalThis=0;
|
---|
| 443 | if(ParmsNum>=1){
|
---|
| 444 | if(lstrcmp(ppi[0].name,"_System_LocalThis")==0)
|
---|
| 445 | bHas_System_LocalThis=1;
|
---|
| 446 | }
|
---|
| 447 |
|
---|
| 448 | //パラメータをレジスタとスタックに格納
|
---|
| 449 | int CalcType;
|
---|
| 450 | LONG_PTR lpCalcIndex;
|
---|
| 451 | BOOL bCalcUseHeap;
|
---|
| 452 | int ParmSize=0;
|
---|
| 453 | int reg,temp_reg;
|
---|
| 454 | RELATIVE_VAR RelativeVar;
|
---|
| 455 | for(i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 456 | if(bEllipse&&i2<=pi_num-2) bEllipse=0;
|
---|
| 457 |
|
---|
| 458 | if(i2==0&&ppi[i2].name){
|
---|
| 459 | if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
|
---|
| 460 | //オブジェクトメンバの第一パラメータのThisポインタ
|
---|
| 461 | continue;
|
---|
| 462 | }
|
---|
| 463 | }
|
---|
| 464 | if((i2==0||i2==1)&&ppi[i2].name){
|
---|
| 465 | if(lstrcmp(ppi[i2].name,FuncName)==0){
|
---|
| 466 | //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
|
---|
| 467 | continue;
|
---|
| 468 | }
|
---|
| 469 | }
|
---|
| 470 |
|
---|
| 471 | TYPEINFO DummyTypeInfo;
|
---|
| 472 | BOOL bByVal;
|
---|
| 473 | if(bEllipse){
|
---|
| 474 | DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
|
---|
| 475 | bByVal=1;
|
---|
| 476 | }
|
---|
| 477 | else{
|
---|
| 478 | DummyTypeInfo.type=ppi[i2].type;
|
---|
| 479 | DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
|
---|
| 480 | bByVal=ppi[i2].bByVal;
|
---|
| 481 | }
|
---|
| 482 |
|
---|
| 483 | int xmm_temp_sw=0;
|
---|
| 484 | if(IsRealNumberType(DummyTypeInfo.type)&&bByVal){
|
---|
| 485 | //実数型
|
---|
| 486 | if(i2==0) reg=REG_XMM0;
|
---|
| 487 | else if(i2==1) reg=REG_XMM1;
|
---|
| 488 | else if(i2==2) reg=REG_XMM2;
|
---|
| 489 | else if(i2==3) reg=REG_XMM3;
|
---|
| 490 | else{
|
---|
| 491 | reg=REG_XMM0;
|
---|
| 492 | xmm_temp_sw=1;
|
---|
| 493 | }
|
---|
| 494 | }
|
---|
| 495 | else{
|
---|
| 496 | //整数型
|
---|
| 497 | if(i2==0) reg=REG_RCX;
|
---|
| 498 | else if(i2==1) reg=REG_RDX;
|
---|
| 499 | else if(i2==2) reg=REG_R8;
|
---|
| 500 | else if(i2==3) reg=REG_R9;
|
---|
| 501 | else reg=REG_RAX;
|
---|
| 502 | }
|
---|
| 503 |
|
---|
| 504 | if(bByVal==1){
|
---|
| 505 | //値参照
|
---|
| 506 |
|
---|
| 507 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 508 | char temp2[255];
|
---|
| 509 | sprintf(temp2,"%s関数の第%dパラメータ",FuncName,i2+1);
|
---|
| 510 | SetError(19,temp2,cp);
|
---|
| 511 | continue;
|
---|
| 512 | }
|
---|
| 513 |
|
---|
| 514 | if(DummyTypeInfo.type==DEF_OBJECT){
|
---|
| 515 | SetObjectParameter(reg,DummyTypeInfo.u.pobj_Class,Parms[i2]);
|
---|
| 516 | goto next;
|
---|
| 517 | }
|
---|
| 518 |
|
---|
| 519 | temp_reg=reg;
|
---|
| 520 |
|
---|
| 521 | extern LONG_PTR ProcPtr_BaseIndex;
|
---|
| 522 | LONG_PTR back_ProcPtr_BaseIndex;
|
---|
| 523 | back_ProcPtr_BaseIndex=ProcPtr_BaseIndex;
|
---|
| 524 | if(DummyTypeInfo.type==DEF_PTR_PROC) ProcPtr_BaseIndex=DummyTypeInfo.u.lpIndex;
|
---|
| 525 | else ProcPtr_BaseIndex=-1;
|
---|
| 526 |
|
---|
| 527 | CalcType=NumOpe(&temp_reg,Parms[i2],DummyTypeInfo.type,DummyTypeInfo.u.lpIndex,&lpCalcIndex,&bCalcUseHeap);
|
---|
| 528 |
|
---|
| 529 | ProcPtr_BaseIndex=back_ProcPtr_BaseIndex;
|
---|
| 530 |
|
---|
| 531 | if(CalcType==-1) break;
|
---|
| 532 |
|
---|
| 533 | if(CalcType==DEF_OBJECT){
|
---|
| 534 | //キャスト演算子のオーバーロードに対応する
|
---|
| 535 | CallCastOperatorProc(reg,CalcType,lpCalcIndex,bCalcUseHeap,DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
|
---|
| 536 | }
|
---|
| 537 |
|
---|
| 538 |
|
---|
| 539 | if(bEllipse){
|
---|
| 540 | if(IsRealNumberType(CalcType)){
|
---|
| 541 | //整数レジスタへコピー
|
---|
| 542 | //※cdeclの拡張パラメータは実数の場合も汎用レジスタで引渡し
|
---|
| 543 |
|
---|
| 544 | if(0<=i2&&i2<=3){
|
---|
| 545 | if(i2==0) reg=REG_RCX;
|
---|
| 546 | else if(i2==1) reg=REG_RDX;
|
---|
| 547 | else if(i2==2) reg=REG_R8;
|
---|
| 548 | else if(i2==3) reg=REG_R9;
|
---|
| 549 |
|
---|
| 550 | //movd reg,temp_reg
|
---|
| 551 | op_movd_RX(reg,temp_reg);
|
---|
| 552 | }
|
---|
| 553 | }
|
---|
| 554 | else if(IsWholeNumberType(CalcType)){
|
---|
| 555 | //整数型の場合は、64ビットへ拡張する
|
---|
| 556 | ExtendTypeTo64(CalcType,temp_reg);
|
---|
| 557 | }
|
---|
| 558 | }
|
---|
| 559 | else{
|
---|
| 560 | //型チェック
|
---|
| 561 | if(bHas_System_LocalThis) i3=i2-1;
|
---|
| 562 | else i3=i2;
|
---|
| 563 | CheckDifferentType(
|
---|
| 564 | DummyTypeInfo.type,
|
---|
| 565 | DummyTypeInfo.u.lpIndex,
|
---|
| 566 | CalcType,
|
---|
| 567 | lpCalcIndex,
|
---|
| 568 | FuncName,
|
---|
| 569 | i3);
|
---|
| 570 |
|
---|
| 571 |
|
---|
| 572 | if(DummyTypeInfo.type==DEF_DOUBLE){
|
---|
| 573 | //Double型へ変換
|
---|
| 574 | ChangeTypeToXmm_Double(CalcType,reg,temp_reg);
|
---|
| 575 | }
|
---|
| 576 | else if(DummyTypeInfo.type==DEF_SINGLE){
|
---|
| 577 | //Single型へ変換
|
---|
| 578 | ChangeTypeToXmm_Single(CalcType,reg,temp_reg);
|
---|
| 579 | }
|
---|
| 580 | else if(IsWholeNumberType(DummyTypeInfo.type)){
|
---|
| 581 | //実数型 → 整数型
|
---|
| 582 | ChangeTypeToWhole(CalcType,DummyTypeInfo.type,reg,temp_reg);
|
---|
| 583 | }
|
---|
| 584 | }
|
---|
| 585 | }
|
---|
| 586 | else{
|
---|
| 587 | //ポインタ参照
|
---|
| 588 | if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
|
---|
| 589 | //ポインタ指定
|
---|
| 590 |
|
---|
| 591 | temp_reg=reg;
|
---|
| 592 | CalcType=NumOpe(&temp_reg,Parms[i2]+2,0,0,&lpCalcIndex);
|
---|
| 593 | if(CalcType==-1) break;
|
---|
| 594 |
|
---|
| 595 | int ptr_type;
|
---|
| 596 | ptr_type=GetPtrType(DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
|
---|
| 597 |
|
---|
| 598 | //型チェック
|
---|
| 599 | if(bHas_System_LocalThis) i3=i2-1;
|
---|
| 600 | else i3=i2;
|
---|
| 601 | CheckDifferentType(
|
---|
| 602 | ptr_type,
|
---|
| 603 | DummyTypeInfo.u.lpIndex,
|
---|
| 604 | CalcType,
|
---|
| 605 | lpCalcIndex,
|
---|
| 606 | FuncName,
|
---|
| 607 | i3);
|
---|
| 608 |
|
---|
| 609 | if(IsRealNumberType(CalcType)){
|
---|
| 610 | //実数型 → 整数型
|
---|
| 611 | ChangeTypeToWhole(CalcType,DEF_QWORD,reg,temp_reg);
|
---|
| 612 | }
|
---|
| 613 | }
|
---|
| 614 | else{
|
---|
| 615 | //変数のアドレスを取得
|
---|
| 616 | int VarType;
|
---|
| 617 | LONG_PTR lpVarIndex;
|
---|
[11] | 618 | if(!GetVarOffsetReadOnly(
|
---|
| 619 | Parms[i2],
|
---|
| 620 | &VarType,
|
---|
| 621 | &RelativeVar,
|
---|
| 622 | &lpVarIndex)) continue;
|
---|
[3] | 623 |
|
---|
| 624 | if(DummyTypeInfo.type!=DEF_ANY){
|
---|
| 625 | //型チェックを行う
|
---|
| 626 | if(DummyTypeInfo.type==VarType){
|
---|
| 627 | if(DummyTypeInfo.type==DEF_OBJECT){
|
---|
| 628 | if(DummyTypeInfo.u.lpIndex!=lpVarIndex){
|
---|
| 629 | SetError(11,Parms[i2],cp);
|
---|
| 630 | }
|
---|
| 631 | }
|
---|
| 632 | }
|
---|
| 633 | else if((VarType&FLAG_PTR)&&((VarType^FLAG_PTR)==DummyTypeInfo.type)){
|
---|
| 634 | //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
|
---|
| 635 | }
|
---|
| 636 | else{
|
---|
| 637 | SetError(11,Parms[i2],cp);
|
---|
| 638 | }
|
---|
| 639 | }
|
---|
| 640 |
|
---|
| 641 | //変数アドレスをレジスタにセット
|
---|
| 642 | SetVarPtrToReg(reg,&RelativeVar);
|
---|
| 643 | }
|
---|
| 644 | }
|
---|
| 645 | next:
|
---|
| 646 | if(reg==REG_RAX){
|
---|
| 647 | //スタックフレームへコピー
|
---|
| 648 | //mov qword ptr[rsp+offset],rax
|
---|
| 649 | op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 650 | }
|
---|
| 651 | else if(xmm_temp_sw){
|
---|
| 652 | //スタックフレームへコピー
|
---|
| 653 |
|
---|
| 654 | //movlpd qword ptr[rsp+offset],xmm0
|
---|
| 655 | op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 656 | }
|
---|
| 657 |
|
---|
| 658 |
|
---|
| 659 | /////////////////////
|
---|
| 660 | // レジスタをロック
|
---|
| 661 | /////////////////////
|
---|
| 662 |
|
---|
| 663 | if(0<=i2&&i2<=3){
|
---|
| 664 | // ※rcx, rdx, r8, r9の場合のみ
|
---|
| 665 | pobj_BlockReg->lock(reg);
|
---|
| 666 | }
|
---|
| 667 | }
|
---|
| 668 |
|
---|
| 669 | //パラメータが収まるだけのスタックフレームを確保
|
---|
| 670 | pobj_sf->parameter_allocate(pi_num*sizeof(_int64)+ sizeof(_int64)/*ret用*/ );
|
---|
| 671 | }
|
---|
| 672 | void CParameter::BackupParameter(int pi_num){
|
---|
| 673 | ///////////////////////////////////////////////////////////
|
---|
| 674 | // スタックフレームに存在する既存のパラメータをバックアップ
|
---|
| 675 | ///////////////////////////////////////////////////////////
|
---|
| 676 | int i2;
|
---|
| 677 |
|
---|
| 678 | for(i2=0;i2<ParmsNum;i2++){
|
---|
| 679 | /////////////////////
|
---|
| 680 | // バックアップ
|
---|
| 681 | /////////////////////
|
---|
| 682 |
|
---|
| 683 | extern CDBLockParms obj_DBLockParms;
|
---|
| 684 | if(obj_DBLockParms.array_LevelCount[i2]){
|
---|
| 685 | //mov r14,qword ptr[rsp+offset]
|
---|
| 686 | op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 687 |
|
---|
| 688 | //mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
|
---|
| 689 | pobj_sf->push(REG_R14);
|
---|
| 690 | }
|
---|
| 691 |
|
---|
| 692 | if(3<i2){
|
---|
| 693 | //スタックフレームをロック
|
---|
| 694 | extern CDBLockParms obj_DBLockParms;
|
---|
| 695 | obj_DBLockParms.lock(i2);
|
---|
| 696 | }
|
---|
| 697 | }
|
---|
| 698 | }
|
---|
| 699 | void CParameter::RestoreParameter(int pi_num){
|
---|
| 700 | ///////////////////////////////////////////////////////////
|
---|
| 701 | // スタックフレームに存在する既存のパラメータを復元
|
---|
| 702 | ///////////////////////////////////////////////////////////
|
---|
| 703 | int i2;
|
---|
| 704 |
|
---|
| 705 | for(i2=ParmsNum-1;i2>=0;i2--){
|
---|
| 706 | /////////////////////
|
---|
| 707 | // 復元
|
---|
| 708 | /////////////////////
|
---|
| 709 |
|
---|
| 710 | if(3<i2){
|
---|
| 711 | //スタックフレームをアンロック
|
---|
| 712 | extern CDBLockParms obj_DBLockParms;
|
---|
| 713 | obj_DBLockParms.unlock(i2);
|
---|
| 714 | }
|
---|
| 715 |
|
---|
| 716 | extern CDBLockParms obj_DBLockParms;
|
---|
| 717 | if(obj_DBLockParms.array_LevelCount[i2]){
|
---|
| 718 | //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 719 | pobj_sf->pop(REG_R14);
|
---|
| 720 |
|
---|
| 721 | //mov qword ptr[rsp+offset],r14
|
---|
| 722 | op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
|
---|
| 723 | }
|
---|
| 724 | }
|
---|
| 725 | }
|
---|