允许有print的函数内联

Author: ComradeProgrammer

GrammarAnalyzer.cpp

@@ -1314,7 +1314,7 @@ void GrammarAnalyzer::scanSentence() {
 }
 
 void GrammarAnalyzer::printSentence() {
-	inlineable = false;
+	//inlineable = false;
 	if (lex.sym().type != PRINTFTK) {
 		f.handleFault(lex.lineNumber(), "缺少printf标识符");
 		throw 0;

MidCodeFrameWork.cpp

@@ -131,9 +131,6 @@ vector<MidCode>MidCodeFramework::inlinedSimpleFunction(string functionName
 			case MIDGOTO:
 			case MIDBNZ:
 			case MIDBZ:
-			case MIDPRINTCHAR:
-			case MIDPRINTINT:
-			case MIDPRINTSTRING:
 			case MIDREADCHAR:
 			case MIDREADINTEGER:
 				cout << "bug @ inlinedFunction" << endl;
@@ -207,6 +204,8 @@ vector<MidCode>MidCodeFramework::inlinedSimpleFunction(string functionName
 			}
 			case MIDNEGATE:
 			case MIDASSIGN:
+			case MIDPRINTCHAR:
+			case MIDPRINTINT:
 			{
 				SymbolEntry* targetEntry = MidCode::table->getSymbolById(c.target);
 				if (c.target < 0 || targetEntry->scope != "") {
@@ -229,6 +228,8 @@ vector<MidCode>MidCodeFramework::inlinedSimpleFunction(string functionName
 				res.push_back(newMidCode);
 				break;
 			}
+			
+			case MIDPRINTSTRING: 
 			case MIDNOP:
 				res.push_back(newMidCode);
 				break;			

MipsTranslator.cpp

@@ -370,7 +370,7 @@ int MipsTranslator::loadOperand(int var, int isImmediate
 			if (entry->type == TYPEINT || entry->type == TYPECHAR || entry->type == TYPETMP
 				||entry->type==TYPEINTCONST||entry->type==TYPECHARCONST) {
 				//此处建立了机制防止未初始化的内存被加载进入寄存器，可以节省访存
-				if (!(var < 0 && globalVariable.find(var) == globalVariable.end()
+				if (!(/*var < 0 &&*/ globalVariable.find(var) == globalVariable.end()
 					&&loaded.find(var)==loaded.end())) {
 					int bias = entry->addr;
 					out << "lw " << name[res[0]] << "," << bias << "($sp)";
@@ -648,6 +648,7 @@ void MipsTranslator::translate(MidCode c) {
 		}
 		case MIDDIV:
 		{
+			
 			vector<int>conflictVar;
 			if (!c.isImmediate1) { conflictVar.push_back(c.operand1); }
 			if (!c.isImmediate2) { conflictVar.push_back(c.operand2); }

debug.txt

@@ -235,9 +235,24 @@ n=RET
 syscall-4 5 != 
 syscall-1 n
 syscall-11 10
-push 5
-push 10
-call swap
+#TMP98=5
+#TMP99=10
+syscall-4 x = 
+syscall-1 #TMP98
+syscall-11 10
+syscall-4 y = 
+syscall-1 #TMP99
+syscall-11 10
+#TMP97=#TMP98
+#TMP98=#TMP99
+#TMP99=#TMP97
+syscall-4 SWAP x = 
+syscall-1 #TMP98
+syscall-11 10
+syscall-4 SWAP y = 
+syscall-1 #TMP99
+syscall-11 10
+#TMP95=#TMP96
 call complete_flower_num
 
 ====Block0====
@@ -779,22 +794,23 @@ n=RET
 syscall-4 5 != 
 syscall-1 n
 syscall-11 10
-push 5
-push 10
-call swap
-	prev:[43,]
-	next:[45,]
-	use:[]
-	def:[n,]
-	activeIn:[]
-	activeOut:[]
-==============
-====Block45====
+syscall-4 x = 
+syscall-1 5
+syscall-11 10
+syscall-4 y = 
+syscall-1 10
+syscall-11 10
+syscall-4 SWAP x = 
+syscall-1 10
+syscall-11 10
+syscall-4 SWAP y = 
+syscall-1 5
+syscall-11 10
 call complete_flower_num
-	prev:[44,]
+	prev:[43,]
 	next:[]
 	use:[]
-	def:[]
+	def:[n,]
 	activeIn:[]
 	activeOut:[]
 ==============
@@ -1004,9 +1020,18 @@ n=RET
 syscall-4 5 != 
 syscall-1 n
 syscall-11 10
-push 5
-push 10
-call swap
+syscall-4 x = 
+syscall-1 5
+syscall-11 10
+syscall-4 y = 
+syscall-1 10
+syscall-11 10
+syscall-4 SWAP x = 
+syscall-1 10
+syscall-11 10
+syscall-4 SWAP y = 
+syscall-1 5
+syscall-11 10
 call complete_flower_num
 
 

mips.txt

@@ -111,7 +111,6 @@ syscall #printchar
 move $a0,$3
 # syscall-11 10
 
-lw $t0,0($sp)	#load variabletemp
 move $t0,$a0#temp=x
 
 move $a0,$a1#x=y
@@ -525,7 +524,6 @@ li $t1,10	# load immediate 10
 div $s3,$t1
 mflo $t0##TMP91 = h / 10
 
-lw $t2,716($sp)	#load variablex2
 mul $t2,$t0,10#x2 = #TMP91 * 10
 
 bne $t2,$s3,label$23
@@ -584,7 +582,6 @@ addiu $sp,$sp,-56
 jal factorial
 #call factorial
 
-lw $t0,0($sp)	#load variablen
 move $t0,$v0#n=RET
 
 la $a0,string$16
@@ -602,15 +599,65 @@ li $v0,11
 syscall #printchar
 # syscall-11 10
 
-li $t1,5	# load immediate 5
-move $a0,$t1
-sw $t1,-8($sp)
-li $t2,10	# load immediate 10
-move $a1,$t2
-sw $t2,-4($sp)
-addiu $sp,$sp,-48
-jal swap
-#call swap
+la $a0,string$0
+li $v0,4
+syscall #printstring
+# syscall-4 x = 
+
+li $a0,5
+li $v0,1
+syscall #printint
+# syscall-1 5
+
+li $a0,10
+li $v0,11
+syscall #printchar
+# syscall-11 10
+
+la $a0,string$1
+li $v0,4
+syscall #printstring
+# syscall-4 y = 
+
+li $a0,10
+li $v0,1
+syscall #printint
+# syscall-1 10
+
+li $a0,10
+li $v0,11
+syscall #printchar
+# syscall-11 10
+
+la $a0,string$2
+li $v0,4
+syscall #printstring
+# syscall-4 SWAP x = 
+
+li $a0,10
+li $v0,1
+syscall #printint
+# syscall-1 10
+
+li $a0,10
+li $v0,11
+syscall #printchar
+# syscall-11 10
+
+la $a0,string$3
+li $v0,4
+syscall #printstring
+# syscall-4 SWAP y = 
+
+li $a0,5
+li $v0,1
+syscall #printint
+# syscall-1 5
+
+li $a0,10
+li $v0,11
+syscall #printchar
+# syscall-11 10
 
 addiu $sp,$sp,-760
 jal complete_flower_num