[interp] Track MINT_MONO_LDPTR as constants (#42531)

This allows us to optimize out checks like `typeof(T1) == typeof(T2)`, which is very common in bcl.

Co-authored-by: BrzVlad <BrzVlad@users.noreply.github.com>

diff --git a/src/mono/mono/mini/interp/transform.c b/src/mono/mono/mini/interp/transform.c
index 504c6e6..2280cb9 100644 (file)
--- a/src/mono/mono/mini/interp/transform.c
+++ b/src/mono/mono/mini/interp/transform.c
@@ -4067,6 +4067,7 @@ generate_code (TransformData *td, MonoMethod *method, MonoMethodHeader *header,
                        break;
                }
                case CEE_RET: {
+                       link_bblocks = FALSE;
                        /* Return from inlined method, return value is on top of stack */
                        if (inlining) {
                                td->ip++;
@@ -4074,7 +4075,6 @@ generate_code (TransformData *td, MonoMethod *method, MonoMethodHeader *header,
                                td->last_ins->info.target_bb = exit_bb;
                                init_bb_stack_state (td, exit_bb);
                                interp_link_bblocks (td, td->cbb, exit_bb);
-                               link_bblocks = FALSE;
                                break;
                        }
 
@@ -7768,6 +7768,18 @@ retry:
                                sp->val = val;
                        }
                        sp++;
+               } else if (ins->opcode == MINT_MONO_LDPTR) {
+                       StackValue val;
+#if SIZEOF_VOID_P == 8
+                       val.type = STACK_VALUE_I8;
+                       val.l = (gint64)td->data_items [ins->data [0]];
+#else
+                       val.type = STACK_VALUE_I4;
+                       val.i = (gint32)td->data_items [ins->data [0]];
+#endif
+                       sp->ins = ins;
+                       sp->val = val;
+                       sp++;
                } else if (MINT_IS_MOVLOC (ins->opcode)) {
                        int src_local = ins->data [0];
                        int dest_local = ins->data [1];