4 # inssel-ppc.brg: burg file for special ppc instructions
7 # Dietmar Maurer (dietmar@ximian.com)
8 # Paolo Molaro (lupus@ximian.com)
10 # (C) 2002 Ximian, Inc.
13 stmt: OP_START_HANDLER {
14 MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
15 /*MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, spvar->inst_basereg, spvar->inst_offset, ppc_sp);
17 tree->inst_left = spvar;
18 mono_bblock_add_inst (s->cbb, tree);
21 stmt: CEE_ENDFINALLY {
22 MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
23 tree->inst_left = spvar;
24 mono_bblock_add_inst (s->cbb, tree);
27 stmt: OP_ENDFILTER (reg) {
28 MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
29 tree->inst_left = spvar;
30 tree->sreg1 = state->left->reg1;
31 mono_bblock_add_inst (s->cbb, tree);
34 lreg: OP_LADD_OVF (lreg, lreg) "0" {
35 /* ADC sets the condition code */
36 MONO_EMIT_NEW_BIALU (s, OP_ADDCC, state->reg1, state->left->reg1, state->right->reg1);
37 MONO_EMIT_NEW_BIALU (s, OP_ADD_OVF_CARRY, state->reg2, state->left->reg2, state->right->reg2);
40 lreg: OP_LADD_OVF_UN (lreg, lreg) "0" {
41 /* ADC sets the condition code */
42 MONO_EMIT_NEW_BIALU (s, OP_ADDCC, state->reg1, state->left->reg1, state->right->reg1);
43 MONO_EMIT_NEW_BIALU (s, OP_ADD_OVF_UN_CARRY, state->reg2, state->left->reg2, state->right->reg2);
46 lreg: OP_LSUB_OVF (lreg, lreg) "0" {
47 /* SBB sets the condition code */
48 MONO_EMIT_NEW_BIALU (s, OP_SUBCC, state->reg1, state->left->reg1, state->right->reg1);
49 MONO_EMIT_NEW_BIALU (s, OP_SUB_OVF_CARRY, state->reg2, state->left->reg2, state->right->reg2);
52 lreg: OP_LSUB_OVF_UN (lreg, lreg) "0" {
53 /* SBB sets the condition code */
54 MONO_EMIT_NEW_BIALU (s, OP_SUBCC, state->reg1, state->left->reg1, state->right->reg1);
55 MONO_EMIT_NEW_BIALU (s, OP_SUB_OVF_UN_CARRY, state->reg2, state->left->reg2, state->right->reg2);
58 stmt: CEE_STIND_I8 (OP_REGVAR, lreg) {
59 /* this should only happen for methods returning a long */
60 MONO_EMIT_NEW_UNALU (s, OP_MOVE, ppc_r3, state->right->reg1);
61 MONO_EMIT_NEW_UNALU (s, OP_MOVE, ppc_r4, state->right->reg2);
64 lreg: OP_LNEG (lreg) "2" {
65 MONO_EMIT_NEW_BIALU_IMM (s, OP_PPC_SUBFIC, state->reg1, state->left->reg1, 0);
66 MONO_EMIT_UNALU (s, tree, OP_PPC_SUBFZE, state->reg2, state->left->reg2);
69 freg: OP_LCONV_TO_R8 (lreg) {
70 tree->dreg = state->reg1;
71 tree->sreg1 = state->left->reg1;
72 tree->sreg2 = state->left->reg2;
73 mono_bblock_add_inst (s->cbb, tree);
76 freg: OP_LCONV_TO_R4 (lreg) {
77 tree->dreg = state->reg1;
78 tree->sreg1 = state->left->reg1;
79 tree->sreg2 = state->left->reg2;
80 mono_bblock_add_inst (s->cbb, tree);
83 freg: CEE_CONV_R_UN (reg) {
84 tree->dreg = state->reg1;
85 tree->sreg1 = state->left->reg1;
86 mono_bblock_add_inst (s->cbb, tree);
89 reg: OP_LOCALLOC (OP_ICONST) {
90 /* microcoded in mini-ppc.c */
91 tree->sreg1 = mono_regstate_next_int (s->rs);
92 tree->dreg = state->reg1;
93 MONO_EMIT_NEW_ICONST (s, tree->sreg1, state->left->tree->inst_c0);
94 mono_bblock_add_inst (s->cbb, tree);
97 reg: OP_LOCALLOC (reg) {
98 tree->dreg = state->reg1;
99 tree->sreg1 = state->left->reg1;
100 mono_bblock_add_inst (s->cbb, tree);
103 stmt: OP_SETRET (reg) {
104 tree->opcode = OP_MOVE;
105 tree->sreg1 = state->left->reg1;
107 mono_bblock_add_inst (s->cbb, tree);
110 stmt: OP_SETRET (lreg) {
111 tree->opcode = OP_SETLRET;
112 tree->sreg1 = state->left->reg1;
113 tree->sreg2 = state->left->reg2;
115 mono_bblock_add_inst (s->cbb, tree);
118 stmt: OP_SETRET (freg) {
119 tree->opcode = OP_FMOVE;
120 tree->sreg1 = state->left->reg1;
122 mono_bblock_add_inst (s->cbb, tree);
125 stmt: OP_SETRET (OP_ICONST) {
126 tree->opcode = OP_ICONST;
127 tree->inst_c0 = state->left->tree->inst_c0;
129 mono_bblock_add_inst (s->cbb, tree);
132 stmt: OP_OUTARG (reg) {
133 if (tree->inst_imm) {
134 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
137 tree->opcode = OP_SETREG;
138 tree->dreg = tree->unused;
139 tree->sreg1 = state->left->reg1;
140 mono_bblock_add_inst (s->cbb, tree);
143 stmt: OP_OUTARG (OP_REGVAR) {
144 if (tree->inst_imm) {
145 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->tree->dreg);
148 tree->opcode = OP_SETREG;
149 tree->dreg = tree->unused;
150 tree->sreg1 = state->left->tree->dreg;
151 mono_bblock_add_inst (s->cbb, tree);
154 stmt: OP_OUTARG (lreg) {
155 if (tree->inst_imm) {
156 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg2);
157 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm + 4, state->left->reg1);
160 MONO_EMIT_NEW_UNALU (s, OP_SETREG, tree->unused, state->left->reg2);
161 tree->opcode = OP_SETREG;
162 tree->dreg = tree->unused + 1;
163 tree->sreg1 = state->left->reg1;
164 mono_bblock_add_inst (s->cbb, tree);
167 stmt: OP_OUTARG (OP_ICONST) {
168 if (tree->inst_imm) {
169 MONO_EMIT_NEW_STORE_MEMBASE_IMM (s, OP_STORE_MEMBASE_IMM, s->frame_reg, tree->inst_imm, state->left->tree->inst_c0);
172 tree->opcode = OP_SETREGIMM;
173 tree->dreg = tree->unused;
174 tree->inst_c0 = state->left->tree->inst_c0;
175 mono_bblock_add_inst (s->cbb, tree);
178 #stmt: OP_OUTARG (CEE_LDIND_I4 (base)) {
179 # tree->opcode = OP_X86_PUSH_MEMBASE;
180 # tree->inst_basereg = state->left->left->tree->inst_basereg;
181 # tree->inst_offset = state->left->left->tree->inst_offset;
182 # mono_bblock_add_inst (s->cbb, tree);
185 #stmt: OP_OUTARG (CEE_LDIND_U4 (base)) {
186 # tree->opcode = OP_X86_PUSH_MEMBASE;
187 # tree->inst_basereg = state->left->left->tree->inst_basereg;
188 # tree->inst_offset = state->left->left->tree->inst_offset;
189 # mono_bblock_add_inst (s->cbb, tree);
192 #stmt: OP_OUTARG (CEE_LDIND_I (base)) {
193 # tree->opcode = OP_X86_PUSH_MEMBASE;
194 # tree->inst_basereg = state->left->left->tree->inst_basereg;
195 # tree->inst_offset = state->left->left->tree->inst_offset;
196 # mono_bblock_add_inst (s->cbb, tree);
199 #stmt: OP_OUTARG (CEE_LDIND_REF (base)) {
200 # tree->opcode = OP_X86_PUSH_MEMBASE;
201 # tree->inst_basereg = state->left->left->tree->inst_basereg;
202 # tree->inst_offset = state->left->left->tree->inst_offset;
203 # mono_bblock_add_inst (s->cbb, tree);
206 stmt: OP_OUTARG (CEE_LDIND_REF (OP_REGVAR)) {
207 if (tree->inst_imm) {
208 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->left->tree->dreg);
211 tree->opcode = OP_SETREG;
212 tree->sreg1 = state->left->left->tree->dreg;
213 tree->dreg = tree->unused;
214 mono_bblock_add_inst (s->cbb, tree);
217 #stmt: OP_OUTARG (CEE_LDOBJ (reg)) {
218 # tree->opcode = OP_X86_PUSH;
219 # tree->sreg1 = state->left->reg1;
220 # mono_bblock_add_inst (s->cbb, tree);
223 stmt: OP_OUTARG (freg) {
224 if (tree->inst_imm) {
225 int opcode = (tree->unused & 0xff00) == 0x0400? OP_STORER4_MEMBASE_REG: OP_STORER8_MEMBASE_REG;
226 MONO_EMIT_NEW_STORE_MEMBASE (s, opcode, s->frame_reg, tree->inst_imm, state->left->reg1);
229 tree->opcode = OP_SETFREG;
230 tree->sreg1 = state->left->reg1;
231 tree->dreg = tree->unused & 0xff;
232 mono_bblock_add_inst (s->cbb, tree);
235 stmt: OP_OUTARG_R4 (freg) {
236 if (tree->inst_imm) {
237 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER4_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
240 tree->opcode = OP_SETFREG;
241 tree->sreg1 = state->left->reg1;
242 tree->dreg = tree->unused;
243 mono_bblock_add_inst (s->cbb, tree);
246 stmt: OP_OUTARG_R8 (freg) {
247 if (tree->inst_imm) {
248 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER8_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
251 tree->opcode = OP_SETFREG;
252 tree->sreg1 = state->left->reg1;
253 tree->dreg = tree->unused;
254 mono_bblock_add_inst (s->cbb, tree);
257 stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
258 MonoInst *vt = state->left->left->tree;
259 int start_reg = tree->unused & 0xff;
260 int nregs = (tree->unused >> 8) & 0xff;
261 int ovf_size = (tree->unused >> 16) & 0xffff;
262 int i, tmpr, soffset;
263 soffset = vt->inst_offset;
264 for (i = 0; i < nregs; ++i) {
265 tmpr = mono_regstate_next_int (s->rs);
266 MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, vt->inst_basereg, soffset);
267 MONO_EMIT_NEW_UNALU (s, OP_SETREG, start_reg + i, tmpr);
268 soffset += sizeof (gpointer);
270 //g_print ("vt size: %d at R%d + %d\n", tree->inst_imm, vt->inst_basereg, vt->inst_offset);
272 mini_emit_memcpy (s, s->frame_reg, tree->inst_imm + (soffset - vt->inst_offset), vt->inst_basereg, soffset, ovf_size * sizeof (gpointer), 0);
276 stmt: OP_OUTARG_VT (OP_ICONST) {
277 int start_reg = tree->unused & 0xff;
278 int nregs = (tree->unused >> 8) & 0xff;
280 tree->opcode = OP_SETREGIMM;
281 tree->dreg = start_reg;
282 tree->inst_c0 = state->left->tree->inst_c0;
283 mono_bblock_add_inst (s->cbb, tree);
285 g_assert_not_reached ();
289 stmt: OP_OUTARG_VT (reg) {
290 int start_reg = tree->unused & 0xff;
291 int nregs = (tree->unused >> 8) & 0xff;
293 tree->opcode = OP_SETREG;
294 tree->dreg = start_reg;
295 tree->sreg1 = state->left->tree->dreg;
296 mono_bblock_add_inst (s->cbb, tree);
298 g_assert_not_reached ();
302 stmt: CEE_STIND_R8 (OP_REGVAR, freg) {
303 /* nothing to do: the value is already on the FP stack */
306 stmt: CEE_BNE_UN (fpcflags) {
307 tree->opcode = OP_FBNE_UN;
308 mono_bblock_add_inst (s->cbb, tree);
311 stmt: CEE_BEQ (fpcflags) {
312 tree->opcode = OP_FBEQ;
313 mono_bblock_add_inst (s->cbb, tree);
316 stmt: CEE_BLT (fpcflags) {
317 tree->opcode = OP_FBLT;
318 mono_bblock_add_inst (s->cbb, tree);
321 stmt: CEE_BLT_UN (fpcflags) {
322 tree->opcode = OP_FBLT_UN;
323 mono_bblock_add_inst (s->cbb, tree);
326 stmt: CEE_BGT (fpcflags) {
327 tree->opcode = OP_FBGT;
328 mono_bblock_add_inst (s->cbb, tree);
331 stmt: CEE_BGT_UN (fpcflags) {
332 tree->opcode = OP_FBGT_UN;
333 mono_bblock_add_inst (s->cbb, tree);
336 stmt: CEE_BGE (fpcflags) {
337 tree->opcode = OP_FBGE;
338 mono_bblock_add_inst (s->cbb, tree);
341 stmt: CEE_BGE_UN (fpcflags) {
342 tree->opcode = OP_FBGE_UN;
343 mono_bblock_add_inst (s->cbb, tree);
346 stmt: CEE_BLE (fpcflags) {
347 tree->opcode = OP_FBLE;
348 mono_bblock_add_inst (s->cbb, tree);
351 stmt: CEE_BLE_UN (fpcflags) {
352 tree->opcode = OP_FBLE_UN;
353 mono_bblock_add_inst (s->cbb, tree);
356 stmt: CEE_POP (freg) "0" {
360 freg: OP_LCONV_TO_R8 (lreg) {
361 /* nothing to do - emulated */
364 freg: OP_LCONV_TO_R4 (lreg) {
365 /* nothing to do - emulated */
368 freg: OP_LCONV_TO_R_UN (lreg) {
369 /* nothing to do - emulated */
372 freg: OP_FREM (freg, freg) {
373 /* nothing to do - emulated */
376 reg: OP_CEQ (OP_COMPARE (freg, freg)) {
377 MONO_EMIT_BIALU (s, tree, OP_FCEQ, state->reg1, state->left->left->reg1,
378 state->left->right->reg1);
381 reg: OP_CLT (OP_COMPARE (freg, freg)) {
382 MONO_EMIT_BIALU (s, tree, OP_FCLT, state->reg1, state->left->left->reg1,
383 state->left->right->reg1);
386 reg: OP_CLT_UN (OP_COMPARE (freg, freg)) {
387 MONO_EMIT_BIALU (s, tree, OP_FCLT_UN, state->reg1, state->left->left->reg1,
388 state->left->right->reg1);
391 reg: OP_CGT (OP_COMPARE (freg, freg)) {
392 MONO_EMIT_BIALU (s, tree, OP_FCGT, state->reg1, state->left->left->reg1,
393 state->left->right->reg1);
396 reg: OP_CGT_UN (OP_COMPARE (freg, freg)) {
397 MONO_EMIT_BIALU (s, tree, OP_FCGT_UN, state->reg1, state->left->left->reg1,
398 state->left->right->reg1);
401 reg: CEE_ADD_OVF (reg, reg) "0" {
402 MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
405 reg: CEE_ADD_OVF_UN (reg, reg) "0" {
406 MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
409 reg: CEE_SUB_OVF (reg, reg) "0" {
410 MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
413 reg: CEE_SUB_OVF_UN (reg, reg) "0" {
414 MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);