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

void PushReturnValue(int type){
	//関数の戻り値をスタックへプッシュする
	//※この処理内では、esi、ediは使用不可

	if(type==DEF_OBJECT || type==DEF_STRUCT){
		//push eax
		op_push(REG_EAX);
	}
	else if(type==DEF_DOUBLE){
		//sub esp,8
		op_sub_esp(8);

		//fstp qword ptr[esp]
		OpBuffer[obp++]=(char)0xDD;
		OpBuffer[obp++]=(char)0x1C;
		OpBuffer[obp++]=(char)0x24;
	}
	else if(type==DEF_SINGLE){
		//sub esp,4
		op_sub_esp(4);

		//fstp dword ptr[esp]
		OpBuffer[obp++]=(char)0xD9;
		OpBuffer[obp++]=(char)0x1C;
		OpBuffer[obp++]=(char)0x24;
	}
	else if(type==DEF_INT64||type==DEF_QWORD){
		//push edx
		op_push(REG_EDX);

		//push eax
		op_push(REG_EAX);
	}
	else if(type==DEF_LONG){
		//push eax
		op_push(REG_EAX);
	}
	else if(type==DEF_INTEGER || (isUnicode&&type==DEF_CHAR)){
		//movsx ebx,ax
		OpBuffer[obp++]=(char)0x0F;
		OpBuffer[obp++]=(char)0xBF;
		OpBuffer[obp++]=(char)0xD8;

		//push ebx
		op_push(REG_EBX);
	}
	else if(type==DEF_SBYTE || (isUnicode==false&&type==DEF_CHAR)){
		//movsx ebx,al
		OpBuffer[obp++]=(char)0x0F;
		OpBuffer[obp++]=(char)0xBE;
		OpBuffer[obp++]=(char)0xD8;

		//push ebx
		op_push(REG_EBX);
	}
	else if(type==DEF_DWORD||type==DEF_WORD||type==DEF_BYTE||type==DEF_BOOLEAN||
		IsPtrType(type)){
		//push eax
		op_push(REG_EAX);
	}
	else{
		SetError();
	}
}

void NewStringObject(LPSTR lpszText){
	///////////////////////////////////////////////////////
	// lpszTextを元にStringオブジェクトを生成し、
	// オブジェクトポインタをregに格納する
	///////////////////////////////////////////////////////

	char *parameter = (char *)malloc( lstrlen( lpszText ) + 32 );
	sprintf( parameter, "\"%s\"%c%c*Char", lpszText, 1, ESC_AS );
	SetStringQuotes( parameter );

	extern CClass *pobj_StringClass;
	TYPEINFO baseTypeInfo = { DEF_OBJECT, (LONG_PTR)pobj_StringClass };
	Operator_New( *pobj_StringClass, "", parameter, baseTypeInfo );

	free( parameter );
}


int NumOpe(const char *Command,int BaseType,LONG_PTR lpBaseIndex,LONG_PTR *plpIndex,BOOL *pbUseHeap){
	extern HANDLE hHeap;
	int i,i2,i3,i4;
	char temporary[8192],temp2[1024],temp3[1024];

	if(Command[0]=='\0'){
		SetError(1,NULL,cp);
		return -1;
	}

	if(Command[0]==1&& Command[1]==ESC_NEW ){
		//New演算子（オブジェクト生成）
		TYPEINFO baseTypeInfo = { BaseType, lpBaseIndex };
		int resultType = Operator_New(Command+2,plpIndex, baseTypeInfo );

		return resultType;
	}


	/////////////////////////////////
	// 式要素を逆ポーランド式で取得
	/////////////////////////////////

	char *values[255];
	long calc[255];
	long stack[255];
	int pnum;
	if(!GetNumOpeElements(Command,&pnum,values,calc,stack)){
		for(i=0;i<pnum;i++){
			if(values[i]) HeapDefaultFree(values[i]);
		}
		return 0;
	}


	BOOL bError;
	bError=0;

	//リテラル値のみの計算かどうかを判別するためのフラグ
	BOOL bLiteralCalculation=1;

	//リテラル演算の場合を考慮した演算前のバッファ位置
	int BeforeObp;
	BeforeObp=obp;

	//リテラル演算の場合を考慮した演算前のプロシージャスケジュール位置
	//※64ビットの掛け算、除算などで特殊関数が呼ばれるため
	int Before_ProcAddrScheduleNum;
	Before_ProcAddrScheduleNum=pobj_SubAddrSchedule->num;

	//リテラル演算の場合を考慮した演算前のデータテーブルスケジュール位置
	int Before_DataTableScheduleNum;
	Before_DataTableScheduleNum=pobj_DataTableSchedule->num;

	//リテラル演算の場合を考慮した演算前の再配置スケジュール
	CReloc *pobj_BackReloc;
	pobj_BackReloc=new CReloc();
	pobj_BackReloc->copy(pobj_Reloc);

	double dbl;
	int sp;
	int type[255];
	LONG_PTR index_stack[255];
	BOOL bUseHeap[255];
	_int64 i64data;
	for(i=0,sp=0;i<pnum;i++){
		int idCalc;
		idCalc=calc[i]%100;

		if(idCalc){
			if(type[sp-2]==DEF_OBJECT){
				//オーバーロードされたオペレータを呼び出す
				TYPEINFO BaseTypeInfo={BaseType,lpBaseIndex};
				i2=CallOperatorProc(idCalc,&BaseTypeInfo,type,index_stack,bUseHeap,sp);
				if(i2==0){
					if(idCalc==CALC_EQUAL) lstrcpy(temp2,"==");
					else GetCalcName(idCalc,temp2);
					sprintf(temporary,"Operator %s",temp2);
					SetError(27,temporary,cp);
					goto error;
				}
				else if(i2==-1) goto error;

				continue;
			}

			if(!CheckCalcType(idCalc,type,sp)) goto error;
		}

		switch(idCalc){
			//数値
			case 0:
				index_stack[sp]=-1;
				bUseHeap[sp]=0;

				char *term;
				term=values[i];

				if(term[0]=='\"'){
					//リテラル文字列
					if(!RemoveStringQuotes(term)){
						SetError(43,NULL,cp);
						goto error;
					}
					i3=lstrlen(term);
StrLiteral:

					if(BaseType==DEF_OBJECT){
						CClass *pobj_Class;
						pobj_Class=(CClass *)lpBaseIndex;
						TYPEINFO BaseTypeInfo = {BaseType,lpBaseIndex};
						if(IsStringObjectType(BaseTypeInfo)){
							//要求タイプがオブジェクトであり、Stringの受け入れが可能な場合

							//String型オブジェクトを生成
							NewStringObject(term);

							extern CClass *pobj_StringClass;
							type[sp]=DEF_OBJECT;
							index_stack[sp]=(LONG_PTR)pobj_StringClass;
							bUseHeap[sp]=1;
							bLiteralCalculation=0;

							sp++;
							break;
						}
					}


					type[sp]=DEF_PTR_CHAR;
					index_stack[sp]=LITERAL_STRING;
					bLiteralCalculation=0;

					i2=dataTable.AddString(term,i3);

					//push DataSize
					OpBuffer[obp++]=(char)0x68;
					*((long *)(OpBuffer+obp))=i2;
					pobj_DataTableSchedule->add();
					obp+=sizeof(long);
				}
				else if((term[0]=='e'||term[0]=='E')&&
					(term[1]=='x'||term[1]=='X')&&
					term[2]=='\"'){
					//拡張版リテラル文字列（エスケープシーケンス可能）
					if(!RemoveStringQuotes(term+2)){
						SetError(43,NULL,cp);
						goto error;
					}
					i3=FormatString_EscapeSequence(term+2);
					term+=2;

					goto StrLiteral;
				}
				else if(IsVariableTopChar(term[0])||
					term[0]=='*'||
					(term[0]=='.'&&IsVariableTopChar(term[1]))){
					//////////////////
					// 何らかの識別子

					//////////////////////////////////////
					// 関数（DLL、ユーザー定義、組み込み）
					//////////////////////////////////////

					i2=GetCallProcName(term,temporary);
					if(term[i2]=='('){
						i4=GetStringInPare_RemovePare(temp2,term+i2+1);

						int idProc;
						void *pInfo;
						idProc=GetProc(temporary,&pInfo);

						if(idProc){
							//閉じカッコ")"に続く文字がNULLでないとき
							if(term[i2+1+i4+1]!='\0'){
								if( term[i2+1+i4+1] == '.'
									|| term[i2+1+i4+1] == 1 && term[i2+1+i4+2] == ESC_PSMEM ){
										goto NonProc;
								}
								else{
									SetError(42,NULL,cp);
								}
							}

							////////////////
							// 呼び出し
							////////////////

							i2=CallProc(idProc,pInfo,temporary,temp2,&index_stack[sp]);
							if(i2==-1){
								//戻り値が存在しないとき
								for(i2=2;;i2++){
									if(term[i2]=='('||term[i2]=='\0'){
										term[i2]=0;
										break;
									}
								}
								SetError(38,term,cp);

								goto error;
							}


							/////////////////////
							// 戻り値の処理
							/////////////////////

							//大きな型への暗黙の変換
							type[sp]=AutoBigCast(BaseType,i2);
							bLiteralCalculation=0;

							//スタックへプッシュ
							PushReturnValue(i2);

							if(Is64Type(type[sp])&&IsWholeNumberType(i2)&&GetTypeSize(i2,-1)<=sizeof(long)){
								//必要に応じて64ビット拡張
								ExtendStackTo64(i2);
							}

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

							sp++;
							break;
						}
						else if(GetConstCalcBuffer(temporary,temp2,temp3)){
							/////////////////////////
							// マクロ関数
							/////////////////////////

							//閉じカッコ")"に続く文字がNULLでないときはエラーにする
							if(term[i2+1+i4+1]!='\0') SetError(42,NULL,cp);

							//マクロ関数の場合
							type[sp]=NumOpe(temp3,0,0,&index_stack[sp]);

							if(!IS_LITERAL(index_stack[sp])){
								//リテラル値ではなかったとき
								bLiteralCalculation=0;
							}

							sp++;
							break;
						}
					}
NonProc:



					char variable[VN_SIZE],array_element[VN_SIZE];
					CClass *pobj_c;
					GetArrayElement(term,variable,array_element);
					if(array_element[0]){
						i2=GetVarType(variable,(LONG_PTR *)&pobj_c,0);
						if(i2==DEF_OBJECT){
							TYPEINFO RetTypeInfo;
							CallIndexerGetterProc(pobj_c,variable,array_element,RetTypeInfo);
							type[sp]=RetTypeInfo.type;
							index_stack[sp]=RetTypeInfo.u.lpIndex;
							bLiteralCalculation=0;

							//push eax
							op_push(REG_EAX);

							sp++;
							break;
						}
					}


					// Nothing
					if( lstrcmp( term, "Nothing" ) == 0 ){
						type[sp] = DEF_OBJECT;
						if( BaseType == DEF_OBJECT ){
							index_stack[sp] = lpBaseIndex;
						}
						else{
							index_stack[sp] = (LONG_PTR)pobj_DBClass->GetObjectClass();
						}

						bLiteralCalculation = 0;

						//push 0
						op_push_V( 0 );

						sp++;
						break;
					}



					RELATIVE_VAR RelativeVar;
					if(GetVarOffset(
						false,	//エラー表示あり
						false,	//読み込み専用
						term,&i2,&RelativeVar,&index_stack[sp])){
						//////////
						// 変数
						//////////

						//大きな型への暗黙の変換
						type[sp]=AutoBigCast(BaseType,i2);
						bLiteralCalculation=0;

						if(i2&FLAG_PTR){
							//配列ポインタ
							type[sp]=GetPtrType(i2^FLAG_PTR,index_stack[sp]);

							SetVarPtrToEax(&RelativeVar);

							//push eax
							op_push(REG_EAX);
						}
						else if(i2==DEF_DOUBLE||
							i2==DEF_INT64||
							i2==DEF_QWORD){
							//64ビット型
							PushDoubleVariable(&RelativeVar);
						}
						else if(i2==DEF_LONG||i2==DEF_DWORD||i2==DEF_SINGLE||
							IsPtrType(i2) || i2==DEF_OBJECT){
							//32ビット型
							PushLongVariable(&RelativeVar);
						}
						else if(i2==DEF_INTEGER || (isUnicode&&i2==DEF_CHAR)){
							PushIntegerVariable(&RelativeVar);
						}
						else if(i2==DEF_WORD){
							PushWordVariable(&RelativeVar);
						}
						else if(i2==DEF_SBYTE || (isUnicode==false&&i2==DEF_CHAR)){
							PushCharVariable(&RelativeVar);
						}
						else if(i2==DEF_BYTE||i2==DEF_BOOLEAN){
							PushByteVariable(&RelativeVar);
						}
						else if(i2==DEF_STRUCT){
							//構造体ポインタをeaxへ格納（構造体は値型）
							SetVarPtrToEax(&RelativeVar);

							//push eax
							op_push(REG_EAX);
						}
						else SetError(11,term,cp);

						if(Is64Type(type[sp])&&IsWholeNumberType(i2)&&GetTypeSize(i2,-1)<=sizeof(long)){
							//必要に応じて64ビット拡張
							ExtendStackTo64(i2);
						}

						sp++;
						break;
					}


					//////////////
					// 定数の場合
					//////////////

					i3 = CDBConst::obj.GetType(term);
					if(i3){
						type[sp]=i3;
						if(IsRealNumberType(i3)){
							//実数
							double dbl = CDBConst::obj.GetDoubleData(term);
							memcpy(&i64data,&dbl,sizeof(double));
							goto Literal;
						}
						else if(IsWholeNumberType(i3)){
							//整数
							i64data = CDBConst::obj.GetWholeData(term);
							goto Literal;
						}
						/*else if(i3==DEF_STRING){
							//リテラル文字列

							//バイト数
							i3=(int)dbl;

							memcpy(term,temporary,i3);
							goto StrLiteral;
						}*/
						else{
							SetError(300,NULL,cp);
							goto error;
						}
					}


					//////////////
					// 型名の場合
					//////////////

					LONG_PTR lp;
					i3=GetTypeFixed(term,&lp);
					if(i3!=-1){
						type[sp]=i3|FLAG_CAST;
						index_stack[sp]=lp;
						sp++;
						break;
					}



					/////////////////////////////////
					// プロパティ用のメソッド
					/////////////////////////////////

					//配列要素を排除
					char VarName[VN_SIZE],ArrayElements[VN_SIZE];
					GetArrayElement(term,VarName,ArrayElements);

					if(GetSubHash(VarName,0)){
						TYPEINFO RetTypeInfo;
						CallPropertyMethod(term,NULL,&RetTypeInfo);

						//大きな型への暗黙の変換
						type[sp]=AutoBigCast(BaseType,RetTypeInfo.type);

						index_stack[sp]=RetTypeInfo.u.lpIndex;
						bLiteralCalculation=0;

						//スタックへプッシュ
						PushReturnValue(RetTypeInfo.type);

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

						sp++;
						break;
					}



					//該当する識別子が見当たらないときはエラー扱いにする
					bError=1;
					SetError(3,term,cp);
					type[sp]=DEF_DOUBLE;
				}
				else{
					//リテラル値
					type[sp]=GetLiteralValue(term,&i64data,BaseType);
Literal:
					if(type[sp]==DEF_INT64||
						type[sp]==DEF_QWORD||
						type[sp]==DEF_DOUBLE){
						//64ビット（符号有り整数/実数）

						//push HILONG(dbl)
						op_push_V((long)*(long *)(((char *)(&i64data))+4));

						//push LOLONG(dbl)
						op_push_V(*(long *)(&i64data));
					}
					else if(type[sp]==DEF_SINGLE){
						//single実数

						float flt;
						memcpy(&dbl,&i64data,sizeof(double));
						flt=(float)dbl;
						memcpy(&i3,&flt,sizeof(long));

						//push term
						op_push_V(i3);
					}
					else{
						//その他

						//push term
						op_push_V((long)i64data);

						if((long)i64data==0) index_stack[sp]=LITERAL_NULL;
					}


					//リテラル値の種類
					if(Is64Type(type[sp])==0&&IsRealNumberType(type[sp])==0){
						//整数（符号有り/無し）

						index_stack[sp]=GetLiteralIndex(i64data);
					}
				}
				sp++;
				break;

			//論理演算子
			case CALC_XOR:
				//value[sp-2] xor= value[sp-1]
				//xor演算
				if(!Calc_Xor(type,index_stack,&sp)) goto error;
				break;
			case CALC_OR:
				//value[sp-2] or= value[sp-1]
				//or演算
				if(!Calc_Or(type,index_stack,&sp)) goto error;
				break;
			case CALC_AND:
				//value[sp-2] and= value[sp-1]
				//and演算
				if(!Calc_And(type,index_stack,&sp)) goto error;
				break;
			case CALC_NOT:
				//value[sp-1]=Not value[sp-1]
				//NOT演算子
				if(!Calc_Not(type,sp)) goto error;
				break;

			//比較演算子
			case CALC_PE:
				//value[sp-2]<=value[sp-1]
				if(!Calc_Relation_PE(type,index_stack,&sp)) goto error;
				break;
			case CALC_QE:
				//value[sp-2]>=value[sp-1]
				if(!Calc_Relation_QE(type,index_stack,&sp)) goto error;
				break;
			case CALC_P:
				//value[sp-2]<value[sp-1]
				if(!Calc_Relation_P(type,index_stack,&sp)) goto error;
				break;
			case CALC_Q:
				//value[sp-2]>value[sp-1]
				if(!Calc_Relation_Q(type,index_stack,&sp)) goto error;
				break;
			case CALC_NOTEQUAL:
				//value[sp-2]<>value[sp-1]
				if(!Calc_Relation_NotEqual(type,&sp)) goto error;
				break;
			case CALC_EQUAL:
				//value[sp-2]=value[sp-1]
				if(!Calc_Relation_Equal(type,&sp)) goto error;
				break;

			//ビットシフト
			case CALC_SHL:
				//value[sp-2]=value[sp-2]<<value[sp-1]
				if(!Calc_SHL(type,&sp)) goto error;
				break;
			case CALC_SHR:
				//value[sp-2]=value[sp-2]>>value[sp-1]
				if(!Calc_SHR(type,&sp)) goto error;
				break;

			//算術演算
			case CALC_ADDITION:
			case CALC_SUBTRACTION:
			case CALC_PRODUCT:
				if(!CalcTwoTerm_Arithmetic(idCalc,type,index_stack,&sp)) goto error;
				break;

			case CALC_MOD:
				//value[sp-2]%=value[sp-1]
				//剰余演算
				if(!Calc_Mod(type,&sp)) goto error;
				break;
			case CALC_QUOTIENT:
				//value[sp-2]/=value[sp-1];
				//除算
				if(!Calc_Divide(type,&sp,BaseType)) goto error;
				break;
			case CALC_INTQUOTIENT:
				//value[sp-2]/=value[sp-1]
				//整数除算
				if(!Calc_IntDivide(type,index_stack,&sp)) goto error;
				break;
			case CALC_MINUSMARK:
				//value[sp-1]=-value[sp-1]
				//符号反転
				if(!Calc_MinusMark(type,sp)) goto error;
				index_stack[sp-1]=-1;
				break;
			case CALC_POWER:
				//べき乗演算（浮動小数点演算のみ）
				if(!Calc_Power(type,&sp)) goto error;
				break;
			case CALC_AS:
				//キャスト
				if(!Calc_Cast(type,index_stack,&sp)) goto error;
				break;

			case CALC_BYVAL:
				//ポインタ型→参照型
				if( PTR_LEVEL( type[sp-1] ) <= 0 ){
					//ポインタ型ではないとき
					SetError( 3, NULL, cp );
					goto error;
				}

				type[sp-1] = PTR_LEVEL_DOWN( type[sp-1] );

				break;

			default:
				SetError(300,NULL,cp);
				goto error;
		}
	}

	if(bError) goto error;

	if(sp!=1){
		SetError(1,NULL,cp);
		goto error;
	}

	if(bLiteralCalculation){
		//右辺値が数値の定数式の場合
		LONG_PTR lpClassIndex;
		i2=StaticCalculation(true, Command,BaseType,&i64data,&lpClassIndex);

		obp=BeforeObp;
		pobj_SubAddrSchedule->num=Before_ProcAddrScheduleNum;
		pobj_DataTableSchedule->num=Before_DataTableScheduleNum;
		pobj_Reloc->copy(pobj_BackReloc);

		if(i2==DEF_INT64||
			i2==DEF_QWORD||
			i2==DEF_DOUBLE){
			//64ビット（符号有り整数/実数）

			//push HILONG(i64data)
			op_push_V((long)*(long *)(((char *)(&i64data))+4));

			//push LOLONG(i64data)
			op_push_V(*(long *)(&i64data));
		}
		else if(i2==DEF_SINGLE){
			//single実数

			memcpy(&dbl,&i64data,sizeof(_int64));

			float flt;
			flt=(float)dbl;
			memcpy(&i3,&flt,sizeof(long));

			//push flt
			op_push_V(i3);
		}
		else{
			//整数（符号有り/無し）

			i3=(long)i64data;

			if(i2==DEF_SBYTE||i2==DEF_BYTE||i2==DEF_BOOLEAN || (isUnicode==false&&i2==DEF_CHAR)) i3=i3&0x000000FF;
			if(i2==DEF_INTEGER||i2==DEF_WORD || (isUnicode&&i2==DEF_CHAR)) i3=i3&0x0000FFFF;

			//push term
			op_push_V(i3);
		}

		type[0]=i2;
		index_stack[0]=lpClassIndex;
	}
	else{
		//右辺値が数値の定数式ではないとき
		if(IS_LITERAL(index_stack[0])) index_stack[0]=-1;
	}

	if(plpIndex) *plpIndex=index_stack[0];
	if(pbUseHeap) *pbUseHeap=bUseHeap[0];

	int RetType;
	RetType=type[0];
	goto finish;


error:
	RetType=-1;
	goto finish;


finish:

	for(i=0;i<pnum;i++){
		if(values[i]) HeapDefaultFree(values[i]);
	}

	//再配置スケジュールバックアップ情報を解放
	delete pobj_BackReloc;

	return RetType;
}