mid.cpp

#include "mid.h"
#include <fstream>
using namespace std;
std::vector<void(mid::*)()>mid::func;
mid::mid() {
	func.push_back(&mid::f_0);
	func.push_back(&mid::f_1);
	func.push_back(&mid::f_2);
	func.push_back(&mid::f_3);
	func.push_back(&mid::f_4);
	func.push_back(&mid::f_5);
	func.push_back(&mid::f_6);
	func.push_back(&mid::f_7);
	func.push_back(&mid::f_8);
	func.push_back(&mid::f_9);
	func.push_back(&mid::f_10);
	func.push_back(&mid::f_11);
	func.push_back(&mid::f_12);
	func.push_back(&mid::f_13);
	func.push_back(&mid::f_14);
	func.push_back(&mid::f_15);
	func.push_back(&mid::f_16);
	func.push_back(&mid::f_17);
	func.push_back(&mid::f_18);
	func.push_back(&mid::f_19);
	func.push_back(&mid::f_20);
	func.push_back(&mid::f_21);
	func.push_back(&mid::f_22);
	func.push_back(&mid::f_23);
	func.push_back(&mid::f_24);
	func.push_back(&mid::f_25);
	func.push_back(&mid::f_26);
	func.push_back(&mid::f_27);
	func.push_back(&mid::f_28);
	func.push_back(&mid::f_29);
	func.push_back(&mid::f_30);
	func.push_back(&mid::f_31);
	func.push_back(&mid::f_32);
	func.push_back(&mid::f_33);
	func.push_back(&mid::f_34);
	func.push_back(&mid::f_35);
	func.push_back(&mid::f_36);
	func.push_back(&mid::f_37);
	func.push_back(&mid::f_38);
	func.push_back(&mid::f_39);
	func.push_back(&mid::f_40);
	func.push_back(&mid::f_41);
	func.push_back(&mid::f_42);
	func.push_back(&mid::f_43);
	func.push_back(&mid::f_44);
	func.push_back(&mid::f_45);
	func.push_back(&mid::f_46);
	func.push_back(&mid::f_47);
	func.push_back(&mid::f_48);
	func.push_back(&mid::f_49);
	func.push_back(&mid::f_50);
	func.push_back(&mid::f_51);
	func.push_back(&mid::f_52);
	func.push_back(&mid::f_53);
}
void mid::insert(string name,string kind,string var,int level,int addr) {
	m.push_back(new entry(name, kind, var, level, addr));
}
void mid::gen_quad(string q[4]) {
	code.push_back(new quad(q));
}
void mid::f_0() {//&->A
	sta.pop_back();
}
void mid::f_1() {//A->B!
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " "," "," "," "});
}
void mid::f_2() {//B->FIKH
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
	if (nowproc != "main") {
		string temp[4] = { "j","-","-","0" };
		gen_quad(temp);
		int nn = lookup(nowproc);
		int tt = code.size() - 1;
		m[nn]->level = tt;
	}
}
void mid::f_3() {//F->C
	type = 1;
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
}
void mid::f_4() {//F->NULL
	type = 1;
	sta.push_back({ " "," "," "," " });
}
void mid::f_5() {//I->D
	type = 2;
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
}
void mid::f_6() {//I->NULL
	type = 2;
	sta.push_back({ " "," "," "," " });
}
void mid::f_7() {//K->E
	
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
}
void mid::f_8() {//K->NULL
	
	sta.push_back({ " "," "," "," " });
}
void mid::f_9() {//C->aG0;
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
}
void mid::f_10() {//0->,G0
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
}
void mid::f_11() {//0->NULL
	sta.push_back({ " "," "," "," " });
}
void mid::f_12() {//G->p=o
	//insert(p, "constant", o, l, dx);
	string o = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	string p = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
	insert(p, "constant", o, l, dx);
	dx++;
}
void mid::f_13() {//D->bp1;
	sta.pop_back();
	sta.pop_back();
	string p = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " "," "," "," " });
	insert(p, "variable", "0", l, dx);
	dx++;
}
void mid::f_14() {//1->,p1
	int thenum = stoi(sta[sta.size() - 1].name);
	sta.pop_back();
	string p = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ to_string(thenum+1)," "," "," "});
	if(type==1)
		insert(p, "variable", "0", l, dx);
	else if (type == 2) {
		string temp[4] = { "push","-","-",p };
		gen_quad(temp);
	}
	dx++;
}

void mid::f_15() {//1->NULL
	sta.push_back({ "0"," "," "," " });
}
void mid::f_16() {//E->LB;J
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	string beg = sta[sta.size() - 1].next;
	backpatch(beg, next);
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
	l--;
	nowproc = "main";
	//cout << beg<<" "<<next << endl;
}
void mid::f_17() {//J->EJ
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
	
}
void mid::f_18() {//J->NULL
	string next = to_string(code.size());
	sta.push_back({ " ",next," "," " });
}
void mid::f_19() {//L->cp;
	string beg = to_string(code.size());
	string beg1 = to_string(code.size()+1);
	sta.pop_back();
	string name = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	sta.push_back({ " ",beg," "," "});
	l++;
	string temp[4] = { "j*","-","-","0" };
	gen_quad(temp);
	insert(name, "procedure",beg1,/*end*/0,/*ret*/0);
	nowproc = name;
}

void mid::f_20() {//M->N
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_21() {//M->O
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_22() {//M->P
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_23() {//M->Q
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_24() {//M->R
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_25() {//M->S
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_26() {//M->T
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.push_back({ " ",next," "," " });
}
void mid::f_27() {//M->NULL
	string next = to_string(code.size());
	sta.push_back({ " ",next," "," " });
}
//上面的各种语句赋值给语句也不用四元式


void mid::f_28() {//N->pdV
	string vv = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	string p = sta[sta.size() - 1].name;
	if (lookup(p) != -1) {//
		string temp[4] = { "=",vv,"-",p };
		gen_quad(temp);
	}
	sta.pop_back();
	string next = to_string(code.size());
	sta.push_back({ " ",next," "," " });
}
void mid::f_29() {//T->eM2f
	sta.pop_back();
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.push_back({" ",next," "," "});
}
void mid::f_30() {//2->;M2
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	sta.push_back({" ",next," ", " "});
}
void mid::f_31() {//2->NULL
	string next = to_string(code.size());
	sta.push_back({" ",next," "," "});
}
void mid::f_32() {//W->VsV
	string t = to_string(code.size());
	string id2 = sta[sta.size() - 1].name;
	sta.pop_back();
	string judge = sta[sta.size() - 1].name;
	sta.pop_back();
	string id1 = sta[sta.size() - 1].name;
	sta.pop_back();
	
	string temp[4] = { "j"+judge, id1, id2, "0"};
	gen_quad(temp);
	string f = to_string(code.size());
	string temp1[4] = { "j","-","-","0" };
	gen_quad(temp1);
	sta.push_back({ " "," ",t,f });
}
void mid::f_33() {//W->gV
	string t = to_string(code.size());
	string id1 = sta[sta.size() - 1].name;
	sta.pop_back();
	string judge = sta[sta.size() - 1].name;
	sta.pop_back();
	string id2 = "1";
	
	string temp[4] = { "j" + judge, id1, id2, "0"};
	gen_quad(temp);
	string f = to_string(code.size());
	string temp1[4] = { "j","-","-","0" };
	gen_quad(temp1);
	sta.push_back({ " "," ",t,f });
}
void mid::f_34() {//V->3YU
	string u = sta[sta.size() - 1].name;

	sta.pop_back();

	string y = sta[sta.size() - 1].name;

	sta.pop_back();

	string judge = sta[sta.size() - 1].name;
	sta.pop_back();
	string tempvar = "n" + to_string(newtemp);
	insert(tempvar, "tempvar", "0", l, dx);
	dx++;
	newtemp++;
	string temp[4] = {judge,y,"-",tempvar};
	gen_quad(temp);

	string tempvar1 = "n" + to_string(newtemp);
	insert(tempvar1, "tempvar", "0", l, dx);
	dx++;
	newtemp++;
	string temp1[4] = { "+",u,tempvar,tempvar1 };
	gen_quad(temp1);
	sta.push_back({tempvar1," "," "," "});
}
void mid::f_35() {//3->q
	string q = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.push_back({q," "," "," "});
}
void mid::f_36() {//3->NULL
	sta.push_back({ "+"," "," "," " });
}
void mid::f_37() {//U->qYU
	string u = sta[sta.size() - 1].name;

	sta.pop_back();

	string y = sta[sta.size() - 1].name;

	sta.pop_back();

	string judge = sta[sta.size() - 1].name;
	sta.pop_back();
	string tempvar = "n" + to_string(newtemp);
	insert(tempvar, "tempvar", "0", l, dx);
	dx++;
	newtemp++;
	string temp[4] = { judge,y,"-",tempvar };
	gen_quad(temp);

	string tempvar1 = "n" + to_string(newtemp);
	insert(tempvar1, "tempvar", "0", l, dx);
	dx++;
	newtemp++;
	string temp1[4] = { "+",tempvar,u,tempvar1 };
	gen_quad(temp1);
	sta.push_back({ tempvar1," "," "," " });
}
void mid::f_38() {//U->NULL
	sta.push_back({ "-"," "," "," " });
}
void mid::f_39() {//Y->ZX
	string x = sta[sta.size() - 1].name;
	string symbol = sta[sta.size() - 1].next;
	sta.pop_back();
	string z = sta[sta.size() - 1].name;
	sta.pop_back();
	string tempvar = "n" + to_string(newtemp);
	insert(tempvar, "tempvar", "0", l, dx);
	dx++;
	newtemp++;
	string temp[4] = { symbol,x,z,tempvar };
	gen_quad(temp);
	sta.push_back({tempvar," "," "," "});
}
void mid::f_40() {//X->rZX
	string xr = sta[sta.size() - 1].name;
	string xs = sta[sta.size() - 1].next;
	sta.pop_back();
	string z = sta[sta.size() - 1].name;
	sta.pop_back();
	string symbol = sta[sta.size() - 1].name;
	sta.pop_back();
	string tempvar = "n" + to_string(newtemp);
	insert(tempvar, "tempvar", "0", l, dx);
	dx++;
	string temp[4] = { xs,xr,z,tempvar };
	gen_quad(temp);

	newtemp++;

	sta.push_back({tempvar,symbol," "," "});
}
void mid::f_41() {//X->NULL	
	sta.push_back({"1","*"," "," "});
}
void mid::f_42() {//Z->p
	string p = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.push_back({p," "," "," "});
}
void mid::f_43() {//Z->o
	string o = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.push_back({ o," "," "," " });
}
void mid::f_44() {//Z->(V)	
	sta.pop_back();
	string v = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	sta.push_back({v," "," "," "});
}
void mid::f_45() {//O->hWiM //if then 语句待加
	string next = sta[sta.size() - 1].next;
	string q = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	string f = sta[sta.size() - 1].f;
	string t = sta[sta.size() - 1].t;
	backpatch(t, q);
	string snext = merge(f, next);
	code[stoi(f)]->q[3] = next;
	//backpatch
	sta.pop_back();
	sta.pop_back();
	sta.push_back({" ",snext," "," "});

}
void mid::f_46() {//Q->jp //应该加跳转
	string p = sta[sta.size() - 1].name;
	sta.pop_back();
	if (lookup(p)!=-1) {
		string tempp[4] = { "j_call","-","-",m[lookup(p)]->var};
		gen_quad(tempp);
		m[lookup(p)]->addr = code.size();
		code[m[lookup(p)]->level]->q[3] =to_string( m[lookup(p)]->addr);
	}
	string j = sta[sta.size() - 1].name;
	sta.pop_back();
	/*string tempvar = "n" + to_string(newtemp);
	insert(tempvar, "tempvar", "0", l, dx);
	dx++;
	newtemp++;
	string temp[4] = { j,p,"-","-" };
	gen_quad(temp);*/
	string next = to_string(code.size());
	sta.push_back({" ",next," "," "});
}
void mid::f_47() {//P->kWlM	 //while 语句待加
	string next = sta[sta.size() - 1].next;
	string nextquad1 = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	string t = sta[sta.size() - 1].t;
	string f = sta[sta.size() - 1].f;
	string nextquad2 = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.pop_back();
	
	backpatch(next, nextquad2);
	backpatch(t, nextquad1);
	code[stoi(f)]->q[3] = to_string(stoi(next)+1);
	string snext = f;
	string temp[4] = { "j","-","-",nextquad2 };
	gen_quad(temp);
	sta.push_back({" ",snext," "," "});
}
void mid::f_48() {//R->m(p1)
	sta.pop_back();
	int thenum = stoi(sta[sta.size() - 1].name);
	sta.pop_back();
	string p = sta[sta.size() - 1].name;
	string thetemp[4] = { "push","-","-",p };
	gen_quad(thetemp);
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	string temp[4] = { "read","-","-",to_string(thenum + 1) };
	gen_quad(temp);
	string next = to_string(code.size());
	sta.push_back({" ",next," "," "});
}
void mid::f_49() {//S->n(p1)
	sta.pop_back();
	int thenum = stoi(sta[sta.size() - 1].name);
	sta.pop_back();
	string p = sta[sta.size() - 1].name;
	string thetemp[4] = { "push","-","-",p };
	gen_quad(thetemp);
	sta.pop_back();
	sta.pop_back();
	sta.pop_back();
	string temp[4] = { "write","-","-",to_string(thenum+1)};
	gen_quad(temp);
	string next = to_string(code.size());
	sta.push_back({ " ",next," "," " });
}
void mid::f_50() {//H->4M
	string next = sta[sta.size() - 1].next;
	sta.pop_back();
	string nextquad = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.push_back({ nextquad,next," "," " });
}
void mid::f_51() {//4->NULL
	string nextquad = to_string(code.size());
	sta.push_back({nextquad ," "," "," " });
}

void mid::f_52() {//5->6W
	string t = sta[sta.size() - 1].t;
	string f = sta[sta.size() - 1].f;
	sta.pop_back();
	string nextquad = sta[sta.size() - 1].name;
	sta.pop_back();
	sta.push_back({ nextquad, " ", t, f });
}
void mid::f_53() {//6->NULL
	string nextquad = to_string(code.size());
	sta.push_back({ nextquad, " ", " ",  " "});
}

void mid::show() {
	for (int i = 0; i < m.size(); i++) {
		m[i]->lr_table = lr_table;
		m[i]->show();
	}
	for (int i = 0; i < code.size(); i++) {
		code[i]->mid_code = mid_code;
		ofstream file(mid_code, ios::app);
		file << i << " ";
		file.close();
		code[i]->show();
	}
}

int mid::lookup(string name) {
	for (int i = 0; i < m.size(); i++) {
		if (m[i]->name == name/* && m[i]->level == l*/) {
			return i;
		}
	}
	return -1;
}

void mid::backpatch(string t, string q) {
	int n = stoi(t);
	if (n >= code.size())return;
	int nx;
	if (n == 0) {
		code[n]->q[3] = q;
		//cout << 1 << endl;
	}
	else {
		while (code[n]->q[0][0] == 'j' && n != 0) {
			nx = stoi(code[n]->q[3]);
			code[n]->q[3] = q;
			n = nx;
		}
	}
}

string mid::merge(string p1, string p2) {
	if (stoi(p2) >= code.size()) return p1;
	int p = stoi(code[stoi(p2)]->q[3]);
	while (code[p]->q[0][0] == 'j' && code[p]->q[3] != "0") {
		p = stoi(code[p]->q[3]);
	}
	code[p]->q[3] = p1;
	return p2;
}