(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)
stmt: OP_DUMMY_USE (CEE_LDIND_I (OP_REGOFFSET)) {
}
+stmt: OP_DUMMY_USE (CEE_LDIND_REF (OP_REGOFFSET)) {
+}
+
+stmt: OP_DUMMY_STORE {
+}
+
#
# 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_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);
+ MONO_EMIT_NEW_BIALU (s, OP_COMPARE, 0, state->left->reg1, state->right->reg1);
+ MONO_EMIT_NEW_BRANCH_LABEL (s, CEE_BNE_UN, 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);
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);
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);
}
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");
}