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