Context Navigation

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

Last change on this file since 414 was 331, checked in by dai_9181, 17 years ago
AddressOfの左辺値を加味した処理を簡潔にした
File size: 12.2 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
[75]	284	BOOL bCalcUseHeap;
	285	Type calcType;
	286	if( !NumOpe( &temp_reg, Parms[i2], dummyType, calcType, &bCalcUseHeap ) ){
	287	break;
	288	}
[3]	289
[75]	290	if( calcType.IsObject() ){
	291	if( !dummyType.IsObject()
[64]	292	\|\|
[75]	293	dummyType.IsObject() &&
	294	!dummyType.GetClass().IsEqualsOrSubClass( &calcType.GetClass() ) ){
[64]	295	//キャスト演算子のオーバーロードに対応する
[75]	296	CallCastOperatorProc( reg, calcType, bCalcUseHeap,dummyType );
[64]	297	}
[3]	298	}
	299
	300
	301	if(bEllipse){
[75]	302	if( calcType.IsReal() ){
[3]	303	//整数レジスタへコピー
	304	//※cdeclの拡張パラメータは実数の場合も汎用レジスタで引渡し
	305
	306	if(0<=i2&&i2<=3){
	307	if(i2==0) reg=REG_RCX;
	308	else if(i2==1) reg=REG_RDX;
	309	else if(i2==2) reg=REG_R8;
	310	else if(i2==3) reg=REG_R9;
	311
	312	//movd reg,temp_reg
[226]	313	compiler.codeGenerator.op_movd_RX(reg,temp_reg);
[3]	314	}
	315	}
[75]	316	else if( calcType.IsWhole() ){
[3]	317	//整数型の場合は、64ビットへ拡張する
[75]	318	ExtendTypeTo64( calcType.GetBasicType(), temp_reg );
[3]	319	}
	320	}
	321	else{
	322	//型チェック
[31]	323	// TODO: _System_ReturnValueが考慮されていない？
[3]	324	if(bHas_System_LocalThis) i3=i2-1;
	325	else i3=i2;
	326	CheckDifferentType(
[75]	327	dummyType,
	328	calcType,
	329	procName.c_str(),
[3]	330	i3);
	331
[75]	332	if( dummyType.IsDouble() ){
[3]	333	//Double型へ変換
[75]	334	ChangeTypeToXmm_Double(calcType.GetBasicType(),reg,temp_reg);
[3]	335	}
[75]	336	else if( dummyType.IsSingle() ){
[3]	337	//Single型へ変換
[75]	338	ChangeTypeToXmm_Single(calcType.GetBasicType(),reg,temp_reg);
[3]	339	}
[75]	340	else if( dummyType.IsWhole() ){
[3]	341	//実数型 → 整数型
[308]	342	ChangeTypeToWhole(calcType,dummyType,reg,temp_reg);
[3]	343	}
	344	}
	345	}
	346	else{
	347	//ポインタ参照
	348	if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
	349	//ポインタ指定
	350
	351	temp_reg=reg;
[75]	352	Type calcType;
	353	if( !NumOpe(&temp_reg, Parms[i2]+2, dummyType, calcType) ){
	354	break;
	355	}
[3]	356
[75]	357	dummyType.PtrLevelUp();
[3]	358
	359	//型チェック
	360	if(bHas_System_LocalThis) i3=i2-1;
	361	else i3=i2;
	362	CheckDifferentType(
[75]	363	dummyType,
	364	calcType,
	365	procName.c_str(),
[3]	366	i3);
	367
[75]	368	if( calcType.IsReal() ){
[3]	369	//実数型 → 整数型
[308]	370	ChangeTypeToWhole( calcType, Type(DEF_QWORD), reg, temp_reg );
[3]	371	}
	372	}
	373	else{
[66]	374	if( useTempParameters[i2] ){
	375	//一時オブジェクトをコピー
[3]	376
[66]	377	//mov reg, qword ptr[rsp+offset]
	378	pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
	379	}
	380	else{
	381	//変数のアドレスを取得
[75]	382	Type varType;
[66]	383	if(GetVarOffset(
	384	false,
	385	false,
	386	Parms[i2],
	387	&RelativeVar,
[75]	388	varType)){
[66]	389
[75]	390	if( !dummyType.IsAny() ){
[66]	391	//型チェックを行う
[75]	392	if( dummyType.GetBasicType() == varType.GetBasicType() ){
	393	if( dummyType.IsObject() ){
	394	if( !dummyType.GetClass().IsEqualsOrSubClass( &varType.GetClass() ) ){
[66]	395	SetError(11,Parms[i2],cp);
	396	}
[20]	397	}
[75]	398	else if( dummyType.IsStruct() ){
	399	if( !dummyType.GetClass().IsEquals( &varType.GetClass() ) ){
[66]	400	SetError(11,Parms[i2],cp);
	401	}
[64]	402	}
	403	}
[75]	404	else if( (varType.GetBasicType()&FLAG_PTR)
	405	&&((varType.GetBasicType()^FLAG_PTR)==dummyType.GetBasicType())){
[66]	406	//仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
	407	}
	408	else{
	409	SetError(11,Parms[i2],cp);
	410	}
[20]	411	}
	412
[66]	413	//変数アドレスをレジスタにセット
	414	SetVarPtrToReg(reg,&RelativeVar);
[20]	415
[66]	416	}
[3]	417	}
	418	}
	419	}
[64]	420
[3]	421	next:
[64]	422
[3]	423	if(reg==REG_RAX){
	424	//スタックフレームへコピー
	425	//mov qword ptr[rsp+offset],rax
[226]	426	compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	427	}
	428	else if(xmm_temp_sw){
	429	//スタックフレームへコピー
	430
	431	//movlpd qword ptr[rsp+offset],xmm0
[226]	432	compiler.codeGenerator.op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	433	}
	434
	435
	436	/////////////////////
	437	// レジスタをロック
	438	/////////////////////
	439
	440	if(0<=i2&&i2<=3){
	441	// ※rcx, rdx, r8, r9の場合のみ
	442	pobj_BlockReg->lock(reg);
	443	}
	444	}
	445
	446	//パラメータが収まるだけのスタックフレームを確保
[75]	447	pobj_sf->parameter_allocate((int)params.size()sizeof(_int64)+ sizeof(_int64)/ret用*/ );
[3]	448	}
[71]	449	void ParamImpl::BackupParameter(int pi_num){
[3]	450	///////////////////////////////////////////////////////////
	451	// スタックフレームに存在する既存のパラメータをバックアップ
	452	///////////////////////////////////////////////////////////
	453	int i2;
	454
	455	for(i2=0;i2<ParmsNum;i2++){
	456	/////////////////////
	457	// バックアップ
	458	/////////////////////
	459
	460	extern CDBLockParms obj_DBLockParms;
	461	if(obj_DBLockParms.array_LevelCount[i2]){
	462	//mov r14,qword ptr[rsp+offset]
[226]	463	compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	464
	465	//mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
	466	pobj_sf->push(REG_R14);
	467	}
	468
	469	if(3<i2){
	470	//スタックフレームをロック
	471	extern CDBLockParms obj_DBLockParms;
	472	obj_DBLockParms.lock(i2);
	473	}
	474	}
	475	}
[71]	476	void ParamImpl::RestoreParameter(int pi_num){
[3]	477	///////////////////////////////////////////////////////////
	478	// スタックフレームに存在する既存のパラメータを復元
	479	///////////////////////////////////////////////////////////
	480	int i2;
	481
	482	for(i2=ParmsNum-1;i2>=0;i2--){
	483	/////////////////////
	484	// 復元
	485	/////////////////////
	486
	487	if(3<i2){
	488	//スタックフレームをアンロック
	489	extern CDBLockParms obj_DBLockParms;
	490	obj_DBLockParms.unlock(i2);
	491	}
	492
	493	extern CDBLockParms obj_DBLockParms;
	494	if(obj_DBLockParms.array_LevelCount[i2]){
	495	//mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
	496	pobj_sf->pop(REG_R14);
	497
	498	//mov qword ptr[rsp+offset],r14
[226]	499	compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
[3]	500	}
	501	}
	502	}

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

Download in other formats: