forked from louisje/OpenComputer
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPCode.c
118 lines (115 loc) · 6.93 KB
/
PCode.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
#include "PCode.h"
char methodName[100], methodExit[100], frameSizeVar[100];
int frameSize;
// 將 pcode 轉為組合語言的函數
void pcodeToAsm(FILE *asmFile, char* label, char* op, char* p1, char* p2, char* pTo) {
if (strlen(label) > 0) {
fprintLabel(asmFile, label);
fprintf(asmFile, "\n");
}
if (strEqual(op, "=")) { // 處理 pTo = p1
rewrite(asmFile, "", "LD", "R1", p1, ""); // LDI R1, 0
rewrite(asmFile, "", "ST", "R1", pTo, ""); // ST R1, sum
} else if (strEqual(op, "CMP")) { // CMP p1, p2, pTo
rewrite(asmFile, "", "LD", "R1", p1, ""); // LD R1, p1
rewrite(asmFile, "", "LD", "R2", p2, ""); // LD R2, p2
rewrite(asmFile, "", "CMP", "R1", "R2", ""); // CMP R1, R2 => SW
rewrite(asmFile, "", "SHL", "R3", "R11", "30"); // R3 = SW >> 30 ; 取得 N,Z 兩個狀態位元
rewrite(asmFile, "", "ST", "R3", pTo, ""); // ST R3, pTo
} else if (strEqual(op, "goto")) { // 處理 goto pTo
rewrite(asmFile, "", "JMP", pTo, "", ""); // JMP p1
} else if (strPartOf(op, "|J==|J!=|J>|J<|J>=|J<=|")) { // if p1 op p2 goto pTo
rewrite(asmFile, "", "LD", "R1", p1, ""); // R1=p1
rewrite(asmFile, "", "LD", "R2", p2, ""); // R2=p2
rewrite(asmFile, "", "CMP", "R1", "R2", ""); // cmp p1, p2
if (strEqual(op, "J==")) rewrite(asmFile, "", "JEQ", pTo, "", ""); // if (p1==p2) goto pTo
if (strEqual(op, "J!=")) rewrite(asmFile, "", "JNE", pTo, "", ""); // if (p1!=p2) goto pTo
if (strEqual(op, "J>")) rewrite(asmFile, "", "JGT", pTo, "", ""); // if (p1>p2) goto pTo
if (strEqual(op, "J<")) rewrite(asmFile, "", "JLT", pTo, "", ""); // if (p1<p2) goto pTo
if (strEqual(op, "J>=")) rewrite(asmFile, "", "JGE", pTo, "", ""); // if (p1>=p2) goto pTo
if (strEqual(op, "J<=")) rewrite(asmFile, "", "JLE", pTo, "", ""); // if (p1<=p2) goto pTo
} else if (strPartOf(op, "|+|-|*|/|%|^|&|") || strEqual(op, "|")) { // 處理 p1 OP2 p2
rewrite(asmFile, "", "LD", "R1", p1, ""); // R1 = p1
rewrite(asmFile, "", "LD", "R2", p2, ""); // R2 = p2
// 根據 op 設定運算指令
if (strEqual(op, "+")) rewrite(asmFile, "", "ADD","R3", "R1", "R2");
if (strEqual(op, "-")) rewrite(asmFile, "", "SUB","R3", "R1", "R2");
if (strEqual(op, "*")) rewrite(asmFile, "", "MUL","R3", "R1", "R2");
if (strEqual(op, "/")) rewrite(asmFile, "", "DIV","R3", "R1", "R2");
if (strEqual(op, "&")) rewrite(asmFile, "", "AND","R3", "R1", "R2");
if (strEqual(op, "|")) rewrite(asmFile, "", "OR", "R3", "R1", "R2");
if (strEqual(op, "^")) rewrite(asmFile, "", "XOR","R3", "R1", "R2");
if (strEqual(op, "%")) rewrite(asmFile, "", "MOD","R3", "R1", "R2");
rewrite(asmFile, "", "ST", "R3", pTo, ""); // ST R3, pTo
} else if (strPartOf(op, "|<<|>>|")) { // 處理 pTo=p1 op p2 ; op is <<|>>
rewrite(asmFile, "", "LD", "R1", p1, ""); // R1 = p1
if (strEqual(op, ">>")) rewrite(asmFile, "", "SHL","R3", "R1", p2); // R3 = R1 << p2
if (strEqual(op, "<<")) rewrite(asmFile, "", "SHR","R3", "R1", p2); // R3 = R1 >> p2
rewrite(asmFile, "", "ST", "R3", pTo, ""); // pTo = R3
} else if (strPartOf(op, "|==|!=|<=|>=|<|>|")) { // 處理 pTo=p1 op p2 ; op 是比較運算
rewrite(asmFile, "", "LD", "R1", p1, ""); // R1=p1
rewrite(asmFile, "", "LD", "R2", p2, ""); // R2=p2
if (strEqual(op, "==")) rewrite(asmFile, "", "EQ","R3", "R1", "R2");
if (strEqual(op, "!=")) rewrite(asmFile, "", "NE","R3", "R1", "R2");
if (strEqual(op, "<")) rewrite(asmFile, "", "LT","R3", "R1", "R2");
if (strEqual(op, ">")) rewrite(asmFile, "", "GT","R3", "R1", "R2");
if (strEqual(op, "<=")) rewrite(asmFile, "", "LE","R3", "R1", "R2");
if (strEqual(op, ">=")) rewrite(asmFile, "", "GE", "R3", "R1", "R2");
rewrite(asmFile, "", "ST", "R3", pTo, ""); // pTo = R3
} else if (strEqual(op, "&&") || strEqual(op, "||")) { // 處理 pTo=p1 op p2 ; op 是邏輯運算
rewrite(asmFile, "", "LD", "R1", p1, ""); // R1 = p1
rewrite(asmFile, "", "LD", "R2", p2, ""); // R2 = p2
if (strEqual(op, "==")) rewrite(asmFile, "", "LAND","R3", "R1", "R2");
if (strEqual(op, "==")) rewrite(asmFile, "", "LOR","R3", "R1", "R2");
rewrite(asmFile, "", "ST", "R3", pTo, ""); // pTo=R3
} else if (strEqual(op, "call")) { // 處理 call p1
rewrite(asmFile, "", "CALL", p1, "", "");
rewrite(asmFile, "", "LD", pTo, "R1", "");
} else if (strEqual(op, "arg")) { // 處理 arg p1
rewrite(asmFile, "", "LD", "R1", p1, ""); // R1 = p1
rewrite(asmFile, "", "PUSH", "R1", "", "");// push R1
} else if (strEqual(op, "return")) { // return p1
rewrite(asmFile, "", "LD", "R1", pTo, ""); // R1 = sum
rewrite(asmFile, "", "JMP", methodExit, "", ""); // 跳到函數結尾
} else if (strPartOf(op, "|method|")) { // 處理 method 函數開始
// fprintf(asmFile, "method_enter()\n");
strcpy(methodName, label);
sprintf(methodExit, "%s_exit", methodName);
sprintf(frameSizeVar, "%s_frame_size", methodName);
frameSize = 12; // R11, R14, 返回點
rewrite(asmFile, "", "PUSH", "R11", "", ""); // PUSH FP ; FP is R11; gcc:pushl %ebp
rewrite(asmFile, "", "PUSH", "R14", "", ""); // PUSH LR ; LR is R14; (保存返回點)
rewrite(asmFile, "", "MOV", "R11", "R12", ""); // FP = SP ; SP is R12; gcc:movl %esp,%ebp
rewrite(asmFile, "", "LD", "R2", frameSizeVar, ""); // 保留堆疊空間 (返回點、參數、區域變數);
rewrite(asmFile, "", "SUB", "R12", "R12", "R2");// SP-= R2 ; gcc:subl $?,%esp
} else if (strPartOf(op, "|_method|")) { // 處理 _method 函數結尾
rewrite(asmFile, methodExit, "POP", "R14", "", "");// POP LR ;
rewrite(asmFile, "", "POP", "R11", "", "");// POP FP ;
rewrite(asmFile, "", "RET", "", "", ""); // return;
char frameSizeStr[100];
sprintf(frameSizeStr, "%d", frameSize);
rewrite(asmFile, frameSizeVar, "WORD", frameSizeStr, "", "");
// fprintf(asmFile, "method_exit()\n");
} else if (strPartOf(op, "|param|")) { // 處理 param
fprintf(asmFile, "; \t %s=[FP+%d] size=%d\n", pTo, frameSize, typeSize(p1));
frameSize += typeSize(p1);
} else if (strPartOf(op, "|local|")) { // 處理 local
fprintf(asmFile, "; \t %s=[FP+%d] size=%d\n", pTo, frameSize, typeSize(p1));
frameSize += typeSize(p1);
} else if (strPartOf(op, "|global|")) { // 處理 global type var ; 全域變數
if (strEqual(p1, "int"))
rewrite(asmFile, pTo, "RESW", "1", "", ""); // 宣告全域變數
else
ERROR();
} else if (strPartOf(op, "|.data|.code|")) { // 處理 param
rewrite(asmFile, "", op, "", "", "");
}
}
void rewrite(FILE *asmFile, char* label, char* op, char* p1, char* p2, char* pTo) { // 輸出組合語言指令
char *realOp = op;
if (strEqual(op, "LD"))
if (isdigit(p2[0])) // 如果指令是 LD，而且
realOp = "LDI"; // p2 為常數
fprintLabel(asmFile, label);
fprintf(asmFile, "%-4s %-4s %-4s %-4s\n", realOp, p1, p2, pTo); // 改用 LDI 指令
} // 輸出組合語言指令