source: dev/trunk/abdev/BasicCompiler64/Compile_Calc.cpp@ 380

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

COM修飾子に対応。COMインターフェイスを呼び出せるようにした

File size: 6.3 KB
Line 
1#include "stdafx.h"
2
3#include <jenga/include/smoothie/Smoothie.h>
4#include <jenga/include/smoothie/LexicalAnalysis.h>
5
6#include <Compiler.h>
7
8#include "../BasicCompiler_Common/common.h"
9#include "Opcode.h"
10
11void SetVariableFromRax( const Type &varType, int CalcType,RELATIVE_VAR *pRelativeVar){
12 /////////////////////////////////////////////////
13 // raxの内容を変数にコピーするコードを抽出
14 /////////////////////////////////////////////////
15
16 if( varType.IsBoolean() )
17 {
18 //bool
19 SetBooleanVariable(CalcType,pRelativeVar);
20 }
21 else if( varType.IsReal() )
22 {
23 // Double/Single型変数へレジスタの値を代入
24 SetRealVariable(varType.GetBasicType(), CalcType, pRelativeVar);
25 }
26 else if( varType.IsWhole() || varType.IsObject() )
27 {
28 //整数変数へraxの値を格納する
29 SetWholeVariable( varType.GetSize(), CalcType, pRelativeVar );
30 }
31 else{
32 SetError(300,NULL,cp);
33 }
34}
35void OpcodeCalc(const char *Command){
36 int i,i2,i3;
37 char variable[VN_SIZE];
38
39
40 //////////////////////////////////////
41 // インクリメント・デクリメント
42 //////////////////////////////////////
43
44 for(i=0;;i++){
45 if(Command[i]=='\"'){
46 //ダブルクォートは不正なのでエラー扱い
47 variable[i]=0;
48 SetError(3,variable,cp);
49 return;
50 }
51
52 if(Command[i]=='('){
53 i2=GetStringInPare(variable+i,Command+i);
54 i+=i2-1;
55 continue;
56 }
57 if(Command[i]=='['){
58 i2=GetStringInBracket(variable+i,Command+i);
59 i+=i2-1;
60 continue;
61 }
62 if(Command[i]=='\0'){
63
64 ///////////////////////////////////
65 // インクリメント・デクリメント
66 ///////////////////////////////////
67
68 if(i>2){
69 if(Command[i-2]=='+'&&Command[i-1]=='+'){
70 //インクリメント
71 variable[i-2]=0;
72 IncDec(CALC_ADDITION,variable,"1");
73 return;
74 }
75 else if(Command[i-2]=='-'&&Command[i-1]=='-'){
76 //デクリメント
77 variable[i-2]=0;
78 IncDec(CALC_SUBTRACTION,variable,"1");
79 return;
80 }
81 }
82
83
84 //先端部分の識別子をエラーキーワードにする
85 for(i=0;;i++){
86 if(!IsVariableChar(Command[i])){
87 variable[i]=0;
88 break;
89 }
90 variable[i]=Command[i];
91 }
92
93 if(GetVarType(variable,Type(),0)){
94 //変数リストに該当したとき
95 SetError(1,NULL,cp);
96 }
97 else{
98 if( compiler.GetObjectModule().meta.GetGlobalConsts().IsExist(variable)
99 || compiler.GetObjectModule().meta.GetGlobalConstMacros().IsExist(variable) )
100 {
101 //定数リストに該当したとき
102 SetError(1,NULL,cp);
103 }
104 else{
105 //変数リスト、定数リストに該当しないとき
106 SetError(3,variable,cp);
107 }
108 }
109 return;
110 }
111
112 i2=GetCalcId(Command+i,&i3);
113 if(i2){
114 variable[i]=0;
115
116 if(Command[i]=='=') break;
117
118 if(Command[i+1+i3]=='='){
119 IncDec(i2,variable,Command+i+1+i3+1);
120 return;
121 }
122 }
123
124 variable[i]=Command[i];
125 }
126
127 if(Command[i+1]=='\0'){
128 SetError(1,NULL,cp);
129 return;
130 }
131
132
133
134 ///////////////////////////////////////////////////////////////
135 // インデクサのsetアクセサ([]=演算子のオーバーロードに対応)
136 ///////////////////////////////////////////////////////////////
137
138 char ObjName[VN_SIZE],array_element[VN_SIZE];
139 GetArrayElement(variable,ObjName,array_element);
140 if(array_element[0]){
141 Type varType;
142 if( GetVarType(ObjName,varType,0) && varType.IsObject() ){
143 char temporary[VN_SIZE];
144 sprintf(temporary,"%s.%c%c%c",ObjName,1,ESC_OPERATOR,CALC_ARRAY_SET);
145
146 char temp2[VN_SIZE];
147 sprintf(temp2,"%s,%s",array_element,Command+i+1);
148
149 int idProc;
150 void *pProc;
151 idProc=GetProc(temporary,(void **)&pProc);
152 if( idProc )
153 {
154 CallProc(
155 idProc,
156 pProc,
157 temporary,
158 temp2,
159 Type(), // ベースタイプはなし
160 Type()
161 );
162 return;
163 }
164 }
165 }
166
167
168 if( lstrcmpi( variable, "This" ) == 0 ){
169 SetError(133,NULL,cp);
170 return;
171 }
172
173
174 ////////////////////////////////////////
175 // 変数のタイプ型を識別して、演算を行う
176 ////////////////////////////////////////
177
178 Type varType;
179
180 //型を識別
181 if( !GetVarType(variable,varType,false) ){
182
183 // プロパティ用のメソッドを呼び出す
184 if(!CallPropertyMethod( variable, Command+i+1, Type() )){
185 //エラーを表示
186 GetVarType(variable,varType,true);
187 }
188
189 return;
190 }
191
192 //NumOpe...(rax、またはxmm0に答えが格納される)
193 int reg=REG_RAX;
194 BOOL bCalcUseHeap;
195 Type calcType;
196 if( !NumOpe(&reg,Command+i+1,varType,calcType,&bCalcUseHeap) ){
197 return;
198 }
199
200 if(reg!=REG_RAX&&calcType.IsWhole()||
201 varType.IsNull()||calcType.IsNull()){
202 SetError(300,NULL,cp);
203 }
204
205 //結果を格納しているレジスタをブロッキング
206 pobj_BlockReg->lock(reg);
207
208 //変数アドレスを取得
209 RELATIVE_VAR VarRelativeVar;
210 bool result = GetVarOffsetReadWrite(
211 variable,
212 &VarRelativeVar,
213 varType);
214
215 //レジスタのブロッキングを解除
216 pobj_BlockReg->clear();
217
218 if( !result )
219 {
220 return;
221 }
222
223 if(varType.GetBasicType()&FLAG_PTR){
224 SetError(14,variable,cp);
225 return;
226 }
227
228 if( varType.IsStruct() ){
229 //構造体インスタンスへの代入
230 SetStructVariableFromRax(varType,calcType,&VarRelativeVar,bCalcUseHeap);
231 return;
232 }
233
234 if( calcType.IsObject() && !calcType.Equals( varType ) ){
235 bool isUpCast = false;
236 if( varType.IsObject() ){
237 if( varType.GetClass().IsEqualsOrSubClass( &calcType.GetClass() ) ){
238 isUpCast = true;
239 }
240 }
241 if( !isUpCast ){
242 //キャスト演算子のオーバーロードに対応する
243 CallCastOperatorProc(REG_RAX,calcType,bCalcUseHeap,varType);
244 }
245 }
246
247 if( varType.IsObject() && compiler.GetObjectModule().meta.GetBlittableTypes().IsExist( calcType ) ){
248 // Blittable型をオブジェクトとして扱う
249 vector<const UserProc *> userProcs;
250 compiler.GetObjectModule().meta.GetBlittableTypes().GetClass( calcType ).GetStaticMethods().Enum( "_Create", userProcs );
251 if( userProcs.size() != 1 ){
252 SetError();
253 return;
254 }
255 const UserProc *pUserProc = userProcs[0];
256
257 // mov rcx, rax
258 compiler.codeGenerator.op_mov_RR( REG_RCX, REG_RAX );
259
260 // call System.[TypeClass]._Create
261 compiler.codeGenerator.op_call( pUserProc );
262
263 calcType = pUserProc->ReturnType();
264 }
265
266 /////////////////////////////////
267 // 右辺、左辺の型チェックを行う
268 /////////////////////////////////
269
270 CheckDifferentType(varType,calcType,0,0);
271
272
273 /////////////////////////////////////////////////
274 // rax(実数はxmm0)の内容を変数にコピー
275 /////////////////////////////////////////////////
276 SetVariableFromRax(varType,calcType.GetBasicType(),&VarRelativeVar);
277}
Note: See TracBrowser for help on using the repository browser.