Context Navigation

source: dev/trunk/abdev/BasicCompiler64/CParameter.cpp@ 316

Last change on this file since 316 was 316, checked in by dai_9181, 17 years ago

File size: 12.5 KB

Rev	Line
[206]	1	#include "stdafx.h"
	2
[226]	3	#include <Compiler.h>
	4
[3]	5	#include "../BasicCompiler_Common/common.h"
	6	#include "opcode.h"
	7
[75]	8	int ParamImpl::NewTempParameters( const string &procName, const Parameters &params, int SecondParmNum ){
	9	if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
	10
[20]	11	///////////////////////////////////////////////////////
	12	// 一時オブジェクトをあらかじめスタックに積んでおく
	13	///////////////////////////////////////////////////////
	14
[64]	15	int stackItemNum = 0;
	16
[20]	17	useTempObject = false;
	18
	19	BOOL bEllipse;
[75]	20	if(params.size()){
	21	if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1;
[20]	22	else bEllipse=0;
	23	}
	24	else bEllipse=0;
	25
	26	for(int i2=ParmsNum-1;i2>=0;i2--){
	27	useTempParameters[i2] = false;
	28
[75]	29	if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0;
[20]	30
[75]	31	if(i2==0){
	32	if( params[i2]->GetVarName() == "_System_LocalThis" ){
[20]	33	//オブジェクトメンバの第一パラメータのThisポインタ
	34	continue;
	35	}
	36	}
[75]	37	if( i2==0\|\|i2==1 ){
	38	if( params[i2]->GetVarName() == procName ){
[20]	39	//オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
	40	continue;
	41	}
	42	}
	43
[75]	44	Type dummyType;
[20]	45	BOOL bByVal;
	46	if(bEllipse){
[75]	47	NumOpe_GetType( Parms[i2], Type(), dummyType );
[20]	48	bByVal=1;
	49	}
	50	else{
[75]	51	dummyType = *params[i2];
	52	bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE;
[20]	53	}
	54
	55
	56	if( !bByVal ){
	57	//ポインタ参照
	58	if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
	59	//ポインタ指定
	60	continue;
	61	}
	62
[75]	63	if( !GetVarType( Parms[i2], Type(), FALSE ) ){
[20]	64	//変数ではないとき
	65	int reg = REG_RAX;
[75]	66	Type calcType;
	67	NumOpe( &reg, Parms[i2], dummyType, calcType );
[20]	68
[75]	69	if( !calcType.IsStruct() ){
[64]	70	//一時参照を作成
	71	pobj_sf->push( reg );
	72	pobj_sf->mov_sp( reg );
	73
	74	stackItemNum++;
	75	}
	76
[20]	77	//スタックフレームへコピー
	78	StackOffsetOfTempObject[i2] = pobj_sf->push(reg);
	79
[64]	80	stackItemNum++;
	81
[45]	82	bool result = CheckDifferentType(
[75]	83	dummyType,
	84	calcType,
	85	procName.c_str(),
[45]	86	i2);
[20]	87
[45]	88	if( result ){
	89	useTempParameters[i2] = true;
	90	useTempObject = true;
	91
[75]	92	types[i2] = calcType;
[45]	93	}
[20]	94	}
	95	}
	96	}
[64]	97
	98	return stackItemNum * PTR_SIZE;
[20]	99	}
[71]	100	void ParamImpl::DeleteTempParameters(){
[20]	101	///////////////////////////////////////////////////////
	102	// 一時オブジェクトを破棄
	103	///////////////////////////////////////////////////////
	104	if( !useTempObject ) return;
	105
	106	for(int i2=ParmsNum-1;i2>=0;i2--){
	107	if( useTempParameters[i2] ){
[75]	108	if( types[i2].IsStruct() ){
[64]	109	// 構造体の一時メモリ
[20]	110
[64]	111	//メモリを解放する
[20]	112
[64]	113	pobj_sf->pop( REG_RCX );
	114
	115	//call free
[206]	116	extern const UserProc *pSub_free;
[226]	117	compiler.codeGenerator.op_call(pSub_free);
[45]	118	}
[66]	119	else{
[64]	120	pobj_sf->pop();
	121	pobj_sf->pop();
	122	}
[20]	123	}
	124	}
	125	}
	126
[75]	127	void ParamImpl::SetStructParameter( int reg, const Type &baseType, const char *expression ){
[3]	128	//////////////////////////////////////////////////////
	129	///// レジスタ資源のバックアップ
	130	{ BACKUP_REGISTER_RESOURCE
	131	//////////////////////////////////////////////////////
	132
[75]	133	int object_size = baseType.GetClass().GetSize();
[3]	134
	135	//mov rcx,object_size
[226]	136	compiler.codeGenerator.op_mov_RV(sizeof(_int64),REG_RCX,object_size);
[3]	137
	138	//call calloc
[206]	139	extern const UserProc *pSub_calloc;
[226]	140	compiler.codeGenerator.op_call(pSub_calloc);
[3]	141
	142	//mov r11,rax
[226]	143	compiler.codeGenerator.op_mov_RR(REG_R11,REG_RAX);
[3]	144
	145	//mov qword ptr[rsp+offset],r11 ※スタックフレームを利用
	146	pobj_sf->push(REG_R11);
	147
	148
[75]	149	Type calcType;
	150	BOOL bUseHeap;
	151	int temp_reg=REG_RAX;
	152	NumOpe( &temp_reg,
	153	expression,
	154	baseType,
	155	calcType,
	156	&bUseHeap );
[3]	157
	158
[75]	159	//mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
	160	pobj_sf->ref(REG_R11);
[3]	161
	162
[75]	163	RELATIVE_VAR RelativeVar;
	164	RelativeVar.bOffsetOffset=0;
	165	RelativeVar.offset=0;
	166	RelativeVar.dwKind=VAR_DIRECTMEM;
[3]	167
[75]	168	SetStructVariableFromRax(
	169	baseType,
	170	calcType,
	171	&RelativeVar,bUseHeap);
[3]	172
	173
	174	//mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
	175	pobj_sf->pop(REG_R11);
	176
	177	/////////////////////////////////////////////
	178	////// レジスタ資源を復元
	179	RESTORE_REGISTER_RESOURCE
	180	}////////////////////////////////////////////
	181
	182	//mov reg,r11
[226]	183	compiler.codeGenerator.op_mov_RR(reg,REG_R11);
[3]	184	}
[20]	185
[64]	186
[316]	187	void ParamImpl::SetParameter( const string &procName, const Parameters &params, int SecondParmNum, const UserProc *pUserProc ){
[75]	188	if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
	189
[3]	190	///////////////////////////////////////////////////////////
	191	// パラメータをレジスタ及びスタックフレームにセット
	192	///////////////////////////////////////////////////////////
	193	int i2,i3;
	194
	195	BOOL bEllipse;
[75]	196	if( params.size() ){
	197	if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1;
[3]	198	else bEllipse=0;
	199	}
	200	else bEllipse=0;
	201
	202	BOOL bHas_System_LocalThis=0;
	203	if(ParmsNum>=1){
[75]	204	if( params[0]->GetVarName() == "_System_LocalThis" ){
[3]	205	bHas_System_LocalThis=1;
[75]	206	}
[3]	207	}
	208
[28]	209	//戻り値用の変数名を取得
[75]	210	const char *lpszVarNameToReturn = (procName[0]==1&&procName[1]==ESC_OPERATOR)?"_System_ReturnValue":procName.c_str();
[28]	211
[3]	212	//パラメータをレジスタとスタックに格納
	213	int ParmSize=0;
	214	int reg,temp_reg;
	215	RELATIVE_VAR RelativeVar;
	216	for(i2=ParmsNum-1;i2>=0;i2--){
[75]	217	if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0;
[3]	218
[75]	219	if(i2==0){
	220	if( params[i2]->GetVarName() == "_System_LocalThis" ){
[3]	221	//オブジェクトメンバの第一パラメータのThisポインタ
	222	continue;
	223	}
	224	}
[75]	225	if(i2==0\|\|i2==1){
	226	if( params[i2]->GetVarName() == lpszVarNameToReturn ){
[3]	227	//オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
	228	continue;
	229	}
	230	}
	231
[75]	232	Type dummyType;
[3]	233	BOOL bByVal;
	234	if(bEllipse){
[75]	235	NumOpe_GetType( Parms[i2], Type(), dummyType );
[3]	236	bByVal=1;
	237	}
	238	else{
[75]	239	dummyType = *params[i2];
	240	bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE;
[316]	241
	242	// 型パラメータを解決
	243	ResolveFormalGenericTypeParameter( dummyType, leftType, pUserProc );
[3]	244	}
	245
	246	int xmm_temp_sw=0;
[75]	247	if(dummyType.IsReal()&&bByVal){
[3]	248	//実数型
	249	if(i2==0) reg=REG_XMM0;
	250	else if(i2==1) reg=REG_XMM1;
	251	else if(i2==2) reg=REG_XMM2;
	252	else if(i2==3) reg=REG_XMM3;
	253	else{
	254	reg=REG_XMM0;
	255	xmm_temp_sw=1;
	256	}
	257	}
	258	else{
	259	//整数型
	260	if(i2==0) reg=REG_RCX;
	261	else if(i2==1) reg=REG_RDX;
	262	else if(i2==2) reg=REG_R8;
	263	else if(i2==3) reg=REG_R9;
	264	else reg=REG_RAX;
	265	}
	266
	267	if(bByVal==1){
	268	//値参照
	269
	270	if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
	271	char temp2[255];
[75]	272	sprintf(temp2,"%s関数の第%dパラメータ",procName,i2+1);
[3]	273	SetError(19,temp2,cp);
	274	continue;
	275	}
	276
[75]	277	if( dummyType.IsStruct() ){
	278	SetStructParameter( reg, dummyType, Parms[i2] );
[3]	279	goto next;
	280	}
	281
	282	temp_reg=reg;
	283
	284	extern LONG_PTR ProcPtr_BaseIndex;
[75]	285	LONG_PTR back_ProcPtr_BaseIndex = ProcPtr_BaseIndex;
	286	if( dummyType.IsProcPtr() ){
	287	ProcPtr_BaseIndex = dummyType.GetIndex();
	288	}
	289	else{
	290	ProcPtr_BaseIndex=-1;
	291	}
[3]	292
[75]	293	BOOL bCalcUseHeap;
	294	Type calcType;
	295	if( !NumOpe( &temp_reg, Parms[i2], dummyType, calcType, &bCalcUseHeap ) ){
	296	break;
	297	}
[3]	298
	299	ProcPtr_BaseIndex=back_ProcPtr_BaseIndex;
	300
[75]	301	if( calcType.IsObject() ){
	302	if( !dummyType.IsObject()
[64]	303	\|\|
[75]	304	dummyType.IsObject() &&
	305	!dummyType.GetClass().IsEqualsOrSubClass( &calcType.GetClass() ) ){
[64]	306	//キャスト演算子のオーバーロードに対応する
[75]	307	CallCastOperatorProc( reg, calcType, bCalcUseHeap,dummyType );
[64]	308	}
[3]	309	}
	310
	311
	312	if(bEllipse){
[75]	313	if( calcType.IsReal() ){
[3]	314	//整数レジスタへコピー
	315	//※cdeclの拡張パラメータは実数の場合も汎用レジスタで引渡し
	316
	317	if(0<=i2&&i2<=3){
	318	if(i2==0) reg=REG_RCX;
	319	else if(i2==1) reg=REG_RDX;
	320	else if(i2==2) reg=REG_R8;
	321	else if(i2==3) reg=REG_R9;
	322
	323	//movd reg,temp_reg
[226]	324	compiler.codeGenerator.op_movd_RX(reg,temp_reg);
[3]	325	}
	326	}
[75]	327	else if( calcType.IsWhole() ){
[3]	328	//整数型の場合は、64ビットへ拡張する
[75]	329	ExtendTypeTo64( calcType.GetBasicType(), temp_reg );
[3]	330	}
	331	}
	332	else{
	333	//型チェック
[31]	334	// TODO: _System_ReturnValueが考慮されていない？
[3]	335	if(bHas_System_LocalThis) i3=i2-1;
	336	else i3=i2;
	337	CheckDifferentType(
[75]	338	dummyType,
	339	calcType,
	340	procName.c_str(),
[3]	341	i3);
	342
[75]	343	if( dummyType.IsDouble() ){
[3]	344	//Double型へ変換
[75]	345	ChangeTypeToXmm_Double(calcType.GetBasicType(),reg,temp_reg);
[3]	346	}
[75]	347	else if( dummyType.IsSingle() ){
[3]	348	//Single型へ変換
[75]	349	ChangeTypeToXmm_Single(calcType.GetBasicType(),reg,temp_reg);
[3]	350	}
[75]	351	else if( dummyType.IsWhole() ){
[3]	352	//実数型 → 整数型
[308]	353	ChangeTypeToWhole(calcType,dummyType,reg,temp_reg);
[3]	354	}
	355	}
	356	}
	357	else{
	358	//ポインタ参照
	359	if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
	360	//ポインタ指定
	361
	362	temp_reg=reg;
[75]	363	Type calcType;
	364	if( !NumOpe(&temp_reg, Parms[i2]+2, dummyType, calcType) ){
	365	break;
	366	}
[3]	367
[75]	368	dummyType.PtrLevelUp();
[3]	369
	370	//型チェック
	371	if(bHas_System_LocalThis) i3=i2-1;
	372	else i3=i2;
	373	CheckDifferentType(
[75]	374	dummyType,
	375	calcType,
	376	procName.c_str(),
[3]	377	i3);
	378
[75]	379	if( calcType.IsReal() ){
[3]	380	//実数型 → 整数型
[308]	381	ChangeTypeToWhole( calcType, Type(DEF_QWORD), reg, temp_reg );
[3]	382	}
	383	}
	384	else{
[66]	385	if( useTempParameters[i2] ){
	386	//一時オブジェクトをコピー
[3]	387
[66]	388	//mov reg, qword ptr[rsp+offset]
	389	pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
	390	}
	391	else{
	392	//変数のアドレスを取得
[75]	393	Type varType;
[66]	394	if(GetVarOffset(
	395	false,
	396	false,
	397	Parms[i2],
	398	&RelativeVar,
[75]	399	varType)){
[66]	400
[75]	401	if( !dummyType.IsAny() ){
[66]	402	//型チェックを行う
[75]	403	if( dummyType.GetBasicType() == varType.GetBasicType() ){
	404	if( dummyType.IsObject() ){
	405	if( !dummyType.GetClass().IsEqualsOrSubClass( &varType.GetClass() ) ){
[66]	406	SetError(11,Parms[i2],cp);
	407	}
[20]	408	}
[75]	409	else if( dummyType.IsStruct() ){
	410	if( !dummyType.GetClass().IsEquals( &varType.GetClass() ) ){
[66]	411	SetError(11,Parms[i2],cp);
	412	}
[64]	413	}
	414	}
[75]	415	else if( (varType.GetBasicType()&FLAG_PTR)
	416	&&((varType.GetBasicType()^FLAG_PTR)==dummyType.GetBasicType())){
[66]	417	//仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
	418	}
	419	else{
	420	SetError(11,Parms[i2],cp);
	421	}
[20]	422	}
	423
[66]	424	//変数アドレスをレジスタにセット
	425	SetVarPtrToReg(reg,&RelativeVar);
[20]	426
[66]	427	}
[3]	428	}
	429	}
	430	}
[64]	431
[3]	432	next:
[64]	433
[3]	434	if(reg==REG_RAX){
	435	//スタックフレームへコピー
	436	//mov qword ptr[rsp+offset],rax
[226]	437	compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	438	}
	439	else if(xmm_temp_sw){
	440	//スタックフレームへコピー
	441
	442	//movlpd qword ptr[rsp+offset],xmm0
[226]	443	compiler.codeGenerator.op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	444	}
	445
	446
	447	/////////////////////
	448	// レジスタをロック
	449	/////////////////////
	450
	451	if(0<=i2&&i2<=3){
	452	// ※rcx, rdx, r8, r9の場合のみ
	453	pobj_BlockReg->lock(reg);
	454	}
	455	}
	456
	457	//パラメータが収まるだけのスタックフレームを確保
[75]	458	pobj_sf->parameter_allocate((int)params.size()sizeof(_int64)+ sizeof(_int64)/ret用*/ );
[3]	459	}
[71]	460	void ParamImpl::BackupParameter(int pi_num){
[3]	461	///////////////////////////////////////////////////////////
	462	// スタックフレームに存在する既存のパラメータをバックアップ
	463	///////////////////////////////////////////////////////////
	464	int i2;
	465
	466	for(i2=0;i2<ParmsNum;i2++){
	467	/////////////////////
	468	// バックアップ
	469	/////////////////////
	470
	471	extern CDBLockParms obj_DBLockParms;
	472	if(obj_DBLockParms.array_LevelCount[i2]){
	473	//mov r14,qword ptr[rsp+offset]
[226]	474	compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	475
	476	//mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
	477	pobj_sf->push(REG_R14);
	478	}
	479
	480	if(3<i2){
	481	//スタックフレームをロック
	482	extern CDBLockParms obj_DBLockParms;
	483	obj_DBLockParms.lock(i2);
	484	}
	485	}
	486	}
[71]	487	void ParamImpl::RestoreParameter(int pi_num){
[3]	488	///////////////////////////////////////////////////////////
	489	// スタックフレームに存在する既存のパラメータを復元
	490	///////////////////////////////////////////////////////////
	491	int i2;
	492
	493	for(i2=ParmsNum-1;i2>=0;i2--){
	494	/////////////////////
	495	// 復元
	496	/////////////////////
	497
	498	if(3<i2){
	499	//スタックフレームをアンロック
	500	extern CDBLockParms obj_DBLockParms;
	501	obj_DBLockParms.unlock(i2);
	502	}
	503
	504	extern CDBLockParms obj_DBLockParms;
	505	if(obj_DBLockParms.array_LevelCount[i2]){
	506	//mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
	507	pobj_sf->pop(REG_R14);
	508
	509	//mov qword ptr[rsp+offset],r14
[226]	510	compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	511	}
	512	}
	513	}

Note: See TracBrowser for help on using the repository browser.

Download in other formats: