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_LSUB_OVF_UN (lreg, lreg) "0" {
35 /* SBB sets the condition code */
36 MONO_EMIT_NEW_BIALU (s, OP_SUBCC, state->reg1, state->left->reg1, state->right->reg1);
37 MONO_EMIT_NEW_BIALU (s, OP_SBB, state->reg2, state->left->reg2, state->right->reg2);
38 /* FIXME: This is wrong on ppc, see also compilation of tests/exception6.cs
39 MONO_EMIT_NEW_COND_EXC (s, C, "OverflowException");*/
41 stmt: CEE_STIND_I8 (OP_REGVAR, lreg) {
42 /* this should only happen for methods returning a long */
43 MONO_EMIT_NEW_UNALU (s, OP_MOVE, ppc_r3, state->right->reg1);
44 MONO_EMIT_NEW_UNALU (s, OP_MOVE, ppc_r4, state->right->reg2);
47 lreg: OP_LNEG (lreg) "2" {
48 MONO_EMIT_NEW_BIALU_IMM (s, OP_PPC_SUBFIC, state->reg1, state->left->reg1, 0);
49 MONO_EMIT_UNALU (s, tree, OP_PPC_SUBFZE, state->reg2, state->left->reg2);
52 freg: OP_LCONV_TO_R8 (lreg) {
53 tree->dreg = state->reg1;
54 tree->sreg1 = state->left->reg1;
55 tree->sreg2 = state->left->reg2;
56 mono_bblock_add_inst (s->cbb, tree);
59 freg: OP_LCONV_TO_R4 (lreg) {
60 tree->dreg = state->reg1;
61 tree->sreg1 = state->left->reg1;
62 tree->sreg2 = state->left->reg2;
63 mono_bblock_add_inst (s->cbb, tree);
66 freg: CEE_CONV_R_UN (reg) {
67 tree->dreg = state->reg1;
68 tree->sreg1 = state->left->reg1;
69 mono_bblock_add_inst (s->cbb, tree);
72 reg: OP_LOCALLOC (OP_ICONST) {
73 /* microcoded in mini-ppc.c */
74 tree->sreg1 = mono_regstate_next_int (s->rs);
75 tree->dreg = state->reg1;
76 MONO_EMIT_NEW_ICONST (s, tree->sreg1, state->left->tree->inst_c0);
77 mono_bblock_add_inst (s->cbb, tree);
80 reg: OP_LOCALLOC (reg) {
81 tree->dreg = state->reg1;
82 tree->sreg1 = state->left->reg1;
83 mono_bblock_add_inst (s->cbb, tree);
86 stmt: OP_SETRET (reg) {
87 tree->opcode = OP_MOVE;
88 tree->sreg1 = state->left->reg1;
90 mono_bblock_add_inst (s->cbb, tree);
93 stmt: OP_SETRET (lreg) {
94 tree->opcode = OP_SETLRET;
95 tree->sreg1 = state->left->reg1;
96 tree->sreg2 = state->left->reg2;
98 mono_bblock_add_inst (s->cbb, tree);
101 stmt: OP_SETRET (freg) {
102 tree->opcode = OP_FMOVE;
103 tree->sreg1 = state->left->reg1;
105 mono_bblock_add_inst (s->cbb, tree);
108 stmt: OP_SETRET (OP_ICONST) {
109 tree->opcode = OP_ICONST;
110 tree->inst_c0 = state->left->tree->inst_c0;
112 mono_bblock_add_inst (s->cbb, tree);
115 stmt: OP_OUTARG (reg) {
116 if (tree->inst_imm) {
117 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
120 tree->opcode = OP_SETREG;
121 tree->dreg = tree->unused;
122 tree->sreg1 = state->left->reg1;
123 mono_bblock_add_inst (s->cbb, tree);
126 stmt: OP_OUTARG (OP_REGVAR) {
127 if (tree->inst_imm) {
128 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->tree->dreg);
131 tree->opcode = OP_SETREG;
132 tree->dreg = tree->unused;
133 tree->sreg1 = state->left->tree->dreg;
134 mono_bblock_add_inst (s->cbb, tree);
137 stmt: OP_OUTARG (lreg) {
138 if (tree->inst_imm) {
139 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg2);
140 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm + 4, state->left->reg1);
143 MONO_EMIT_NEW_UNALU (s, OP_SETREG, tree->unused, state->left->reg2);
144 tree->opcode = OP_SETREG;
145 tree->dreg = tree->unused + 1;
146 tree->sreg1 = state->left->reg1;
147 mono_bblock_add_inst (s->cbb, tree);
150 stmt: OP_OUTARG (OP_ICONST) {
151 if (tree->inst_imm) {
152 MONO_EMIT_NEW_STORE_MEMBASE_IMM (s, OP_STORE_MEMBASE_IMM, s->frame_reg, tree->inst_imm, state->left->tree->inst_c0);
155 tree->opcode = OP_SETREGIMM;
156 tree->dreg = tree->unused;
157 tree->inst_c0 = state->left->tree->inst_c0;
158 mono_bblock_add_inst (s->cbb, tree);
161 #stmt: OP_OUTARG (CEE_LDIND_I4 (base)) {
162 # tree->opcode = OP_X86_PUSH_MEMBASE;
163 # tree->inst_basereg = state->left->left->tree->inst_basereg;
164 # tree->inst_offset = state->left->left->tree->inst_offset;
165 # mono_bblock_add_inst (s->cbb, tree);
168 #stmt: OP_OUTARG (CEE_LDIND_U4 (base)) {
169 # tree->opcode = OP_X86_PUSH_MEMBASE;
170 # tree->inst_basereg = state->left->left->tree->inst_basereg;
171 # tree->inst_offset = state->left->left->tree->inst_offset;
172 # mono_bblock_add_inst (s->cbb, tree);
175 #stmt: OP_OUTARG (CEE_LDIND_I (base)) {
176 # tree->opcode = OP_X86_PUSH_MEMBASE;
177 # tree->inst_basereg = state->left->left->tree->inst_basereg;
178 # tree->inst_offset = state->left->left->tree->inst_offset;
179 # mono_bblock_add_inst (s->cbb, tree);
182 #stmt: OP_OUTARG (CEE_LDIND_REF (base)) {
183 # tree->opcode = OP_X86_PUSH_MEMBASE;
184 # tree->inst_basereg = state->left->left->tree->inst_basereg;
185 # tree->inst_offset = state->left->left->tree->inst_offset;
186 # mono_bblock_add_inst (s->cbb, tree);
189 stmt: OP_OUTARG (CEE_LDIND_REF (OP_REGVAR)) {
190 if (tree->inst_imm) {
191 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->left->tree->dreg);
194 tree->opcode = OP_SETREG;
195 tree->sreg1 = state->left->left->tree->dreg;
196 tree->dreg = tree->unused;
197 mono_bblock_add_inst (s->cbb, tree);
200 #stmt: OP_OUTARG (CEE_LDOBJ (reg)) {
201 # tree->opcode = OP_X86_PUSH;
202 # tree->sreg1 = state->left->reg1;
203 # mono_bblock_add_inst (s->cbb, tree);
206 stmt: OP_OUTARG (freg) {
207 if (tree->inst_imm) {
208 int opcode = (tree->unused & 0xff00) == 0x0400? OP_STORER4_MEMBASE_REG: OP_STORER8_MEMBASE_REG;
209 MONO_EMIT_NEW_STORE_MEMBASE (s, opcode, s->frame_reg, tree->inst_imm, state->left->reg1);
212 tree->opcode = OP_SETFREG;
213 tree->sreg1 = state->left->reg1;
214 tree->dreg = tree->unused & 0xff;
215 mono_bblock_add_inst (s->cbb, tree);
218 stmt: OP_OUTARG_R4 (freg) {
219 if (tree->inst_imm) {
220 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER4_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
223 tree->opcode = OP_SETFREG;
224 tree->sreg1 = state->left->reg1;
225 tree->dreg = tree->unused;
226 mono_bblock_add_inst (s->cbb, tree);
229 stmt: OP_OUTARG_R8 (freg) {
230 if (tree->inst_imm) {
231 MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER8_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
234 tree->opcode = OP_SETFREG;
235 tree->sreg1 = state->left->reg1;
236 tree->dreg = tree->unused;
237 mono_bblock_add_inst (s->cbb, tree);
240 stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
241 MonoInst *vt = state->left->left->tree;
242 int start_reg = tree->unused & 0xff;
243 int nregs = (tree->unused >> 8) & 0xff;
244 int ovf_size = (tree->unused >> 16) & 0xffff;
245 int i, tmpr, soffset;
246 soffset = vt->inst_offset;
247 for (i = 0; i < nregs; ++i) {
248 tmpr = mono_regstate_next_int (s->rs);
249 MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, vt->inst_basereg, soffset);
250 MONO_EMIT_NEW_UNALU (s, OP_SETREG, start_reg + i, tmpr);
251 soffset += sizeof (gpointer);
253 //g_print ("vt size: %d at R%d + %d\n", tree->inst_imm, vt->inst_basereg, vt->inst_offset);
255 mini_emit_memcpy (s, s->frame_reg, tree->inst_imm + (soffset - vt->inst_offset), vt->inst_basereg, soffset, ovf_size * sizeof (gpointer), 0);
259 stmt: OP_OUTARG_VT (OP_ICONST) {
260 int start_reg = tree->unused & 0xff;
261 int nregs = (tree->unused >> 8) & 0xff;
263 tree->opcode = OP_SETREGIMM;
264 tree->dreg = start_reg;
265 tree->inst_c0 = state->left->tree->inst_c0;
266 mono_bblock_add_inst (s->cbb, tree);
268 g_assert_not_reached ();
272 stmt: OP_OUTARG_VT (reg) {
273 int start_reg = tree->unused & 0xff;
274 int nregs = (tree->unused >> 8) & 0xff;
276 tree->opcode = OP_SETREG;
277 tree->dreg = start_reg;
278 tree->sreg1 = state->left->tree->dreg;
279 mono_bblock_add_inst (s->cbb, tree);
281 g_assert_not_reached ();
285 stmt: CEE_STIND_R8 (OP_REGVAR, freg) {
286 /* nothing to do: the value is already on the FP stack */
289 stmt: CEE_BNE_UN (fpcflags) {
290 tree->opcode = OP_FBNE_UN;
291 mono_bblock_add_inst (s->cbb, tree);
294 stmt: CEE_BEQ (fpcflags) {
295 tree->opcode = OP_FBEQ;
296 mono_bblock_add_inst (s->cbb, tree);
299 stmt: CEE_BLT (fpcflags) {
300 tree->opcode = OP_FBLT;
301 mono_bblock_add_inst (s->cbb, tree);
304 stmt: CEE_BLT_UN (fpcflags) {
305 tree->opcode = OP_FBLT_UN;
306 mono_bblock_add_inst (s->cbb, tree);
309 stmt: CEE_BGT (fpcflags) {
310 tree->opcode = OP_FBGT;
311 mono_bblock_add_inst (s->cbb, tree);
314 stmt: CEE_BGT_UN (fpcflags) {
315 tree->opcode = OP_FBGT_UN;
316 mono_bblock_add_inst (s->cbb, tree);
319 stmt: CEE_BGE (fpcflags) {
320 tree->opcode = OP_FBGE;
321 mono_bblock_add_inst (s->cbb, tree);
324 stmt: CEE_BGE_UN (fpcflags) {
325 tree->opcode = OP_FBGE_UN;
326 mono_bblock_add_inst (s->cbb, tree);
329 stmt: CEE_BLE (fpcflags) {
330 tree->opcode = OP_FBLE;
331 mono_bblock_add_inst (s->cbb, tree);
334 stmt: CEE_BLE_UN (fpcflags) {
335 tree->opcode = OP_FBLE_UN;
336 mono_bblock_add_inst (s->cbb, tree);
339 stmt: CEE_POP (freg) "0" {
343 freg: OP_LCONV_TO_R8 (lreg) {
344 /* nothing to do - emulated */
347 freg: OP_LCONV_TO_R4 (lreg) {
348 /* nothing to do - emulated */
351 freg: OP_LCONV_TO_R_UN (lreg) {
352 /* nothing to do - emulated */
355 freg: OP_FREM (freg, freg) {
356 /* nothing to do - emulated */
359 reg: OP_CEQ (OP_COMPARE (freg, freg)) {
360 MONO_EMIT_BIALU (s, tree, OP_FCEQ, state->reg1, state->left->left->reg1,
361 state->left->right->reg1);
364 reg: OP_CLT (OP_COMPARE (freg, freg)) {
365 MONO_EMIT_BIALU (s, tree, OP_FCLT, state->reg1, state->left->left->reg1,
366 state->left->right->reg1);
369 reg: OP_CLT_UN (OP_COMPARE (freg, freg)) {
370 MONO_EMIT_BIALU (s, tree, OP_FCLT_UN, state->reg1, state->left->left->reg1,
371 state->left->right->reg1);
374 reg: OP_CGT (OP_COMPARE (freg, freg)) {
375 MONO_EMIT_BIALU (s, tree, OP_FCGT, state->reg1, state->left->left->reg1,
376 state->left->right->reg1);
379 reg: OP_CGT_UN (OP_COMPARE (freg, freg)) {
380 MONO_EMIT_BIALU (s, tree, OP_FCGT_UN, state->reg1, state->left->left->reg1,
381 state->left->right->reg1);
384 reg: CEE_ADD_OVF (reg, reg) "0" {
385 MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);