Update mono to support Unsafe.BitCast

dotnet · Jun 24, 2024 · 43247d6 · 43247d6
1 parent 98e7570
commit 43247d6
Showing 1 changed file with 106 additions and 0 deletions.
diff --git a/src/mono/mono/mini/intrinsics.c b/src/mono/mono/mini/intrinsics.c
@@ -488,6 +488,112 @@ emit_unsafe_intrinsics (MonoCompile *cfg, MonoMethod *cmethod, MonoMethodSignatu
 		EMIT_NEW_BIALU (cfg, ins, OP_COMPARE, -1, args [0]->dreg, args [1]->dreg);
 		EMIT_NEW_UNALU (cfg, ins, OP_PCEQ, dreg, -1);
 		return ins;
+	} else if (!strcmp (cmethod->name, "BitCast")) {
+		g_assert (ctx);
+		g_assert (ctx->method_inst);
+		g_assert (ctx->method_inst->type_argc == 2);
+		g_assert (fsig->param_count == 1);
+
+		MonoType *tfrom = ctx->method_inst->type_argv [0];
+		MonoTypeEnum tfrom_type = tfrom->type;
+		MonoClass *tfrom_klass = mono_class_from_mono_type_internal (tfrom);
+		if (!m_class_is_valuetype (tfrom_klass)) {
+			return NULL;
+		}
+
+		MonoType *tto = ctx->method_inst->type_argv [1];
+		MonoTypeEnum tto_type = tto->type;
+		MonoClass *tto_klass = mono_class_from_mono_type_internal (tto);
+		if (!m_class_is_valuetype (tto_klass)) {
+			return NULL;
+		}
+
+		int tfrom_align, tto_align;
+		if (mono_type_size (tfrom, &tfrom_align) != mono_type_size (tto, &tto_align)) {
+			return NULL;
+		}
+
+		guint32 opcode = OP_LDADDR;
+		MonoStackType tfrom_stack = STACK_PTR;
+		MonoStackType tto_stack = STACK_OBJ;
+
+		if (tfrom_type == MONO_TYPE_I4) {
+			if (tto_type == MONO_TYPE_R4) {
+				opcode = OP_MOVE_I4_TO_F;
+				tfrom_stack = STACK_I4;
+				tto_stack = STACK_R4;
+			}
+			else if (tfrom_type == MONO_TYPE_I4) {
+				opcode = OP_MOVE;
+				tfrom_stack = STACK_I4;
+				tto_stack = STACK_I4;
+			}
+		}
+		else if (tfrom_type == MONO_TYPE_I8) {
+			if (tto_type == MONO_TYPE_R8) {
+				opcode = OP_MOVE_I8_TO_F;
+				tfrom_stack = STACK_I8;
+				tto_stack = STACK_R8;
+			}
+			else if (tfrom_type == MONO_TYPE_I8) {
+				opcode = OP_MOVE;
+				tfrom_stack = STACK_I8;
+				tto_stack = STACK_I8;
+			}
+		}
+		else if (tfrom_type == MONO_TYPE_R4) {
+			if (tto_type == MONO_TYPE_I4) {
+				opcode = OP_MOVE_F_TO_I4;
+				tfrom_stack = STACK_R4;
+				tto_stack = STACK_I4;
+			}
+			else if (tto_type == MONO_TYPE_R4) {
+				opcode = OP_RMOVE;
+				tfrom_stack = STACK_R4;
+				tto_stack = STACK_R4;
+			}
+		}
+		else if (tfrom_type == MONO_TYPE_R8) {
+			if (tto_type == MONO_TYPE_I8) {
+				opcode = OP_MOVE_F_TO_I8;
+				tfrom_stack = STACK_R8;
+				tto_stack = STACK_I8;
+			}
+			else if (tto_type == MONO_TYPE_R8) {
+				opcode = OP_FMOVE;
+				tfrom_stack = STACK_R8;
+				tto_stack = STACK_R8;
+			}
+		}
+		else if (mini_class_is_simd (cfg, tfrom_klass)) {
+			if (mini_class_is_simd (cfg, tto_klass)) {
+				// opcode = OP_XMOVE;
+				// tfrom_stack = STACK_VTYPE;
+				// tto_stack = STACK_VTYPE;
+
+				// FIXME: Ensure that SIMD to SIMD conversions can be handled
+				return NULL;
+			}
+		}
+
+		MonoInst *arg0;
+		if (opcode == OP_LDADDR) {
+			// NEW_VARLOADA (cfg, arg0, args [0], tfrom);
+			// arg0->dreg = mono_alloc_preg (cfg);
+			// opcode = OP_MOVE;
+
+			// FIXME: Ensure that arbitrary conversions can be handled
+			return NULL;
+		}
+		else {
+			arg0 = args [0];
+		}
+
+		int dreg = mono_alloc_dreg (cfg, tfrom_stack);
+		EMIT_NEW_UNALU (cfg, ins, opcode, dreg, arg0->dreg);
+		ins->type = tto_stack;
+		ins->klass = tto_klass;
+		return ins;
 	} else if (!strcmp (cmethod->name, "IsAddressLessThan")) {
 		g_assert (ctx);
 		g_assert (ctx->method_inst);