mono/mini/inssel-ppc.brg

   1 %%
   2
   3 #
   4 # inssel-ppc.brg: burg file for special ppc instructions
   5 #
   6 # Author:
   7 #   Dietmar Maurer (dietmar@ximian.com)
   8 #   Paolo Molaro (lupus@ximian.com)
   9 #
  10 # (C) 2002 Ximian, Inc.
  11 #
  12
  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);
  16         */
  17         tree->inst_left = spvar;
  18         mono_bblock_add_inst (s->cbb, tree);
  19 }
  20
  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);
  25 }
  26
  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);
  32 }
  33
  34 stmt: CEE_STIND_I8 (OP_REGVAR, lreg) {
  35         /* this should only happen for methods returning a long */
  36         MONO_EMIT_NEW_UNALU (s, OP_MOVE, ppc_r3, state->right->reg1);
  37         MONO_EMIT_NEW_UNALU (s, OP_MOVE, ppc_r4, state->right->reg2);
  38 }
  39
  40 lreg: OP_LNEG (lreg) "2" {
  41         MONO_EMIT_NEW_BIALU_IMM (s, OP_PPC_SUBFIC, state->reg1, state->left->reg1, 0);
  42         MONO_EMIT_UNALU (s, tree, OP_PPC_SUBFZE, state->reg2, state->left->reg2);
  43 }
  44
  45 freg: OP_LCONV_TO_R8 (lreg) {
  46         mono_bblock_add_inst (s->cbb, tree);
  47 }
  48
  49 freg: OP_LCONV_TO_R4 (lreg) {
  50         mono_bblock_add_inst (s->cbb, tree);
  51 }
  52
  53 freg: CEE_CONV_R_UN (reg) {
  54         mono_bblock_add_inst (s->cbb, tree);
  55 }
  56
  57 reg: OP_LOCALLOC (OP_ICONST) {
  58         /* microcoded in mini-ppc.c */
  59         tree->sreg1 = mono_regstate_next_int (s->rs);
  60         MONO_EMIT_NEW_ICONST (s, tree->sreg1, state->left->tree->inst_c0);
  61         mono_bblock_add_inst (s->cbb, tree);
  62 }
  63
  64 reg: OP_LOCALLOC (reg) {
  65         mono_bblock_add_inst (s->cbb, tree);
  66 }
  67
  68 stmt: OP_SETRET (reg) {
  69         tree->opcode = OP_MOVE;
  70         tree->sreg1 = state->left->reg1;
  71         tree->dreg = ppc_r3;
  72         mono_bblock_add_inst (s->cbb, tree);
  73 }
  74
  75 stmt: OP_SETRET (lreg) {
  76         tree->opcode = OP_SETLRET;
  77         tree->sreg1 = state->left->reg1;
  78         tree->sreg2 = state->left->reg2;
  79         mono_bblock_add_inst (s->cbb, tree);
  80 }
  81
  82 stmt: OP_SETRET (freg) {
  83         tree->opcode = OP_FMOVE;
  84         tree->sreg1 = state->left->reg1;
  85         tree->dreg = ppc_f1;
  86         mono_bblock_add_inst (s->cbb, tree);
  87 }
  88
  89 stmt: OP_SETRET (OP_ICONST) {
  90         tree->opcode = OP_ICONST;
  91         tree->inst_c0 = state->left->tree->inst_c0;
  92         tree->dreg = ppc_r3;
  93         mono_bblock_add_inst (s->cbb, tree);
  94 }
  95
  96 stmt: OP_OUTARG (reg) {
  97         tree->opcode = OP_SETREG;
  98         tree->dreg = tree->unused;
  99         tree->sreg1 = state->left->reg1;
 100         mono_bblock_add_inst (s->cbb, tree);
 101 }
 102
 103 stmt: OP_OUTARG (OP_REGVAR) {
 104         tree->opcode = OP_SETREG;
 105         tree->dreg = tree->unused;
 106         tree->sreg1 = state->left->tree->dreg;
 107         mono_bblock_add_inst (s->cbb, tree);
 108 }
 109
 110 stmt: OP_OUTARG (lreg) {
 111         MONO_EMIT_NEW_UNALU (s, OP_SETREG, tree->unused, state->left->reg2);
 112         tree->opcode = OP_SETREG;
 113         tree->dreg = tree->unused + 1;
 114         tree->sreg1 = state->left->reg1;
 115         mono_bblock_add_inst (s->cbb, tree);
 116 }
 117
 118 stmt: OP_OUTARG (OP_ICONST) {
 119         tree->opcode = OP_SETREGIMM;
 120         tree->dreg = tree->unused;
 121         tree->inst_c0 = state->left->tree->inst_c0;
 122         mono_bblock_add_inst (s->cbb, tree);
 123 }
 124
 125 #stmt: OP_OUTARG (CEE_LDIND_I4 (base)) {
 126 #       tree->opcode = OP_X86_PUSH_MEMBASE;
 127 #       tree->inst_basereg = state->left->left->tree->inst_basereg;
 128 #       tree->inst_offset = state->left->left->tree->inst_offset;
 129 #       mono_bblock_add_inst (s->cbb, tree);
 130 #}
 131
 132 #stmt: OP_OUTARG (CEE_LDIND_U4 (base)) {
 133 #       tree->opcode = OP_X86_PUSH_MEMBASE;
 134 #       tree->inst_basereg = state->left->left->tree->inst_basereg;
 135 #       tree->inst_offset = state->left->left->tree->inst_offset;
 136 #       mono_bblock_add_inst (s->cbb, tree);
 137 #}
 138
 139 #stmt: OP_OUTARG (CEE_LDIND_I (base)) {
 140 #       tree->opcode = OP_X86_PUSH_MEMBASE;
 141 #       tree->inst_basereg = state->left->left->tree->inst_basereg;
 142 #       tree->inst_offset = state->left->left->tree->inst_offset;
 143 #       mono_bblock_add_inst (s->cbb, tree);
 144 #}
 145
 146 #stmt: OP_OUTARG (CEE_LDIND_REF (base)) {
 147 #       tree->opcode = OP_X86_PUSH_MEMBASE;
 148 #       tree->inst_basereg = state->left->left->tree->inst_basereg;
 149 #       tree->inst_offset = state->left->left->tree->inst_offset;
 150 #       mono_bblock_add_inst (s->cbb, tree);
 151 #}
 152
 153 stmt: OP_OUTARG (CEE_LDIND_REF (OP_REGVAR)) {
 154         tree->opcode = OP_SETREG;
 155         tree->sreg1 = state->left->left->tree->dreg;
 156         tree->dreg = tree->unused;
 157         mono_bblock_add_inst (s->cbb, tree);
 158 }
 159
 160 #stmt: OP_OUTARG (CEE_LDOBJ (reg)) {
 161 #       tree->opcode = OP_X86_PUSH;
 162 #       tree->sreg1 = state->left->reg1;
 163 #       mono_bblock_add_inst (s->cbb, tree);
 164 #}
 165
 166 stmt: OP_OUTARG (freg) {
 167         tree->opcode = OP_SETFREG;
 168         tree->sreg1 = state->left->reg1;
 169         tree->dreg = tree->unused;
 170         mono_bblock_add_inst (s->cbb, tree);
 171 }
 172
 173 stmt: OP_OUTARG_R4 (freg) {
 174         tree->opcode = OP_SETFREG;
 175         tree->sreg1 = state->left->reg1;
 176         tree->dreg = tree->unused;
 177         mono_bblock_add_inst (s->cbb, tree);
 178 }
 179
 180 stmt: OP_OUTARG_R8 (freg) {
 181         tree->opcode = OP_SETFREG;
 182         tree->sreg1 = state->left->reg1;
 183         tree->dreg = tree->unused;
 184         mono_bblock_add_inst (s->cbb, tree);
 185 }
 186
 187 stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
 188         MonoInst *vt = state->left->left->tree;
 189         //g_print ("vt size: %d at R%d + %d\n", tree->inst_imm, vt->inst_basereg, vt->inst_offset);
 190         if (tree->inst_imm <= 4) {
 191                 tree->opcode = OP_X86_PUSH_MEMBASE;
 192                 tree->inst_basereg = vt->inst_basereg;
 193                 tree->inst_offset = vt->inst_offset;
 194                 mono_bblock_add_inst (s->cbb, tree);
 195         } else {
 196                 tree->opcode = OP_X86_PUSH_OBJ;
 197                 tree->inst_basereg = vt->inst_basereg;
 198                 tree->inst_offset = vt->inst_offset;
 199                 mono_bblock_add_inst (s->cbb, tree);
 200         }
 201 }
 202
 203 stmt: OP_OUTARG_VT (OP_ICONST) {
 204         tree->opcode = OP_SETREGIMM;
 205         tree->dreg = tree->unused;
 206         tree->inst_imm = state->left->tree->inst_c0;
 207         mono_bblock_add_inst (s->cbb, tree);
 208 }
 209
 210 stmt: CEE_STIND_R8 (OP_REGVAR, freg) {
 211         /* nothing to do: the value is already on the FP stack */
 212 }
 213
 214 stmt: CEE_BNE_UN (fpcflags) {
 215         tree->opcode = OP_FBNE_UN;
 216         mono_bblock_add_inst (s->cbb, tree);
 217 }
 218
 219 stmt: CEE_BEQ (fpcflags) {
 220         tree->opcode = OP_FBEQ;
 221         mono_bblock_add_inst (s->cbb, tree);
 222 }
 223
 224 stmt: CEE_BLT (fpcflags) {
 225         tree->opcode = OP_FBLT;
 226         mono_bblock_add_inst (s->cbb, tree);
 227 }
 228
 229 stmt: CEE_BLT_UN (fpcflags) {
 230         tree->opcode = OP_FBLT_UN;
 231         mono_bblock_add_inst (s->cbb, tree);
 232 }
 233
 234 stmt: CEE_BGT (fpcflags) {
 235         tree->opcode = OP_FBGT;
 236         mono_bblock_add_inst (s->cbb, tree);
 237 }
 238
 239 stmt: CEE_BGT_UN (fpcflags) {
 240         tree->opcode = OP_FBGT_UN;
 241         mono_bblock_add_inst (s->cbb, tree);
 242 }
 243
 244 stmt: CEE_BGE  (fpcflags) {
 245         tree->opcode = OP_FBGE;
 246         mono_bblock_add_inst (s->cbb, tree);
 247 }
 248
 249 stmt: CEE_BGE_UN (fpcflags) {
 250         tree->opcode = OP_FBGE_UN;
 251         mono_bblock_add_inst (s->cbb, tree);
 252 }
 253
 254 stmt: CEE_BLE  (fpcflags) {
 255         tree->opcode = OP_FBLE;
 256         mono_bblock_add_inst (s->cbb, tree);
 257 }
 258
 259 stmt: CEE_BLE_UN (fpcflags) {
 260         tree->opcode = OP_FBLE_UN;
 261         mono_bblock_add_inst (s->cbb, tree);
 262 }
 263
 264 stmt: CEE_POP (freg) "0" {
 265         /* nothing to do */
 266 }
 267
 268 freg: OP_LCONV_TO_R8 (lreg) {
 269         /* nothing to do - emulated */
 270 }
 271
 272 freg: OP_LCONV_TO_R4 (lreg) {
 273         /* nothing to do - emulated */
 274 }
 275
 276 freg: OP_LCONV_TO_R_UN (lreg) {
 277         /* nothing to do - emulated */
 278 }
 279
 280 freg: OP_FREM (freg, freg) {
 281         /* nothing to do - emulated */
 282 }
 283
 284 reg: OP_CEQ (OP_COMPARE (freg, freg)) {
 285         MONO_EMIT_BIALU (s, tree, OP_FCEQ, state->reg1, state->left->left->reg1,
 286                          state->left->right->reg1);
 287 }
 288
 289 reg: OP_CLT (OP_COMPARE (freg, freg)) {
 290         MONO_EMIT_BIALU (s, tree, OP_FCLT, state->reg1, state->left->left->reg1,
 291                          state->left->right->reg1);
 292 }
 293
 294 reg: OP_CLT_UN (OP_COMPARE (freg, freg)) {
 295         MONO_EMIT_BIALU (s, tree, OP_FCLT_UN, state->reg1, state->left->left->reg1,
 296                          state->left->right->reg1);
 297 }
 298
 299 reg: OP_CGT (OP_COMPARE (freg, freg)) {
 300         MONO_EMIT_BIALU (s, tree, OP_FCGT, state->reg1, state->left->left->reg1,
 301                          state->left->right->reg1);
 302 }
 303
 304 reg: OP_CGT_UN (OP_COMPARE (freg, freg)) {
 305         MONO_EMIT_BIALU (s, tree, OP_FCGT_UN, state->reg1, state->left->left->reg1,
 306                          state->left->right->reg1);
 307 }
 308
 309 %%