release Version

Author: ComradeProgrammer

C0Compiler.rar

@@ -165,6 +165,7 @@
     <ClInclude Include="MidCodeContainer.h" />
     <ClInclude Include="MidCodeFramework.h" />
     <ClInclude Include="MipsTranslator.h" />
+    <ClInclude Include="OptimizeSwitch.h" />
     <ClInclude Include="PeepHoleOptimization.h" />
     <ClInclude Include="SubSymbolTable.h" />
     <ClInclude Include="SymbolTable.h" />

C0Compiler.vcxproj

@@ -157,6 +157,9 @@
     <ClInclude Include="PeepHoleOptimization.h">
       <Filter>头文件\BackEnd</Filter>
     </ClInclude>
+    <ClInclude Include="OptimizeSwitch.h">
+      <Filter>头文件</Filter>
+    </ClInclude>
   </ItemGroup>
   <ItemGroup>
     <Image Include="Annotation 2019-09-26 123820.jpg">

C0Compiler.vcxproj.filters

@@ -135,6 +135,12 @@ void DagMap::handleMidCode(MidCode c){
 			varToNode[c.target] = node;
 			node->possibleNames.insert(c.target);
 			assigned.insert(c.target);
+			if (c.target > 0) {
+				SymbolEntry* entry = MidCode::table->getSymbolById(c.target);
+				if (entry->scope == "") {
+					mustOut.insert(c.target);
+				}
+			}
 			break;
 		}
 		case MIDNEGATE:
@@ -153,6 +159,12 @@ void DagMap::handleMidCode(MidCode c){
 			varToNode[c.target] = node;
 			node->possibleNames.insert(c.target);
 			assigned.insert(c.target);
+			if (c.target > 0) {
+				SymbolEntry* entry = MidCode::table->getSymbolById(c.target);
+				if (entry->scope == "") {
+					mustOut.insert(c.target);
+				}
+			}
 			break;
 		}
 		case MIDASSIGN:
@@ -177,6 +189,12 @@ void DagMap::handleMidCode(MidCode c){
 			varToNode[c.target] = node1;
 			node1->possibleNames.insert(c.target);
 			assigned.insert(c.target);
+			if (c.target > 0) {
+				SymbolEntry* entry = MidCode::table->getSymbolById(c.target);
+				if (entry->scope == "") {
+					mustOut.insert(c.target);
+				}
+			}
 			break;
 		}
 		case MIDPRINTCHAR:
@@ -297,8 +315,9 @@ vector<MidCode> DagMap::dumpMidCode() {
 	//开始确定导出顺序
 	vector<DagNode*>q;
 	int i = 0;
-	while (i < nodes.size()) {
-		DagNode* tmp=nullptr;
+	DagNode* tmp = nullptr;
+	while (i < nodes.size() ) {
+		tmp = nullptr;
 		for (int j = 0; j < nodes.size(); j++) {
 			if (nodes[j]->dumped) { continue; }
 			else if (nodes[j]->isLeaf) {

DagMap.cpp

@@ -2,7 +2,10 @@
 
 FaultHandler::FaultHandler(string filename) {
 	debug = false;
-	fout.open(filename,ios_base::out|ios_base::trunc);
+	if (filename == "") {
+		filename = "/dev/null";
+	}
+	fout.open(filename, ios_base::out | ios_base::trunc);
 	messages[LEXICALERROR] = "lexical error";
 	messages[REDEFINED] = "redefined symbol";
 	messages[UNDEFINED] = "undifined symbol";

FaultHandler.cpp

@@ -36,7 +36,7 @@ class FaultHandler {
 	void test();
 
 private:
-	ofstream fout;
+	fstream fout;
 	bool debug=false;
 	map<FaultType, string>messages;
 };

FaultHandler.h

@@ -54,19 +54,26 @@ void FlowGraph::addLink(Block* from, Block* to) {
 }
 
 void FlowGraph::optimize() {
+	if (dagMapSwitch) {
+		activeVariableAnalyze();
+		DAGoptimize();
+	}
 
-	activeVariableAnalyze();
-	DAGoptimize();
-
-	activeVariableAnalyze();
-	blockOptimize();
+	if (propagationSwitch) {
+		activeVariableAnalyze();
+		blockOptimize();
+	}
 
-	activeVariableAnalyze();
-	eliminateDeadCode();
+	if (deadCodeEliminateSwitch) {
+		activeVariableAnalyze();
+		eliminateDeadCode();
+	}
 
-	activeVariableAnalyze();
-	activeVariablePerLine();
-	peepholeOptimize();
+	if (PeepHoleSwitch) {
+		activeVariableAnalyze();
+		activeVariablePerLine();
+		peepholeOptimize();
+	}
 
 	activeVariableAnalyze();
 	variableSummary();

FlowGraph.cpp

@@ -3,6 +3,7 @@
 #include<set>
 #include"Block.h"
 #include"MidCodeContainer.h"
+#include"OptimizeSwitch.h"
 using namespace std;
 class FlowGraph {
 public:

FlowGraph.h

@@ -3,6 +3,9 @@
 /*构造器函数*/
 GrammarAnalyzer::GrammarAnalyzer(FaultHandler& _f, SymbolTable& _s, LexicalAnalyzer& _l,MidCodeFramework& _raw,string file)
 :f(_f),table(_s),raw(_raw), lex(_l) {
+	if (file == "") {
+		file = "/dev/null";
+	}
 	out.open(file,ios_base::trunc|ios_base::out);
 	currentScope="";
 }
@@ -749,7 +752,7 @@ void GrammarAnalyzer::parameterList(SymbolEntry* entry) {
 
 /*<复合语句>*/
  void GrammarAnalyzer::compoundSentence(){
-	 inlineable = true;
+	inlineable = inlineSwitch;
 	if (currentScope == "main") {
 		inlineable = false;
 	}
@@ -840,7 +843,7 @@ ReturnBundle GrammarAnalyzer::factor() {
 				res.isChar = true;
 			}
 			if (!error) {
-				if (entry->type == TYPECHARCONST || entry->type == TYPEINTCONST) {
+				if (constantSubstitutionSwitch&&(entry->type == TYPECHARCONST || entry->type == TYPEINTCONST)) {
 					res.id = entry->initValue;
 					res.isImmediate = true;
 				}
@@ -1845,7 +1848,7 @@ void GrammarAnalyzer::loopSentence() {
 
 
 		if (entry2 != NULL&&entry3!=NULL) {
-			if (entry3->type == TYPECHARCONST || entry3->type == TYPEINTCONST) {
+			if (constantSubstitutionSwitch&&(entry3->type == TYPECHARCONST || entry3->type == TYPEINTCONST)) {
 				raw.midCodeInsert(op, entry2->id,
 					entry3->initValue, true, step, true, MIDNOLABEL);
 			}

GrammarAnalyzer.cpp

@@ -5,6 +5,7 @@
 #include"SymbolTable.h"
 #include"MidCode.h"
 #include"MidCodeFramework.h"
+#include"OptimizeSwitch.h"
 using namespace std;
 struct ReturnBundle {
 	bool isChar=false;

GrammarAnalyzer.h

@@ -79,9 +79,11 @@ void MidCodeFramework::dumpNewMidCode(ostream&out) {
 	MidCode::table->getSubSymbolTableByName("")->dumpMidCode(out);
 	for (FlowGraph& g : graph) {
 		string functionName = MidCode::table->getSymbolById(g.functionId)->name;
-		MidCode::table->getSubSymbolTableByName(functionName)->dumpMidCode(out);
+		
 		for (Block* b : g.graph) {
 			for (MidCode& c : b->v) {
+				if(c.op==MIDFUNC)
+					MidCode::table->getSubSymbolTableByName(functionName)->dumpMidCode(out);
 				out << c;
 			}
 		}

MidCodeFrameWork.cpp

@@ -136,7 +136,7 @@ void MipsTranslator::SregisterAlloc() {
 				//若没有找到满足条件的，暂时是从头找一个
 				//此处如何选择可进行优化
 				int chosen = *(var.begin());
-				cout << "remove var No." << chosen << endl;
+				//cout << "remove var No." << chosen << endl;
 				for (int j : m[chosen]) {
 					m[j].erase(chosen);
 				}

MipsTranslator.cpp

@@ -0,0 +1,7 @@
+#pragma once
+extern bool constantSubstitutionSwitch;
+extern bool inlineSwitch;
+extern bool propagationSwitch;
+extern bool dagMapSwitch;
+extern bool deadCodeEliminateSwitch;
+extern bool PeepHoleSwitch;