临时AC

Author: ComradeProgrammer

Block.cpp

@@ -1,4 +1,4 @@
-#include"Block.h"
+#include"Block.h"
 int Block::count = 0;
 
 Block::Block() {
@@ -17,10 +17,11 @@ void Block::addNext(Block* b) {
 	next.push_back(b);
 }
 
+/*扫描这个基本块中的use def集合*/
 void Block::useDefScan() {
 	for (int ii = v.size() - 1; ii >= 0;ii--) {
 		MidCode i = v[ii];
-		//正常三地址运算,注意立即数问题
+		//正常三地址运算,注意立即数问题
 		if (i.op == MIDADD || i.op == MIDSUB || i.op == MIDMULT
 			|| i.op == MIDDIV || i.op == MIDLSS || i.op == MIDLEQ
 			|| i.op == MIDGRE || i.op == MIDGEQ || i.op == MIDEQL
@@ -36,15 +37,15 @@ void Block::useDefScan() {
 				use.insert(i.operand2);
 			}
 		}
-		//只使用operand1
+		//只使用operand1
 		else if (i.op == MIDPUSH || i.op == MIDRET||i.op==MIDBNZ||i.op==MIDBZ
 			||i.op==MIDPRINTINT||i.op==MIDPRINTCHAR) {
-			if (!i.isImmediate1) {
+			if (!i.isImmediate1&&i.operand1!=-1) {
 				def.erase(i.operand1);
 				use.insert(i.operand1);
 			}
 		}
-		//使用operand1并返回值，其中assign需要考虑排除-1
+		//使用operand1并返回值，其中assign需要考虑排除-1
 		else if (i.op == MIDNEGATE || i.op == MIDASSIGN) {
 			use.erase(i.target);
 			def.insert(i.target);
@@ -54,7 +55,7 @@ void Block::useDefScan() {
 			}
 
 		}
-		//数组写操作只会使用2个操作数，但是不会对target造成影响，因为数组地址没变
+		//数组写操作只会使用2个操作数，但是不会对target造成影响，因为数组地址没变
 		else if (i.op == MIDARRAYWRITE) {
 			if (!i.isImmediate1) {
 				def.erase(i.operand1);
@@ -64,7 +65,7 @@ void Block::useDefScan() {
 				def.erase(i.operand2);
 				use.insert(i.operand2);
 			}
-		}//只使用target
+		}//只使用target
 		else if (i.op == MIDREADCHAR || i.op == MIDREADINTEGER) {
 			use.erase(i.target);
 			def.insert(i.target);
@@ -73,7 +74,6 @@ void Block::useDefScan() {
 	}
 }
 
-
 bool Block::activeVariableAnalyzeEpoch() {
 	int oldsize = activeIn.size();
 	for (Block* i : next) {
@@ -85,6 +85,68 @@ bool Block::activeVariableAnalyzeEpoch() {
 
 }
 
+vector<vector<int>>Block::conflictEdgeAnalyze(){
+	/*冲突边的构建原则是，只要在变量定义处活跃的变量全都算是冲突*/
+	vector<vector<int>>res;
+	set<int>localActive;
+	localActive = activeOut;
+	for (int line = v.size() - 1; line >= 0; line--) {
+		MidCode i = v[line];
+		//正常三地址运算
+		if (i.op == MIDADD || i.op == MIDSUB || i.op == MIDMULT
+			|| i.op == MIDDIV || i.op == MIDLSS || i.op == MIDLEQ
+			|| i.op == MIDGRE || i.op == MIDGEQ || i.op == MIDEQL
+			|| i.op == MIDNEQ || i.op == MIDARRAYGET) {
+			localActive.erase(i.target);
+			if (!i.isImmediate1) {
+				localActive.insert(i.operand1);
+			}
+			if (!i.isImmediate2) {
+				localActive.insert(i.operand2);
+			}
+		}
+		//只使用operand1
+		else if (i.op == MIDPUSH || i.op == MIDRET || i.op == MIDBNZ || i.op == MIDBZ
+			|| i.op == MIDPRINTINT || i.op == MIDPRINTCHAR) {
+			if (!i.isImmediate1&&i.operand1!=-1) {
+				localActive.insert(i.operand1);
+			}
+		}
+		//使用operand1并返回值，其中assign需要考虑排除-1
+		else if (i.op == MIDNEGATE || i.op == MIDASSIGN) {
+			localActive.erase(i.target);
+			if (!i.isImmediate1 && i.operand1 != -1) {
+				localActive.insert(i.operand1);
+			}
+		}
+		//数组写操作只会使用2个操作数，但是不会对target造成影响，因为数组地址没变
+		else if (i.op == MIDARRAYWRITE) {
+			if (!i.isImmediate1) {
+				localActive.insert(i.operand1);
+			}
+			if (!i.isImmediate2) {
+				localActive.insert(i.operand2);
+			}
+		}
+		//只有target
+		else if (i.op == MIDREADCHAR || i.op == MIDREADINTEGER) {
+			localActive.erase(i.target);
+		}
+		//现在找有target的计算冲突边
+		if (i.op == MIDADD || i.op == MIDSUB || i.op == MIDMULT
+			|| i.op == MIDDIV || i.op == MIDLSS || i.op == MIDLEQ
+			|| i.op == MIDGRE || i.op == MIDGEQ || i.op == MIDEQL
+			|| i.op == MIDNEQ || i.op == MIDARRAYGET ||
+			i.op == MIDNEGATE || i.op == MIDASSIGN ||
+			i.op == MIDREADCHAR || i.op == MIDREADINTEGER) {
+			for (int j : localActive) {
+				res.push_back({ i.target,j });
+			}
+		}
+	}
+	return res;
+}
+
 set<int>Block::setUnion(set<int> a, set<int> b) {
 	set<int>res;
 	for (int i : a) {

Block.h

@@ -1,4 +1,4 @@
-#pragma once
+#pragma once
 #include<vector>
 #include<set>
 #include"MidCode.h"
@@ -7,8 +7,8 @@ using namespace std;
 class Block {
 public:
 	static int count;
-	int id; 
-	int functionId;
+	int id;//每个block有唯一确定的id 
+	int functionId;//所属函数id
 	vector<Block*>prev;
 	vector<Block*>next;
 	set<int>def;
@@ -23,9 +23,10 @@ class Block {
 	void addNext(Block* b);
 	void useDefScan();
 	bool activeVariableAnalyzeEpoch();
+	vector<vector<int>>conflictEdgeAnalyze();
 	friend ostream& operator<<(ostream& out, Block b);
-	set<int> setUnion(set<int> a, set<int> b);
-	set<int> setDifference(set<int> a, set<int> b);
+	static set<int> setUnion(set<int> a, set<int> b);
+	static set<int> setDifference(set<int> a, set<int> b);
 
 
 };

C0Compiler.vcxproj

@@ -128,6 +128,7 @@
     <Text Include="error.txt" />
     <Text Include="grammar.txt" />
     <Text Include="grammarRegroup.txt" />
+    <Text Include="mips.txt" />
     <Text Include="testfile.txt" />
     <Text Include="output.txt" />
     <Text Include="teststorage.txt" />
@@ -140,7 +141,8 @@
     <ClCompile Include="LexicalAnalyzer.cpp" />
     <ClCompile Include="main.cpp" />
     <ClCompile Include="MidCodeContainer.cpp" />
-    <ClCompile Include="MideCode.cpp" />
+    <ClCompile Include="MidCode.cpp" />
+    <ClCompile Include="MipsGenerator.cpp" />
     <ClCompile Include="SubSymbolTable.cpp" />
     <ClCompile Include="SymbolTable.cpp" />
   </ItemGroup>
@@ -153,6 +155,7 @@
     <ClInclude Include="main.h" />
     <ClInclude Include="MidCode.h" />
     <ClInclude Include="MidCodeContainer.h" />
+    <ClInclude Include="MipsGenerator.h" />
     <ClInclude Include="SubSymbolTable.h" />
     <ClInclude Include="SymbolTable.h" />
   </ItemGroup>

C0Compiler.vcxproj.filters

@@ -54,6 +54,9 @@
     <Text Include="debug.txt">
       <Filter>资源文件</Filter>
     </Text>
+    <Text Include="mips.txt">
+      <Filter>资源文件</Filter>
+    </Text>
   </ItemGroup>
   <ItemGroup>
     <ClCompile Include="main.cpp">
@@ -68,9 +71,6 @@
     <ClCompile Include="GrammarAnalyzer.cpp">
       <Filter>源文件\FrontEnd</Filter>
     </ClCompile>
-    <ClCompile Include="MideCode.cpp">
-      <Filter>源文件\Midcode&amp;Symbol</Filter>
-    </ClCompile>
     <ClCompile Include="MidCodeContainer.cpp">
       <Filter>源文件\Midcode&amp;Symbol</Filter>
     </ClCompile>
@@ -86,6 +86,12 @@
     <ClCompile Include="SubSymbolTable.cpp">
       <Filter>源文件\Midcode&amp;Symbol</Filter>
     </ClCompile>
+    <ClCompile Include="MipsGenerator.cpp">
+      <Filter>源文件\BackEnd</Filter>
+    </ClCompile>
+    <ClCompile Include="MidCode.cpp">
+      <Filter>源文件\Midcode&amp;Symbol</Filter>
+    </ClCompile>
   </ItemGroup>
   <ItemGroup>
     <ClInclude Include="LexicalAnalyzer.h">
@@ -118,6 +124,9 @@
     <ClInclude Include="SubSymbolTable.h">
       <Filter>头文件\Midcode&amp;Symbol</Filter>
     </ClInclude>
+    <ClInclude Include="MipsGenerator.h">
+      <Filter>头文件\BackEnd</Filter>
+    </ClInclude>
   </ItemGroup>
   <ItemGroup>
     <Image Include="Annotation 2019-09-26 123820.jpg">