source: dev/trunk/abdev/BasicCompiler_Common/src/LexicalScope.cpp@ 259

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

MetaImplを廃止し、Metaにした。
ObjectModuleクラス、Linkerクラスを用意。

File size: 4.5 KB
Line 
1#include "stdafx.h"
2
3#include <LexicalScope.h>
4#include <Compiler.h>
5
6#include "../common.h"
7
8#ifdef _AMD64_
9#include "../../BasicCompiler64/opcode.h"
10#else
11#include "../../BasicCompiler32/opcode.h"
12#endif
13
14
15void LexicalScope::Break(){
16 //未解放のローカルオブジェクトを解放する
17 compiler.codeGenerator.lexicalScopes.CallDestructorsOfReturn( level );
18
19 //jmp ...(Next addr)
20 breakPertialSchedules.push_back(
21 compiler.codeGenerator.op_jmp( 0, sizeof(long), true )
22 );
23}
24void LexicalScope::RunScheduleOfBreak(){
25 BOOST_FOREACH( const PertialSchedule *pBreakPertialSchedule, breakPertialSchedules )
26 {
27 compiler.codeGenerator.opfix_JmpPertialSchedule( pBreakPertialSchedule );
28 }
29}
30
31
32
33LexicalScope *LexicalScopes::SearchScope( LexicalScope::SCOPE_TYPE TypeOfStatement ){
34 for( int i = level; i>=0; i-- ){
35 if( ppScopes[i]->GetTypeOfStatement() == TypeOfStatement ){
36 return ppScopes[i];
37 }
38 }
39 return NULL;
40}
41
42void LexicalScopes::Init(int addr){
43 // TODO: エラーチェック
44
45 level = -1;
46 Start( addr, LexicalScope::SCOPE_TYPE_BASE );
47}
48void LexicalScopes::Start( int addr, LexicalScope::SCOPE_TYPE TypeOfStatement ){
49 level++;
50 ppScopes = (LexicalScope **)realloc( ppScopes, ( level + 1 ) * sizeof( LexicalScope * ) );
51 ppScopes[level] = new LexicalScope( level, addr, TypeOfStatement );
52}
53
54int LexicalScopes::GetNowLevel(){
55 return level;
56}
57void LexicalScopes::SetNowLevel( int level ){
58 this->level = level;
59}
60int LexicalScopes::GetStartAddress(){
61 return ppScopes[level]->GetStartAddress();
62}
63
64void LexicalScopes::End(){
65 if( level <= 0 ){
66 SetError();
67 return;
68 }
69
70 //デストラクタを呼ぶ
71 CallDestructorsOfScopeEnd();
72
73 Variables &vars = UserProc::IsGlobalAreaCompiling() ?
74 compiler.objectModule.meta.GetGlobalVars() :
75 UserProc::CompilingUserProc().GetLocalVars();
76
77 //使用済みローカル変数の生存チェックを外す
78 BOOST_FOREACH( Variable *pVar, vars ){
79 if(pVar->bLiving&&pVar->GetScopeLevel()==level){
80 pVar->bLiving=0;
81 extern int obp;
82 pVar->SetScopeEndAddress( obp );
83 }
84 }
85
86
87 //スコープ抜け出しスケジュール
88 ppScopes[level]->RunScheduleOfBreak();
89
90
91 //スコープレベルを下げる
92 delete ppScopes[level];
93 level--;
94}
95
96// スコープ終了時のデストラクタ呼び出し
97void LexicalScopes::CallDestructorsOfScopeEnd(){
98
99 Variables &vars = UserProc::IsGlobalAreaCompiling() ?
100 compiler.objectModule.meta.GetGlobalVars() :
101 UserProc::CompilingUserProc().GetLocalVars();
102
103
104 int i3;
105 int indexSystemGC=-1;
106 for( i3 = (int)vars.size() - 1; i3 >= 0; i3-- ){ //確保したのと逆順序で解放するため、バックサーチにする
107
108 Variable *pVar = vars[i3];
109
110 if( UserProc::IsGlobalAreaCompiling() && GetNowLevel() == 0 ){
111 if( pVar->GetName() == "_System_GC" ){
112 indexSystemGC=i3;
113 continue;
114 }
115 }
116
117 //同一レベルのレキシカルスコープのみを検知
118 if(!pVar->bLiving) continue;
119 if( pVar->GetScopeLevel() != GetNowLevel() ) continue;
120
121 if( pVar->GetType().IsStruct() && pVar->IsParameter() ){
122 //構造体パラメータを持つとき
123
124 //メモリを解放する
125
126#ifdef _AMD64_
127 //x64ビットコード
128
129 //mov rcx,qword ptr[rsp+offset]
130 compiler.codeGenerator.localVarPertialSchedules.push_back(
131 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RCX,REG_RSP,
132 -pVar->GetOffsetAddress(),
133 MOD_BASE_DISP32,
134 Schedule::None, true)
135 );
136#else
137 //x86コード
138
139 //mov ecx,dword ptr[ebp+offset]
140 compiler.codeGenerator.localVarPertialSchedules.push_back(
141 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_ECX,REG_EBP,-pVar->GetOffsetAddress(),MOD_BASE_DISP32, Schedule::None, true )
142 );
143
144 //push ecx
145 compiler.codeGenerator.op_push(REG_ECX);
146#endif
147
148 //call free
149 extern const UserProc *pSub_free;
150 compiler.codeGenerator.op_call(pSub_free);
151
152
153 if( UserProc::IsGlobalAreaCompiling() ){
154 //ここには来ないハズ
155 SetError(300,NULL,cp);
156 }
157 }
158 }
159
160 if(indexSystemGC!=-1){
161 //_System_GCオブジェクトのデストラクタの呼び出し処理
162 const CMethod *method = vars[indexSystemGC]->GetType().GetClass().GetDestructorMethod();
163 if( method ){
164 Opcode_CallProc("",&method->GetUserProc(),0,vars[indexSystemGC]->GetName().c_str(),DEF_OBJECT);
165 }
166 }
167}
168
169// Returnステートメントで発行されるデストラクタを生成
170void LexicalScopes::CallDestructorsOfReturn( int BaseLevel ){
171 //現在のスコープレベルを退避
172 int backupScopeLevel = GetNowLevel();
173
174 for( int i = GetNowLevel(); i >= BaseLevel; i-- ){
175 SetNowLevel( i );
176
177 CallDestructorsOfScopeEnd();
178 }
179
180 //現在のスコープレベルを復元
181 SetNowLevel( backupScopeLevel );
182}
Note: See TracBrowser for help on using the repository browser.