#include "../BasicCompiler_Common/common.h"
#include "Opcode.h"

void FreeTempObject(int reg,CClass *pobj_c){
	if(!IsSafeReg(reg)) SetError(300,NULL,cp);

	////////////////////////////////////////////////
	// 演算過程で利用した一時オブジェクトを破棄
	// Thisポインタをr14レジスタを介して渡す
	////////////////////////////////////////////////

	CMethod *method = pobj_c->GetDestructorMethod();
	if( method ){
		//mov rcx,reg
		op_mov_RR(REG_RCX,reg);

		//call DestructorProcAddr
		op_call( method->psi );
	}

	//mov rcx,reg
	op_mov_RR(REG_RCX,reg);

	//call free
	extern SubInfo *pSub_free;
	op_call(pSub_free);
}

int CallOperatorProc(int idCalc,TYPEINFO *pBaseTypeInfo,int *type,LONG_PTR *index_stack,BOOL *bUseHeap,int &sp){
	//オーバーロードされたオペレータ関数を呼び出す
	CClass *pobj_c;
	pobj_c=(CClass *)index_stack[sp-2];

	std::vector<SubInfo *> subs;
	pobj_c->EnumMethod( idCalc, subs );
	if( subs.size() == 0 ){
		return 0;
	}


	//項の数
	BOOL bTwoTerm=1;
	if(idCalc==CALC_AS) bTwoTerm=0;


	int i;
	BOOL bReturnTypeIsObject=1;
	TYPEINFO ReturnType={DEF_OBJECT,subs[0]->u.ReturnIndex};
	for(i=0;i<subs.size();i++){
		if(subs[i]->ReturnType!=DEF_OBJECT)
			bReturnTypeIsObject=0;
	}

	if(bReturnTypeIsObject==0){
		if(pBaseTypeInfo){
			if(pBaseTypeInfo->type==DEF_OBJECT){
				ReturnType.u.lpIndex=pBaseTypeInfo->u.lpIndex;
			}
		}
	}



	/////////////////////////////////////////////
	// オーバーロード解決用のパラメータを設定
	/////////////////////////////////////////////

	PARAMETER_INFO *ppi = (PARAMETER_INFO *)HeapAlloc(hHeap,0,sizeof(PARAMETER_INFO)*3);
	int iParmNum=0;

	if(bTwoTerm){
		ppi[iParmNum].bArray=0;
		ppi[iParmNum].bByVal=0;
		ppi[iParmNum].name=0;
		ppi[iParmNum].type=type[sp-1];
		ppi[iParmNum].u.index=index_stack[sp-1];
		ppi[iParmNum].SubScripts[0]=-1;
		iParmNum++;
	}


	//オーバーロードを解決
	char temporary[255];
	if(idCalc==CALC_EQUAL) lstrcpy(temporary,"==");
	else GetCalcName(idCalc,temporary);
	SubInfo *psi;
	psi=OverloadSolution(temporary,subs,ppi,iParmNum,pBaseTypeInfo);


	if(!psi){
		HeapDefaultFree(ppi);
		return -1;
	}
	else{
		//オーバーロードされていないが、パラメータ個数が一致しないとき
		if(iParmNum!=psi->params.size()){
			HeapDefaultFree(ppi);
			return -1;
		}
	}

	for(i=0;i<iParmNum;i++){
		CheckDifferentType(
			psi->params[i]->GetBasicType(),
			psi->params[i]->GetIndex(),
			ppi[i].type,
			ppi[i].u.index,
			"",
			i);
	}

	HeapDefaultFree(ppi);

	if(bTwoTerm){
		if( psi->realParams[1]->IsStruct() && psi->realParams[1]->IsRef() == false ){
			//一時オブジェクトはメソッド内で破棄される
			bUseHeap[sp-1]=0;
		}
	}

	if(psi->ReturnType==DEF_STRUCT){
		//////////////////////////////////////////////////////
		// 戻り値に構造体インスタンスを持つ場合
		// ※ByRef _System_ReturnValue パラメータ用領域を取得
		//////////////////////////////////////////////////////


		//////////////////////////////////////////////////////
		/////    レジスタ資源のバックアップ
		{	BACKUP_REGISTER_RESOURCE
		//////////////////////////////////////////////////////

			int object_size = psi->u.Return_pobj_c->GetSize();

			//mov rcx,object_size
			op_mov_RV(sizeof(_int64),REG_RCX,object_size);

			//call calloc
			extern SubInfo *pSub_calloc;
			op_call(pSub_calloc);

			//mov r13,rax
			op_mov_RR(REG_R13,REG_RAX);

		/////////////////////////////////////////////
		//////   レジスタ資源を復元
			RESTORE_REGISTER_RESOURCE
		}////////////////////////////////////////////
	}

	int reg1,reg2;
	if(bTwoTerm){
		//右の項（実数の場合が未完成）
		SetOneTermToReg_Whole64Calc(type[sp-1],&reg2);
		pobj_reg->UnlockReg();
		if( !psi->realParams[1]->IsRef() == false ){
			//一時参照を作成
			pobj_sf->push( reg2 );
			pobj_sf->mov_sp( reg2 );
		}
	}

	//左の項
	SetOneTermToReg_Whole64Calc(DEF_INT64,&reg1);
	pobj_reg->UnlockReg();

	//ヒープ解放用に退避
	if(bUseHeap[sp-1]){
		//mov qword ptr[rsp+offset],reg2     ※スタックフレームを利用
		pobj_sf->push(reg2);
	}
	if(bUseHeap[sp-2]){
		//mov qword ptr[rsp+offset],reg1     ※スタックフレームを利用
		pobj_sf->push(reg1);
	}



	//////////////////////////////////////////////////////
	/////    レジスタ資源のバックアップ
	{	BACKUP_REGISTER_RESOURCE
	//////////////////////////////////////////////////////

		if(reg1==REG_RDX||reg1==REG_R8){
			//mov r14,reg1
			op_mov_RR(REG_R14,reg1);
			reg1=REG_R14;
		}


		if(bTwoTerm){
			if(psi->ReturnType==DEF_STRUCT){
				//mov r8,reg2
				op_mov_RR(REG_R8,reg2);
			}
			else{
				//mov rdx,reg2
				op_mov_RR(REG_RDX,reg2);
			}
		}

		if(psi->ReturnType==DEF_STRUCT){
			//mov rdx,r13
			op_mov_RR(REG_RDX,REG_R13);
		}

		//mov rcx,reg1
		op_mov_RR(REG_RCX,reg1);

		//call operator_proc
		op_call(psi);

		if(psi->ReturnType!=DEF_NON){
			//戻り値を一時的に退避

			//mov r13,rax
			op_mov_RR(REG_R13,REG_RAX);
		}


	/////////////////////////////////////////////
	//////   レジスタ資源を復元
		RESTORE_REGISTER_RESOURCE
	}////////////////////////////////////////////



	if(bUseHeap[sp-2]||bUseHeap[sp-1]){

		//////////////////////////////////////////////////////
		/////    レジスタ資源のバックアップ
		{	BACKUP_REGISTER_RESOURCE
		//////////////////////////////////////////////////////

			if(bUseHeap[sp-2]){
				//mov r14,qword ptr[rsp+offset]     ※スタックフレームを利用
				pobj_sf->pop(REG_R14);

				FreeTempObject(REG_R14,(CClass *)index_stack[sp-2]);
			}
			if(bUseHeap[sp-1]){
				//mov r14,qword ptr[rsp+offset]     ※スタックフレームを利用
				pobj_sf->pop(REG_R14);

				FreeTempObject(REG_R14,(CClass *)index_stack[sp-1]);
			}

		/////////////////////////////////////////////
		//////   レジスタ資源を復元
			RESTORE_REGISTER_RESOURCE
		}////////////////////////////////////////////
	}

	if(bTwoTerm){
		if( !psi->realParams[1]->IsRef() == false ){
			//一時参照を破棄
			pobj_sf->pop();
		}
	}

	if(psi->ReturnType!=DEF_NON){
		//戻り値をreg1にセット
		reg1=pobj_reg->LockReg();

		//mov reg1,r13
		op_mov_RR(reg1,REG_R13);
	}

	sp--;
	type[sp-1]=psi->ReturnType;
	index_stack[sp-1]=psi->u.ReturnIndex;

	if(psi->ReturnType==DEF_STRUCT){
		//構造体が戻ったときはヒープ領域にインスタンスが格納されている
		//※後にfreeする必要あり
		bUseHeap[sp-1]=1;
	}
	else bUseHeap[sp-1]=0;

	return 1;
}

void CallCastOperatorProc(int reg,int &CalcType,LONG_PTR &lpCalcIndex,BOOL bCalcUseHeap,int ToType,LONG_PTR lpToIndex){
	int type[10];
	LONG_PTR index_stack[10];
	BOOL array_bUseHeap[10];
	int sp=2;
	int iRet;


	//////////////////////////////////////////////////////
	/////    レジスタ資源のバックアップ
	{	BACKUP_REGISTER_RESOURCE
	//////////////////////////////////////////////////////

		//regを第一項目としてロック
		pobj_reg=new CRegister(reg);
		pobj_reg->LockReg();

		if(bCalcUseHeap){
			//未解放のインスタンスが存在する旨を示す警告
			SetError(-105,NULL,cp);
		}

		//左辺
		type[0]=CalcType;
		index_stack[0]=lpCalcIndex;
		array_bUseHeap[0]=0;
		type[1]=ToType;
		index_stack[1]=lpToIndex;
		array_bUseHeap[1]=0;

		TYPEINFO BaseTypeInfo={ToType,lpToIndex};

		iRet=CallOperatorProc(CALC_AS,&BaseTypeInfo,type,index_stack,array_bUseHeap,sp);

		pobj_reg->UnlockReg();

	/////////////////////////////////////////////
	//////   レジスタ資源を復元
		RESTORE_REGISTER_RESOURCE
	}////////////////////////////////////////////


	if(iRet==1){
		//成功したとき
		CalcType=type[0];
		lpCalcIndex=index_stack[0];
		return;
	}
	else if(iRet==-1){
		//エラーが発行されたとき
		return;
	}

	//エラーを発行
	SetError(-1,"キャスト演算子がオーバーロードされていません。",cp);
}

//インデクサ（getter）を呼び出す
void CallIndexerGetterProc(int reg,CClass *pobj_Class,char *ObjectName,char *Parameter,TYPEINFO &RetTypeInfo){

	std::vector<SubInfo *> subs;
	pobj_Class->EnumMethod( CALC_ARRAY_GET, subs );
	if( subs.size() == 0 ){
		return;
	}

	//////////////////////////////////////////////////////
	/////    レジスタ資源のバックアップ
	{	BACKUP_REGISTER_RESOURCE
	//////////////////////////////////////////////////////

		Opcode_CallProc(Parameter,subs[0],0,ObjectName,DEF_OBJECT);
		RetTypeInfo.type = subs[0]->ReturnType;
		RetTypeInfo.u.lpIndex = subs[0]->u.ReturnIndex;

		//mov reg,rax
		op_mov_RR(reg,REG_RAX);

	/////////////////////////////////////////////
	//////   レジスタ資源を復元
		RESTORE_REGISTER_RESOURCE
	}////////////////////////////////////////////

}