(inst)->opcode = op; \
(inst)->dreg = dr; \
(inst)->sreg1 = sr; \
- (inst)->inst_p1 = (gpointer)imm; \
+ (inst)->inst_p1 = (gpointer)(gssize)(imm); \
mono_bblock_add_inst (cfg->cbb, inst); \
} while (0)
inst->opcode = op; \
inst->dreg = dr; \
inst->sreg1 = sr; \
- inst->inst_p1 = (gpointer)imm; \
+ inst->inst_p1 = (gpointer)(gssize)(imm); \
mono_bblock_add_inst (cfg->cbb, inst); \
} while (0)
+#define MONO_EMIT_BIALU_MEMBASE(cfg,tree,op,dr,sr,basereg,offset) do { \
+ tree->opcode = op; \
+ tree->dreg = dr; \
+ tree->sreg1 = sr; \
+ tree->sreg2 = basereg; \
+ tree->inst_offset = offset; \
+ mono_bblock_add_inst (s->cbb, tree); \
+ } while (0)
+
#define MONO_EMIT_LOAD_MEMBASE(cfg,inst,dr,base,offset) do { \
(inst)->opcode = OP_LOAD_MEMBASE; \
(inst)->dreg = dr; \
stmt: OP_DUMMY_USE (CEE_LDIND_I (OP_REGOFFSET)) {
}
+stmt: OP_DUMMY_USE (CEE_LDIND_REF (OP_REGOFFSET)) {
+}
+
+stmt: OP_DUMMY_STORE {
+}
+
+stmt: OP_NOT_REACHED {
+}
+
#
# load/store operations
#
reg: CEE_CONV_U4 (reg),
reg: CEE_CONV_U (reg),
-reg: CEE_CONV_I (reg),
-reg: CEE_CONV_OVF_I4 (reg) {
+reg: CEE_CONV_I (reg) {
if (sizeof (void *) == 8)
MONO_EMIT_UNALU (s, tree, tree->opcode, state->reg1, state->left->reg1);
else
MONO_EMIT_UNALU (s, tree, OP_MOVE, state->reg1, state->left->reg1);
}
+reg: CEE_CONV_OVF_I4 (reg) {
+ MONO_EMIT_UNALU (s, tree, OP_MOVE, state->reg1, state->left->reg1);
+}
+
reg: CEE_CONV_OVF_U4 (reg),
reg: CEE_CONV_OVF_I4_UN (reg) {
if (sizeof (void *) == 8) {
mono_bblock_add_inst (s->cbb, tree);
}
-stmt: CEE_SWITCH (reg) {
+stmt: CEE_SWITCH (reg) "2" {
MonoInst *label;
int offset_reg = mono_regstate_next_int (s->rs);
int target_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_UNALU (s, tree, OP_RETHROW, -1, state->left->reg1);
}
-stmt: OP_THROW_OR_NULL (reg) {
- MonoInst *object_is_null;
+stmt: OP_THROW_OR_NULL (reg, reg) {
+ MonoInst *dont_throw;
- MONO_NEW_LABEL (s, object_is_null);
+ MONO_NEW_LABEL (s, dont_throw);
- MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, 0, state->left->reg1, 0);
- MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BEQ, object_is_null);
+ /*
+ * Currently, we allways rethrow the abort exception, despite the fact
+ * that this is not correct. See thread6.cs for an example. But propagating
+ * the abort exception is more important than getting the sematics right.
+ */
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, state->left->reg1, 0);
+ MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BEQ, dont_throw);
MONO_EMIT_UNALU (s, tree, CEE_THROW, -1, state->left->reg1);
- mono_bblock_add_inst (s->cbb, object_is_null);
+ mono_bblock_add_inst (s->cbb, dont_throw);
}
stmt: CEE_THROW (CEE_LDIND_REF (OP_REGVAR)) {
int klass_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE (s, vtable_reg, obj_reg, G_STRUCT_OFFSET (MonoObject, vtable));
- MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
if (klass->rank) {
int rank_reg = mono_regstate_next_int (s->rs);
int eclass_reg = mono_regstate_next_int (s->rs);
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, rank_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, rank));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU1_MEMBASE, rank_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, rank));
MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, rank_reg, klass->rank);
MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BNE_UN, false_label);
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
MONO_EMIT_NEW_LOAD_MEMBASE (s, eclass_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, cast_class));
if (klass->cast_class == mono_defaults.object_class) {
int parent_reg = mono_regstate_next_int (s->rs);
- int const_reg;
+ int const_reg = -1;
MONO_EMIT_NEW_LOAD_MEMBASE (s, parent_reg, eclass_reg, G_STRUCT_OFFSET (MonoClass, parent));
if (s->compile_aot) {
const_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BEQ, object_is_null);
MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BR, false_label);
} else if (klass->cast_class == mono_defaults.enum_class->parent) {
- int const_reg;
+ int const_reg = -1;
if (s->compile_aot) {
const_reg = mono_regstate_next_int (s->rs);
mini_emit_isninst_cast (s, eclass_reg, klass->cast_class, false_label, object_is_null);
}
} else {
- /* the object_is_null target simply copies the input register to the output */
- mini_emit_isninst_cast (s, klass_reg, klass, false_label, object_is_null);
+ if (!s->compile_aot && !(s->opt & MONO_OPT_SHARED) && (klass->flags & TYPE_ATTRIBUTE_SEALED)) {
+ /* the remoting code is broken, access the class for now */
+ if (0) {
+ MonoVTable *vt = mono_class_vtable (s->domain, klass);
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, vtable_reg, vt);
+ } else {
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, klass_reg, klass);
+ }
+ MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BNE_UN, false_label);
+ MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BR, object_is_null);
+ } else {
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
+ /* the object_is_null target simply copies the input register to the output */
+ mini_emit_isninst_cast (s, klass_reg, klass, false_label, object_is_null);
+ }
}
}
int rank_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE (s, vtable_reg, obj_reg, G_STRUCT_OFFSET (MonoObject, vtable));
- MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, rank_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, rank));
- MONO_EMIT_NEW_LOAD_MEMBASE (s, eclass_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, element_class));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU1_MEMBASE, rank_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, rank));
/* FIXME: generics */
g_assert (klass->rank == 0);
MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, rank_reg, 0);
MONO_EMIT_NEW_COND_EXC (s, NE_UN, "InvalidCastException");
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, eclass_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, element_class));
+
if (s->compile_aot) {
int const_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_CLASSCONST (s, const_reg, klass->element_class);
MONO_EMIT_NEW_BIALU (s, OP_COMPARE, -1, eclass_reg, const_reg);
- }
- else {
+ } else {
MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, eclass_reg, klass->element_class);
}
int klass_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE (s, vtable_reg, obj_reg, G_STRUCT_OFFSET (MonoObject, vtable));
- MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
if (klass->rank) {
int rank_reg = mono_regstate_next_int (s->rs);
int eclass_reg = mono_regstate_next_int (s->rs);
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, rank_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, rank));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU1_MEMBASE, rank_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, rank));
MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, rank_reg, klass->rank);
MONO_EMIT_NEW_COND_EXC (s, NE_UN, "InvalidCastException");
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
MONO_EMIT_NEW_LOAD_MEMBASE (s, eclass_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, cast_class));
if (klass->cast_class == mono_defaults.object_class) {
int parent_reg = mono_regstate_next_int (s->rs);
- int const_reg;
+ int const_reg = -1;
MONO_EMIT_NEW_LOAD_MEMBASE (s, parent_reg, eclass_reg, G_STRUCT_OFFSET (MonoClass, parent));
if (s->compile_aot) {
const_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_COND_EXC (s, NE_UN, "InvalidCastException");
}
} else {
- mini_emit_castclass (s, klass_reg, klass);
+ if (!s->compile_aot && !(s->opt & MONO_OPT_SHARED) && (klass->flags & TYPE_ATTRIBUTE_SEALED)) {
+ /* the remoting code is broken, access the class for now */
+ if (0) {
+ MonoVTable *vt = mono_class_vtable (s->domain, klass);
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, vtable_reg, vt);
+ } else {
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, klass_reg, klass);
+ }
+ MONO_EMIT_NEW_COND_EXC (s, NE_UN, "InvalidCastException");
+ } else {
+ MONO_EMIT_NEW_LOAD_MEMBASE (s, klass_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
+ mini_emit_castclass (s, klass_reg, klass);
+ }
}
}
reg: OP_GETHASHCODE (reg) {
int t1 = mono_regstate_next_int (s->rs);
- #if HAVE_BOEHM_GC
#define MONO_OBJECT_ALIGNMENT_SHIFT 3
- #else
- #define MONO_OBJECT_ALIGNMENT_SHIFT 2
- #endif
-
/* return (GPOINTER_TO_UINT (this) >> MONO_OBJECT_ALIGNMENT_SHIFT) * 2654435761u; */
reg: OP_ARRAY_RANK (reg) {
int vtable_reg = mono_regstate_next_int (s->rs);
- int class_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOAD_MEMBASE, vtable_reg,
state->left->reg1, G_STRUCT_OFFSET (MonoObject, vtable));
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOAD_MEMBASE, class_reg,
- vtable_reg, G_STRUCT_OFFSET (MonoVTable, klass));
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, state->reg1,
- class_reg, G_STRUCT_OFFSET (MonoClass, rank));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU1_MEMBASE, state->reg1,
+ vtable_reg, G_STRUCT_OFFSET (MonoVTable, rank));
}
reg: OP_CHECK_ARRAY_TYPE (reg) {
MonoClass* array_class = mono_array_class_get (tree->klass, 1);
int vtable_reg = mono_regstate_next_int (s->rs);
- int class_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOAD_MEMBASE, vtable_reg,
state->left->reg1, G_STRUCT_OFFSET (MonoObject, vtable));
{
int max_iid_reg = mono_regstate_next_int (s->rs);
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, max_iid_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, max_interface_id));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU2_MEMBASE, max_iid_reg, vtable_reg, G_STRUCT_OFFSET (MonoVTable, max_interface_id));
mini_emit_max_iid_check (s, max_iid_reg, klass, false_target);
}
{
int max_iid_reg = mono_regstate_next_int (s->rs);
- MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, max_iid_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, max_interface_id));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU2_MEMBASE, max_iid_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, max_interface_id));
mini_emit_max_iid_check (s, max_iid_reg, klass, false_target);
}
if (s->compile_aot) {
int iid_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_AOTCONST (s, iid_reg, klass, MONO_PATCH_INFO_IID);
- /* FIXME: Do a shift instead */
#if SIZEOF_VOID_P == 8
MONO_EMIT_NEW_BIALU_IMM (s, OP_SHL_IMM, iid_reg, iid_reg, 3);
#else
int ioffset_reg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE (s, ioffset_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, interface_offsets));
- mini_emit_load_intf_reg (s, intf_reg, ioffset_reg, klass);
+
+ if (s->compile_aot) {
+ int iid_reg = mono_regstate_next_int (s->rs);
+ MONO_EMIT_NEW_AOTCONST (s, iid_reg, klass, MONO_PATCH_INFO_IID);
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_SHL_IMM, iid_reg, iid_reg, 2);
+ MONO_EMIT_NEW_BIALU (s, CEE_ADD, ioffset_reg, ioffset_reg, iid_reg);
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, intf_reg, ioffset_reg, 0);
+ }
+ else
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, intf_reg, ioffset_reg, klass->interface_id * sizeof (int));
}
void
MonoMethod *method = ((MonoCallInst*)tree)->method;
int vtable_reg, slot_reg, this_reg;
MBState *state = st;
+ gboolean enable_for_aot = TRUE;
this_reg = state->left->reg1;
mono_arch_emit_this_vret_args (cfg, (MonoCallInst*)tree, this_reg, state->left->tree->type, novirtop == OP_VCALL? state->right->reg1: -1);
- if (!(method->flags & METHOD_ATTRIBUTE_VIRTUAL) ||
- ((method->flags & METHOD_ATTRIBUTE_FINAL) &&
- method->wrapper_type != MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)) {
+#ifdef MONO_ARCH_NEED_GOT_VAR
+ /* Can't create a got var at this point */
+ enable_for_aot = cfg->got_var != NULL;
+#else
+ enable_for_aot = TRUE;
+#endif
+
+ if ((!cfg->compile_aot || enable_for_aot) &&
+ (!(method->flags & METHOD_ATTRIBUTE_VIRTUAL) ||
+ ((method->flags & METHOD_ATTRIBUTE_FINAL) &&
+ method->wrapper_type != MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK))) {
/*
* the method is not virtual, we just need to ensure this is not null
* and then we can call the method directly.
return;
}
+ /* Initialize method->slot */
+ mono_class_setup_vtable (method->klass);
+
vtable_reg = mono_regstate_next_int (cfg->rs);
MONO_EMIT_NEW_LOAD_MEMBASE (cfg, vtable_reg, this_reg, G_STRUCT_OFFSET (MonoObject, vtable));
if (method->klass->flags & TYPE_ATTRIBUTE_INTERFACE) {
int stype = mono_regstate_next_int (s->rs);
if (klass->idepth > MONO_DEFAULT_SUPERTABLE_SIZE) {
- MONO_EMIT_NEW_LOAD_MEMBASE (s, idepth_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, idepth));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU2_MEMBASE, idepth_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, idepth));
MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, idepth_reg, klass->idepth);
MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BLT_UN, false_target);
}
int stype = mono_regstate_next_int (s->rs);
if (klass->idepth > MONO_DEFAULT_SUPERTABLE_SIZE) {
- MONO_EMIT_NEW_LOAD_MEMBASE (s, idepth_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, idepth));
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADU2_MEMBASE, idepth_reg, klass_reg, G_STRUCT_OFFSET (MonoClass, idepth));
MONO_EMIT_NEW_BIALU_IMM (s, OP_COMPARE_IMM, -1, idepth_reg, klass->idepth);
MONO_EMIT_NEW_COND_EXC (s, LT_UN, "InvalidCastException");
}
MONO_EMIT_NEW_COND_EXC (s, EQ, "InvalidCastException");
}
+static int
+size_to_load_u_membase (int size)
+{
+ switch (size) {
+ case 1:
+ return OP_LOADU1_MEMBASE;
+ case 2:
+ return OP_LOADU2_MEMBASE;
+ case 4:
+ return OP_LOADU4_MEMBASE;
+ case 8:
+ return OP_LOADI8_MEMBASE;
+ default:
+ g_assert_not_reached ();
+ return -1;
+ }
+}
+
+static int
+size_to_store_membase_reg (int size)
+{
+ switch (size) {
+ case 1:
+ return OP_STOREI1_MEMBASE_REG;
+ case 2:
+ return OP_STOREI2_MEMBASE_REG;
+ case 4:
+ return OP_STOREI4_MEMBASE_REG;
+ case 8:
+ return OP_STOREI8_MEMBASE_REG;
+ default:
+ g_assert_not_reached ();
+ return -1;
+ }
+}
+
void
mini_emit_memcpy (MonoCompile *s, int destreg, int doffset, int srcreg, int soffset, int size, int align)
{
}
void
-mini_emit_memset (MonoCompile *s, int destreg, int offset, int size, int val, int alignl)
+mini_emit_memset (MonoCompile *s, int destreg, int offset, int size, int val, int align)
{
int val_reg = mono_regstate_next_int (s->rs);
else
MONO_EMIT_NEW_ICONST (s, val_reg, val);
+ /* FIXME: consider alignment for archs that need it. */
+#if !NO_UNALIGNED_ACCESS
if (sizeof (gpointer) == 8) {
+ if (offset % 8) {
+ MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI4_MEMBASE_REG, destreg, offset, val_reg);
+ offset += 4;
+ size -= 4;
+ }
while (size >= 8) {
MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI8_MEMBASE_REG, destreg, offset, val_reg);
offset += 8;
size -= 8;
}
}
+#endif
while (size >= 4) {
MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI4_MEMBASE_REG, destreg, offset, val_reg);
return OP_LOAD_MEMBASE;
case CEE_LDIND_REF:
return OP_LOAD_MEMBASE;
+ case CEE_LDIND_I8:
+ return OP_LOADI8_MEMBASE;
default:
g_assert_not_reached ();
}
projects / mono.git / blobdiff