| 1 | #include "../BasicCompiler_Common/common.h" | 
|---|
| 2 | #include "opcode.h" | 
|---|
| 3 |  | 
|---|
| 4 | void _call_constructor( const CClass *pobj_c,const char *CreateParameter,int ObjectSize,BOOL bSomeObjects){ | 
|---|
| 5 | //////////////////////////// | 
|---|
| 6 | // コンストラクタの呼び出し | 
|---|
| 7 | //////////////////////////// | 
|---|
| 8 |  | 
|---|
| 9 | //この関数を使用する場合は、 | 
|---|
| 10 | //・ebxにオブジェクトの個数(複数個の場合のみ) | 
|---|
| 11 | //・スタックフレームの先頭参照位置に先頭Thisポインタ | 
|---|
| 12 | //をセットしておかなければならない | 
|---|
| 13 |  | 
|---|
| 14 | int jnz_back; | 
|---|
| 15 |  | 
|---|
| 16 |  | 
|---|
| 17 | //jnzの番地 | 
|---|
| 18 | jnz_back=obp; | 
|---|
| 19 |  | 
|---|
| 20 | if(bSomeObjects){ | 
|---|
| 21 | //mov qword ptr[rsp+offset],rbx     ※スタックフレームを利用 | 
|---|
| 22 | pobj_sf->push(REG_RBX); | 
|---|
| 23 |  | 
|---|
| 24 | // ※ここでプッシュされた値はコンストラクタのthisポインタとなる | 
|---|
| 25 | //mov qword ptr[rsp+offset],rax     ※スタックフレームを利用 | 
|---|
| 26 | pobj_sf->push(REG_RAX); | 
|---|
| 27 | } | 
|---|
| 28 |  | 
|---|
| 29 |  | 
|---|
| 30 | //////////////////////// | 
|---|
| 31 | // オーバーロードを解決 | 
|---|
| 32 | //////////////////////// | 
|---|
| 33 |  | 
|---|
| 34 | std::vector<UserProc *> subs; | 
|---|
| 35 | pobj_c->EnumMethod( pobj_c->name, subs ); | 
|---|
| 36 |  | 
|---|
| 37 | UserProc *pUserProc; | 
|---|
| 38 | if( subs.size() > 0 ){ | 
|---|
| 39 | //オーバーロードを解決 | 
|---|
| 40 | pUserProc=OverloadSolutionWithStrParam(pobj_c->name, | 
|---|
| 41 | subs,CreateParameter,""); | 
|---|
| 42 |  | 
|---|
| 43 | if(!pUserProc) return; | 
|---|
| 44 | } | 
|---|
| 45 |  | 
|---|
| 46 | //コンストラクタを呼び出す | 
|---|
| 47 | Opcode_CallProc(CreateParameter, | 
|---|
| 48 | pUserProc, | 
|---|
| 49 | PROCFLAG_NEW,"",0); | 
|---|
| 50 |  | 
|---|
| 51 | if(bSomeObjects){ | 
|---|
| 52 | //mov rax,qword ptr[rsp+offset]     ※スタックフレームを利用 | 
|---|
| 53 | pobj_sf->pop(REG_RAX); | 
|---|
| 54 |  | 
|---|
| 55 | //mov rbx,qword ptr[rsp+offset]     ※スタックフレームを利用 | 
|---|
| 56 | pobj_sf->pop(REG_RBX); | 
|---|
| 57 |  | 
|---|
| 58 | //add eax,TypeSize | 
|---|
| 59 | OpBuffer[obp++]=(char)0x05; | 
|---|
| 60 | *((long *)(OpBuffer+obp))=ObjectSize; | 
|---|
| 61 | obp+=sizeof(long); | 
|---|
| 62 |  | 
|---|
| 63 | //sub ebx,1 | 
|---|
| 64 | OpBuffer[obp++]=(char)0x83; | 
|---|
| 65 | OpBuffer[obp++]=(char)0xEB; | 
|---|
| 66 | OpBuffer[obp++]=(char)0x01; | 
|---|
| 67 |  | 
|---|
| 68 | //jnz ↑ | 
|---|
| 69 | OpBuffer[obp++]=(char)0x0F; | 
|---|
| 70 | OpBuffer[obp++]=(char)0x85; | 
|---|
| 71 | *((long *)(OpBuffer+obp))=jnz_back-(obp+sizeof(long)); | 
|---|
| 72 | obp+=sizeof(long); | 
|---|
| 73 | } | 
|---|
| 74 | } | 
|---|
| 75 | void Operator_New( const CClass &classObj, const char *objectSizeStr, const char *parameter, const Type &baseType ){ | 
|---|
| 76 | int typeSize = classObj.GetSize(); | 
|---|
| 77 |  | 
|---|
| 78 | if(classObj.IsAbstract()){ | 
|---|
| 79 | //抽象クラスだったとき | 
|---|
| 80 | SetError(125,classObj.name,cp); | 
|---|
| 81 | } | 
|---|
| 82 |  | 
|---|
| 83 | BOOL bSomeObjects=0; | 
|---|
| 84 | if(objectSizeStr[0]){ | 
|---|
| 85 | bSomeObjects=1; | 
|---|
| 86 |  | 
|---|
| 87 | int reg=REG_RAX; | 
|---|
| 88 | Type tempType; | 
|---|
| 89 | NumOpe(®,objectSizeStr,Type(),tempType); | 
|---|
| 90 | if( !tempType.IsWhole() ) SetError(49,NULL,cp); | 
|---|
| 91 |  | 
|---|
| 92 | //※添え字上限値であることを考慮 | 
|---|
| 93 | //add rax,1 | 
|---|
| 94 | op_add_RV(REG_RAX,1); | 
|---|
| 95 |  | 
|---|
| 96 | //オブジェクトの個数をrbxに一時保持 | 
|---|
| 97 | //※rbxは関数が呼ばれても不変 | 
|---|
| 98 | //mov rbx,rax | 
|---|
| 99 | op_mov_RR(REG_RBX,REG_RAX); | 
|---|
| 100 |  | 
|---|
| 101 | //imul rax,size | 
|---|
| 102 | op_imul_RV(sizeof(_int64),REG_RAX,typeSize); | 
|---|
| 103 |  | 
|---|
| 104 | //add rax,PTR_SIZE*3 | 
|---|
| 105 | op_add_RV(REG_RAX,PTR_SIZE*3); | 
|---|
| 106 |  | 
|---|
| 107 | //mov rcx,rax | 
|---|
| 108 | op_mov_RR(REG_RCX,REG_RAX); | 
|---|
| 109 | } | 
|---|
| 110 | else{ | 
|---|
| 111 | //オブジェクトの個数をrbxに一時保持 | 
|---|
| 112 | //※rbxは関数が呼ばれても不変 | 
|---|
| 113 | //mov rbx,1 | 
|---|
| 114 | op_mov_RV(sizeof(_int64),REG_RBX,1); | 
|---|
| 115 |  | 
|---|
| 116 | //mov rcx,typeSize+PTR_SIZE*3 | 
|---|
| 117 | op_mov_RV(sizeof(_int64),REG_RCX,typeSize+PTR_SIZE*3); | 
|---|
| 118 | } | 
|---|
| 119 |  | 
|---|
| 120 | if( baseType.IsObject() ){ | 
|---|
| 121 | // オブジェクト インスタンス | 
|---|
| 122 | // ※DeleteはGCで処理 | 
|---|
| 123 |  | 
|---|
| 124 | //call _System_GC_malloc_ForObject | 
|---|
| 125 | extern UserProc *pSub_System_GC_malloc_ForObject; | 
|---|
| 126 | op_call(pSub_System_GC_malloc_ForObject); | 
|---|
| 127 | } | 
|---|
| 128 | else{ | 
|---|
| 129 | // オブジェクトポインタ | 
|---|
| 130 | // ※明示的なDeleteが必要 | 
|---|
| 131 |  | 
|---|
| 132 | //call _System_GC_malloc_ForObjectPtr | 
|---|
| 133 | extern UserProc *pSub_System_GC_malloc_ForObjectPtr; | 
|---|
| 134 | op_call(pSub_System_GC_malloc_ForObjectPtr); | 
|---|
| 135 | } | 
|---|
| 136 |  | 
|---|
| 137 |  | 
|---|
| 138 | /* | 
|---|
| 139 | 確保されたヒープ領域のポインタ(callocの戻り値eax)をpPtrとすると、 | 
|---|
| 140 | pPtr-=sizeof(DWORD)*3 | 
|---|
| 141 | pPtr[0]=オブジェクトの個数 | 
|---|
| 142 | pPtr[1]=オブジェクトのサイズ | 
|---|
| 143 | pPtr[2]=デストラクタの関数ポインタ | 
|---|
| 144 | */ | 
|---|
| 145 |  | 
|---|
| 146 |  | 
|---|
| 147 | //mov qword ptr[rax],rbx(オブジェクトの個数) | 
|---|
| 148 | op_mov_MR(sizeof(_int64),REG_RBX,REG_RAX,0,MOD_BASE); | 
|---|
| 149 |  | 
|---|
| 150 | //add rax,PTR_SIZE | 
|---|
| 151 | op_add_RV(REG_RAX,PTR_SIZE); | 
|---|
| 152 |  | 
|---|
| 153 |  | 
|---|
| 154 | //mov qword ptr[rax],typeSize(オブジェクトのサイズ) | 
|---|
| 155 | op_mov_MV(sizeof(_int64),REG_RAX,0,NON_OFFSET,typeSize); | 
|---|
| 156 |  | 
|---|
| 157 | //add rax,PTR_SIZE | 
|---|
| 158 | op_add_RV(REG_RAX,PTR_SIZE); | 
|---|
| 159 |  | 
|---|
| 160 |  | 
|---|
| 161 | CMethod *method = classObj.GetDestructorMethod(); | 
|---|
| 162 | if( method == NULL ) return; | 
|---|
| 163 |  | 
|---|
| 164 | //mov rcx,DestructorProcAddr | 
|---|
| 165 | op_mov_RV(sizeof(_int64),REG_RCX,0); | 
|---|
| 166 | obp-=sizeof(long); | 
|---|
| 167 | pobj_SubAddrSchedule->add(method->pUserProc,0); | 
|---|
| 168 | method->pUserProc->Using(); | 
|---|
| 169 | obp+=sizeof(long); | 
|---|
| 170 |  | 
|---|
| 171 | //mov qword ptr[rax],rcx | 
|---|
| 172 | op_mov_MR(sizeof(_int64),REG_RCX,REG_RAX,0,MOD_BASE); | 
|---|
| 173 |  | 
|---|
| 174 | //add rax,PTR_SIZE | 
|---|
| 175 | op_add_RV(REG_RAX,PTR_SIZE); | 
|---|
| 176 |  | 
|---|
| 177 |  | 
|---|
| 178 | // ※ここでプッシュされた値はNew演算子の戻り値となる | 
|---|
| 179 | //mov qword ptr[rsp+offset],rax     ※スタックフレームを利用 | 
|---|
| 180 | pobj_sf->push(REG_RAX); | 
|---|
| 181 |  | 
|---|
| 182 |  | 
|---|
| 183 | ///////////////////////////////////////////////////////////////////// | 
|---|
| 184 |  | 
|---|
| 185 | //////////////////////////// | 
|---|
| 186 | // コンストラクタの呼び出し | 
|---|
| 187 | //////////////////////////// | 
|---|
| 188 |  | 
|---|
| 189 | _call_constructor(&classObj,parameter,typeSize,bSomeObjects); | 
|---|
| 190 |  | 
|---|
| 191 |  | 
|---|
| 192 | //mov rax,qword ptr[rsp+offset]     ※スタックフレームを利用 | 
|---|
| 193 | pobj_sf->pop(REG_RAX); | 
|---|
| 194 | } | 
|---|
| 195 | void OpcodeDelete(const char *Parameter, bool isSweeping){ | 
|---|
| 196 | int reg=REG_RAX; | 
|---|
| 197 | Type tempType; | 
|---|
| 198 | if( !NumOpe(®,Parameter,Type(),tempType) ){ | 
|---|
| 199 | return; | 
|---|
| 200 | } | 
|---|
| 201 | if(!( tempType.IsObjectPtr() || tempType.IsVoidPtr() )) SetError(122,NULL,cp); | 
|---|
| 202 |  | 
|---|
| 203 | //sub rax,PTR_SIZE*3 | 
|---|
| 204 | op_sub_RV(sizeof(_int64),REG_RAX,PTR_SIZE*3); | 
|---|
| 205 |  | 
|---|
| 206 | //mov qword ptr[rsp+offset],rax     ※スタックフレームを利用 | 
|---|
| 207 | pobj_sf->push(REG_RAX); | 
|---|
| 208 |  | 
|---|
| 209 |  | 
|---|
| 210 | //mov rbx,qword ptr[rax](オブジェクトの個数) | 
|---|
| 211 | op_mov_RM(sizeof(_int64),REG_RBX,REG_RAX,0,MOD_BASE); | 
|---|
| 212 |  | 
|---|
| 213 | //add rax,PTR_SIZE | 
|---|
| 214 | op_add_RV(REG_RAX,PTR_SIZE); | 
|---|
| 215 |  | 
|---|
| 216 |  | 
|---|
| 217 | //mov rsi,qword ptr[rax](オブジェクトのサイズ) | 
|---|
| 218 | op_mov_RM(sizeof(_int64),REG_RSI,REG_RAX,0,MOD_BASE); | 
|---|
| 219 |  | 
|---|
| 220 | //add rax,PTR_SIZE | 
|---|
| 221 | op_add_RV(REG_RAX,PTR_SIZE); | 
|---|
| 222 |  | 
|---|
| 223 |  | 
|---|
| 224 | //mov rdi,qword ptr[rax](デストラクタの関数ポインタ) | 
|---|
| 225 | op_mov_RM(sizeof(_int64),REG_RDI,REG_RAX,0,MOD_BASE); | 
|---|
| 226 |  | 
|---|
| 227 | //add rax,PTR_SIZE | 
|---|
| 228 | op_add_RV(REG_RAX,PTR_SIZE); | 
|---|
| 229 |  | 
|---|
| 230 |  | 
|---|
| 231 | //mov rcx,rax | 
|---|
| 232 | op_mov_RR(REG_RCX,REG_RAX); | 
|---|
| 233 |  | 
|---|
| 234 |  | 
|---|
| 235 | //jnzの番地 | 
|---|
| 236 | int jnz_back; | 
|---|
| 237 | jnz_back=obp; | 
|---|
| 238 |  | 
|---|
| 239 | //mov qword ptr[rsp+offset],rcx     ※スタックフレームを利用 | 
|---|
| 240 | pobj_sf->push(REG_RCX); | 
|---|
| 241 |  | 
|---|
| 242 | //call rdi | 
|---|
| 243 | OpBuffer[obp++]=(char)0xFF; | 
|---|
| 244 | OpBuffer[obp++]=(char)0xD7; | 
|---|
| 245 |  | 
|---|
| 246 | //mov rcx,qword ptr[rsp+offset]     ※スタックフレームを利用 | 
|---|
| 247 | pobj_sf->pop(REG_RCX); | 
|---|
| 248 |  | 
|---|
| 249 | //add rcx,rsi | 
|---|
| 250 | op_add64_reg(REG_RCX,REG_RSI); | 
|---|
| 251 |  | 
|---|
| 252 | //sub rbx,1 | 
|---|
| 253 | op_sub_RV(sizeof(_int64),REG_RBX,1); | 
|---|
| 254 |  | 
|---|
| 255 | //jnz ↑ | 
|---|
| 256 | OpBuffer[obp++]=(char)0x0F; | 
|---|
| 257 | OpBuffer[obp++]=(char)0x85; | 
|---|
| 258 | *((long *)(OpBuffer+obp))=jnz_back-(obp+sizeof(long)); | 
|---|
| 259 | obp+=sizeof(long); | 
|---|
| 260 |  | 
|---|
| 261 |  | 
|---|
| 262 | ////////////////////////////////////////// | 
|---|
| 263 | // オブジェクトメンバ変数用のメモリを解放 | 
|---|
| 264 | ////////////////////////////////////////// | 
|---|
| 265 |  | 
|---|
| 266 | //mov rcx,qword ptr[rsp+offset]     ※スタックフレームを利用 | 
|---|
| 267 | pobj_sf->pop(REG_RCX); | 
|---|
| 268 |  | 
|---|
| 269 | if( isSweeping ){ | 
|---|
| 270 | //call _System_GC_free_for_SweepingDelete | 
|---|
| 271 | extern UserProc *pSub_System_GC_free_for_SweepingDelete; | 
|---|
| 272 | op_call(pSub_System_GC_free_for_SweepingDelete); | 
|---|
| 273 | } | 
|---|
| 274 | else{ | 
|---|
| 275 | //call free | 
|---|
| 276 | extern UserProc *pSub_free; | 
|---|
| 277 | op_call(pSub_free); | 
|---|
| 278 | } | 
|---|
| 279 | } | 
|---|