annotate mc-nop-386.c @ 26:85b8648de04f

*** empty log message ***
author kono
date Thu, 06 Feb 2003 22:48:27 +0900
parents 1df0bf7eb5da
children af0c69eaa433
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1 /* Micro-C Code Generatation Part for intel386 */
1
0529f5abe9d0 *** empty log message ***
kono
parents: 0
diff changeset
2 /* $Id$ */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
3
d35df41eac69 Initial revision
kono
parents:
diff changeset
4 #define EXTERN extern
d35df41eac69 Initial revision
kono
parents:
diff changeset
5 #include "mc.h"
d35df41eac69 Initial revision
kono
parents:
diff changeset
6
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
7 extern int get_register_var(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
8 extern void bexpr(int e1, char cond, int l1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
9 extern void closing(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
10 extern void cmpdimm(int e, int csreg);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
11 extern void code_enter(char *name) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
12 extern void code_enter1(int disp0,int args);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
13 extern void code_init(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
14 extern void code_leave(char *name) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
15 extern void def_label(int cslabel, int dlabel) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
16 extern void emit_data(int e, int t, NMTBL *n);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
17 extern void emit_init(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
18 extern void enter(char *name) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
19 extern void enter1(int disp) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
20 extern void g_expr(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
21 extern void gen_comment(char *s);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
22 extern void gen_gdecl(char *n, int gpc) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
23 extern void gen_source(char *s);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
24 extern void gexpr(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
25 extern void jcond(int l, char cond);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
26 extern void jmp(int l);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
27 extern void opening(char *filename);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
28 extern void ret(void);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
29
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
30 static char *div_setup(int oreg) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
31 static int lvar(int l);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
32 static void jump(int e1, int env);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
33 static void data_mode(char *name);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
34 static void text_mode(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
35 static void assign(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
36 static void assop(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
37 static void b_expr(int e1, char cond, int l1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
38 static void emit_push(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
39 static void free_register(int i);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
40 static void function(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
41 static void global_table(void) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
42 /* static void indexy(char *op, char *gvar); */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
43 /* static void jmp_eq_label(int l); */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
44 /* static void jmp_label(int l); */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
45 static void ld_indexx(int byte, int n, int xreg);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
46 static void local_table(void) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
47 static void machinop(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
48 static void rexpr(int e1, int l1, char *s);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
49 static void rindirect(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
50 static void sassign(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
51 static void shift(char *op, int xreg) ;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
52 /* static void st_indexx(int byte, int n, int xreg); */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
53 static void string(int e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
54 static void tosop(int op);
26
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
55 static void div_cleanup(char *orn);
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
56 static void use_register(int virt, int real, int move);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
57
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
58 extern int cadr(int e);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
59 extern int car(int e);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
60 extern int caddr(int e);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
61 extern int cadddr(int e);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
62 extern int error(int n);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
63 extern int fwdlabel(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
64 extern void fwddef(int l);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
65 extern int backdef(void);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
66 extern int size(int t);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
67 extern int list3(int e1, int e2, int e3);
2
kono
parents: 1
diff changeset
68 extern int scalar(int);
kono
parents: 1
diff changeset
69 extern int reverse0(int);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
70
d35df41eac69 Initial revision
kono
parents:
diff changeset
71 #define TEXT_EMIT_MODE 0
d35df41eac69 Initial revision
kono
parents:
diff changeset
72 #define DATA_EMIT_MODE 1
d35df41eac69 Initial revision
kono
parents:
diff changeset
73 #define RODATA_EMIT_MODE 2
d35df41eac69 Initial revision
kono
parents:
diff changeset
74
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
75 static int output_mode = TEXT_EMIT_MODE;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
76 static int data_alignment = 0;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
77
d35df41eac69 Initial revision
kono
parents:
diff changeset
78 /*
d35df41eac69 Initial revision
kono
parents:
diff changeset
79 local1 <----24 local variable
d35df41eac69 Initial revision
kono
parents:
diff changeset
80 %esi -20 <- disp_offset
d35df41eac69 Initial revision
kono
parents:
diff changeset
81 %edi -16
d35df41eac69 Initial revision
kono
parents:
diff changeset
82 %edx -12
d35df41eac69 Initial revision
kono
parents:
diff changeset
83 %ecx -8
d35df41eac69 Initial revision
kono
parents:
diff changeset
84 %ebx -4
d35df41eac69 Initial revision
kono
parents:
diff changeset
85 %ebp = %esp 0
d35df41eac69 Initial revision
kono
parents:
diff changeset
86 %eip 4 <- arg_offset
d35df41eac69 Initial revision
kono
parents:
diff changeset
87 arg1 8
d35df41eac69 Initial revision
kono
parents:
diff changeset
88 see enter/enter1/leave
d35df41eac69 Initial revision
kono
parents:
diff changeset
89 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
90 int arg_offset = 8;
6
bf602558130d continuation
kono
parents: 5
diff changeset
91 int code_arg_offset = -4;
3
kono
parents: 2
diff changeset
92 int disp_offset = -12;
kono
parents: 2
diff changeset
93 int func_disp_offset = -12;
kono
parents: 2
diff changeset
94 int code_disp_offset = -4;
kono
parents: 2
diff changeset
95 int size_of_int = 4;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
96 int endian = 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
97 int MAX_REGISTER=6; /* intel386のレジスタを4つまで使う*/
d35df41eac69 Initial revision
kono
parents:
diff changeset
98 int REAL_MAX_REGISTER=8; /* intel386のレジスタが8つということ*/
d35df41eac69 Initial revision
kono
parents:
diff changeset
99 int MAX_DATA_REG=4;
d35df41eac69 Initial revision
kono
parents:
diff changeset
100 int MAX_POINTER=3;
d35df41eac69 Initial revision
kono
parents:
diff changeset
101 int MAX_REGISTGER_VAR=2;
d35df41eac69 Initial revision
kono
parents:
diff changeset
102
d35df41eac69 Initial revision
kono
parents:
diff changeset
103 static int creg; /* current register */
d35df41eac69 Initial revision
kono
parents:
diff changeset
104 static int lreg; /* operand register */
d35df41eac69 Initial revision
kono
parents:
diff changeset
105 static int dreg; /* temporary register */
d35df41eac69 Initial revision
kono
parents:
diff changeset
106 static int reg_sp; /* REGister Stack-Pointer */
d35df41eac69 Initial revision
kono
parents:
diff changeset
107
d35df41eac69 Initial revision
kono
parents:
diff changeset
108
d35df41eac69 Initial revision
kono
parents:
diff changeset
109 #define REG_EAX 0
d35df41eac69 Initial revision
kono
parents:
diff changeset
110 #define REG_EBX 1
d35df41eac69 Initial revision
kono
parents:
diff changeset
111 #define REG_ECX 2
d35df41eac69 Initial revision
kono
parents:
diff changeset
112 #define REG_EDX 3
d35df41eac69 Initial revision
kono
parents:
diff changeset
113 #define REG_ESI 4
d35df41eac69 Initial revision
kono
parents:
diff changeset
114 #define REG_EDI 5
d35df41eac69 Initial revision
kono
parents:
diff changeset
115 #define REG_EBP 6
d35df41eac69 Initial revision
kono
parents:
diff changeset
116 #define REG_ESP 7
d35df41eac69 Initial revision
kono
parents:
diff changeset
117
d35df41eac69 Initial revision
kono
parents:
diff changeset
118
d35df41eac69 Initial revision
kono
parents:
diff changeset
119 #define DATA_REG 0
d35df41eac69 Initial revision
kono
parents:
diff changeset
120 #define POINTER_REG 3
d35df41eac69 Initial revision
kono
parents:
diff changeset
121 static char *reg_name[8];
d35df41eac69 Initial revision
kono
parents:
diff changeset
122 static char *reg_name_l[4];
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
123 static char *reg_name_w[4];
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
124
d35df41eac69 Initial revision
kono
parents:
diff changeset
125 /*
d35df41eac69 Initial revision
kono
parents:
diff changeset
126 creg currrent virtual register
d35df41eac69 Initial revision
kono
parents:
diff changeset
127 lreg operand virtual register
d35df41eac69 Initial revision
kono
parents:
diff changeset
128 dreg spare virtual register
d35df41eac69 Initial revision
kono
parents:
diff changeset
129
d35df41eac69 Initial revision
kono
parents:
diff changeset
130 rname[creg] currrent real register
d35df41eac69 Initial revision
kono
parents:
diff changeset
131 rname[lreg] operand real register
d35df41eac69 Initial revision
kono
parents:
diff changeset
132 rname[dreg] spare real register
d35df41eac69 Initial revision
kono
parents:
diff changeset
133
d35df41eac69 Initial revision
kono
parents:
diff changeset
134 regs[] virtual register usage
d35df41eac69 Initial revision
kono
parents:
diff changeset
135
d35df41eac69 Initial revision
kono
parents:
diff changeset
136 reg_name[rname[creg]]
d35df41eac69 Initial revision
kono
parents:
diff changeset
137 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
138
d35df41eac69 Initial revision
kono
parents:
diff changeset
139 #define MAX_MAX 10
d35df41eac69 Initial revision
kono
parents:
diff changeset
140 static int rname[MAX_MAX];
d35df41eac69 Initial revision
kono
parents:
diff changeset
141 static int regs[MAX_MAX]; /* 使われているレジスタを示すフラグ */
d35df41eac69 Initial revision
kono
parents:
diff changeset
142 static int reg_stack[MAX_MAX]; /* 実際のレジスタの領域 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
143
d35df41eac69 Initial revision
kono
parents:
diff changeset
144 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
145 code_init(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
146 {
24
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
147 arg_offset = 8;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
148 func_disp_offset = -12;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
149 disp_offset = -12;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
150 size_of_int = 4;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
151 endian = 0;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
152 MAX_REGISTER=6;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
153 MAX_DATA_REG=4;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
154 MAX_POINTER=3;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
155 MAX_REGISTER_VAR=2;
d35df41eac69 Initial revision
kono
parents:
diff changeset
156
d35df41eac69 Initial revision
kono
parents:
diff changeset
157 reg_name[REG_EAX] = "%eax";
d35df41eac69 Initial revision
kono
parents:
diff changeset
158 reg_name[REG_EBX] = "%ebx";
d35df41eac69 Initial revision
kono
parents:
diff changeset
159 reg_name[REG_ECX] = "%ecx";
d35df41eac69 Initial revision
kono
parents:
diff changeset
160 reg_name[REG_EDX] = "%edx";
d35df41eac69 Initial revision
kono
parents:
diff changeset
161 reg_name[REG_ESI] = "%esi";
d35df41eac69 Initial revision
kono
parents:
diff changeset
162 reg_name[REG_EDI] = "%edi";
d35df41eac69 Initial revision
kono
parents:
diff changeset
163 reg_name[REG_EBP] = "%ebp";
d35df41eac69 Initial revision
kono
parents:
diff changeset
164 reg_name[REG_ESP] = "%esp";
d35df41eac69 Initial revision
kono
parents:
diff changeset
165 reg_name_l[REG_EAX] = "%al";
d35df41eac69 Initial revision
kono
parents:
diff changeset
166 reg_name_l[REG_EBX] = "%bl";
d35df41eac69 Initial revision
kono
parents:
diff changeset
167 reg_name_l[REG_ECX] = "%cl";
d35df41eac69 Initial revision
kono
parents:
diff changeset
168 reg_name_l[REG_EDX] = "%dl";
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
169 reg_name_w[REG_EAX] = "%ax";
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
170 reg_name_w[REG_EBX] = "%bx";
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
171 reg_name_w[REG_ECX] = "%cx";
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
172 reg_name_w[REG_EDX] = "%dx";
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
173
d35df41eac69 Initial revision
kono
parents:
diff changeset
174 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
175
d35df41eac69 Initial revision
kono
parents:
diff changeset
176 char *
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
177 register_name(int i,int byte)
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
178 {
24
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
179 if (byte && rname[i] <= REG_EDX) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
180 return reg_name_l[rname[i]];
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
181 } else {
24
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
182 return reg_name[rname[i]]; /* should be error */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
183 }
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
184 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
185
d35df41eac69 Initial revision
kono
parents:
diff changeset
186 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
187 get_register(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
188 { /* 使われていないレジスタを調べる */
d35df41eac69 Initial revision
kono
parents:
diff changeset
189 int i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
190 for(i=0;i<MAX_REGISTER;i++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
191 if (! regs[i]) { /* 使われていないなら */
d35df41eac69 Initial revision
kono
parents:
diff changeset
192 regs[i]=1; /* そのレジスタを使うことを宣言し */
d35df41eac69 Initial revision
kono
parents:
diff changeset
193 return i; /* その場所を表す番号を返す */
d35df41eac69 Initial revision
kono
parents:
diff changeset
194 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
195 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
196 return -1; /* 空いている場所がないなら、それを表す -1 を返す */
d35df41eac69 Initial revision
kono
parents:
diff changeset
197 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
198
d35df41eac69 Initial revision
kono
parents:
diff changeset
199 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
200 free_register(int i) { /* いらなくなったレジスタを開放 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
201 regs[i]=0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
202 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
203
d35df41eac69 Initial revision
kono
parents:
diff changeset
204 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
205 register_full(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
206 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
207 int i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
208 for(i=0;i<MAX_REGISTER;i++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
209 if (! regs[i]) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
210 return 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
211 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
212 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
213 return 1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
214 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
215
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
216 static
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
217 int
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
218 free_register_count(void)
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
219 {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
220 int i,count;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
221 count = 0;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
222 for(i=0;i<MAX_REGISTER;i++) {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
223 if (! regs[i]) count++;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
224 }
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
225 return count;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
226 }
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
227
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
228
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
229 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
230 gexpr_init(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
231 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
232 while(reg_sp > 0) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
233 free_register(reg_stack[--reg_sp]);
d35df41eac69 Initial revision
kono
parents:
diff changeset
234 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
235 text_mode();
26
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
236 use_register(creg,REG_EAX,0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
237 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
238
d35df41eac69 Initial revision
kono
parents:
diff changeset
239 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
240 emit_init(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
241 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
242 int i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
243 for(i=0;i<REAL_MAX_REGISTER;i++) regs[i]=0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
244 for(i=0;i<REAL_MAX_REGISTER;i++) rname[i]=i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
245 creg = get_register();
d35df41eac69 Initial revision
kono
parents:
diff changeset
246 dreg = get_register();
d35df41eac69 Initial revision
kono
parents:
diff changeset
247 reg_sp = 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
248 text_mode();
d35df41eac69 Initial revision
kono
parents:
diff changeset
249 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
250
d35df41eac69 Initial revision
kono
parents:
diff changeset
251 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
252 virtual(int real)
d35df41eac69 Initial revision
kono
parents:
diff changeset
253 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
254 int real_v,i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
255 real_v = -1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
256 for(i=0;i<MAX_REGISTER;i++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
257 if (rname[i]==real) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
258 real_v=i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
259 break;
d35df41eac69 Initial revision
kono
parents:
diff changeset
260 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
261 }
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
262 /* if (real_v == -1)
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
263 error(-1); */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
264 return real_v;
d35df41eac69 Initial revision
kono
parents:
diff changeset
265 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
266
d35df41eac69 Initial revision
kono
parents:
diff changeset
267 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
268 use_register(int virt, int real, int move)
d35df41eac69 Initial revision
kono
parents:
diff changeset
269 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
270 int real_v;
d35df41eac69 Initial revision
kono
parents:
diff changeset
271 char *move_op;
d35df41eac69 Initial revision
kono
parents:
diff changeset
272 if (rname[virt]==real)
d35df41eac69 Initial revision
kono
parents:
diff changeset
273 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
274 real_v = virtual(real);
d35df41eac69 Initial revision
kono
parents:
diff changeset
275 move_op = regs[real_v]?"\txchg %s,%s\n":"\tmovl %s,%s\n";
d35df41eac69 Initial revision
kono
parents:
diff changeset
276 if (move || regs[real_v]) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
277 printf(move_op,reg_name[rname[virt]],reg_name[real]);
d35df41eac69 Initial revision
kono
parents:
diff changeset
278 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
279 rname[real_v] = rname[virt];
d35df41eac69 Initial revision
kono
parents:
diff changeset
280 rname[virt] = real;
d35df41eac69 Initial revision
kono
parents:
diff changeset
281 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
282
d35df41eac69 Initial revision
kono
parents:
diff changeset
283 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
284 use_pointer(int virt, int move)
d35df41eac69 Initial revision
kono
parents:
diff changeset
285 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
286 int i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
287 if (rname[virt]>=POINTER_REG)
d35df41eac69 Initial revision
kono
parents:
diff changeset
288 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
289 for(i=POINTER_REG;i<MAX_REGISTER;i++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
290 if (!regs[virtual(i)]) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
291 use_register(virt,i,move);
d35df41eac69 Initial revision
kono
parents:
diff changeset
292 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
293 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
294 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
295 /* we prefer EBX */
d35df41eac69 Initial revision
kono
parents:
diff changeset
296 use_register(virt,REG_EBX,move);
d35df41eac69 Initial revision
kono
parents:
diff changeset
297 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
298
d35df41eac69 Initial revision
kono
parents:
diff changeset
299 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
300 use_data_reg(int virt, int move)
d35df41eac69 Initial revision
kono
parents:
diff changeset
301 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
302 int i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
303 if (rname[virt]<MAX_DATA_REG)
d35df41eac69 Initial revision
kono
parents:
diff changeset
304 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
305 for(i=0;i<MAX_DATA_REG;i++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
306 if (!regs[virtual(i)]) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
307 use_register(virt,i,move);
d35df41eac69 Initial revision
kono
parents:
diff changeset
308 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
309 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
310 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
311 /* we prefer EBX */
d35df41eac69 Initial revision
kono
parents:
diff changeset
312 use_register(virt,REG_EBX,move);
d35df41eac69 Initial revision
kono
parents:
diff changeset
313 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
314
d35df41eac69 Initial revision
kono
parents:
diff changeset
315 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
316 pop_register(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
317 { /* レジスタから値を取り出す */
d35df41eac69 Initial revision
kono
parents:
diff changeset
318 int i,j;
d35df41eac69 Initial revision
kono
parents:
diff changeset
319
d35df41eac69 Initial revision
kono
parents:
diff changeset
320 j = creg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
321 i = reg_stack[--reg_sp];
d35df41eac69 Initial revision
kono
parents:
diff changeset
322
d35df41eac69 Initial revision
kono
parents:
diff changeset
323 if(i<0) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
324 return i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
325 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
326 free_register(i);
d35df41eac69 Initial revision
kono
parents:
diff changeset
327 lreg = i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
328 regs[i]=0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
329 return lreg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
330 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
331 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
332
d35df41eac69 Initial revision
kono
parents:
diff changeset
333 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
334 stack_used(void) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
335 return reg_stack[--reg_sp]<0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
336 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
337
d35df41eac69 Initial revision
kono
parents:
diff changeset
338 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
339 emit_push(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
340 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
341 int new_reg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
342 new_reg = get_register();
d35df41eac69 Initial revision
kono
parents:
diff changeset
343 if(new_reg<0) { /* もうレジスタがない */
d35df41eac69 Initial revision
kono
parents:
diff changeset
344 reg_stack[reg_sp++] = -1;
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
345 printf("\tpushl %s\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
346 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
347 reg_stack[reg_sp++] = creg; /* push するかわりにレジスタを使う */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
348 creg = new_reg;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
349 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
350 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
351
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
352 int
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
353 emit_pop(int type)
d35df41eac69 Initial revision
kono
parents:
diff changeset
354 {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
355 int xreg;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
356 if (pop_register()==-1) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
357 if (type==POINTER_REG)
d35df41eac69 Initial revision
kono
parents:
diff changeset
358 use_pointer(dreg,0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
359 else if (type==DATA_REG)
d35df41eac69 Initial revision
kono
parents:
diff changeset
360 use_data_reg(dreg,0);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
361 printf("\tpopl %s\n",register_name(dreg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
362 xreg = dreg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
363 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
364 xreg = lreg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
365 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
366 return xreg;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
367 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
368
d35df41eac69 Initial revision
kono
parents:
diff changeset
369 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
370 get_register_var(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
371 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
372 int i;
d35df41eac69 Initial revision
kono
parents:
diff changeset
373 for(i=REG_ESI;i<REG_ESP;i++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
374 if (! regs[i]) { /* 使われていないなら */
d35df41eac69 Initial revision
kono
parents:
diff changeset
375 regs[i]=1; /* そのレジスタを使うことを宣言し */
d35df41eac69 Initial revision
kono
parents:
diff changeset
376 return i; /* その場所を表す番号を返す */
d35df41eac69 Initial revision
kono
parents:
diff changeset
377 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
378 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
379 return -1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
380 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
381
d35df41eac69 Initial revision
kono
parents:
diff changeset
382 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
383 gexpr(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
384 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
385 gexpr_init();
24
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
386 #if 0
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
387 if(lineno==688) {
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
388 g_expr(e1); /*break here*/
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
389 csvalue = rname[creg]; /* for siwtch value */
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
390 return;
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
391 }
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
392 #endif
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
393 g_expr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
394 csvalue = rname[creg]; /* for siwtch value */
d35df41eac69 Initial revision
kono
parents:
diff changeset
395 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
396
d35df41eac69 Initial revision
kono
parents:
diff changeset
397 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
398 g_expr(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
399 {
22
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
400 int e2,e3/*,e4*/;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
401 char *xrn;
d35df41eac69 Initial revision
kono
parents:
diff changeset
402 NMTBL *n;
d35df41eac69 Initial revision
kono
parents:
diff changeset
403
d35df41eac69 Initial revision
kono
parents:
diff changeset
404 if (chk) return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
405 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
406 switch (car(e1)){
d35df41eac69 Initial revision
kono
parents:
diff changeset
407 case GVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
408 /* use_pointer(creg,0); */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
409 printf("\tmovl $%s,%s\n",(char *)caddr(e1),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
410 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
411 case RGVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
412 /* use_pointer(creg,0); */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
413 printf("\tmovl %s,%s\n",(char *)caddr(e1),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
414 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
415 case CRGVAR:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
416 printf("\tmovsbl %s,%s\n",(char *)caddr(e1),register_name(creg,1));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
417 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
418 case LVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
419 /* use_pointer(creg,0); */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
420 printf("\tlea %d(%%ebp),%s\n",lvar(e2),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
421 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
422 case REGISTER:
d35df41eac69 Initial revision
kono
parents:
diff changeset
423 /* this is of course redundant... */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
424 /* we can use rname for this? */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
425 /* or why not creg=e2? */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
426 printf("\tmovl %s,%s\n",register_name(e2,0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
427 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
428 case RLVAR:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
429 printf("\tmovl %d(%%ebp),%s\n",lvar(e2),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
430 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
431 case CRLVAR:
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
432 printf("\tmovsbl %d(%%ebp),%s\n",lvar(e2),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
433 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
434 case FNAME:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
435 printf("\tmovl $%s,%s\n",((NMTBL *)e2)->nm,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
436 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
437 case CONST: /* 代入する値が0でも特別な処理はしない */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
438 printf("\tmovl $%d,%s\n",e2,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
439 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
440 case STRING:
d35df41eac69 Initial revision
kono
parents:
diff changeset
441 string(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
442 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
443 case FUNCTION:
d35df41eac69 Initial revision
kono
parents:
diff changeset
444 function(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
445 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
446 case CODE:
d35df41eac69 Initial revision
kono
parents:
diff changeset
447 jump(e2,caddr(e1));
d35df41eac69 Initial revision
kono
parents:
diff changeset
448 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
449 case INDIRECT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
450 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
451 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
452 case RINDIRECT: case CRINDIRECT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
453 rindirect(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
454 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
455 case ADDRESS:
d35df41eac69 Initial revision
kono
parents:
diff changeset
456 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
457 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
458 case MINUS: /* レジスタに対し、neglを実行すれば実現可能 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
459 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
460 /* use_data_reg(creg,1); */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
461 printf("\tnegl %s\n", register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
462 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
463 case BNOT: /* ~ */
d35df41eac69 Initial revision
kono
parents:
diff changeset
464 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
465 /* use_data_reg(creg,1); */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
466 printf("\tnotl %s\n", register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
467 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
468 case LNOT: /* ! */
d35df41eac69 Initial revision
kono
parents:
diff changeset
469 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
470 use_data_reg(creg,1);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
471 xrn = register_name(creg,1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
472 printf("\tcmpl $0,%s\n", register_name(creg,0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
473 printf("\tsete %s\n", xrn);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
474 printf("\tmovzbl %s,%s\n", xrn,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
475 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
476 case PREINC:
d35df41eac69 Initial revision
kono
parents:
diff changeset
477 if (car(e2)==REGISTER) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
478 printf("\taddl $%d,%s\n",caddr(e1),register_name(cadr(e2),0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
479 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
480 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
481 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
482 g_expr(e2);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
483 xrn = register_name(creg,0);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
484 printf("\taddl $%d,(%s)\n",caddr(e1),xrn);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
485 printf("\tmovl (%s),%s\n",xrn,xrn);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
486 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
487 case POSTINC:
d35df41eac69 Initial revision
kono
parents:
diff changeset
488 if (car(e2)==REGISTER) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
489 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
490 printf("\taddl $%d,%s\n",caddr(e1),register_name(cadr(e2),0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
491 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
492 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
493 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
494 emit_push();
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
495 /* in case of register full we should copy creg to dreg */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
496 xrn = register_name(emit_pop(0),0);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
497 printf("\tmovl (%s),%s\n",xrn,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
498 printf("\taddl $%d,(%s)\n",caddr(e1),xrn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
499 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
500 case CPOSTINC:
d35df41eac69 Initial revision
kono
parents:
diff changeset
501 /* char *p; *p++ */
d35df41eac69 Initial revision
kono
parents:
diff changeset
502 if (car(e2)==REGISTER) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
503 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
504 printf("\taddl $%d,%s\n",caddr(e1),register_name(cadr(e2),0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
505 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
506 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
507 g_expr(e2);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
508 emit_push(); /* in case of register full we should copy creg to dreg */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
509 xrn = register_name(emit_pop(0),1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
510 printf("\tmovsbl (%s),%s\n",xrn,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
511 printf("\tincl (%s)\n",xrn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
512 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
513 case CPREINC:
d35df41eac69 Initial revision
kono
parents:
diff changeset
514 if (car(e2)==REGISTER) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
515 printf("\taddl $%d,%s\n",caddr(e1),register_name(cadr(e2),0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
516 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
517 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
518 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
519 g_expr(e2);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
520 printf("\tincl (%s)\n",register_name(creg,0));
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
521 printf("\tmovsbl (%s),%s\n",register_name(creg,0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
522 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
523 case CPOSTDEC:
d35df41eac69 Initial revision
kono
parents:
diff changeset
524 if (car(e2)==REGISTER) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
525 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
526 printf("\tdecl %s\n",register_name(cadr(e2),0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
527 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
528 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
529 g_expr(e2);
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
530 printf("\tmovsbl (%s),%s\n",register_name(creg,0),register_name(creg,0));
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
531 printf("\tdecl (%s)\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
532 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
533 case CPREDEC:
d35df41eac69 Initial revision
kono
parents:
diff changeset
534 if (car(e2)==REGISTER) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
535 printf("\tdecl %s\n",register_name(cadr(e2),0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
536 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
537 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
538 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
539 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
540 emit_push();
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
541 e2 = emit_pop(0);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
542 printf("\tdecl (%s)\n",register_name(e2,0));
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
543 printf("\tmovsbl (%s),%s\n",register_name(e2,0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
544 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
545 case MUL: case UMUL:
d35df41eac69 Initial revision
kono
parents:
diff changeset
546 case DIV: case UDIV:
d35df41eac69 Initial revision
kono
parents:
diff changeset
547 case MOD: case UMOD:
d35df41eac69 Initial revision
kono
parents:
diff changeset
548 case LSHIFT: case ULSHIFT: case RSHIFT: case URSHIFT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
549 case ADD: case SUB: case BAND: case EOR: case BOR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
550 machinop(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
551 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
552 case COND:
d35df41eac69 Initial revision
kono
parents:
diff changeset
553 e2=fwdlabel();
d35df41eac69 Initial revision
kono
parents:
diff changeset
554 b_expr(cadr(e1),0,e2);
22
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
555 use_register(creg,REG_EAX,0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
556 g_expr(caddr(e1));
22
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
557 /* e4 = rname[creg]; this is a bad idea */
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
558 use_register(creg,REG_EAX,1);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
559 jmp(e3=fwdlabel());
d35df41eac69 Initial revision
kono
parents:
diff changeset
560 fwddef(e2);
22
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
561 use_register(creg,REG_EAX,0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
562 g_expr(cadddr(e1));
22
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
563 /* use_register(creg,e4,1); */
3fa41d00f658 *** empty log message ***
kono
parents: 21
diff changeset
564 use_register(creg,REG_EAX,1);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
565 fwddef(e3);
d35df41eac69 Initial revision
kono
parents:
diff changeset
566 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
567 case SASS:
d35df41eac69 Initial revision
kono
parents:
diff changeset
568 sassign(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
569 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
570 case ASS: case CASS:
d35df41eac69 Initial revision
kono
parents:
diff changeset
571 assign(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
572 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
573 case ASSOP: case CASSOP:
d35df41eac69 Initial revision
kono
parents:
diff changeset
574 assop(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
575 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
576 case COMMA:
d35df41eac69 Initial revision
kono
parents:
diff changeset
577 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
578 g_expr(caddr(e1));
d35df41eac69 Initial revision
kono
parents:
diff changeset
579 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
580 case RETURN:
d35df41eac69 Initial revision
kono
parents:
diff changeset
581 n = (NMTBL *)e2;
d35df41eac69 Initial revision
kono
parents:
diff changeset
582 if (retcont==0)
d35df41eac69 Initial revision
kono
parents:
diff changeset
583 retcont=fwdlabel();
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
584 printf("\tleal _%d,%s\n",retcont,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
585 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
586 case ENVIRONMENT:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
587 printf("\tmovl %%ebp,%s\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
588 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
589 default:
d35df41eac69 Initial revision
kono
parents:
diff changeset
590 b_expr(e1,1,e2=fwdlabel()); /* including > < ... */
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
591 xrn = register_name(creg,0);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
592 printf("\txorl %s,%s\n",xrn,xrn);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
593 jmp(e3=fwdlabel());
d35df41eac69 Initial revision
kono
parents:
diff changeset
594 fwddef(e2);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
595 printf("\tmovl $1,%s\n",xrn);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
596 fwddef(e3);
d35df41eac69 Initial revision
kono
parents:
diff changeset
597 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
598 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
599
d35df41eac69 Initial revision
kono
parents:
diff changeset
600 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
601 bexpr(int e1, char cond, int l1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
602 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
603 gexpr_init();
d35df41eac69 Initial revision
kono
parents:
diff changeset
604 b_expr(e1,cond,l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
605 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
606
d35df41eac69 Initial revision
kono
parents:
diff changeset
607 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
608 b_expr(int e1, char cond, int l1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
609 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
610 int e2,l2;
d35df41eac69 Initial revision
kono
parents:
diff changeset
611 if (chk) return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
612 e2=cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
613 switch(car(e1)) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
614 case LNOT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
615 b_expr(e2,!cond,l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
616 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
617 case GT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
618 rexpr(e1,l1,cond?"g":"le");
d35df41eac69 Initial revision
kono
parents:
diff changeset
619 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
620 case UGT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
621 rexpr(e1,l1,cond?"a":"be");
d35df41eac69 Initial revision
kono
parents:
diff changeset
622 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
623 case GE:
d35df41eac69 Initial revision
kono
parents:
diff changeset
624 rexpr(e1,l1,cond?"ge":"l");
d35df41eac69 Initial revision
kono
parents:
diff changeset
625 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
626 case UGE:
d35df41eac69 Initial revision
kono
parents:
diff changeset
627 rexpr(e1,l1,cond?"ae":"b");
d35df41eac69 Initial revision
kono
parents:
diff changeset
628 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
629 case LT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
630 rexpr(e1,l1,cond?"l":"ge");
d35df41eac69 Initial revision
kono
parents:
diff changeset
631 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
632 case ULT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
633 rexpr(e1,l1,cond?"b":"ae");
d35df41eac69 Initial revision
kono
parents:
diff changeset
634 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
635 case LE:
d35df41eac69 Initial revision
kono
parents:
diff changeset
636 rexpr(e1,l1,cond?"le":"g");
d35df41eac69 Initial revision
kono
parents:
diff changeset
637 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
638 case ULE:
d35df41eac69 Initial revision
kono
parents:
diff changeset
639 rexpr(e1,l1,cond?"be":"a");
d35df41eac69 Initial revision
kono
parents:
diff changeset
640 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
641 case EQ:
d35df41eac69 Initial revision
kono
parents:
diff changeset
642 rexpr(e1,l1,cond?"e":"ne");
d35df41eac69 Initial revision
kono
parents:
diff changeset
643 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
644 case NEQ:
d35df41eac69 Initial revision
kono
parents:
diff changeset
645 rexpr(e1,l1,cond?"ne":"e");
d35df41eac69 Initial revision
kono
parents:
diff changeset
646 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
647 case LAND:
d35df41eac69 Initial revision
kono
parents:
diff changeset
648 b_expr(e2,0,cond?(l2=fwdlabel()):l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
649 b_expr(caddr(e1),cond,l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
650 if(cond) fwddef(l2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
651 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
652 case LOR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
653 b_expr(e2,1,cond?l1:(l2=fwdlabel()));
d35df41eac69 Initial revision
kono
parents:
diff changeset
654 b_expr(caddr(e1),cond,l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
655 if(!cond) fwddef(l2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
656 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
657 case CRGVAR:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
658 printf("\tcmpb $0,%s\n",(char *)caddr(e1));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
659 jcond(l1,cond);
d35df41eac69 Initial revision
kono
parents:
diff changeset
660 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
661 case CRLVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
662 printf("\tcmpb $0,%d(%%ebp)\n",lvar(e2));
d35df41eac69 Initial revision
kono
parents:
diff changeset
663 jcond(l1,cond);
d35df41eac69 Initial revision
kono
parents:
diff changeset
664 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
665 case RGVAR:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
666 printf("\tcmpl $0,%s\n",(char *)caddr(e1));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
667 jcond(l1,cond);
d35df41eac69 Initial revision
kono
parents:
diff changeset
668 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
669 case RLVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
670 printf("\tcmpl $0,%d(%%ebp)\n",lvar(e2));
d35df41eac69 Initial revision
kono
parents:
diff changeset
671 jcond(l1,cond);
d35df41eac69 Initial revision
kono
parents:
diff changeset
672 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
673 case REGISTER:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
674 printf("\tcmpl $0,%s\n",register_name(e2,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
675 jcond(l1,cond);
d35df41eac69 Initial revision
kono
parents:
diff changeset
676 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
677 case CONST:
d35df41eac69 Initial revision
kono
parents:
diff changeset
678 if((cond&&e2)||(!cond&&!e2)) jmp(l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
679 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
680 default:
d35df41eac69 Initial revision
kono
parents:
diff changeset
681 g_expr(e1);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
682 printf("\tcmpl $0,%s\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
683 jcond(l1,cond);
d35df41eac69 Initial revision
kono
parents:
diff changeset
684 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
685 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
686 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
687
d35df41eac69 Initial revision
kono
parents:
diff changeset
688 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
689 ascii(char *s)
d35df41eac69 Initial revision
kono
parents:
diff changeset
690 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
691 printf("\t.string \"");
d35df41eac69 Initial revision
kono
parents:
diff changeset
692 while(*s) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
693 if (*s=='\n')
d35df41eac69 Initial revision
kono
parents:
diff changeset
694 printf("%cn",92);
d35df41eac69 Initial revision
kono
parents:
diff changeset
695 else if (*s<' ')
d35df41eac69 Initial revision
kono
parents:
diff changeset
696 printf("%c%03o",92,*s);
d35df41eac69 Initial revision
kono
parents:
diff changeset
697 else if (*s==34)
d35df41eac69 Initial revision
kono
parents:
diff changeset
698 printf("%c%c",92,34);
d35df41eac69 Initial revision
kono
parents:
diff changeset
699 else
d35df41eac69 Initial revision
kono
parents:
diff changeset
700 printf("%c",*s);
d35df41eac69 Initial revision
kono
parents:
diff changeset
701 s++;
d35df41eac69 Initial revision
kono
parents:
diff changeset
702 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
703 printf("%c\n",34);
d35df41eac69 Initial revision
kono
parents:
diff changeset
704 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
705
d35df41eac69 Initial revision
kono
parents:
diff changeset
706 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
707 string(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
708 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
709 char *s;
d35df41eac69 Initial revision
kono
parents:
diff changeset
710 int i,lb;
d35df41eac69 Initial revision
kono
parents:
diff changeset
711
d35df41eac69 Initial revision
kono
parents:
diff changeset
712 if (0) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
713 s=(char *)cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
714 lb=fwdlabel();
d35df41eac69 Initial revision
kono
parents:
diff changeset
715 printf("\tjmp _%d\n",lb);
d35df41eac69 Initial revision
kono
parents:
diff changeset
716 i=backdef();
d35df41eac69 Initial revision
kono
parents:
diff changeset
717 ascii(s);
d35df41eac69 Initial revision
kono
parents:
diff changeset
718 printf("\t.align 2\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
719 fwddef(lb);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
720 printf("\tlea _%d,%s\n",i,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
721 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
722 s=(char *)cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
723 printf(".section\t.rodata\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
724 lb=fwdlabel();
d35df41eac69 Initial revision
kono
parents:
diff changeset
725 printf("_%d:\n",lb);
d35df41eac69 Initial revision
kono
parents:
diff changeset
726 ascii(s);
d35df41eac69 Initial revision
kono
parents:
diff changeset
727 if (output_mode==TEXT_EMIT_MODE) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
728 printf(".text\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
729 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
730 text_mode();
d35df41eac69 Initial revision
kono
parents:
diff changeset
731 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
732 printf("\tlea _%d,%s\n",lb,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
733 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
734 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
735
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
736 #define MAX_COPY_LEN 20
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
737
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
738 void
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
739 emit_copy(char *from,char *to,int length,int offset)
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
740 {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
741 if (length<0) return;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
742 switch (length) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
743 case 0: break;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
744 case 1:
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
745 printf("\tmovb %d(%s),%s\n",offset,from, reg_name_l[rname[dreg]] );
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
746 printf("\tmovb %s,%d(%s)\n",reg_name_l[rname[dreg]] ,offset,to);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
747 break;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
748 case 2:
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
749 printf("\tmovw %d(%s),%s\n",offset,from, reg_name_w[rname[dreg]] );
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
750 printf("\tmovw %s,%d(%s)\n",reg_name_w[rname[dreg]] ,offset,to);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
751 break;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
752 case 4:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
753 printf("\tmovl %d(%s),%s\n",offset,from, register_name(dreg,0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
754 printf("\tmovl %s,%d(%s)\n",register_name(dreg,0), offset,to);
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
755 break;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
756 default:
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
757 if (length <=MAX_COPY_LEN) {
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
758 for(;length>=4;length-=4,offset+=4)
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
759 emit_copy(from,to,4,offset);
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
760 for(;length>=2;length-=2,offset+=2)
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
761 emit_copy(from,to,2,offset);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
762 if(length>0)
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
763 emit_copy(from,to,length,offset);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
764 return;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
765 }
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
766 printf("\txchg %%edi,%s\n",from);
77c0710a8729 struct copy
kono
parents: 13
diff changeset
767 printf("\txchg %%esi,%s\n",to);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
768 printf("\txchg %%ecx,%s\n",register_name(dreg,0));
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
769 printf("\tmovl $%d,%%ecx\n",length/4);
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
770 printf("\tcld\n\trep\n\tmovsl\n");
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
771 printf("\txchg %%ecx,%s\n",register_name(dreg,0));
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
772 printf("\txchg %%esi,%s\n",to);
77c0710a8729 struct copy
kono
parents: 13
diff changeset
773 printf("\txchg %%edi,%s\n",from);
77c0710a8729 struct copy
kono
parents: 13
diff changeset
774 if(length%4) {
77c0710a8729 struct copy
kono
parents: 13
diff changeset
775 emit_copy("%esi","%edi",length,offset+length/4);
77c0710a8729 struct copy
kono
parents: 13
diff changeset
776 }
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
777 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
778 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
779
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
780 int
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
781 struct_push(int e4,int t)
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
782 {
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
783 int length;
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
784 g_expr(e4);
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
785 length=size(t);
77c0710a8729 struct copy
kono
parents: 13
diff changeset
786 if(length%size_of_int) {
77c0710a8729 struct copy
kono
parents: 13
diff changeset
787 length += size_of_int - (length%size_of_int);
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
788 }
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
789 printf("\tsubl $%d,%%esp\n",length);
77c0710a8729 struct copy
kono
parents: 13
diff changeset
790 if (length<=MAX_COPY_LEN)
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
791 emit_copy(register_name(creg,0),"%esp",length,0);
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
792 else {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
793 printf("\tpushl %%edi\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
794 printf("\tpushl %%esi\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
795 printf("\tpushl %%ecx\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
796 printf("\tleal 12(%%esp),%%di\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
797 if (rname[creg]!=REG_ESI)
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
798 printf("\tmovl %s,%%esi\n",register_name(creg,0));
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
799 printf("\tmovl $%d,%%ecx\n",length/size_of_int);
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
800 printf("\tcld\n\trep\n\tmovsl\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
801 printf("\tpopl %%ecx\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
802 printf("\tpopl %%esi\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
803 printf("\tpopl %%edi\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
804 }
14
77c0710a8729 struct copy
kono
parents: 13
diff changeset
805 return length/size_of_int;
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
806 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
807
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
808 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
809 function(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
810 {
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
811 int e2,e3,e4,e5,nargs,t;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
812 NMTBL *n;
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
813 int save,saved;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
814 if (free_register_count()<1) {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
815 for(save = 0;save==dreg||save==creg;save++);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
816 printf("\tpushl %s\n",register_name(save,0));
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
817 saved = 1;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
818 } else {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
819 save = get_register();
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
820 saved = 0;
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
821 }
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
822 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
823 nargs = 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
824 for (e3 = caddr(e1); e3; e3 = cadr(e3)) {
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
825 t=caddr(e3);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
826 n=(NMTBL *)(e5=(cadr(e4 = car(e3))));
d35df41eac69 Initial revision
kono
parents:
diff changeset
827 switch(car(e4)) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
828 case FNAME:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
829 printf("\tlea %s,%s\n",n->nm,register_name(creg,0));
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
830 printf("\tpushl %s\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
831 break;
d35df41eac69 Initial revision
kono
parents:
diff changeset
832 case ADDRESS:
d35df41eac69 Initial revision
kono
parents:
diff changeset
833 g_expr(e5);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
834 printf("\tpushl %s\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
835 break;
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
836 default:
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
837 if(scalar(t)) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
838 g_expr(e4);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
839 printf("\tpushl %s\n",register_name(creg,0));
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
840 } else if (car(t)==STRUCT||car(t)==UNION) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
841 nargs += struct_push(e4,t);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
842 continue;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
843 } else {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
844 error(TYERR);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
845 }
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
846 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
847 ++nargs;
d35df41eac69 Initial revision
kono
parents:
diff changeset
848 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
849 if (car(e2) == FNAME) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
850 n=(NMTBL *)cadr(e2);
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
851 } else {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
852 use_register(creg,REG_ECX,0);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
853 g_expr(e2);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
854 }
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
855
26
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
856 /* we don't have to save creg nor dreg */
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
857 regs[creg]=0;
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
858 regs[dreg]=0;
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
859 use_register(creg,REG_EAX,0);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
860 use_register(dreg,REG_EDX,0); /* will be destroyed */
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
861 use_register(save,REG_ECX,0); /* will be destroyed */
26
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
862 regs[creg]=1;
85b8648de04f *** empty log message ***
kono
parents: 24
diff changeset
863 regs[dreg]=1;
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
864
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
865 if (car(e2) == FNAME) {
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
866 printf("\tcall\t%s\n",n->nm);
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
867 } else {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
868 printf("\tcall\t*%s\n",register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
869 }
6
bf602558130d continuation
kono
parents: 5
diff changeset
870 if (nargs) printf("\taddl $%d,%%esp\n",size_of_int*nargs);
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
871 if (saved) {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
872 printf("\tpopl %s\n",register_name(save,0));
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
873 } else {
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
874 free_register(save);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
875 }
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
876 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
877
2
kono
parents: 1
diff changeset
878 int
3
kono
parents: 2
diff changeset
879 arg_size(int e3,int *nargs0)
2
kono
parents: 1
diff changeset
880 {
kono
parents: 1
diff changeset
881 int i,nargs,offset_list,e,t;
kono
parents: 1
diff changeset
882
kono
parents: 1
diff changeset
883 offset_list = 0;
kono
parents: 1
diff changeset
884 /* we should use prototypes's type */
kono
parents: 1
diff changeset
885 for (i = nargs = 0; e3;e3 =cadr(e3)) {
kono
parents: 1
diff changeset
886 e = car(e3); t = caddr(e3);
3
kono
parents: 2
diff changeset
887 if (i < MAX_REGISTER_VAR && scalar(t)) {
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
888 offset_list = list3(-(REG_ESI+i++),offset_list,e);
2
kono
parents: 1
diff changeset
889 } else {
kono
parents: 1
diff changeset
890 offset_list =
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
891 list3(nargs,offset_list,e);
3
kono
parents: 2
diff changeset
892 nargs += (car(e3)==CHAR?size_of_int:size(t));
2
kono
parents: 1
diff changeset
893 }
kono
parents: 1
diff changeset
894 }
3
kono
parents: 2
diff changeset
895 *nargs0 = -nargs;
2
kono
parents: 1
diff changeset
896 return offset_list;
kono
parents: 1
diff changeset
897 }
kono
parents: 1
diff changeset
898
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
899 int
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
900 is_simple(int e1)
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
901 {
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
902 int e2 = car(e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
903 return (
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
904 e2==FNAME || e2==LVAR || e2==CRLVAR || e2==REGISTER
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
905 );
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
906 }
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
907
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
908 void
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
909 jump_new(int e1, int env)
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
910 {
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
911 int e2;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
912 NMTBL *code0;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
913 /*
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
914 jump アドレスを計算する
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
915 */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
916 /* compute jump address */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
917 e2 = cadr(e1);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
918 if (car(e2) == FNAME) {
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
919 code0=(NMTBL *)cadr(e2);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
920 if (code0->sc!=CODE) {
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
921 error(STERR); return;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
922 }
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
923 } else { /* indirect */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
924 g_expr(e2);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
925 emit_push();
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
926 }
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
927 /*
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
928 まず、複雑な式を前もって単純な式に落す。
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
929 必要なら局所変数を用いる。
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
930 局所変数へのオフセットを覚えておく
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
931 */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
932 /*
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
933 スタックの位置を修正する
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
934 */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
935 /*
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
936 オフセットを用いて、
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
937 並べ変えを行う
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
938 */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
939 /*
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
940 スタックの位置を修正する
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
941 */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
942 /*
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
943 jump code を生成する
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
944 */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
945 }
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
946
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
947 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
948 jump(int e1, int env)
d35df41eac69 Initial revision
kono
parents:
diff changeset
949 {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
950 int i,args,e2,e3,e4,e5,nargs,regs;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
951 NMTBL *n,*code0;
6
bf602558130d continuation
kono
parents: 5
diff changeset
952 int new_disp,scode,disp1;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
953 char *xrn;
d35df41eac69 Initial revision
kono
parents:
diff changeset
954
2
kono
parents: 1
diff changeset
955 /* We need three passes. Compute Stack size, Compute Arg, Copy it. */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
956 /* count number of args */
2
kono
parents: 1
diff changeset
957 args = caddr(e1);
3
kono
parents: 2
diff changeset
958 args = reverse0(args);
kono
parents: 2
diff changeset
959 nargs = arg_size(args,&new_disp); /* compute in normal order */
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
960 disp1 = (fnptr->sc==CODE)?0:-size_of_int;
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
961 if (new_disp+disp1 < disp) { /* have to extend stack */
6
bf602558130d continuation
kono
parents: 5
diff changeset
962 if (fnptr->sc==CODE)
bf602558130d continuation
kono
parents: 5
diff changeset
963 printf("\tleal %d(%%ebp),%%esp\n",new_disp-size_of_int);
bf602558130d continuation
kono
parents: 5
diff changeset
964 else
bf602558130d continuation
kono
parents: 5
diff changeset
965 printf("\tleal %d(%%ebp),%%esp\n",new_disp+disp_offset);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
966 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
967 /* compute jump address */
d35df41eac69 Initial revision
kono
parents:
diff changeset
968 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
969 if (car(e2) == FNAME) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
970 code0=(NMTBL *)cadr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
971 if (code0->sc!=CODE) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
972 error(STERR); return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
973 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
974 } else { /* indirect */
d35df41eac69 Initial revision
kono
parents:
diff changeset
975 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
976 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
977 }
2
kono
parents: 1
diff changeset
978 /* compute arguments in reverse order */
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
979 /* printf("## jump code_arg_offset=%d code_disp_offset=%d\n",code_arg_offset,code_disp_offset); */
2
kono
parents: 1
diff changeset
980 regs = 0;
4
535bf528d68f copy free jump
kono
parents: 3
diff changeset
981 i=MAX_REGISTER_VAR;
2
kono
parents: 1
diff changeset
982 for (e3=nargs; e3;e3 =cadr(e3)) {
kono
parents: 1
diff changeset
983 n=(NMTBL *)(e5=(cadr(e4 = caddr(e3))));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
984 switch(car(e4)) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
985 case FNAME:
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
986 printf("\tlea %s,%s\n",n->nm,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
987 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
988 break;
d35df41eac69 Initial revision
kono
parents:
diff changeset
989 case ADDRESS:
d35df41eac69 Initial revision
kono
parents:
diff changeset
990 g_expr(e5);
d35df41eac69 Initial revision
kono
parents:
diff changeset
991 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
992 break;
d35df41eac69 Initial revision
kono
parents:
diff changeset
993 case RLVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
994 case CRLVAR:
4
535bf528d68f copy free jump
kono
parents: 3
diff changeset
995 if (env==0 && fnptr->sc==CODE) {
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
996 /* printf("## e5=%d car(e3)=%d\n",e5,car(e3)); */
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
997 if (e5>=0 && e5==car(e3)) {
2
kono
parents: 1
diff changeset
998 /* The same positioned local variable. No need to copy */
kono
parents: 1
diff changeset
999 reg_stack[reg_sp++] = -2;
kono
parents: 1
diff changeset
1000 }
4
535bf528d68f copy free jump
kono
parents: 3
diff changeset
1001 break;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1002 }
3
kono
parents: 2
diff changeset
1003 g_expr(e4);
kono
parents: 2
diff changeset
1004 emit_push();
kono
parents: 2
diff changeset
1005 break;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1006 case REGISTER:
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
1007 /* printf("## i=%d rname[e5]=%d\n",i,rname[e5]); */
4
535bf528d68f copy free jump
kono
parents: 3
diff changeset
1008 if (i>0 && rname[e5]==REG_ESI+ --i) {
3
kono
parents: 2
diff changeset
1009 /* The same register variable. No need to copy */
2
kono
parents: 1
diff changeset
1010 reg_stack[reg_sp++] = e5;
4
535bf528d68f copy free jump
kono
parents: 3
diff changeset
1011 break;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1012 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1013 default:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1014 g_expr(e4);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1015 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1016 }
2
kono
parents: 1
diff changeset
1017 regs++;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1018 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1019 if (env) {
2
kono
parents: 1
diff changeset
1020 /* change the frame pointer */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1021 g_expr(env);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1022 printf("\tmovl %s,%%ebp\n",register_name(creg,0));
3
kono
parents: 2
diff changeset
1023 } else if (fnptr->sc==FUNCTION) {
kono
parents: 2
diff changeset
1024 printf("\tlea %d(%%ebp),%%ebp\n",disp_offset);
kono
parents: 2
diff changeset
1025 }
kono
parents: 2
diff changeset
1026 /* force lvar offset mode to CODE */
kono
parents: 2
diff changeset
1027 scode = fnptr->sc; fnptr->sc = CODE;
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
1028 /* printf("## jump2 code_arg_offset=%d code_disp_offset=%d\n",code_arg_offset,code_disp_offset); */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1029 /* copy arguments to destination environment if necessary */
3
kono
parents: 2
diff changeset
1030 nargs = reverse0(nargs); /* pop in normal order */
kono
parents: 2
diff changeset
1031 i=0;
kono
parents: 2
diff changeset
1032 for (e3=nargs; e3;e3 =cadr(e3)) {
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
1033 if ((e4=car(e3))<0) {
2
kono
parents: 1
diff changeset
1034 /* register case */
kono
parents: 1
diff changeset
1035 if (reg_stack[--reg_sp]>=REG_ESI) {
kono
parents: 1
diff changeset
1036 /* the same registger */
kono
parents: 1
diff changeset
1037 } else {
kono
parents: 1
diff changeset
1038 if(reg_stack[reg_sp]<0) {
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
1039 printf("\tpopl %s\n",reg_name[rname[REG_ESI+i]]); /* e4? */
2
kono
parents: 1
diff changeset
1040 } else {
kono
parents: 1
diff changeset
1041 printf("\tmovl %s,%s\n",
kono
parents: 1
diff changeset
1042 reg_name[rname[reg_stack[reg_sp]]],
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
1043 reg_name[rname[REG_ESI+i]]); /* e4? */
2
kono
parents: 1
diff changeset
1044 free_register(reg_stack[reg_sp]);
kono
parents: 1
diff changeset
1045 }
3
kono
parents: 2
diff changeset
1046 i++;
2
kono
parents: 1
diff changeset
1047 }
kono
parents: 1
diff changeset
1048 } else {
kono
parents: 1
diff changeset
1049 /* local variable case */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1050 if (reg_stack[reg_sp-1]== -2) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1051 /* same positioned variable */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1052 reg_sp--;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1053 } else {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1054 printf("\tmovl %s,%d(%%ebp)\n",register_name(emit_pop(0),0), lvar(e4));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1055 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1056 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1057 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1058 if (car(e2) != FNAME) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1059 xrn=register_name(emit_pop(0),0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1060 }
6
bf602558130d continuation
kono
parents: 5
diff changeset
1061 if (!env && new_disp+disp1>disp) {
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1062 /* shrink stack if necessary */
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
1063 printf("\tleal %d(%%ebp),%%esp\n",new_disp-size_of_int);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1064 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1065 if (car(e2) == FNAME) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1066 printf("\tjmp %s\n",code0->nm);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1067 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1068 printf("\tjmp *%s\n",xrn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1069 }
3
kono
parents: 2
diff changeset
1070 fnptr->sc = scode;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1071 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1072
d35df41eac69 Initial revision
kono
parents:
diff changeset
1073
d35df41eac69 Initial revision
kono
parents:
diff changeset
1074 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1075 machinop(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1076 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1077 int e2,e3,op;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1078
d35df41eac69 Initial revision
kono
parents:
diff changeset
1079 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1080 op = car(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1081 e3 = caddr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1082 g_expr(e3);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1083 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1084 g_expr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1085 tosop(car(e1));
d35df41eac69 Initial revision
kono
parents:
diff changeset
1086 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1087 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1088
d35df41eac69 Initial revision
kono
parents:
diff changeset
1089
d35df41eac69 Initial revision
kono
parents:
diff changeset
1090 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1091 rindirect(int e1) /* *(p +5 ) */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1092
d35df41eac69 Initial revision
kono
parents:
diff changeset
1093 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1094 char *op;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1095 int e2,e3,byte;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1096
d35df41eac69 Initial revision
kono
parents:
diff changeset
1097 op = ((byte = (car(e1) == CRINDIRECT)) ? "movsbl" : "movl");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1098 e3 = cadr(e2 = cadr(e1));
d35df41eac69 Initial revision
kono
parents:
diff changeset
1099 g_expr(e2);
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
1100 printf("\t%s (%s),%s\n",op,register_name(creg,0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1101 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1102
d35df41eac69 Initial revision
kono
parents:
diff changeset
1103 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1104 sassign(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1105 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1106 int e2,e3,e4,sz;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1107 char *xrn;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1108
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1109 /* structure assignment */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1110 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1111 e3 = cadr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1112 e4 = caddr(e1);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1113 sz = size(cadr(e2)); /* cld rep movsb */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1114 g_expr(e4);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1115 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1116 g_expr(e2);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1117 xrn = register_name(emit_pop(0),0);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1118
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1119 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1120 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1121
d35df41eac69 Initial revision
kono
parents:
diff changeset
1122 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1123 assign(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1124 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1125 char *op;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1126 int e2,e3,e4,byte;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1127
d35df41eac69 Initial revision
kono
parents:
diff changeset
1128 op = ((byte=(car(e1) == CASS))? "movb" : "movl");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1129 /* e2=e4 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1130 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1131 e3 = cadr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1132 e4 = caddr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1133 switch(car(e2)) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1134 case GVAR: /* i=3 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1135 g_expr(e4);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1136 if (byte) use_data_reg(creg,1);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1137 printf("\t%s %s,%s\n",op,register_name(creg,byte),(char *)caddr(e2));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1138 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1139 case LVAR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1140 g_expr(e4);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1141 if (byte) use_data_reg(creg,1);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1142 printf("\t%s %s,%d(%%ebp)\n",op,register_name(creg,byte),lvar(cadr(e2)));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1143 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1144 case REGISTER:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1145 g_expr(e4);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1146 if (creg!=cadr(e2))
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
1147 printf("\tmovl %s,%s\n",register_name(creg,0),register_name(cadr(e2),0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1148 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1149 }
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
1150 g_expr(e2);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1151 emit_push();
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
1152 use_data_reg(creg,0);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
1153 g_expr(e4);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1154 if (byte) use_data_reg(creg,1);
23
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
1155 e2 = emit_pop(0);
e605560e6146 Fix breaking edx,ecx on function call
kono
parents: 22
diff changeset
1156 printf("\t%s %s,(%s)\n",op,register_name(creg,byte),register_name(e2,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1157 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1158 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1159
d35df41eac69 Initial revision
kono
parents:
diff changeset
1160 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1161 assop(int e1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1162 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1163 int e2,e3,byte,op,new_reg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1164 char *xrn;
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1165 int xreg;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1166
d35df41eac69 Initial revision
kono
parents:
diff changeset
1167 /* e2 op= e3 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1168 byte = (car(e1) == CASSOP);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1169 e2 = cadr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1170 if (car(e2)==INDIRECT) e2=cadr(e2);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1171 e3 = caddr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1172 op = cadddr(e1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1173
d35df41eac69 Initial revision
kono
parents:
diff changeset
1174 g_expr(e3);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1175 emit_push();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1176 if (car(e2)==REGISTER) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1177 new_reg=creg;
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1178 creg = cadr(e2);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1179 tosop(op);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1180 creg = new_reg;
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1181 printf("\tmovl %s,%s\n",register_name(cadr(e2),0),register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1182 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1183 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1184 g_expr(e2);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1185 xrn = register_name(xreg = emit_pop(0),0); /* pop e3 value */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1186 printf("\tpushl %s # assop \n",register_name(creg,0)); /* push e2 address */
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1187 ld_indexx(byte,0,creg);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1188 new_reg = get_register();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1189 /* push e3 value */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1190 if(new_reg<0) { /* もうレジスタがない */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1191 reg_stack[reg_sp++] = -1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1192 printf("\tpushl %s\n",xrn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1193 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1194 reg_stack[reg_sp++] = xreg; /* push するかわりにレジスタを使う */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1195 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1196 tosop(op);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1197 if(new_reg>=0) free_register(new_reg);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1198 printf("\tpopl %s # assop \n",register_name(dreg,0));
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
1199 printf("\t%s %s,(%s)\n",byte ? "movb" : "movl",register_name(creg,byte),register_name(dreg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1200 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1201
d35df41eac69 Initial revision
kono
parents:
diff changeset
1202 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1203
d35df41eac69 Initial revision
kono
parents:
diff changeset
1204
d35df41eac69 Initial revision
kono
parents:
diff changeset
1205 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1206 tosop(int op)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1207 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1208 int oreg;
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1209 char *orn,*crn;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1210
d35df41eac69 Initial revision
kono
parents:
diff changeset
1211 oreg = pop_register();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1212 switch(op) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1213 case LSHIFT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1214 case ULSHIFT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1215 shift("sall",oreg);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1216 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1217 case RSHIFT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1218 shift("sarl",oreg);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1219 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1220 case URSHIFT:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1221 shift("shrl",oreg);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1222 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1223 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1224 if(oreg==-1) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1225 printf("\tpopl %s\n",register_name(dreg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1226 oreg = dreg;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1227 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1228 orn = register_name(oreg,0);
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1229 crn = register_name(creg,0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1230 switch(op) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1231 case ADD:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1232 printf("\taddl %s,%s\n",orn,crn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1233 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1234 case SUB:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1235 printf("\tsubl %s,%s\n",orn,crn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1236 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1237 case BAND:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1238 printf("\tandl %s,%s\n",orn,crn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1239 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1240 case EOR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1241 printf("\txorl %s,%s\n",orn,crn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1242 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1243 case BOR:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1244 printf("\torl %s,%s\n",orn,crn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1245 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1246 case MUL:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1247 case UMUL:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1248 /* use_register(dreg,REG_EDX,0); */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1249 printf("\t%s %s,%s\n","imull",orn,crn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1250 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1251 case DIV:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1252 case UDIV:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1253 orn = div_setup(oreg);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1254 if (op==DIV)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1255 printf("\tcltd\n\tdivl %s\n",orn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1256 else
d35df41eac69 Initial revision
kono
parents:
diff changeset
1257 printf("\txor %%edx,%%edx\n\tidivl %s\n",orn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1258 div_cleanup(orn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1259 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1260 case MOD:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1261 case UMOD:
d35df41eac69 Initial revision
kono
parents:
diff changeset
1262 orn = div_setup(oreg);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1263 if (op==DIV)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1264 printf("\tcltd\n\tdivl %s\n",orn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1265 else
d35df41eac69 Initial revision
kono
parents:
diff changeset
1266 printf("\txor %%edx,%%edx\n\tidivl %s\n",orn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1267 rname[creg]=REG_EDX;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1268 rname[dreg]=REG_EAX;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1269 div_cleanup(orn);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1270 return;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1271 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1272 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1273
d35df41eac69 Initial revision
kono
parents:
diff changeset
1274 static char *dvi_push = "(%esp)";
d35df41eac69 Initial revision
kono
parents:
diff changeset
1275
d35df41eac69 Initial revision
kono
parents:
diff changeset
1276 char *
d35df41eac69 Initial revision
kono
parents:
diff changeset
1277 div_setup(int oreg)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1278 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1279 if (oreg<0) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1280 use_register(creg,REG_EAX,1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1281 use_register(dreg,REG_EDX,0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1282 return 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1283 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1284 if (register_full()) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1285 printf("\tpushl %s\n",register_name(oreg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1286 use_register(creg,REG_EAX,1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1287 use_register(oreg,REG_EDX,0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1288 return dvi_push;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1289 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1290 regs[oreg]=1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1291 use_register(creg,REG_EAX,1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1292 use_register(dreg,REG_EDX,0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1293 regs[oreg]=0;
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1294 return register_name(oreg,0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1295 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1296
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1297
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1298 void
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1299 div_cleanup(char *orn)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1300 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1301 if (orn==dvi_push)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1302 printf("\taddl $4,%%esp\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1303 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1304
d35df41eac69 Initial revision
kono
parents:
diff changeset
1305 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1306 shift(char *op, int reg)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1307 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1308 if (reg>=0) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1309 use_register(lreg,REG_ECX,1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1310 } else {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1311 use_register(dreg,REG_ECX,0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1312 printf("\tpopl %%ecx\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1313 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1314 printf("\t%s %%cl,%s\n",op,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1315 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1316
d35df41eac69 Initial revision
kono
parents:
diff changeset
1317 void
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1318 ld_indexx(int byte, int n, int xreg)
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1319 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1320 char *op;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1321
d35df41eac69 Initial revision
kono
parents:
diff changeset
1322 op = byte ? "movsbl" : "movl";
d35df41eac69 Initial revision
kono
parents:
diff changeset
1323 if (n)
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1324 printf("\t%s %d(%s),%s\n",op,n,register_name(xreg,0),register_name(creg,byte));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1325 else
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1326 printf("\t%s (%s),%s\n",op,register_name(xreg,0),register_name(creg,byte));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1327 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1328
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1329 /*
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1330 void
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1331 st_indexx(int byte, int n, int xreg)
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1332 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1333 char *op;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1334
d35df41eac69 Initial revision
kono
parents:
diff changeset
1335 op = byte ? "movb" : "movl";
d35df41eac69 Initial revision
kono
parents:
diff changeset
1336 if (n)
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1337 printf("\t%s %s,%d(%s)\n",op,register_name(creg,byte),n,register_name(xreg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1338 else
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1339 printf("\t%s %s,(%s)\n",op,register_name(creg,byte),register_name(xreg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1340 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1341
d35df41eac69 Initial revision
kono
parents:
diff changeset
1342 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1343 indexy(char *op, char *gvar)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1344 {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1345 printf("\t%s %s,%s\n",op,register_name(creg,0),gvar);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1346 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1347 */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1348
d35df41eac69 Initial revision
kono
parents:
diff changeset
1349 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1350 cmpdimm(int e, int csreg)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1351 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1352 /* used in dosiwtch() */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1353 use_register(creg,csreg,0);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1354 printf("\tcmpl $%d,%s\n",e,register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1355 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1356
d35df41eac69 Initial revision
kono
parents:
diff changeset
1357 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1358 opening(char *filename)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1359 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1360 printf("\t.file \"%s\"\n",filename);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1361 printf("\t.version\t\"01.01\"\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1362 printf("gcc2_compiled.:\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1363 printf(".text\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1364 emit_init();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1365 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1366
d35df41eac69 Initial revision
kono
parents:
diff changeset
1367 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1368 closing(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1369 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1370 global_table();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1371 printf("\t.ident \"Micro-C compiled\"\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1372 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1373
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1374 /*
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1375 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1376 jmp_label(int l)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1377 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1378 printf("\tjmp\t_%d\n",l);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1379 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1380 */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1381
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1382 /*
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1383 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1384 jmp_eq_label(int l)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1385 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1386 printf("\tje\t_%d\n",l);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1387 }
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1388 */
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1389
d35df41eac69 Initial revision
kono
parents:
diff changeset
1390 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1391 rexpr(int e1, int l1, char *s)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1392 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1393 g_expr(list3(SUB,cadr(e1),caddr(e1)));
d35df41eac69 Initial revision
kono
parents:
diff changeset
1394 printf("\tj%s\t_%d\n",s,l1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1395 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1396
d35df41eac69 Initial revision
kono
parents:
diff changeset
1397 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1398 jcond(int l, char cond)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1399 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1400 printf("\tj%s\t_%d\n",cond?"ne":"e",l);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1401 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1402
d35df41eac69 Initial revision
kono
parents:
diff changeset
1403 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1404 jmp(int l)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1405 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1406 control=0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1407 printf("\tjmp\t_%d\n",l);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1408 /* align? */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1409 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1410
d35df41eac69 Initial revision
kono
parents:
diff changeset
1411 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
1412 fwdlabel(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1413 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1414 return labelno++;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1415 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1416
d35df41eac69 Initial revision
kono
parents:
diff changeset
1417 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1418 fwddef(int l)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1419 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1420 control=1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1421 printf("_%d:\n",l);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1422 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1423
d35df41eac69 Initial revision
kono
parents:
diff changeset
1424 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
1425 backdef(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1426 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1427 control=1;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1428 printf("_%d:\n",labelno);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1429 return labelno++;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1430 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1431
d35df41eac69 Initial revision
kono
parents:
diff changeset
1432 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1433 def_label(int cslabel, int dlabel)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1434 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1435 int fl;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1436
d35df41eac69 Initial revision
kono
parents:
diff changeset
1437 fl = 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1438 if (control) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1439 jmp(fl=fwdlabel());
d35df41eac69 Initial revision
kono
parents:
diff changeset
1440 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1441 fwddef(cslabel);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1442 if (dlabel)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1443 jmp(dlabel);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1444 if (fl) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1445 fwddef(fl);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1446 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1447 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1448
d35df41eac69 Initial revision
kono
parents:
diff changeset
1449 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1450 gen_comment(char *s)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1451 {
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
1452 printf("## %s",s);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1453 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1454
d35df41eac69 Initial revision
kono
parents:
diff changeset
1455 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1456 gen_source(char *s)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1457 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1458 printf("%s",s);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1459 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1460
d35df41eac69 Initial revision
kono
parents:
diff changeset
1461 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1462 code_enter(char *name)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1463 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1464 printf("\t.align 4\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1465 if (stmode!=STATIC)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1466 printf(".globl %s\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1467 printf("\t.type\t%s,@function\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1468 printf("%s:\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1469 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1470
d35df41eac69 Initial revision
kono
parents:
diff changeset
1471 void
6
bf602558130d continuation
kono
parents: 5
diff changeset
1472 code_enter1(int disp0,int args)
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1473 {
6
bf602558130d continuation
kono
parents: 5
diff changeset
1474 if(disp0) {
bf602558130d continuation
kono
parents: 5
diff changeset
1475 printf("\tsubl $%d,%%esp\n",-disp0);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1476 }
21
f9f789aa7587 Linux version (Redhat 7.2)
kono
parents: 18
diff changeset
1477 printf("## args %d disp %d code_arg_offset=%d code_disp_offset=%d\n",args,disp,code_arg_offset,code_disp_offset);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1478 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1479
d35df41eac69 Initial revision
kono
parents:
diff changeset
1480 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1481 code_leave(char *name)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1482 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1483 printf("_%d:\n",labelno);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1484 printf("\t.size\t%s,_%d-%s\n",name,labelno,name);
12
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1485 local_table();
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1486 labelno++;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1487 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1488
d35df41eac69 Initial revision
kono
parents:
diff changeset
1489 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1490 enter(char *name)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1491 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1492 printf("\t.align 2\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1493 if (stmode!=STATIC)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1494 printf(".globl %s\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1495 printf("%s:\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1496 printf("\t.type\t%s,@function\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1497 printf("\tpushl %%ebp\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1498 printf("\tmovl %%esp,%%ebp\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1499 printf("\tpushl %%ebx\n");
24
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
1500 printf("\tpushl %%esi\n");
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
1501 printf("\tpushl %%edi\n");
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1502 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1503
d35df41eac69 Initial revision
kono
parents:
diff changeset
1504 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1505 enter1(int disp)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1506 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1507 if(disp) printf("\tsubl $%d,%%esp\n",-disp);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1508 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1509
d35df41eac69 Initial revision
kono
parents:
diff changeset
1510 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1511 leave(int control, char *name)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1512 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1513 if (control)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1514 use_register(creg,REG_EAX,1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1515 if (retcont) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1516 if (control)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1517 jmp(retlabel);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1518 fwddef(retcont);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1519 use_register(creg,REG_EAX,0);
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1520 printf("\tmovl %s,%s\n",reg_name[REG_ESI],register_name(creg,0));
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1521 /* printf("\tleave\n"); */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1522 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1523 fwddef(retlabel);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1524 use_register(creg,REG_EAX,0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1525 /* if(disp) printf("\taddl $%d,%%esp\n",-disp); */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1526 printf("\tlea %d(%%ebp),%%esp\n",disp_offset);
24
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
1527 printf("\tpopl %%edi\n");
1df0bf7eb5da add esi/edi register. fix virtual register bug.
kono
parents: 23
diff changeset
1528 printf("\tpopl %%esi\n");
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1529 printf("\tpopl %%ebx\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1530 printf("\tleave\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1531 printf("\tret\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1532 printf("_%d:\n",labelno);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1533 printf("\t.size\t%s,_%d-%s\n",name,labelno,name);
12
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1534 local_table();
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1535 labelno++;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1536 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1537
d35df41eac69 Initial revision
kono
parents:
diff changeset
1538
d35df41eac69 Initial revision
kono
parents:
diff changeset
1539 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1540 ret(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1541 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1542 use_register(creg,REG_EAX,1);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1543 jmp(retlabel);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1544 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1545
d35df41eac69 Initial revision
kono
parents:
diff changeset
1546 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1547 gen_gdecl(char *n, int gpc)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1548 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1549 /*
d35df41eac69 Initial revision
kono
parents:
diff changeset
1550 if (stmode!=STATIC)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1551 printf(".globl %s\n",n);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1552 */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1553 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1554
d35df41eac69 Initial revision
kono
parents:
diff changeset
1555 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1556 align(int t)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1557 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1558 if (t!=CHAR) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1559 if (data_alignment & 1)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1560 printf("\t.align 2\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1561 data_alignment = 0;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1562 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1563 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1564
d35df41eac69 Initial revision
kono
parents:
diff changeset
1565 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1566 emit_data(int e, int t, NMTBL *n)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1567 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1568 int l;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1569 char *name;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1570 name = n->nm;
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1571 if(mode!=GDECL) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1572 error(-1); return;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1573 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1574 if (n->dsp != -1) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1575 n->dsp = -1; /* initiallized flag */
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1576 printf(".globl\t%s\n",name);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1577 data_mode(name);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1578 align(t);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1579 printf("%s:\n",name);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1580 } else {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1581 data_mode(0);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1582 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1583 if(car(e)==CONST) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1584 if (t==CHAR) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1585 printf("\t.byte %d\n",cadr(e));
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1586 if (data_alignment>0)
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1587 data_alignment++;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1588 gpc += 1;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1589 } else {
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1590 printf("\t.long %d\n",cadr(e));
3
kono
parents: 2
diff changeset
1591 gpc += size_of_int;
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1592 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1593 } else if(t!=CHAR) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1594 gpc += size_of_int;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1595 if(car(e)==ADDRESS&&car(cadr(e))==GVAR) {
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1596 printf("\t.long %s\n",(char *)caddr(cadr(e)));
13
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1597 } else if(car(e)==FNAME) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1598 printf("\t.long %s\n",((NMTBL *)cadr(e))->nm);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1599 } else if(car(e)==STRING) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1600 if (car(n->ty)!=ARRAY || cadr(n->ty)!=CHAR) {
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1601 l = fwdlabel();
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1602 printf("\t.long _%d\n",l);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1603 printf(".section\t.rodata\n");
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1604 printf("_%d:\n",l);
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1605 output_mode = RODATA_EMIT_MODE;
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1606 }
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1607 ascii((char *)cadr(e));
a8a812dace23 struct local initialization
kono
parents: 12
diff changeset
1608 } else error(TYERR);
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1609 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1610 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1611
d35df41eac69 Initial revision
kono
parents:
diff changeset
1612 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1613 emit_data_closing(NMTBL *n)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1614 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1615 int lb;
18
df7fa8cee67b pass -Wall
kono
parents: 15
diff changeset
1616 if (mode==GDECL) {
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1617 data_mode(0);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1618 lb=fwdlabel();
d35df41eac69 Initial revision
kono
parents:
diff changeset
1619 printf("_%d:\n",lb);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1620 printf("\t.size\t%s,_%d-%s\n",n->nm,lb,n->nm);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1621 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1622 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1623
d35df41eac69 Initial revision
kono
parents:
diff changeset
1624 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1625 global_table(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1626 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1627 NMTBL *n;
12
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1628 int init;
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1629 init=0;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1630 for(n=ntable;n < &ntable[GSYMS];n++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1631 if (n->sc == GVAR && n->dsp != -1) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1632 /* n->dsp = -1 means initialized global */
12
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1633 if (init==0) {
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1634 data_mode(0);
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1635 init=1;
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1636 }
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1637 printf(".comm %s,%d\n",n->nm,size(n->ty));
d35df41eac69 Initial revision
kono
parents:
diff changeset
1638 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1639 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1640 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1641
d35df41eac69 Initial revision
kono
parents:
diff changeset
1642 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1643 local_table(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1644 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1645 NMTBL *n;
12
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1646 int init;
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1647 init=0;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1648 /* static local variables */
d35df41eac69 Initial revision
kono
parents:
diff changeset
1649 for(n=ntable+GSYMS;n < &ntable[GSYMS+LSYMS];n++) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1650 if (n->sc == GVAR) {
12
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1651 if (init==0) {
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1652 data_mode(0);
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1653 init=1;
f928bd330351 *** empty log message ***
kono
parents: 7
diff changeset
1654 }
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1655 printf(".lcomm %s,%d\n",n->nm,size(n->ty));
d35df41eac69 Initial revision
kono
parents:
diff changeset
1656 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1657 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1658 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1659
d35df41eac69 Initial revision
kono
parents:
diff changeset
1660 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1661 text_mode(void)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1662 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1663 if (output_mode!=TEXT_EMIT_MODE) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1664 printf(".text\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1665 printf("\t.align 2\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1666 output_mode = TEXT_EMIT_MODE;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1667 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1668 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1669
d35df41eac69 Initial revision
kono
parents:
diff changeset
1670 void
d35df41eac69 Initial revision
kono
parents:
diff changeset
1671 data_mode(char *name)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1672 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1673 if (output_mode!=DATA_EMIT_MODE) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1674 printf(".data\n");
d35df41eac69 Initial revision
kono
parents:
diff changeset
1675 output_mode = DATA_EMIT_MODE;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1676 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1677 if (name)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1678 printf("\t.type\t%s,@object\n",name);
d35df41eac69 Initial revision
kono
parents:
diff changeset
1679 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1680
d35df41eac69 Initial revision
kono
parents:
diff changeset
1681 int
d35df41eac69 Initial revision
kono
parents:
diff changeset
1682 lvar(int l)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1683 {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1684 if (l<0) {
d35df41eac69 Initial revision
kono
parents:
diff changeset
1685 if (fnptr->sc==CODE)
d35df41eac69 Initial revision
kono
parents:
diff changeset
1686 return l+code_disp_offset;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1687 else
d35df41eac69 Initial revision
kono
parents:
diff changeset
1688 return l+disp_offset;
d35df41eac69 Initial revision
kono
parents:
diff changeset
1689 } else {
3
kono
parents: 2
diff changeset
1690 if (fnptr->sc==CODE)
5
3db1b6d78412 *** empty log message ***
kono
parents: 4
diff changeset
1691 return -l+code_arg_offset;
3
kono
parents: 2
diff changeset
1692 else
kono
parents: 2
diff changeset
1693 return l+arg_offset;
0
d35df41eac69 Initial revision
kono
parents:
diff changeset
1694 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1695 }
d35df41eac69 Initial revision
kono
parents:
diff changeset
1696
d35df41eac69 Initial revision
kono
parents:
diff changeset
1697 /* end */